Willem P. de Roever - Concepedia

Author

Willem P. de Roever

Also Known As

Advanced School on Current Trends in Concurrency 1985 Noordwijkerhout, REX School Symposium 1993 Noordwijkerhout, Roever, de, W.P., W P de Roever, W. -P. Roever, W. -P. de Roever, W. P. De Roever, W. P. Roever, W. P. d. Roever, W. P. de Roever

103

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

Eindhoven University of Technology Utrecht University Tata Institute of Fundamental Research Technion – Israel Institute of Technology Christian-Albrechts-Universität zu Kiel

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	21	1.3K
2	Natural Sciences	2	2	57
3	Biology	2	2	57
4	Chemistry	2	2	39
5	Computer Engineering	1	1	117

Willem P. de Roever

Publications

1.3K

Citations

H-Index

Page 1

	Year	Citations
A Proof System for Communicating Sequential Processes Krzysztof R. Apt, Nissim Francez, Willem P. de Roever ACM Transactions on Programming Languages and Systems Partial CorrectnessEngineeringAxiomatic Proof SystemAutomated ReasoningVerification	1980	323
The rely-guarantee method for verifying shared variable concurrent programs Qiwen Xu, Willem P. de Roever, Jifeng He Formal Aspects of Computing Program CheckingEngineeringVerificationSoftware EngineeringConcurrent System	1997	143
Real-time programming and asynchronous message passing Ron Koymans, Jan Vytopil, Willem P. de Roever EngineeringReal-time ProcessesSpecial Temporal LogicFormal VerificationReal-time System	1983	117
A Calculus for Recursive Program Schemes. J. W. de Bakker, Willem P. de Roever International Colloquium on Automata, Languages and Programming EngineeringProgram AnalysisAutomated ReasoningFormal MethodsComputer Science	1972	101
Semantics of nondeterminism, concurrency, and communication Nissim Francez, C. A. R. Hoare, Daniel Lehmann, Journal of Computer and System Sciences EngineeringAutomated ReasoningConcurrent ProgrammingConcurrency TheoryFormal Methods	1979	91
A proof rule for fair termination of guarded commands Orna Grümberg, Nissim Francez, Johann A. Makowsky, Information and Control EngineeringAutomated ReasoningFair TerminationProof ComplexityVerification	1985	78
Compositional semantics for real-time distributed computing Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Information and Computation Real-time Distributed ComputingEngineeringAutomated ReasoningFormal MethodsReal-time Computing	1988	64
A compositional axiomatization of Statecharts Jozef Hooman, S. Ramesh, Willem P. de Roever Theoretical Computer Science Compositional AxiomatizationEngineeringAutomated ReasoningFormal MethodsComputer Science	1992	50
Plurifacial alpine metamorphism in the eastern Betic Cordilleras (SE Spain), with special reference to the genesis of the glaucophane Willem P. de Roever, H. J. Nijhuis Geologische Rundschau BiologyEngineeringSe SpainNatural SciencesEvolutionary Biology	1964	46
A proof system for concurrent ADA programs Rob Gerth, Willem P. de Roever Science of Computer Programming EngineeringAutomated ReasoningProgram AnalysisVerificationConcurrent Programming	1984	35

Page 1