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

A Framework for Microprocessor Correctness Statements., , , and . CHARME, volume 2144 of Lecture Notes in Computer Science, page 433-448. Springer, (2001)Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network., , and . FORTE, volume 107 of IFIP Conference Proceedings, page 417-432. Chapman & Hall, (1997)Modelling feature interactions in the automotive domain, , and . Proceedings of the 2008 international workshop on Models in software engineering, page 45--50. ACM, (2008)Transitive-closure-based model checking (TCMC) in Alloy., , , and . Softw. Syst. Model., 19 (3): 721-740 (2020)New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding., , and . IEEE Trans. Software Eng., 49 (6): 3487-3503 (June 2023)Code generation for a family of executable modelling notations., , , and . Softw. Syst. Model., 11 (2): 251-272 (2012)The Semantics of Statecharts in HOL., and . HUG, volume 780 of Lecture Notes in Computer Science, page 338-351. Springer, (1993)Relating Multi-step and Single-Step Microprocessor Correctness Statements., , and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 123-141. Springer, (2002)Combining Stream-Based and State-Based Verification Techniques., , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 126-142. Springer, (2000)Understanding and Comparing Model-Based Specification Notations., , and . RE, page 188-199. IEEE Computer Society, (2003)