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
9742010
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
Acta Informatica 23, 9-66, 1986
4141986
Nets, terms and formulas: three views of concurrent processes and their relationship
ER Olderog
Cambridge University Press, 1992
3631992
Real-time systems: formal specification and automatic verification
ER Olderog, H Dierks
Cambridge University Press, 2008
1672008
Operational Petri net semantics for CCSP
ER Olderog
European Workshop on Applications and Theory in Petri Nets, 196-223, 1986
1661986
Proof rules and transformations dealing with fairness
KR Apt, ER Olderog
Science of Computer Programming 3 (1), 65-100, 1983
1331983
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
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
1071987
Readies and failures in the algebra of communicating processes
JA Bergstra, JW Klop, ER Olderog
SIAM Journal on Computing 17 (6), 1134-1177, 1988
961988
Fairness in parallel programs: The transformational approach
ER Olderog, KR Apt
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 420-455, 1988
961988
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
922011
Fifty years of Hoare’s logic
KR Apt, ER Olderog
Formal Aspects of Computing 31, 751-807, 2019
892019
Verification of cooperating traffic agents
W Damm, H Hungar, ER Olderog
International Journal of Control 79 (05), 395-421, 2006
832006
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983
781983
On the notion of expressiveness and the rule of adaptation
ER Olderog
Theoretical Computer Science 24 (3), 337-347, 1983
721983
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
701986
A CSP view on UML-RT structure diagrams
C Fischer, ER Olderog, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2001
642001
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
622002
Refining system requirements to program specifications
ER Olderog, AP Ravn, JU Skakkebaek
Formal Methods in Real-Time Systems, 1996
611996
Petri games: Synthesis of distributed systems with causal memory
B Finkbeiner, ER Olderog
Information and Computation 253, 181-203, 2017
602017
The system can't perform the operation now. Try again later.
Articles 1–20