| Publication | Date of Publication | Type |
|---|
The post-buckling behavior of a beam constrained by springy walls
Journal of the Mechanics and Physics of Solids | 2016-11-11 | Paper |
Proving mutual termination
Formal Methods in System Design | 2015-10-20 | Paper |
MAVEN: Modular aspect verification and interference analysis
Formal Methods in System Design | 2010-11-30 | Paper |
Model checking conformance with scenario-based specifications .
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Aspect Categories and Classes of Temporal Properties
Transactions on Aspect-Oriented Software Development I | 2009-06-26 | Paper |
Modular Verification of Strongly Invasive Aspects
Languages: From Formal to Natural | 2009-06-03 | Paper |
MAVEN: Modular Aspect Verification
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2102718 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2086960 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086950 (Why is no real title available?) | 2004-08-11 | Paper |
Superimpositions and Aspect-oriented Programming
The Computer Journal | 2004-07-12 | Paper |
A mechanized proof environment for the convenient computations proof method
Formal Methods in System Design | 2004-03-15 | Paper |
OPM/Web -- object-process methodology for developing web applications
Annals of Software Engineering | 2003-02-19 | Paper |
| scientific article; zbMATH DE number 1863176 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1693441 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1536545 (Why is no real title available?) | 2000-11-28 | Paper |
Impossibility results in the presence of multiple faulty processes
Information and Computation | 2000-08-02 | Paper |
scientific article; zbMATH DE number 1452706 (Why is no real title available?)
Chicago Journal of Theoretical Computer Science | 2000-05-29 | Paper |
| scientific article; zbMATH DE number 1059321 (Why is no real title available?) | 1998-02-26 | Paper |
Self-stabilizing extensions for message-passing systems
Distributed Computing | 1995-11-22 | Paper |
Verification of distributed programs using representative interleaving sequences
Distributed Computing | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 67481 (Why is no real title available?) | 1992-09-27 | Paper |
Defining conditional independence using collapses
Theoretical Computer Science | 1992-09-27 | Paper |
Interleaving set temporal logic
Theoretical Computer Science | 1990-01-01 | Paper |
Initial failures in distributed computations
International Journal of Parallel Programming | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4119602 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4205964 (Why is no real title available?) | 1989-01-01 | Paper |
Appraising fairness in languages for distributed programming
Distributed Computing | 1988-01-01 | Paper |
Partially interpreted schemas for CSP programming
Science of Computer Programming | 1988-01-01 | Paper |
Fairness and the axioms of control predicates
International Journal of Parallel Programming | 1987-01-01 | Paper |
Cooperative Distributed Algorithms for Dynamic Cycle Prevention
IEEE Transactions on Software Engineering | 1987-01-01 | Paper |
A complete rule for equifair termination
Journal of Computer and System Sciences | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3924108 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3890705 (Why is no real title available?) | 1984-01-01 | Paper |
Program Optimization Using Invariants
IEEE Transactions on Software Engineering | 1978-01-01 | Paper |
Logical analysis of programs
Communications of the ACM | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3526279 (Why is no real title available?) | 1976-01-01 | Paper |
A closer look at termination
Acta Informatica | 1975-01-01 | Paper |
