Author of the publication

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

The Specification and Schedulability Analysis of Real-Time Systems using ACSR., , and . RTSS, page 266-275. IEEE Computer Society, (1995)A Semantic Framework for Mode Change Protocols., , and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 91-100. IEEE Computer Society, (2011)A layered approach for testing timing in the model-based implementation., , , , and . DATE, page 1-4. European Design and Automation Association, (2014)Implementing a Real-Time Process Algebra in HOL., , and . TPHOLs, page 144-154. IEEE Computer Society, (1991)RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties., , and . RTCSA, page 147-153. IEEE Computer Society, (2005)An empirical analysis of scheduling techniques for real-time cloud-based data processing., , , , and . SOCA, page 1-8. IEEE Computer Society, (2011)Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study., , and . ISORC, page 93-98. IEEE Computer Society, (2003)Distributed Simulation of Multi-Agent Hybrid Systems., and . Symposium on Object-Oriented Real-Time Distributed Computing, page 356-364. IEEE Computer Society, (2002)Platform-dependent code generation for embedded real-time software., , , and . CASES, page 8:1-8:10. IEEE, (2013)Analytical Design of Evolutionary Control Flow Components., and . HASE, page 48-55. IEEE Computer Society, (1997)