Author of the publication

Automated synthesis of cyber-physical systems from joint controller/architecture specifications.

, , , and . FDL, page 1-8. IEEE, (2016)

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

TTW: A Time-Triggered Wireless design for CPS., , , , , and . DATE, page 865-868. IEEE, (2018)The Time-Triggered Wireless Architecture., , , , , and . ECRTS, volume 165 of LIPIcs, page 19:1-19:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Specification, Verification and Design of Evolving Automotive Software: Invited., , , , , and . DAC, page 83:1-83:6. ACM, (2017)Control/Architecture Codesign for Cyber-Physical Systems., , , and . Handbook of Hardware/Software Codesign, (2017)Multi-Objective Co-Optimization of FlexRay-Based Distributed Control Systems., , , , and . RTAS, page 279-290. IEEE Computer Society, (2016)Synthesizing Communication-Centric Automotive Cyber-Physical Systems.. Technical University of Munich, Germany, (2018)The Time-Triggered Wireless Architecture (Artifact)., , , , , and . Dagstuhl Artifacts Ser., 6 (1): 05:1-05:3 (2020)Tool Integration for Automated Synthesis of Distributed Embedded Controllers., , , , , and . ACM Trans. Cyber Phys. Syst., 6 (1): 3:1-3:31 (2022)Semantics-Preserving Cosynthesis of Cyber-Physical Systems., , , , and . Proc. IEEE, 106 (1): 171-200 (2018)The Time-Triggered Wireless Architecture., , , , and . CoRR, (2020)