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

Hybrid specification of control systems., , , and . ICECCS, page 149-. IEEE Computer Society, (1995)Experiences with analysis of formal specifications in Astral., , , and . RTCSA, page 143-. IEEE Computer Society, (1997)Closed World Specification of Embedded Real-Time Controllers., , , and . RTS, page 194-199. IEEE Computer Society, (1996)Automatic Analysis of Embedded Systems Specified in Astral., , , , and . HICSS (3), page 177-186. IEEE Computer Society, (1998)Lyapunov-based robust adaptive control of a quadrotor UAV in the presence of modeling uncertainties., , , and . ACC, page 13-18. IEEE, (2013)SEAL A simple language for prototyping action-event specifications., , and . Microprocessing and Microprogramming, 38 (1-5): 87-95 (1993)Ada 95 as implementation vehicle for formal specifications., , and . RTCSA, page 98-105. IEEE Computer Society, (1996)Analyzing Schedulability of Astral Specifications using Extended Timed Automata., , , and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 1290-1297. Springer, (1997)Computing the Stochastic Dynamics of Phosphorylation Networks., , , , and . Journal of Computational Biology, 17 (2): 189-199 (2010)