A Bibliography of Willem-Paul de Roever
DOI10.1007/978-3-642-11512-7_1zbMath1274.01075OpenAlexW1572094804MaRDI QIDQ5187816
Martin Steffen, Dennis Dams, Ulrich Hannemann
Publication date: 9 March 2010
Published in: Concurrency, Compositionality, and Correctness (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11512-7_1
Biographies, obituaries, personalia, bibliographies (01A70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Introduction to design choices in the semantics of Statecharts
- A proof system for concurrent ADA programs
- Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2--5, 2004. Revised lectures.
- Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7--10, 2006. Revised lectures
- Program derivation through transformations: The evolution of list-copying algorithms
- Current trends in concurrency. Overviews and tutorials
- Compositional semantics for real-time distributed computing
- The \(\mu\)-calculus as an assertion-language for fairness arguments
- Semantics of nondeterminism, concurrency, and communication
- Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings
- A compositional axiomatization of statecharts
- Foundations of object-oriented languages. REX School/ Workshop Noordwijkerhout, the Netherlands, May 28 - June 1, 1990. Proceedings
- Semantics: foundations and applications. REX workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
- A decade of concurrency. Reflections and perspectives. REX School/ Symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993. Proceedings
- A principle for sequential reasoning about distributed algorithms
- The Rely-Guarantee method for verifying shared variable concurrent programs
- Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures
- An assertion-based proof system for multithreaded Java
- Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures.
- Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1--4, 2005. Revised lectures.
- Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24--26, 2007. Revised lectures
- Synthesizing different development paradigms: Combining top-down with bottom-up reasoning about distributed systems
- A proof rule for fair termination of guarded commands
- A Proof System for Communicating Sequential Processes
- Data Refinement
- Verification: Theory and Practice
- Formal Methods for Components and Objects
This page was built for publication: A Bibliography of Willem-Paul de Roever
