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

Analytical Design of Evolutionary Control Flow Components., and . HASE, page 48-55. IEEE Computer Society, (1997)An empirical analysis of scheduling techniques for real-time cloud-based data processing., , , , and . SOCA, page 1-8. IEEE Computer Society, (2011)RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties., , and . RTCSA, page 147-153. IEEE Computer Society, (2005)Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking., , and . SCAM, page 25-34. IEEE Computer Society, (2005)A model-based I/O interface synthesis framework for the cross-platform software modeling., , , and . RSP, page 16-22. IEEE, (2012)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)Representation of Confidence in Assurance Cases Using the Beta Distribution., , , , and . HASE, page 86-93. IEEE Computer Society, (2016)Distributed web-based simulation optimization., , , and . Winter Simulation Conference, page 1785-1793. WSC, (2000)The Specification and Schedulability Analysis of Real-Time Systems using ACSR., , and . RTSS, page 266-275. IEEE Computer Society, (1995)