Folgen
Ernst-Ruediger Olderog
Ernst-Ruediger Olderog
Professor für Informatik, Universität Oldenburg
Bestätigte E-Mail-Adresse bei informatik.uni-oldenburg.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Verification of sequential and concurrent programs
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
9802010
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
Acta Informatica 23, 9-66, 1986
4181986
Nets, terms and formulas: three views of concurrent processes and their relationship
ER Olderog
Cambridge University Press, 1992
3581992
Operational Petri net semantics for CCSP
ER Olderog
European Workshop on Applications and Theory in Petri Nets, 196-223, 1986
1691986
Real-time systems: formal specification and automatic verification
ER Olderog, H Dierks
Cambridge University Press, 2008
1662008
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
1261994
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
1101987
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
951988
Fifty years of Hoare’s logic
KR Apt, ER Olderog
Formal Aspects of Computing 31, 751-807, 2019
932019
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
932011
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
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
701986
Petri games: Synthesis of distributed systems with causal memory
B Finkbeiner, ER Olderog
Information and Computation 253, 181-203, 2017
652017
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20