Articles with public access mandates - Ernst-Ruediger OlderogLearn more
Not available anywhere: 6
Verification of cooperating traffic agents
W Damm, H Hungar, ER Olderog
International Journal of Control 79 (05), 395-421, 2006
Mandates: German Research Foundation
Integrating a formal method into a software engineering process with UML and Java
M Möller, ER Olderog, H Rasch, H Wehrheim
Formal Aspects of Computing 20 (2), 161-204, 2008
Mandates: German Research Foundation
Synthesizing controllers for multi-lane traffic maneuvers
G Bochmann, M Hilscher, S Linker, ER Olderog
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
Mandates: Natural Sciences and Engineering Research Council of Canada, German Research …
Spatial and timing properties in highway traffic
C Bischopink, ER Olderog
International Colloquium on Theoretical Aspects of Computing, 114-131, 2022
Mandates: German Research Foundation
Explicit fair scheduling for dynamic control
ER Olderog, A Podelski
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem …, 2010
Mandates: German Research Foundation
A sound and complete Hoare logic for dynamically-typed, object-oriented programs
B Engelmann, ER Olderog
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016
Mandates: German Research Foundation
Available somewhere: 27
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
Mandates: German Research Foundation
Proving safety of traffic manoeuvres on country roads
M Hilscher, S Linker, ER Olderog
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013
Mandates: German Research Foundation
Petri games: Synthesis of distributed systems with causal memory
B Finkbeiner, ER Olderog
Information and Computation 253, 181-203, 2017
Mandates: German Research Foundation
Automating verification of cooperation, control, and design in traffic applications
W Damm, A Mikschl, J Oehlerking, ER Olderog, J Pang, A Platzer, ...
Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines …, 2007
Mandates: German Research Foundation
Adam: Causality-Based Synthesis of Distributed Systems
B Finkbeiner, M Gieseking, ER Olderog
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
Mandates: German Research Foundation
Model checking data flows in concurrent network updates
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
International Symposium on Automated Technology for Verification and …, 2019
Mandates: German Research Foundation, European Commission
SFB/TR 14 AVACS–Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS–Automatische Verifikation und Analyse komplexer Systeme)
B Becker, A Podelski, W Damm, M Fränzle, ER Olderog, R Wilhelm
it-Information Technology 49 (2), 118-126, 2007
Mandates: German Research Foundation
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
International Conference on Computer Aided Verification, 64-76, 2020
Mandates: German Research Foundation, European Commission
Kleene, Rabin, and Scott are available
J Hoenicke, R Meyer, ER Olderog
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010
Mandates: German Research Foundation
Synthesizing and verifying controllers for multi-lane traffic maneuvers
GV Bochmann, M Hilscher, S Linker, ER Olderog
Formal Aspects of Computing 29, 583-600, 2017
Mandates: Natural Sciences and Engineering Research Council of Canada, German Research …
Layered composition for timed automata
ER Olderog, M Swaminathan
International Conference on Formal Modeling and Analysis of Timed Systems …, 2010
Mandates: German Research Foundation
Solving high-level Petri games
M Gieseking, ER Olderog, N Würdemann
Acta Informatica 57 (3), 591-626, 2020
Mandates: German Research Foundation
Linking discrete and continuous models, applied to traffic manoeuvrers
ER Olderog, AP Ravn, R Wisniewski
Provably Correct Systems, 95-120, 2017
Mandates: German Research Foundation
Model checking branching properties on Petri nets with transits
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
Automated Technology for Verification and Analysis: 18th International …, 2020
Mandates: German Research Foundation, European Commission
Publication and funding information is determined automatically by a computer program