Concepedia

Willem P. de Roever

WP

26

Publications

1.3K

Citations

17

H-Index

1951

Active since

Affiliations

Eindhoven University of Technology(Current)

Utrecht University

Tata Institute of Fundamental Research

Technion – Israel Institute of Technology

Christian-Albrechts-Universität zu Kiel

Willem P. de Roever is an author at Eindhoven University of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationProgram AnalysisSystem SoftwarePetrologyReal-time Systems

Publications per year

1951–1998

26

Publications

26

A Proof System for Communicating Sequential Processes

Krzysztof R. Apt, Nissim Francez, Willem P. de Roever · ACM Transactions on Programming Languages and Systems · 1980 · 323 citations · Full text

Partial Correctness, Engineering, Axiomatic Proof System +14

The rely-guarantee method for verifying shared variable concurrent programs

Qiwen Xu, Willem P. de Roever, Jifeng He · Formal Aspects of Computing · 1997 · 143 citations

Program Checking, Engineering, Verification +17

Real-time programming and asynchronous message passing

Ron Koymans, Jan Vytopil, Willem P. de Roever · 1983 · 117 citations · Full text

Engineering, Real-time Processes, Special Temporal Logic +17

A Calculus for Recursive Program Schemes.

J. W. de Bakker, Willem P. de Roever · International Colloquium on Automata, Languages and Programming · 1972 · 101 citations

Engineering, Program Analysis, Automated Reasoning +7

Semantics of nondeterminism, concurrency, and communication

Nissim Francez, C. A. R. Hoare, Daniel Lehmann et al. · Journal of Computer and System Sciences · 1979 · 91 citations

Engineering, Automated Reasoning, Concurrent Programming +4

Rows per page

1–5 of 26