Author of the publication

Design of mechatronic systems through aspect and object-oriented modeling.

, , , , and . Automatisierungstechnik, 64 (3): 244-252 (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

Reactors: A Deterministic Model for Composable Reactive Systems., , , , , , and . CyPhy/WESE, volume 11971 of Lecture Notes in Computer Science, page 59-85. Springer, (2019)Specification of precise timing in synchronous dataflow models., , and . MEMOCODE, page 85-94. IEEE, (2016)Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)., , and . ACM Trans. Embed. Comput. Syst., 18 (1): 1:1-1:2 (2019)Modeling Cyber-Physical Systems., , and . Proc. IEEE, 100 (1): 13-28 (2012)Modeling and Simulation of TDL Applications., , , and . Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 107-128. Springer, (2007)Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems., , , , , , and . ReConFig, page 1-6. IEEE, (2015)Flexible Static Scheduling of Software with Logical Execution Time Constraints., and . CIT, page 1719-1726. IEEE Computer Society, (2010)Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems., , , , , , , , , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 169:1-169:20 (2017)Time in cyber-physical systems., , , , , , , , and . CODES+ISSS, page 4:1-4:10. ACM, (2016)Models and Tools for SOA Governance., and . TEAA, volume 4473 of Lecture Notes in Computer Science, page 112-126. Springer, (2006)