Follow
Ernst-Ruediger Olderog
Ernst-Ruediger Olderog
Professor für Informatik, Universität Oldenburg
Verified email at informatik.uni-oldenburg.de - Homepage
Title
Cited by
Cited by
Year
Verification of sequential and concurrent programs
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
9452010
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
Acta Informatica 23, 9-66, 1986
4091986
Nets, terms and formulas: three views of concurrent processes and their relationship
ER Olderog
Cambridge University Press, 1992
3561992
Operational Petri net semantics for CCSP
ER Olderog
European Workshop on Applications and Theory in Petri Nets, 196-223, 1986
1651986
Real-time systems: formal specification and automatic verification
ER Olderog, H Dierks
Cambridge University Press, 2008
1622008
Proof rules and transformations dealing with fairness
KR Apt, ER Olderog
Science of Computer Programming 3 (1), 65-100, 1983
1281983
Provably correct systems
J He, CAR Hoare, M Fränzle, M Müller-Olm, ER Olderog, M Schenke, ...
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 1994
1271994
Readies and failures in the algebra of communicating processes
JA Bergstra, JW Klop, ER Olderog
SIAM Journal on Computing 17 (6), 1134-1177, 1988
1101988
Failures without chaos: a new process model for fair abstraction
JA Bergstra, JW Klop, ER Olderog
North Holland (now part of Elsevier) 3, 77-103, 1987
1091987
Fairness in parallel programs: The transformational approach
ER Olderog, KR Apt
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 420-455, 1988
951988
An abstract model for proving safety of multi-lane traffic manoeuvres
M Hilscher, S Linker, ER Olderog, AP Ravn
International Conference on Formal Engineering Methods, 404-419, 2011
882011
Verification of cooperating traffic agents
W Damm, H Hungar, ER Olderog
International Journal of Control 79 (05), 395-421, 2006
822006
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983
771983
Fifty years of Hoare’s logic
KR Apt, ER Olderog
Formal Aspects of Computing 31, 751-807, 2019
742019
On the notion of expressiveness and the rule of adaptation
ER Olderog
Theoretical Computer Science 24 (3), 337-347, 1983
711983
Contrasting themes in the semantics of imperative concurrency
JW de Bakker, JN Kok, JJC Meyer, ER Olderog, JI Zucker
Current Trends in Concurrency: Overviews and Tutorials, 51-121, 1986
681986
A CSP view on UML-RT structure diagrams
C Fischer, ER Olderog, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2001
652001
CSP-OZ-DC: A combination of specification techniques for processes, data and time
J Hoenicke, ER Olderog
Nord. J. Comput. 9 (4), 301-334, 2002
612002
Refining system requirements to program specifications
ER Olderog, AP Ravn, JU Skakkebaek
Formal Methods in Real-Time Systems, 1996
601996
Sound and complete Hoare-like calculi based on copy rules
ER Olderog
Acta Informatica 16, 161-197, 1981
591981
The system can't perform the operation now. Try again later.
Articles 1–20