Abstract is missing.
- Tool-supported model-driven validation process for system architecturesAndré Pflüger, Wolfgang Golubski, Stefan Queins. 1-6 [doi]
- HiLeS-T: an ADL for early requirement verification of embedded systemsHoracio Hoyos, Rubby Casallas, Fernando Jiménez. 7-12 [doi]
- Functional validation of AADL models via model transformation to SystemC with ATLPierre Bomel, Dominique Blouin, Mickael Lanoe, Eric Senn. 13-18 [doi]
- Automatic SysML-based safety analysisPhilipp Helle. 19-24 [doi]
- Real-time design models to RTOS-specific models refinement verificationRania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid. 25-30 [doi]
- Component-based models for runtime control and monitoring of embedded systemsTobias Schwalb, Johannes Schmid, Tobias Gädeke, Klaus D. Müller-Glaser. 31-36 [doi]
- Model-based development of embedded systems' user interfacesJelena Barth, Bernd Westphal, Stephan Arlt. 37-42 [doi]
- Formal execution semantics for asynchronous constructs of AADLJiale Zhou, Andreas Johnsen, Kristina Lundqvist. 43-48 [doi]
- Automatic synthesis from UML/MARTE models using channel semanticsPablo Peñil, Héctor Posadas, Alejandro Nicolás, Eugenio Villar. 49-54 [doi]
- Automatic transformation of abstract AUTOSAR architectures to timed automataStefan Neumann 0002, Norman Kluge, Sebastian Wätzoldt. 55-60 [doi]