Author of the publication

Application of an intelligent network architecture on a cooperative cyber-physical system: An experience report.

, , , , and . ETFA, page 1-6. IEEE, (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

Domain-Specific Model Checking for Cyber-Physical Systems., , , and . MoDeVVa@MoDELS, volume 1514 of CEUR Workshop Proceedings, page 18-27. CEUR-WS.org, (2015)Specifying Intra-Component Dependencies for Synthesizing Component Behaviors., , and . ModComp@MoDELS, volume 1281 of CEUR Workshop Proceedings, page 16-25. CEUR-WS.org, (2014)Real-Time Coordination Patterns for Advanced Mechatronic Systems., , and . COORDINATION, volume 7274 of Lecture Notes in Computer Science, page 166-180. Springer, (2012)How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach., , , , , , , and . SETTA, volume 10606 of Lecture Notes in Computer Science, page 319-336. Springer, (2017)Application of an intelligent network architecture on a cooperative cyber-physical system: An experience report., , , , and . ETFA, page 1-6. IEEE, (2014)The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems, , , , , , and . Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, (2014)accepted.The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, , , , , , , , , and . tr-ri-14-337. Heinz Nixdorf Institute, University of Paderborn, (2014)The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems., , , , , , and . ICSE Companion, page 614-615. ACM, (2014)A modelica coordination pattern library for cyber-physical systems., , , , and . SimuTools, page 76-85. ICST/ACM, (2014)Automata-based refinement checking for real-time systems., , , and . Comput. Sci. Res. Dev., 30 (3-4): 255-283 (2015)