Author of the publication

Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems.

, , , , and . ACM Trans. Embed. Comput. Syst., 16 (4): 106:1-106:24 (2017)

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

Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance., , , , , and . IEEE Trans Autom. Sci. Eng., 7 (1): 189-195 (2010)Evolution of the GPGP/TÆMS Domain-Independent Coordination Framework., , , , , , , , , and 3 other author(s). Auton. Agents Multi Agent Syst., 9 (1-2): 87-143 (2004)Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems., , , , and . ACM Trans. Embed. Comput. Syst., 16 (4): 106:1-106:24 (2017)Verification of Architectural Constraints on Sequences of Method Invocations., , and . ACM SIGSOFT Softw. Eng. Notes, 40 (1): 1-4 (2015)Design and verification of cellphone-based cyber-physical systems: A position paper.. CollaborateCom, page 603-607. ICST / IEEE, (2013)Automatic Mash Up of Composite Applications., , , and . ICSOC, volume 5364 of Lecture Notes in Computer Science, page 317-330. (2008)The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report., and . ICSE, page 303-313. ACM, (1997)Modeling Resources for Activity Coordination and Scheduling., , and . COORDINATION, volume 1594 of Lecture Notes in Computer Science, page 307-322. Springer, (1999)Verification of Distributed Artificial Intelligence Systems in Bioinformatics., , , and . CoRR, (2023)Ensuring reliable datasets for environmental models and forecasts., , , , , , , and . Ecol. Informatics, 2 (3): 237-247 (2007)