BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × France
1 × Greece
1 × Italy
1 × Spain
1 × United Kingdom
2 × Finland
3 × USA
Collaborated with:
∅ J.Hoenicke H.Wehrheim J.W.d.Bakker J.C.Meyer M.Swaminathan C.A.R.Hoare H.Langmaack S.Rössig B.Finkbeiner M.Gieseking A.Podelski C.Fischer M.Möller H.Rasch B.Krieg-Brückner J.Peleska A.Baer J.I.Zucker
Talks about:
system (6) languag (3) concurr (3) semant (3) like (3) transform (2) structur (2) procedur (2) communic (2) uniform (2)

Person: Ernst-Rüdiger Olderog

DBLP DBLP: Olderog:Ernst=R=uuml=diger

Contributed to:

CAV 20152015
IFM 20132013
TACAS 20102010
IFM 20042004
IFM 20022002
FASE 20012001
World Congress on Formal Methods 19991999
ICALP 19921992
ICALP 19851985
STOC 19851985
ICALP 19831983
STOC 19831983
ICALP 19801980
TAPSOFT CAAP/FASE 19931993

Wrote 14 papers:

CAV-2015-FinkbeinerGO #distributed #named #synthesis
Adam: Causality-Based Synthesis of Distributed Systems (BF, MG, ERO), pp. 433–439.
IFM-2013-OlderogS #realtime
Structural Transformations for Data-Enriched Real-Time Systems (ERO, MS), pp. 378–393.
TACAS-2010-HoenickeOP
Fairness for Dynamic Control (JH, ERO, AP), pp. 251–265.
IFM-2004-MollerORW #case study #java #uml
Linking CSP-OZ with UML and Java: A Case Study (MM, ERO, HR, HW), pp. 267–286.
IFM-2002-HoenickeO #process #specification
Combining Specification Techniques for Processes, Data and Time (JH, ERO), pp. 245–266.
FASE-2001-FischerOW #csp #diagrams #uml
A CSP View on UML-RT Structure Diagrams (CF, ERO, HW), pp. 91–108.
FM-v2-1999-Krieg-BrucknerPOB #development #formal method
The UniForM Workbench, a Universal Development Environment for Formal Methods (BKB, JP, ERO, AB), pp. 1186–1205.
ICALP-1992-Olderog #communication #interface
Interfaces between Languages for Communicating Systems (ERO), pp. 641–655.
ICALP-1985-BakkerMO #concurrent #finite #infinity #semantics
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency (JWdB, JJCM, ERO), pp. 149–157.
STOC-1985-BakkerMOZ #concurrent #semantics
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency (JWdB, JJCM, ERO, JIZ), pp. 252–262.
ICALP-1983-OlderogH #communication #process #semantics
Specification-Oriented Semantics for Communicating Processes (ERO, CARH), pp. 561–572.
STOC-1983-Olderog #hoare #logic #source code
A Characterization of Hoare’s Logic for Programs with Pascal-like Procedures (ERO), pp. 320–329.
ICALP-1980-LangmaackO #hoare #programming language
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions (HL, ERO), pp. 363–373.
TAPSOFT-1993-OlderogR #case study #concurrent #design
A Case Study in Transformational Design of Concurrent Systems (ERO, SR), pp. 90–104.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.