Abstract is missing.
- A Modular SystemC RTOS Model for Uncertainty AnalysisLorenzo Lazzara, Giulio Mosé Mancuso, Fabio Cremona, Alessandro Ulisse. 3-27 [doi]
- Multicore Models of Communication for Cyber-Physical SystemsMartin Schoeberl. 28-43 [doi]
- Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic HandMehrshad Zandigohar, Mo Han, Deniz Erdogmus, Gunar Schirner. 44-58 [doi]
- Reactors: A Deterministic Model for Composable Reactive SystemsMarten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli. 59-85 [doi]
- Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical SystemsPaul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche. 89-107 [doi]
- Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous SimulationAdam Duracz, Ayman Aljarbouh, Ferenc A. Bartha, Jawad Masood, Roland Philippsen, Henrik Eriksson, Jan Duracz, Fei Xu, Yingfu Zeng, Christian Grante. 108-126 [doi]
- Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive SystemsWonseok Lee, Jaehwan Jeong, SeongHyeon Park, Chang-Gun Lee. 127-152 [doi]
- Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGIYunosuke Yamada, Masashi Sato, Kazunori Ueda. 153-178 [doi]
- Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model ReductionAdrien Le Coënt, Laurent Fribourg. 181-202 [doi]
- Towards Formal Co-validation of Hardware and Software Timing Models of CPSsMihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl. 203-227 [doi]
- A Remote Test Environment for a Large-Scale Microcontroller Laboratory CourseManfred Smieschek, Stefan Rakel, David Thönnessen, Andreas Derks, André Stollenwerk, Stefan Kowalewski. 231-246 [doi]
- An Embedded Graduate Lab Course with SpiritAndré Stollenwerk. 247-263 [doi]
- Competence Networks in the Era of CPS - Lessons Learnt in the ICES Cross-Disciplinary and Multi-domain CenterMartin Törngren, Fredrik Asplund, Tor Ericson, Catrin Granbom, Erik Herzog, Zhonghai Lu, Mats Magnusson, Maria Månsson, Stefan Norrwing, Johanna Olsson, Johnny Öberg. 264-283 [doi]