Author of the publication

Synthesis and Simulation of Surgical Process Models.

, , , , , and . MMVR, volume 220 of Studies in Health Technology and Informatics, page 63-70. IOS Press, (2016)

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

Tag machines., , , and . EMSOFT, page 255-263. ACM, (2005)An Event Structure Based Semantics for High-Level Message Sequence Charts., , and . Math. Struct. Comput. Sci., 12 (4): 377-402 (2002)Concurrent Secrets., , , , and . Discret. Event Dyn. Syst., 17 (4): 425-446 (2007)Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits., , , and . FMGALS@MEMOCODE, volume 146 of Electronic Notes in Theoretical Computer Science, page 81-103. Elsevier, (2005)Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications., and . ACSD, page 48-57. IEEE Computer Society, (2005)Implicit structural analysis of multimode DAE systems., , and . HSCC, page 20:1-20:11. ACM, (2020)Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling., , , , and . FMCO, volume 3188 of Lecture Notes in Computer Science, page 1-16. Springer, (2003)From Synchrony to Asynchrony., , and . CONCUR, volume 1664 of Lecture Notes in Computer Science, page 162-177. Springer, (1999)A Modal Interface Theory for Component-based Design., , , , , and . Fundam. Informaticae, 108 (1-2): 119-149 (2011)Contracts for System Design., , , , , , , , , and . Found. Trends Electron. Des. Autom., 12 (2-3): 124-400 (2018)