Author of the publication

Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272).

, , and . Dagstuhl Reports, 2 (7): 30-55 (2012)

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

Performance verification for ESL design methodology from AADL models., , , and . RSP, page 33-37. IEEE, (2015)Design and Performance of a Generic Consensus Component for Critical Distributed Applications., , and . Ada-Europe, volume 4498 of Lecture Notes in Computer Science, page 208-220. Springer, (2007)PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications., , , and . Ada-Europe, volume 3063 of Lecture Notes in Computer Science, page 106-119. Springer, (2004)From the prototype to the final embedded system using the Ocarina AADL tool suite., , , and . ACM Trans. Embed. Comput. Syst., 7 (4): 42:1-42:25 (2008)Special issue on Reliable Software Technologies (AEiC2022).. J. Syst. Archit., (February 2023)Automatic framework generation for hard real-time applications., , , and . Innov. Syst. Softw. Eng., 4 (1): 107-122 (2008)Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems., and . Sci. Comput. Program., (2015)TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS., , , and . MoDELS (Companion), page 94:1-94:5. ACM, (2020)Impact of Sensor and Actuator Clock Offsets on Reinforcement Learning., , , and . ACC, page 2669-2674. IEEE, (2022)An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems., , , and . ICECCS, page 319-324. IEEE Computer Society, (2010)