Ernst-Ruediger Olderog
Ernst-Ruediger Olderog
Professor für Informatik, Universität Oldenburg
Adresse e-mail validée de informatik.uni-oldenburg.de - Page d'accueil
Titre
Citée par
Citée par
Année
Verification of sequential and concurrent programs
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
8152010
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
Acta Informatica 23 (1), 9-66, 1986
3861986
Nets, terms and formulas: three views of concurrent processes and their relationship
ER Olderog
Cambridge University Press, 2005
318*2005
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
149*1994
Operational Petri net semantics for CCSP
ER Olderog
European Workshop on Applications and Theory in Petri Nets, 196-223, 1986
1491986
Real-time systems: formal specification and automatic verification
ER Olderog, H Dierks
Cambridge University Press, 2008
1482008
Proof rules and transformations dealing with fairness
KR Apt, ER Olderog
Science of Computer Programming 3 (1), 65-100, 1983
1211983
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
1001987
Fairness in parallel programs: The transformational approach
ER Olderog, KR Apt
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 420-455, 1988
871988
Verification of cooperating traffic agents
W Damm, H Hungar, ER Olderog
International Journal of Control 79 (05), 395-421, 2006
812006
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
711986
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
International Colloquium on Automata, Languages, and Programming, 561-572, 1983
691983
On the notion of expressiveness and the rule of adaptation
ER Olderog
Theoretical Computer Science 24 (3), 337-347, 1983
651983
A CSP view on UML-RT structure diagrams
C Fischer, ER Olderog, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2001
612001
Refining system requirements to program specifications
ER Olderog, AP Ravn, JU Skakkebaek
Formal Methods in Real-time Systems, 1996
591996
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
582011
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
572002
Sound and complete Hoare-like calculi based on copy rules
ER Olderog
Acta Informatica 16 (2), 161-197, 1981
561981
A ProCoS project description
D Bjørner, CAR Hoare, JP Bowen, J He, H Langmaack, ER Olderog, ...
Bulletin of the European Association for Theoretical Computer Science (EATCS …, 1989
541989
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20