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

Introduction to Design Choices in the Semantics of Statecharts., and . Inf. Process. Lett., 37 (4): 205-213 (1991)Cooperation-based Invariants for OO Languages., , , and . Electron. Notes Theor. Comput. Sci., (2006)Towards Verified Java Code Generation from Concurrent State Machines., , , , , , and . AMT@MoDELS, volume 1277 of CEUR Workshop Proceedings, page 64-69. CEUR-WS.org, (2014)Looking for Stability., , , and . DDoPS, page 31-44. US Education Service, (2005)Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language., , and . POPL, page 223-237. ACM Press, (1987)Dependency Safety for Java: Implementing Failboxes., , , , , , , , and . PPPJ, page 15:1-15:6. ACM, (2016)Cooperation-based Invariants for OO Languages., , , and . FACS, volume 160 of Electronic Notes in Theoretical Computer Science, page 225-237. Elsevier, (2005)Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations., , , , , , and . MODELSWARD (Revised Selected Papers), volume 692 of Communications in Computer and Information Science, page 249-273. Springer, (2016)Halting Still Standing - Programs versus Specifications., , and . UTP, volume 6445 of Lecture Notes in Computer Science, page 226-233. Springer, (2010)Semantics of Reactive Systems in Abstract Time., and . REX Workshop, volume 600 of Lecture Notes in Computer Science, page 291-314. Springer, (1991)