2002
The ForSpec Temporal Logic: A New Temporal Property-Specification Language.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
2001
Model Checking if Your Life Depends on It a View from Intel's Trenches.
Proceedings of the Model Checking Software, 2001
2000
Improving Partial Order Reductions for Universal Branching Time Properties.
Fundam. Informaticae, 2000
1999
A Partial Order Approach to Branching Time Logic Model Checking.
Inf. Comput., 1999
Sequential Consistency and the Lazy Caching Algorithm.
Distributed Comput., 1999
1998
Partial-order Reduction Techniques for Real-time Model Checking.
Formal Aspects Comput., 1998
1997
Abstract Interpretation of Reactive Systems.
ACM Trans. Program. Lang. Syst., 1997
The bounded retransmission protocol revisited.
Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997
Model Checking (Abstract).
Proceedings of the Logic Programming, 1997
1995
Simple on-the-fly automatic verification of linear temporal logic.
Proceedings of the Protocol Specification, 1995
1994
Model Checking Using Adaptive State and Data Abstraction.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1993
A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems.
Proceedings of the 12th Symposium on Reliable Distributed Systems, 1993
Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract).
Proceedings of the CONCUR '93, 1993
Generation of Reduced Models for Checking Fragments of CTL.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
1992
Exception Handling in Process Algebra.
Proceedings of the NAPAW 92, 1992
Interface Refinement in Reactive Systems (Extended Abstract).
Proceedings of the CONCUR '92, 1992
1991
Semantics of Reactive Systems in Abstract Time.
Proceedings of the Real-Time: Theory in Practice, 1991
1989
The upsilon-Calculus as an Assertion-Language for Fairness Arguments
Inf. Comput., September, 1989
Foundations of Compositional Program Refinement - Safety Properties.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989
Reasoning of real-time distributed programming languages.
Proceedings of the 5th International Workshop on Software Specification and Design, 1989
Proceedings of the 5th International Workshop on Software Specification and Design, 1989
1988
Compositional Semantics for Real-Time Distributed Computing
Inf. Comput., December, 1988
Fully Abstract Denotational Semantics for Flat Concurrent Prolog
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
Modeling Statecharts Behaviour in a Fully Abstract Way.
Proceedings of the CAAP '88, 1988
1987
Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language.
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987
A Timed Failures Model for Extended Communicating Processes.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987
1986
On Proving Communication Closedness of Distributed Layers.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986
1984
A Proof System for Concurrent ADA Programs.
Sci. Comput. Program., 1984
Transition Logic: How to Reason About Temporal Properties in a Compositional Way
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984
1982
Procedures and concurrency: A study in proof.
Proceedings of the International Symposium on Programming, 1982
A Sound and Complete Hoare Axiomatization of the Ada-Rendevous.
Proceedings of the Automata, 1982
1981
A Proof System for Brinch Hansen's Distributed Processes.
Proceedings of the GI, 1981