Abstract is missing.
- A Model-Driven Framework for Hardware-Software Co-design of Dataflow ApplicationsWaheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga. 1-16 [doi]
- Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop DetectionKenichi Betsuno, Shota Matsumoto, Kazunori Ueda. 17-30 [doi]
- SysML to NuSMV Model Transformation via Object-OrientationGeorgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser. 31-45 [doi]
- CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development EnvironmentsShafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner. 46-60 [doi]
- Ardán: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper)Fergus Leahy, Naranker Dulay. 61-70 [doi]
- Proving Correctness of Refactorings for Hybrid Simulink Models with Control FlowSebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner. 71-86 [doi]
- Automated Verification of Switched Systems Using Hybrid IdentificationStefan Schwab, Bernd Holzmüller, Sören Hohmann. 87-100 [doi]
- Ontological Reasoning as an Enabler of Contract-Based Co-designKen Vanherpen, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe. 101-115 [doi]
- CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical SystemsJonas Westman, Mattias Nyberg, Oscar Thydén. 116-125 [doi]