Author of the publication

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines

, , and . Real-Time Systems, 32 (1-2): 105--123 (February 2006)
DOI: 10.1007/s11241-006-5318-0

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 Java Toolset for Modelling and Simulation of Complex Timed Petri Nets., , , and . ESM, page 37-41. SCS Europe, (2002)Modelling Java Concurrency: An Approach and a Uppaal Library., , , and . FedCSIS, page 1361-1368. (2013)Autonomous Vehicle Platoons in Urban Road Networks: A Joint Distributed Reinforcement Learning and Model Predictive Control Approach., , , , , and . IEEE CAA J. Autom. Sinica, 11 (1): 141-156 (January 2024)Set-theoretic receding horizon control for nonlinear systems: a data-driven approach., , , and . EUROCON, page 579-584. IEEE, (2023)Agent Methodological Layers In Repast Simphony., , , and . ECMS, page 68-74. European Council for Modeling and Simulation, (2013)Agents Over The Grid: An Experience Using The Globus Toolkit 4., , , and . ECMS, page 78-85. European Council for Modeling and Simulation, (2012)Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches., , , and . DS-RT, page 57-64. IEEE Computer Society, (2012)Real-Time Systems Development Using Hierarchical State Machines., , and . JMLC, volume 2789 of Lecture Notes in Computer Science, page 110-121. Springer, (2003)Modelling and simulation of complex systems using TPN Designer., , , and . Simul. Model. Pract. Theory, 11 (7-8): 503-532 (2003)SCARE: A Novel Switching and Collision Avoidance pRocEss for Connected Vehicles Using Virtualization and Edge Computing Paradigm., , , , and . Sensors, 21 (11): 3638 (2021)