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

A Metric for Linear Temporal Logic., , , , and . CoRR, (2018)Iterative Node Deployment in an Unknown Environment., , and . GLOBECOM, page 1-6. IEEE, (2009)A Formalization of Robustness for Deep Neural Networks., , , and . CoRR, (2019)A hierarchical coordination language for interacting real-time tasks., , , , and . EMSOFT, page 132-141. ACM, (2006)Grand challenges in embedded systems., , , , , , and . CODES+ISSS, page 333. ACM, (2005)On-chip communication design: roadblocks and avenues., and . CODES+ISSS, page 75-76. ACM, (2003)Optimal Control Using Bisimulations: Implementation., , , and . HSCC, volume 2034 of Lecture Notes in Computer Science, page 175-188. Springer, (2001)Modeling and Designing Heterogeneous Systems., , , , , and . Concurrency and Hardware Design, volume 2549 of Lecture Notes in Computer Science, page 228-273. Springer, (2002)An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink., , , and . MoDELS, volume 8767 of Lecture Notes in Computer Science, page 353-369. Springer, (2014)My 50-Year Journey from Punched Cards to Swarm Systems.. ISPD, page 123-125. ACM, (2019)