Author of the publication

Hierarchical Hybrid Modeling of Embedded Systems.

, , , , , , , , , , and . EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 14-31. Springer, (2001)

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

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems., , , , , and . Real Time Syst., 15 (3): 189-219 (1998)Optimal virtual cluster-based multiprocessor scheduling., , and . Real Time Syst., 43 (1): 25-59 (2009)Hardware Acceleration for Programmable Real-Time Ethernet., , and . IEEE Trans. Ind. Informatics, 5 (3): 325-337 (2009)Challenges and opportunities in deeply embedded systems security., and . SIGBED Rev., 5 (1): 25 (2008)Distributionally Robust Statistical Verification with Imprecise Neural Networks., , , , , , , and . CoRR, (2023)TRAC: Trustworthy Retrieval Augmented Chatbot., , , and . CoRR, (2023)An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems., , , , , , , , , and 1 other author(s). Computer, 51 (11): 46-55 (2018)High-Confidence Medical Device Software and Systems., , , , , , , and . Computer, 39 (4): 33-38 (2006)A Graphical Language for Specifying and Analyzing Real-Time Systems., and . Integr. Comput. Aided Eng., 5 (4): 279-302 (1998)Verisim: Formal Analysis of Network Simulations., , , , , , and . IEEE Trans. Software Eng., 28 (2): 129-145 (2002)