Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Controlling and Testing a Space Instrument by an AI Planner., , , , and . ICEIS, page 405-409. (2002)An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy., , , , , , , , , and . STAF Workshops, volume 9946 of Lecture Notes in Computer Science, page 303-316. Springer, (2016)Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE., and . Ada-Europe, volume 6652 of Lecture Notes in Computer Science, page 89-102. Springer, (2011)From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)., , , , , , , , , and 5 other author(s). ECRTS, volume 262 of LIPIcs, page 19:1-19:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Ada-CCM: Component-Based Technology for Distributed Real-Time Systems., , , and . CBSE, volume 5282 of Lecture Notes in Computer Science, page 334-350. Springer, (2008)Modeling languages extensions and best practices., and . FDL, page 1. IEEE, (2013)Integration of a flexible time triggered network in the FRESCOR resource contracting framework., , , , , and . ETFA, page 1481-1488. IEEE, (2007)Real-Time Modelling of Distributed Component-Based Applications., , and . EUROMICRO-SEAA, page 92-99. IEEE Computer Society, (2006)From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)., , , , , , , , , and 5 other author(s). Dagstuhl Artifacts Ser., 9 (1): 04:1-04:6 (2023)From composable design models to schedulability analysis with UML and the UML profile for MARTE., and . SIGBED Review, 8 (1): 64-68 (2011)