Author of the publication

Contract-based design of control protocols for safety-critical cyber-physical systems.

, , , and . DATE, page 1-4. European Design and Automation Association, (2014)

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

Fear-Neuro-Inspired Reinforcement Learning for Safe Autonomous Driving., , , , , , and . IEEE Trans. Pattern Anal. Mach. Intell., 46 (1): 267-279 (January 2024)Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead Scanning the Issue., , , and . Proc. IEEE, 103 (11): 1952-1957 (2015)The transistor: an invention becomes a big business., , , , , and . Proc. IEEE, 86 (1): 86-110 (1998)Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems., , , and . Embedded Systems Development, From Functional Models to Implementations, Springer, (2014)Grand challenges in embedded systems., , , , , , and . CODES+ISSS, page 333. ACM, (2005)A Formalization of Robustness for Deep Neural Networks., , , and . CoRR, (2019)A Metric for Linear Temporal Logic., , , , and . CoRR, (2018)Guest Editors' Introduction: Trends and Directions in Microelectronics., and . IEEE Micro, 23 (3): 6-7 (2003)Conservative approximations for heterogeneous design., , and . EMSOFT, page 155-164. ACM, (2004)On-chip communication design: roadblocks and avenues., and . CODES+ISSS, page 75-76. ACM, (2003)