Abstract is missing.
- Prototyping of Distributed Embedded Systems Using AADLMohamed Yassin Chkouri, Marius Bozga. [doi]
- PaNeCS: A Modeling Language for Passivity-based Design of Networked Control SystemsEmeka Eyisi, Joseph Porter, Joe Hall, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits. [doi]
- SOPHIA: a Modeling Language for Model-Based Safety EngineeringDaniela Cancila, François Terrier, Fabien Belmonte, Hubert Dubois, Huáscar Espinoza, Sébastien Gérard, Arnaud Cuccuru. [doi]
- Model-Based Codesign of Critical Embedded SystemsMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. [doi]
- Towards Intelligent Tool-Support for AADL Based Modeling of Embedded SystemsDries Langsweirdt, Yves Vandewoude, Yolande Berbers. [doi]
- Improving Timing Analysis for Matlab Simulink/StateflowLili Tan, Björn Wachter, Philipp Lucas, Reinhard Wilhelm. [doi]
- Using Higher-order Transformations to Derive Variability Mechanism for Embedded SystemsGoetz Botterweck, Andreas Polzer, Stefan Kowalewski. [doi]
- Formal Design Models for Distributed Embedded Control SystemsChristo Angelov, Krzysztof Sierszecki, Yu Guo. [doi]
- Model-Based Extension of AUTOSAR for Architectural Online ReconfigurationBasil Becker, Holger Giese, Stefan Neumann 0002, Martin Schenck, Arian Treffer. [doi]
- prefaceMarco Di Natale. [doi]
- Design Complexity Management in Embedded System DesignJohan Ersfolk, Johan Lilius, Jari Muurinen, Ari Salomäki, Niklas Fors, Johnny Nylund. [doi]