A bibliography of willem-paul de roever | 0 | 0.34 | 2010 |
Concurrency, Compositionality, and Correctness: essays in Honor of Willem-Paul de Roever | 18 | 1.16 | 2010 |
Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework | 0 | 0.34 | 2008 |
Modeling the railway control domain rigorously with a UML 2.0 profile | 11 | 1.02 | 2006 |
Formal Design of Real-Time Components on a Shared Data Space Architecture | 3 | 0.46 | 2001 |
Assertion-Based Analysis of Hybrid Systems with PVS | 3 | 0.42 | 2001 |
Verification of Hybrid Systems: Formalization and Proof Rules in PVS | 12 | 0.81 | 2001 |
Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs | 0 | 0.34 | 2000 |
The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes | 1 | 0.34 | 1999 |
Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach | 6 | 0.74 | 1999 |
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency | 6 | 0.44 | 1997 |
A Compositional Proof System for Shared Variable Concurrency | 4 | 0.43 | 1997 |
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development | 5 | 0.43 | 1996 |
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems | 3 | 0.38 | 1995 |