Visualization, Simulation and Validation for Cyber-Virtual Systems
暂无分享,去创建一个
Jan Olaf Blech | Maria Spichkova | Heinz W. Schmidt | Ian Peake | M. Spichkova | H. Schmidt | J. Blech | I. Peake
[1] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[2] Sven Dominka,et al. Hybrid commissioning - from Hardware-in-the-Loop simulation to real production plants , 2007 .
[3] Anthony G. Cohn,et al. Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning , 2002, Applied Intelligence.
[4] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.
[5] Srini Ramaswamy,et al. Collaborative engineering through integration of architectural, social and spatial models , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).
[6] Joseph Sifakis,et al. Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
[7] Bernhard Schätz,et al. Behavioral Specification Based Runtime Monitors for OSGi Services , 2012, ISoLA.
[8] Steffen Staab,et al. Knowledge Processes and Ontologies , 2001, IEEE Intell. Syst..
[9] Peter A. Fritzson,et al. Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica , 2011 .
[10] Martin Schlager. Hardware-in-the-Loop Simulation , 2008 .
[11] Maria Spichkova,et al. Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation , 2013, MODELSWARD.
[12] Davide Sangiorgi,et al. Minimality Results for the Spatial Logics , 2003, FSTTCS.
[13] Pravin Varaiya,et al. SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata , 1996, Hybrid Systems.
[14] Arnold Berger,et al. Embedded Systems Design: An Introduction to Processes, Tools, and Techniques , 2001 .
[15] B. Vogel-Heuser,et al. Modeling network architecture and time behavior of Distributed Control Systems in industrial plant automation , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.
[16] Maria Spichkova. Stream processing components: Isabelle/HOL formalisation and case studies , 2013, Arch. Formal Proofs.
[17] Jan Olaf Blech,et al. Towards Reconstructing Architectural Models of Software Tools by Runtime Analysis , 2013, EESSMOD@MoDELS.
[18] Jürgen Haufe,et al. A new Approach for Modeling and Verification of Discrete Control Components within a Modelica Environment 1 , 2008 .
[19] Rolf Isermann,et al. Hardware-in-the-loop simulation for the design and testing of engine-control systems , 1998 .
[20] Ivica Crnkovic,et al. Towards a Methodology for Hardware and Software Design Separation in Embedded Systems , 2012, ICSEA 2012.
[21] Birgit Vogel-Heuser,et al. Common communication model for distributed automation systems , 2011, 2011 9th IEEE International Conference on Industrial Informatics.
[22] Jan Olaf Blech,et al. Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST , 2014, MoDeVVa@MoDELS.
[23] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[24] Andrea Tundis,et al. Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches , 2013, EOOLT.
[25] Silvano Dal-Zilio,et al. A logic you can count on , 2004, POPL.
[26] Luca Cardelli,et al. Processes in Space , 2010, CiE.
[27] Alexander Pretschner,et al. Methodological Issues in Model-Based Testing , 2004, Model-Based Testing of Reactive Systems.
[28] Pallab Dasgupta,et al. Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications , 2013, IEEE Embedded Systems Letters.
[29] Maria Spichkova,et al. Towards system development methodologies: From software to cyber-physical domain , 2014, ArXiv.
[30] Ka Lok Man,et al. Syntax and consistent equation semantics of hybrid Chi , 2006, J. Log. Algebraic Methods Program..
[31] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[32] R. Doyle. The American terrorist. , 2001, Scientific American.
[33] Peter A. Fritzson,et al. Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .
[34] Cristina Gacek,et al. Implementing product line variabilities , 2001, SSR '01.
[35] Jan Olaf Blech. Towards a Framework for Behavioral Specifications of OSGi Components , 2013, FESCA.
[36] Maria Spichkova. Design of formal languages and interfaces: "formal" does not mean "unreadable". , 2014 .
[37] Insup Lee,et al. R-Charon, a Modeling Language for Reconfigurable Hybrid Systems , 2006, HSCC.
[38] Maria Spichkova. Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle , 2007 .
[39] Bernhard Schätz,et al. Towards a formal foundation of behavioral types for UML state-machines , 2012, SOEN.
[40] Peter Fritzson,et al. Models for Distributed Real-Time Simulation in a Vehicle Co-Simulator Setup , 2013, EOOLT.
[41] Maria Spichkova,et al. From abstract modelling to remote cyber-physical integration/interoperability testing , 2014, ArXiv.
[42] Jan Olaf Blech,et al. Cyber-virtual systems: Simulation, validation & visualization , 2014, 2014 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).