Author of the publication

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)

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

CORBA & DSA: Divorce or Marriage?, , and . Ada-Europe, volume 1622 of Lecture Notes in Computer Science, page 211-225. Springer, (1999)Work-conserving dynamic time-division multiplexing for multi-criticality systems., , , and . Real Time Syst., 56 (2): 124-170 (2020)Generalized Mixed-Criticality Static Scheduling for Periodic Directed Acyclic Graphs on Multi-Core Processors., , and . IEEE Trans. Computers, 70 (3): 457-470 (2021)Cronos: A Separate Compilation Toolset for Modular Esterel Applications., , , and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1836-1853. Springer, (1999)Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annex., , , , and . IRTAW, page 40-44. ACM, (1997)Ada Communication Components for Distributed and Real Time Applications., and . TRI-Ada, page 530-537. ACM, (1992)A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications., and . TRI-Ada, page 242-251. ACM, (1993)Contributions to middleware architectures to prototype distribution infrastructures., , and . IEEE International Workshop on Rapid System Prototyping, page 124-. IEEE Computer Society, (2003)High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems., and . ECBS, page 418-424. IEEE Computer Society, (2010)A Concrete Syntax for UML 2.1 Action Semantics Using +CAL., and . ICECCS, page 217-221. IEEE Computer Society, (2008)