Ernst-Ruediger Olderog
Ernst-Ruediger Olderog
Professor für Informatik, Universität Oldenburg
Verified email at - Homepage
Cited by
Cited by
Verification of sequential and concurrent programs
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
Acta Informatica 23 (1), 9-66, 1986
Nets, terms and formulas: three views of concurrent processes and their relationship
ER Olderog
Cambridge University Press, 2005
Real-time systems: formal specification and automatic verification
ER Olderog, H Dierks
Cambridge University Press, 2008
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, 288-335, 1994
Operational Petri net semantics for CCSP
ER Olderog
European Workshop on Applications and Theory in Petri Nets, 196-223, 1986
Proof rules and transformations dealing with fairness
KR Apt, ER Olderog
Science of Computer Programming 3 (1), 65-100, 1983
Readies and failures in the algebra of communicating processes
JA Bergstra, JW Klop, ER Olderog
SIAM Journal on Computing 17 (6), 1134-1177, 1988
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
Fairness in parallel programs: The transformational approach
ER Olderog, KR Apt
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 420-455, 1988
Verification of cooperating traffic agents
W Damm, H Hungar, ER Olderog
International Journal of Control 79 (05), 395-421, 2006
Contrasting themes in the semantics of imperative concurrency
JW de Bakker, JN Kok, JJC Meyer, ER Olderog, JI Zucker
Current trends in concurrency, 51-121, 1986
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
International Colloquium on Automata, Languages, and Programming, 561-572, 1983
On the notion of expressiveness and the rule of adaptation
ER Olderog
Theoretical Computer Science 24 (3), 337-347, 1983
A CSP view on UML-RT structure diagrams
C Fischer, ER Olderog, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2001
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
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
Sound and complete Hoare-like calculi based on copy rules
ER Olderog
Acta Informatica 16 (2), 161-197, 1981
Refining system requirements to program specifications
ER Olderog, AP Ravn, JU Skakkebaek
Formal Methods in Real-Time Systems, 1996
Linking CSP-OZ with UML and Java: A case study
M Möller, ER Olderog, H Rasch, H Wehrheim
International Conference on Integrated Formal Methods, 267-286, 2004
The system can't perform the operation now. Try again later.
Articles 1–20