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

Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms., , and . Turing-100, volume 10 of EPiC Series in Computing, page 168-180. EasyChair, (2012)Pandora's Box., , , and . HOWARD-60, volume 42 of EPiC Series in Computing, EasyChair, (2014)Towards the Hierarchical, Temporal Logic, Specification., and . The Analysis of Concurrent Systems, volume 207 of Lecture Notes in Computer Science, page 157-183. Springer, (1983)Consistent specification of interface suites in UML., , , and . Softw. Syst. Model., 1 (2): 98-112 (2002)Partial-order Reduction Techniques for Real-time Model Checking., , , and . Formal Aspects Comput., 10 (5-6): 469-482 (1998)Dependency Safety for Java: Implementing Failboxes., , , , , , , , and . PPPJ, page 15:1-15:6. ACM, (2016)Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic., and . Int. J. Electron. Commer., 3 (2): 67-85 (1998)Cooperation-based Invariants for OO Languages., , , and . FACS, volume 160 of Electronic Notes in Theoretical Computer Science, page 225-237. Elsevier, (2005)Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework., and . Seminar on Concurrency, volume 197 of Lecture Notes in Computer Science, page 35-61. Springer, (1984)Interface Refinement in Reactive Systems (Extended Abstract)., , and . CONCUR, volume 630 of Lecture Notes in Computer Science, page 77-93. Springer, (1992)