Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14)

[1]  Shengchao Qin,et al.  Core Hybrid Event-B I: Single Hybrid Event-B machines , 2015, Sci. Comput. Program..

[2]  Mario Tokoro.  Open Systems Dependability : Dependability Engineering for Ever-Changing Systems , 2012 .

[3]  Jean-Raymond Abrial,et al.  Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.

[4]  André Platzer,et al.  Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems , 2014, FM.

[5]  Shin Nakajima,et al.  Model-based Power Consumption Analysis of Smartphone Applications , 2013, ACES-MB@MoDELS.

[6]  Ralph-Johan Back,et al.  Generalizing Action Systems to Hybrid Systems , 1999, FTRTFT.

[7]  Daniel Elenius,et al.  Purpose-Aware Interoperability: The ONISTT Ontologies and Analyzer , 2007 .

[8]  Thai Son Hoang,et al.  Systems Design Guided by Progress Concerns , 2013, IFM.

[9]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[10]  Thai Son Hoang,et al.  Rodin: an open toolset for modelling and reasoning in Event-B , 2010, International Journal on Software Tools for Technology Transfer.

[11]  Huibiao Zhu,et al.  Formalizing hybrid systems with Event-B and the Rodin Platform , 2014, Sci. Comput. Program..

[12]  André Platzer,et al.  Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .

[13]  Dominique Cansell,et al.  Synthesis of the QoS for digital TV services , 2005 .

[14]  Mario Trapp,et al.  Safety Assurance of Open Adaptive Systems - A Survey , 2011, Models@run.time@Dagstuhl.

[15]  André Platzer,et al.  KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) , 2008, IJCAR.

[16]  Shin Nakajima,et al.  Model Checking of Energy Consumption Behavior , 2014, CSDM Asia.

[17]  Natarajan Shankar,et al.  Tool Integration with the Evidential Tool Bus , 2013, VMCAI.

[18]  Dominique Cansell,et al.  System-on-chip design by proof-based refinement , 2009, International Journal on Software Tools for Technology Transfer.

[19]  Shin Nakajima,et al.  Everlasting Challenges with the OBJ Language Family , 2014, Specification, Algebra, and Software.

[20]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[21]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[22]  Bev Littlewood,et al.  Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect" , 2012, IEEE Transactions on Software Engineering.

[23]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.