Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ernst-Rüdiger Olderog
@inproceedings{DBLP:conf/birthday/BischopinkO23,
author = {Christopher Bischopink and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Anne E. Haxthausen and
Wen{-}ling Huang and
Markus Roggenbach},
title = {Time for Traffic Manoeuvres},
booktitle = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
to Jan Peleska on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14165},
pages = {163--179},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40132-9\_11},
doi = {10.1007/978-3-031-40132-9\_11},
timestamp = {Wed, 20 Sep 2023 17:19:14 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BischopinkO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FinkbeinerO23,
author = {Bernd Finkbeiner and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Jonathan P. Bowen and
Qin Li and
Qiwen Xu},
title = {Concurrent Hyperproperties},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14080},
pages = {211--231},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40436-8\_8},
doi = {10.1007/978-3-031-40436-8\_8},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/FinkbeinerO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-00705,
author = {Bernd Finkbeiner and
Ernst{-}R{\"{u}}diger Olderog},
title = {Concurrent Hyperproperties},
journal = {CoRR},
volume = {abs/2310.00705},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.00705},
doi = {10.48550/ARXIV.2310.00705},
eprinttype = {arXiv},
eprint = {2310.00705},
timestamp = {Wed, 18 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00705.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-09004,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
title = {Nondeterminism and Guarded Commands},
journal = {CoRR},
volume = {abs/2310.09004},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.09004},
doi = {10.48550/ARXIV.2310.09004},
eprinttype = {arXiv},
eprint = {2310.09004},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-09004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HannibalO22,
author = {Paul Hannibal and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Luca Bernardinello and
Laure Petrucci},
title = {The Synthesis Problem for Repeatedly Communicating Petri Games},
booktitle = {Application and Theory of Petri Nets and Concurrency - 43rd International
Conference, {PETRI} {NETS} 2022, Bergen, Norway, June 19-24, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13288},
pages = {236--257},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06653-5\_13},
doi = {10.1007/978-3-031-06653-5\_13},
timestamp = {Mon, 20 Jun 2022 16:55:49 +0200},
biburl = {https://dblp.org/rec/conf/apn/HannibalO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FinkbeinerGHO22,
author = {Bernd Finkbeiner and
Manuel Gieseking and
Jesko Hecking{-}Harbusch and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Florin Manea and
Alex Simpson},
title = {Global Winning Conditions in Synthesis of Distributed Systems with
Causal Memory},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
pages = {20:1--20:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.20},
doi = {10.4230/LIPICS.CSL.2022.20},
timestamp = {Thu, 27 Jan 2022 17:26:21 +0100},
biburl = {https://dblp.org/rec/conf/csl/FinkbeinerGHO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BischopinkO22,
author = {Christopher Bischopink and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {Spatial and Timing Properties in Highway Traffic},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {114--131},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_9},
doi = {10.1007/978-3-031-17715-6\_9},
timestamp = {Fri, 07 Oct 2022 16:33:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BischopinkO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/AptO22,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Krzysztof R. Apt and
Tony Hoare},
title = {Nondeterminism and Guarded Commands},
booktitle = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
series = {{ACM} Books},
volume = {45},
pages = {169--204},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2022},
url = {https://doi.org/10.1145/3544585.3544595},
doi = {10.1145/3544585.3544595},
timestamp = {Tue, 29 Aug 2023 07:46:41 +0200},
biburl = {https://dblp.org/rec/books/mc/22/AptO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GiesekingOW21,
author = {Manuel Gieseking and
Ernst{-}R{\"{u}}diger Olderog and
Nick W{\"{u}}rdemann},
title = {Correction to: Solving high-level Petri games},
journal = {Acta Informatica},
volume = {58},
number = {6},
pages = {675--676},
year = {2021},
url = {https://doi.org/10.1007/s00236-021-00405-x},
doi = {10.1007/S00236-021-00405-X},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/GiesekingOW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/OlderogFTK21,
author = {Ernst{-}R{\"{u}}diger Olderog and
Martin Fr{\"{a}}nzle and
Oliver E. Theel and
Paul Kr{\"{o}}ger},
title = {System correctness under adverse conditions},
journal = {it Inf. Technol.},
volume = {63},
number = {5-6},
pages = {249--251},
year = {2021},
url = {https://doi.org/10.1515/itit-2021-0043},
doi = {10.1515/ITIT-2021-0043},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/OlderogFTK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OlderogS021,
author = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Model Checking, Synthesis, and Learning},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {1--7},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_1},
doi = {10.1007/978-3-030-91384-7\_1},
timestamp = {Tue, 11 Jan 2022 18:33:29 +0100},
biburl = {https://dblp.org/rec/conf/birthday/OlderogS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GiesekingO21,
author = {Manuel Gieseking and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {High-Level Representation of Benchmark Families for Petri Games},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {115--137},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_7},
doi = {10.1007/978-3-030-91384-7\_7},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GiesekingO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/AptO21,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Cliff B. Jones and
Jayadev Misra},
title = {Assessing the Success and Impact of Hoare's Logic},
booktitle = {Theories of Programming: The Life and Works of Tony Hoare},
series = {{ACM} Books},
volume = {39},
pages = {41--76},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2021},
url = {https://doi.org/10.1145/3477355.3477359},
doi = {10.1145/3477355.3477359},
timestamp = {Fri, 18 Aug 2023 18:15:50 +0200},
biburl = {https://dblp.org/rec/books/mc/21/AptO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2021jonsson,
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7},
doi = {10.1007/978-3-030-91384-7},
isbn = {978-3-030-91383-0},
timestamp = {Tue, 11 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2021jonsson.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-09280,
author = {Bernd Finkbeiner and
Manuel Gieseking and
Jesko Hecking{-}Harbusch and
Ernst{-}R{\"{u}}diger Olderog},
title = {Global Winning Conditions in Synthesis of Distributed Systems with
Causal Memory},
journal = {CoRR},
volume = {abs/2107.09280},
year = {2021},
url = {https://arxiv.org/abs/2107.09280},
eprinttype = {arXiv},
eprint = {2107.09280},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-09280.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GiesekingOW20,
author = {Manuel Gieseking and
Ernst{-}R{\"{u}}diger Olderog and
Nick W{\"{u}}rdemann},
title = {Solving high-level Petri games},
journal = {Acta Informatica},
volume = {57},
number = {3-5},
pages = {591--626},
year = {2020},
url = {https://doi.org/10.1007/s00236-020-00368-5},
doi = {10.1007/S00236-020-00368-5},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GiesekingOW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FinkbeinerGHO20,
author = {Bernd Finkbeiner and
Manuel Gieseking and
Jesko Hecking{-}Harbusch and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {Model Checking Branching Properties on Petri Nets with Transits},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {394--410},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_22},
doi = {10.1007/978-3-030-59152-6\_22},
timestamp = {Tue, 13 Oct 2020 16:52:35 +0200},
biburl = {https://dblp.org/rec/conf/atva/FinkbeinerGHO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FinkbeinerGHO20,
author = {Bernd Finkbeiner and
Manuel Gieseking and
Jesko Hecking{-}Harbusch and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {AdamMC: {A} Model Checker for Petri Nets with Transits against Flow-LTL},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {64--76},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_5},
doi = {10.1007/978-3-030-53291-8\_5},
timestamp = {Wed, 12 Aug 2020 15:15:44 +0200},
biburl = {https://dblp.org/rec/conf/cav/FinkbeinerGHO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-07130,
author = {Bernd Finkbeiner and
Manuel Gieseking and
Jesko Hecking{-}Harbusch and
Ernst{-}R{\"{u}}diger Olderog},
title = {AdamMC: {A} Model Checker for Petri Nets with Transits against Flow-LTL
(Full Version)},
journal = {CoRR},
volume = {abs/2005.07130},
year = {2020},
url = {https://arxiv.org/abs/2005.07130},
eprinttype = {arXiv},
eprint = {2005.07130},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-07130.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-07235,
author = {Bernd Finkbeiner and
Manuel Gieseking and
Jesko Hecking{-}Harbusch and
Ernst{-}R{\"{u}}diger Olderog},
title = {Model Checking Branching Properties on Petri Nets with Transits (Full
Version)},
journal = {CoRR},
volume = {abs/2007.07235},
year = {2020},
url = {https://arxiv.org/abs/2007.07235},
eprinttype = {arXiv},
eprint = {2007.07235},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-07235.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AptO19,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
title = {Fifty years of Hoare's logic},
journal = {Formal Aspects Comput.},
volume = {31},
number = {6},
pages = {751--807},
year = {2019},
url = {https://doi.org/10.1007/s00165-019-00501-3},
doi = {10.1007/S00165-019-00501-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AptO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FinkbeinerGHO19,
author = {Bernd Finkbeiner and
Manuel Gieseking and
Jesko Hecking{-}Harbusch and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Model Checking Data Flows in Concurrent Network Updates},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {515--533},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_30},
doi = {10.1007/978-3-030-31784-3\_30},
timestamp = {Mon, 03 Jan 2022 17:11:32 +0100},
biburl = {https://dblp.org/rec/conf/atva/FinkbeinerGHO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-03917,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
title = {Fifty years of Hoare's Logic},
journal = {CoRR},
volume = {abs/1904.03917},
year = {2019},
url = {http://arxiv.org/abs/1904.03917},
eprinttype = {arXiv},
eprint = {1904.03917},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-03917.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-05621,
author = {Manuel Gieseking and
Ernst{-}R{\"{u}}diger Olderog},
title = {High-Level Representation of Benchmark Families for Petri Games},
journal = {CoRR},
volume = {abs/1904.05621},
year = {2019},
url = {http://arxiv.org/abs/1904.05621},
eprinttype = {arXiv},
eprint = {1904.05621},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-05621.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11061,
author = {Bernd Finkbeiner and
Manuel Gieseking and
Jesko Hecking{-}Harbusch and
Ernst{-}R{\"{u}}diger Olderog},
title = {Model Checking Data Flows in Concurrent Network Updates (Full Version)},
journal = {CoRR},
volume = {abs/1907.11061},
year = {2019},
url = {http://arxiv.org/abs/1907.11061},
eprinttype = {arXiv},
eprint = {1907.11061},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/birthday/Olderog17,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Cliff B. Jones and
Ji Wang and
Naijun Zhan},
title = {Space for Traffic Manoeuvres: An Overview},
booktitle = {Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor
Chaochen Zhou on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11180},
pages = {211--230},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01461-2\_11},
doi = {10.1007/978-3-030-01461-2\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Olderog17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BochmannHLO17,
author = {Gregor von Bochmann and
Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog},
title = {Synthesizing and verifying controllers for multi-lane traffic maneuvers},
journal = {Formal Aspects Comput.},
volume = {29},
number = {4},
pages = {583--600},
year = {2017},
url = {https://doi.org/10.1007/s00165-017-0424-4},
doi = {10.1007/S00165-017-0424-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BochmannHLO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FinkbeinerO17,
author = {Bernd Finkbeiner and
Ernst{-}R{\"{u}}diger Olderog},
title = {Petri games: Synthesis of distributed systems with causal memory},
journal = {Inf. Comput.},
volume = {253},
pages = {181--203},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.07.006},
doi = {10.1016/J.IC.2016.07.006},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FinkbeinerO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OlderogS17,
author = {Ernst{-}R{\"{u}}diger Olderog and
Maike Schwammberger},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Formalising a Hazard Warning Communication Protocol with Timed Automata},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {640--660},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_32},
doi = {10.1007/978-3-319-63121-9\_32},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OlderogS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-10637,
author = {Bernd Finkbeiner and
Manuel Gieseking and
Jesko Hecking{-}Harbusch and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Dana Fisman and
Swen Jacobs},
title = {Symbolic vs. Bounded Synthesis for Petri Games},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {23--43},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.5},
doi = {10.4204/EPTCS.260.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10637.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/OlderogRW17,
author = {Ernst{-}R{\"{u}}diger Olderog and
Anders P. Ravn and
Rafael Wisniewski},
editor = {Michael G. Hinchey and
Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog},
title = {Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers},
booktitle = {Provably Correct Systems},
series = {{NASA} Monographs in Systems and Software Engineering},
pages = {95--120},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-48628-4\_5},
doi = {10.1007/978-3-319-48628-4\_5},
timestamp = {Wed, 14 Nov 2018 10:12:22 +0100},
biburl = {https://dblp.org/rec/books/sp/17/OlderogRW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/HBO2017,
editor = {Michael G. Hinchey and
Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog},
title = {Provably Correct Systems},
series = {{NASA} Monographs in Systems and Software Engineering},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-48628-4},
doi = {10.1007/978-3-319-48628-4},
isbn = {978-3-319-48627-7},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/HBO2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EngelmannO16,
author = {Bj{\"{o}}rn Engelmann and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented
Programs},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {173--193},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_13},
doi = {10.1007/978-3-319-30734-3\_13},
timestamp = {Thu, 01 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EngelmannO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Olderog15,
author = {Ernst{-}R{\"{u}}diger Olderog},
title = {Letter from the Managing Editor},
journal = {Acta Informatica},
volume = {52},
number = {1},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1007/s00236-014-0212-z},
doi = {10.1007/S00236-014-0212-Z},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Olderog15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GlabbeekGO15,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Ernst{-}R{\"{u}}diger Olderog},
title = {Special issue on "Combining Compositionality and Concurrency":
part 1},
journal = {Acta Informatica},
volume = {52},
number = {1},
pages = {3--4},
year = {2015},
url = {https://doi.org/10.1007/s00236-014-0213-y},
doi = {10.1007/S00236-014-0213-Y},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GlabbeekGO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GlabbeekGO15a,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Ernst{-}R{\"{u}}diger Olderog},
title = {Special issue on "Combining Compositionality and Concurrency":
part 2},
journal = {Acta Informatica},
volume = {52},
number = {4-5},
pages = {303--304},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0240-3},
doi = {10.1007/S00236-015-0240-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GlabbeekGO15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OlderogS15,
author = {Ernst{-}R{\"{u}}diger Olderog and
Mani Swaminathan},
title = {Structural transformations for data-enriched real-time systems},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {727--750},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0306-y},
doi = {10.1007/S00165-014-0306-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OlderogS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FinkbeinerGO15,
author = {Bernd Finkbeiner and
Manuel Gieseking and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Adam: Causality-Based Synthesis of Distributed Systems},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {433--439},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_25},
doi = {10.1007/978-3-319-21690-4\_25},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/FinkbeinerGO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/OlderogRW15,
author = {Ernst{-}R{\"{u}}diger Olderog and
Anders P. Ravn and
Rafael Wisniewski},
title = {Linking spatial and dynamic models for traffic maneuvers},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {6809--6816},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7403292},
doi = {10.1109/CDC.2015.7403292},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cdc/OlderogRW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/BochmannHLO15,
author = {Gregor von Bochmann and
Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Synthesizing Controllers for Multi-lane Traffic Maneuvers},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {71--86},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_5},
doi = {10.1007/978-3-319-25942-0\_5},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/BochmannHLO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EngelmannOF15,
author = {Bj{\"{o}}rn Engelmann and
Ernst{-}R{\"{u}}diger Olderog and
Nils Erik Flick},
title = {Closing the Gap - Formally Verifying Dynamically Typed Programs like
Statically Typed Ones Using Hoare Logic - Extended Version -},
journal = {CoRR},
volume = {abs/1501.02699},
year = {2015},
url = {http://arxiv.org/abs/1501.02699},
eprinttype = {arXiv},
eprint = {1501.02699},
timestamp = {Thu, 01 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EngelmannOF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EngelmannO15,
author = {Bj{\"{o}}rn Engelmann and
Ernst{-}R{\"{u}}diger Olderog},
title = {A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented
Programs - Extended Version -},
journal = {CoRR},
volume = {abs/1509.08605},
year = {2015},
url = {http://arxiv.org/abs/1509.08605},
eprinttype = {arXiv},
eprint = {1509.08605},
timestamp = {Thu, 01 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EngelmannO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Olderog14,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Erhard Pl{\"{o}}dereder and
Lars Grunske and
Eric Schneider and
Dominik Ull},
title = {Von Petri-Spielen zu endlichen Automaten},
booktitle = {44. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Big Data
- Komplexit{\"{a}}t meistern, {INFORMATIK} 2014, Stuttgart, Germany,
September 22-26, 2014},
series = {{LNI}},
volume = {{P-232}},
pages = {2209},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/2851},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Olderog14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FinkbeinerO14,
author = {Bernd Finkbeiner and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Adriano Peron and
Carla Piazza},
title = {Petri Games: Synthesis of Distributed Systems with Causal Memory},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {217--230},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.19},
doi = {10.4204/EPTCS.161.19},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/FinkbeinerO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HilscherLO13,
author = {Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Proving Safety of Traffic Manoeuvres on Country Roads},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
pages = {196--212},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4\_12},
doi = {10.1007/978-3-642-39698-4\_12},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HilscherLO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/OlderogS13,
author = {Ernst{-}R{\"{u}}diger Olderog and
Mani Swaminathan},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Structural Transformations for Data-Enriched Real-Time Systems},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {378--393},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_26},
doi = {10.1007/978-3-642-38613-8\_26},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/OlderogS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SwaminathanKO12,
author = {Mani Swaminathan and
Joost{-}Pieter Katoen and
Ernst{-}R{\"{u}}diger Olderog},
title = {Layered reasoning for randomized distributed algorithms},
journal = {Formal Aspects Comput.},
volume = {24},
number = {4-6},
pages = {477--496},
year = {2012},
url = {https://doi.org/10.1007/s00165-012-0231-x},
doi = {10.1007/S00165-012-0231-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SwaminathanKO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/OlderogW12,
author = {Ernst{-}R{\"{u}}diger Olderog and
Reinhard Wilhelm},
title = {Turing und die Verifikation},
journal = {Inform. Spektrum},
volume = {35},
number = {4},
pages = {271--279},
year = {2012},
url = {https://doi.org/10.1007/s00287-012-0627-2},
doi = {10.1007/S00287-012-0627-2},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/OlderogW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AptBOG12,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog and
Stijn de Gouw},
title = {Verification of object-oriented programs: {A} transformational approach},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {823--852},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.002},
doi = {10.1016/J.JCSS.2011.08.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AptBOG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Olderog12,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Manindra Agrawal and
S. Barry Cooper and
Angsheng Li},
title = {Automatic Verification of Real-Time Systems with Rich Data: An Overview},
booktitle = {Theory and Applications of Models of Computation - 9th Annual Conference,
{TAMC} 2012, Beijing, China, May 16-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7287},
pages = {84--93},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29952-0\_14},
doi = {10.1007/978-3-642-29952-0\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/Olderog12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/FaberLOQ11,
author = {Johannes Faber and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog and
Jan{-}David Quesel},
title = {Syspect - Modelling, Specifying, and Verifying Real-Time Systems with
Rich Data},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {117--137},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i78},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/FaberLOQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HilscherLOR11,
author = {Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog and
Anders P. Ravn},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {404--419},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_28},
doi = {10.1007/978-3-642-24559-6\_28},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/HilscherLOR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OlderogP10,
author = {Ernst{-}R{\"{u}}diger Olderog and
Andreas Podelski},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {Explicit Fair Scheduling for Dynamic Control},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {96--117},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_7},
doi = {10.1007/978-3-642-11512-7\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OlderogP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HoenickeMO10,
author = {Jochen Hoenicke and
Roland Meyer and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Kleene, Rabin, and Scott Are Available},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {462--477},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_32},
doi = {10.1007/978-3-642-15375-4\_32},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HoenickeMO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/OlderogS10,
author = {Ernst{-}R{\"{u}}diger Olderog and
Mani Swaminathan},
editor = {Krishnendu Chatterjee and
Thomas A. Henzinger},
title = {Layered Composition for Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6246},
pages = {228--242},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15297-9\_18},
doi = {10.1007/978-3-642-15297-9\_18},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/OlderogS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HoenickeOP10,
author = {Jochen Hoenicke and
Ernst{-}R{\"{u}}diger Olderog and
Andreas Podelski},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Fairness for Dynamic Control},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {251--265},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_20},
doi = {10.1007/978-3-642-12002-2\_20},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HoenickeOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-4656,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog},
title = {Verification of Object-Oriented Programs: a Transformational Approach},
journal = {CoRR},
volume = {abs/1004.4656},
year = {2010},
url = {http://arxiv.org/abs/1004.4656},
eprinttype = {arXiv},
eprint = {1004.4656},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-4656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txcs/AptBO09,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog},
title = {Verification of Sequential and Concurrent Programs},
series = {Texts in Computer Science},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-84882-745-5},
doi = {10.1007/978-1-84882-745-5},
isbn = {978-1-84882-744-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/txcs/AptBO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AptBO09,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Orna Grumberg and
Michael Kaminski and
Shmuel Katz and
Shuly Wintner},
title = {Modular Verification of Recursive Programs},
booktitle = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5533},
pages = {1--21},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01748-3\_1},
doi = {10.1007/978-3-642-01748-3\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AptBO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-4316,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog},
title = {Modular Verification of Recursive Programs},
journal = {CoRR},
volume = {abs/0907.4316},
year = {2009},
url = {http://arxiv.org/abs/0907.4316},
eprinttype = {arXiv},
eprint = {0907.4316},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-4316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0021591,
author = {Ernst{-}R{\"{u}}diger Olderog and
Henning Dierks},
title = {Real-time systems - formal specification and automatic verification},
publisher = {Cambridge University Press},
year = {2008},
url = {https://doi.org/10.1017/CBO9780511619953},
doi = {10.1017/CBO9780511619953},
isbn = {978-0-521-88333-7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0021591.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MollerORW08,
author = {Michael M{\"{o}}ller and
Ernst{-}R{\"{u}}diger Olderog and
Holger Rasch and
Heike Wehrheim},
title = {Integrating a formal method into a software engineering process with
{UML} and Java},
journal = {Formal Aspects Comput.},
volume = {20},
number = {2},
pages = {161--204},
year = {2008},
url = {https://doi.org/10.1007/s00165-007-0042-7},
doi = {10.1007/S00165-007-0042-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MollerORW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/OlderogR07,
author = {Ernst{-}R{\"{u}}diger Olderog and
Anders P. Ravn},
title = {Editorial: Hybrid Systems},
journal = {Acta Informatica},
volume = {43},
number = {7},
pages = {449--450},
year = {2007},
url = {https://doi.org/10.1007/s00236-006-0034-8},
doi = {10.1007/S00236-006-0034-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/OlderogR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/BeckerPDFOW07,
author = {Bernd Becker and
Andreas Podelski and
Werner Damm and
Martin Fr{\"{a}}nzle and
Ernst{-}R{\"{u}}diger Olderog and
Reinhard Wilhelm},
title = {{SFB/TR} 14 {AVACS} - Automatic Verification and Analysis of Complex
Systems (Der Sonderforschungsbereich/Transregio 14 {AVACS} - Automatische
Verifikation und Analyse komplexer Systeme)},
journal = {it Inf. Technol.},
volume = {49},
number = {2},
pages = {118--126},
year = {2007},
url = {https://doi.org/10.1524/itit.2007.49.2.118},
doi = {10.1524/ITIT.2007.49.2.118},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/BeckerPDFOW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DammMOOPPSW07,
author = {Werner Damm and
Alfred Mikschl and
Jens Oehlerking and
Ernst{-}R{\"{u}}diger Olderog and
Jun Pang and
Andr{\'{e}} Platzer and
Marc Segelken and
Boris Wirtz},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {Automating Verification of Cooperation, Control, and Design in Traffic
Applications},
booktitle = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
Papers presented at a Symposium held in Macao, China, September 24-25,
2007},
series = {Lecture Notes in Computer Science},
volume = {4700},
pages = {115--169},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75221-9\_6},
doi = {10.1007/978-3-540-75221-9\_6},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DammMOOPPSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BasinOS07,
author = {David A. Basin and
Ernst{-}R{\"{u}}diger Olderog and
Paul E. Sevin{\c{c}}},
editor = {Feng Bao and
Steven Miller},
title = {Specifying and analyzing security automata using {CSP-OZ}},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2007, Singapore, March 20-22, 2007},
pages = {70--81},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1229285.1229299},
doi = {10.1145/1229285.1229299},
timestamp = {Thu, 20 Oct 2022 10:45:07 +0200},
biburl = {https://dblp.org/rec/conf/ccs/BasinOS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Olderog08,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Geguang Pu and
Volker Stolz},
title = {Automatic Verification of Combined Specifications: An Overview},
booktitle = {Proceedings of the 1st International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2007, Macau, September 22-23,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {207},
pages = {3--16},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.082},
doi = {10.1016/J.ENTCS.2008.03.082},
timestamp = {Mon, 13 Feb 2023 14:02:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Olderog08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etrics/SevincBO06,
author = {Paul E. Sevin{\c{c}} and
David A. Basin and
Ernst{-}R{\"{u}}diger Olderog},
editor = {G{\"{u}}nter M{\"{u}}ller},
title = {Controlling Access to Documents: {A} Formal Access Control Model},
booktitle = {Emerging Trends in Information and Communication Security, International
Conference, {ETRICS} 2006, Freiburg, Germany, June 6-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3995},
pages = {352--367},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11766155\_25},
doi = {10.1007/11766155\_25},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/etrics/SevincBO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OlderogW05,
author = {Ernst{-}R{\"{u}}diger Olderog and
Heike Wehrheim},
title = {Specification and (property) inheritance in {CSP-OZ}},
journal = {Sci. Comput. Program.},
volume = {55},
number = {1-3},
pages = {227--257},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.05.017},
doi = {10.1016/J.SCICO.2004.05.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/OlderogW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MollerORW04,
author = {Michael M{\"{o}}ller and
Ernst{-}R{\"{u}}diger Olderog and
Holger Rasch and
Heike Wehrheim},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Linking {CSP-OZ} with {UML} and Java: {A} Case Study},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {267--286},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_15},
doi = {10.1007/978-3-540-24756-2\_15},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/MollerORW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/OlderogD03,
author = {Ernst{-}R{\"{u}}diger Olderog and
Henning Dierks},
title = {Moby/RT: {A} Tool for Specification and Verification of Real-Time
Systems},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {2},
pages = {88--105},
year = {2003},
url = {https://doi.org/10.3217/jucs-009-02-0088},
doi = {10.3217/JUCS-009-02-0088},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/OlderogD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DammHO03,
author = {Werner Damm and
Hardi Hungar and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {On the Verification of Cooperating Traffic Agents},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {77--110},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_4},
doi = {10.1007/978-3-540-30101-1\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DammHO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Olderog03,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Translation and Optimization in the Verification of Real-Time Systems},
booktitle = {Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003,
Warsaw, Poland, April 12, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {2},
pages = {345},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82594-0},
doi = {10.1016/S1571-0661(05)82594-0},
timestamp = {Tue, 13 Dec 2022 10:38:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Olderog03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HoenickeO02,
author = {Jochen Hoenicke and
Ernst{-}R{\"{u}}diger Olderog},
title = {{CSP-OZ-DC:} {A} Combination of Specification Techniques for Processes,
Data and Time},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {301--334},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HoenickeO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/OlderogW02,
author = {Ernst{-}R{\"{u}}diger Olderog and
Heike Wehrheim},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Specification and Inheritance in {CSP-OZ}},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {361--379},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_15},
doi = {10.1007/978-3-540-39656-7\_15},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/OlderogW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HoenickeO02,
author = {Jochen Hoenicke and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Michael J. Butler and
Luigia Petre and
Kaisa Sere},
title = {Combining Specification Techniques for Processes, Data and Time},
booktitle = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
Turku, Finland, May 15-18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2335},
pages = {245--266},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47884-1\_14},
doi = {10.1007/3-540-47884-1\_14},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HoenickeO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/2002,
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9},
doi = {10.1007/3-540-45739-9},
isbn = {3-540-44165-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FischerOW01,
author = {Clemens Fischer and
Ernst{-}R{\"{u}}diger Olderog and
Heike Wehrheim},
editor = {Heinrich Hu{\ss}mann},
title = {A {CSP} View on {UML-RT} Structure Diagrams},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {91--108},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_8},
doi = {10.1007/3-540-45314-8\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/FischerOW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BroyO01,
author = {Manfred Broy and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Trace-Oriented Models of Concurrency},
booktitle = {Handbook of Process Algebra},
pages = {101--195},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50020-5},
doi = {10.1016/B978-044482830-9/50020-5},
timestamp = {Fri, 28 Jun 2019 09:45:11 +0200},
biburl = {https://dblp.org/rec/books/el/01/BroyO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsp/OlderogR00,
author = {Ernst{-}R{\"{u}}diger Olderog and
Anders P. Ravn},
editor = {Mats Per Erik Heimdahl},
title = {Completeness in formal specification language design for process-control
systems},
booktitle = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
2000, Portland, Oregon, {USA}},
pages = {89--100},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/349360.351142},
doi = {10.1145/349360.351142},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmsp/OlderogR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SchenkeO99,
author = {Michael Schenke and
Ernst{-}R{\"{u}}diger Olderog},
title = {Transformational Design of Real-Time Systems Part {I:} From Requirements
to Program Specifications},
journal = {Acta Informatica},
volume = {36},
number = {1},
pages = {1--65},
year = {1999},
url = {https://doi.org/10.1007/s002360050153},
doi = {10.1007/S002360050153},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SchenkeO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Olderog99,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen},
title = {Correct Real-Time Software for Programmable Logic Controllers},
booktitle = {Correct System Design, Recent Insight and Advances, (to Hans Langmaack
on the occasion of his retirement from his professorship at the University
of Kiel)},
series = {Lecture Notes in Computer Science},
volume = {1710},
pages = {342--362},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48092-7\_15},
doi = {10.1007/3-540-48092-7\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Olderog99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Olderog99,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Entwicklung korrekter zeitkritischer Systeme},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {7--16},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Thu, 27 Mar 2003 09:47:32 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Olderog99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Krieg-BrucknerPOB99,
author = {Bernd Krieg{-}Br{\"{u}}ckner and
Jan Peleska and
Ernst{-}R{\"{u}}diger Olderog and
Alexander Baer},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {The UniForM Workbench, a Universal Development Environment for Formal
Methods},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1186--1205},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_13},
doi = {10.1007/3-540-48118-4\_13},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Krieg-BrucknerPOB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/1999langmaack,
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen},
title = {Correct System Design, Recent Insight and Advances, (to Hans Langmaack
on the occasion of his retirement from his professorship at the University
of Kiel)},
series = {Lecture Notes in Computer Science},
volume = {1710},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48092-7},
doi = {10.1007/3-540-48092-7},
isbn = {3-540-66624-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/1999langmaack.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/Olderog98,
author = {Ernst{-}R{\"{u}}diger Olderog},
title = {Formal methods in real-time systems},
booktitle = {10th Euromicro Conference on Real-Time Systems {(ECRTS} 1998), 17-19
June 1998, berlin, Germany, Proceedings},
pages = {254--263},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/EMWRTS.1998.685130},
doi = {10.1109/EMWRTS.1998.685130},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/Olderog98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Olderog98,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {Combining Specification Techniques for Processes, Data and Time},
booktitle = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
pages = {192},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49676-2\_14},
doi = {10.1007/978-3-540-49676-2\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/Olderog98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txcs/AptO97,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
title = {Verification of Sequential and Concurrent Programs, Second Edition},
series = {Graduate Texts in Computer Science},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-1-4757-2714-2},
doi = {10.1007/978-1-4757-2714-2},
isbn = {978-1-4757-2716-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/txcs/AptO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/FischerKO97,
author = {Clemens Fischer and
Stephan Kleuker and
Ernst{-}R{\"{u}}diger Olderog},
title = {Beweisbar korrekte Telekommunikationssysteme},
journal = {Informationstechnik Tech. Inform.},
volume = {39},
number = {3},
pages = {22--28},
year = {1997},
url = {https://doi.org/10.1524/itit.1997.39.3.22},
doi = {10.1524/ITIT.1997.39.3.22},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/FischerKO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compos/OlderogD97,
author = {Ernst{-}R{\"{u}}diger Olderog and
Henning Dierks},
editor = {Willem P. de Roever and
Hans Langmaack and
Amir Pnueli},
title = {Decomposing Real-Time Specifications},
booktitle = {Compositionality: The Significant Difference, International Symposium,
COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1536},
pages = {465--489},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49213-5\_18},
doi = {10.1007/3-540-49213-5\_18},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/compos/OlderogD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/strict/OlderogS95,
author = {Ernst{-}R{\"{u}}diger Olderog and
Michael Schenke},
editor = {J{\"{o}}rg Desel},
title = {Design of Real-Time Systems: Interface between Duration Calculus and
Program Specifications},
booktitle = {Proceedings of the International Workshop on Structures in Concurrency
Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
series = {Workshops in Computing},
pages = {32--54},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3078-9\_3},
doi = {10.1007/978-1-4471-3078-9\_3},
timestamp = {Tue, 25 Jun 2019 18:06:54 +0200},
biburl = {https://dblp.org/rec/conf/strict/OlderogS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/EhrichRGGHGDO95,
author = {Hans{-}Dieter Ehrich and
Franz Regensburger and
Wolfgang Grieskamp and
Carola Gerke and
Rudolf Herzig and
Martin Gogolla and
Grit Denker and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {Korso Reference Languages - Concepts and Application Domains},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {150--172},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015460},
doi = {10.1007/BFB0015460},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/EhrichRGGHGDO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JifengHFMOSHRR94,
author = {Jifeng He and
C. A. R. Hoare and
Martin Fr{\"{a}}nzle and
Markus M{\"{u}}ller{-}Olm and
Ernst{-}R{\"{u}}diger Olderog and
Michael Schenke and
Michael R. Hansen and
Anders P. Ravn and
Hans Rischel},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Provably Correct Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {288--335},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_171},
doi = {10.1007/3-540-58468-4\_171},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/JifengHFMOSHRR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/procomet/1994,
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
1994},
series = {{IFIP} Transactions},
volume = {{A-56}},
publisher = {North-Holland},
year = {1994},
isbn = {0-444-82020-5},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/procomet/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BowenOFR93,
author = {Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog and
Martin Fr{\"{a}}nzle and
Anders P. Ravn},
title = {Developing Correct Systems},
booktitle = {Fifth Euromicro Workshop on Real-Time Systems, {RTS} 1993, Oulu, Finland,
June 22-24, 1993. Proceedings},
pages = {176--187},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/EMWRT.1993.639088},
doi = {10.1109/EMWRT.1993.639088},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/BowenOFR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/OlderogR93,
author = {Ernst{-}R{\"{u}}diger Olderog and
Stephan R{\"{o}}ssig},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {A Case Study in Transformational Design of Concurrent Systems},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {90--104},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_58},
doi = {10.1007/3-540-56610-4\_58},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/OlderogR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Olderog92,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Werner Kuich},
title = {Interfaces between Languages for Communicating Systems},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {641--655},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_111},
doi = {10.1007/3-540-55719-9\_111},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Olderog92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/AptO91,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
title = {Verification of Sequential and Concurrent Programs},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4757-4376-0},
doi = {10.1007/978-1-4757-4376-0},
isbn = {978-1-4757-4378-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/AptO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Olderog91,
author = {Ernst{-}R{\"{u}}diger Olderog},
title = {Correctness of Concurrent Processes},
journal = {Theor. Comput. Sci.},
volume = {80},
number = {2},
pages = {263--288},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90390-N},
doi = {10.1016/0304-3975(91)90390-N},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Olderog91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Olderog91,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Towards a Design Calculus for Communicationg Programs},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {61--77},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_81},
doi = {10.1007/3-540-54430-5\_81},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/Olderog91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MeyerO89,
author = {John{-}Jules Ch. Meyer and
Ernst{-}R{\"{u}}diger Olderog},
title = {Hiding in Stream Semantics of Uniform Concurrency},
journal = {Acta Informatica},
volume = {27},
number = {5},
pages = {381--397},
year = {1990},
url = {https://doi.org/10.1007/BF00289016},
doi = {10.1007/BF00289016},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MeyerO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/am/OlderogA89,
author = {Ernst{-}R{\"{u}}diger Olderog and
Krzysztof R. Apt},
editor = {Jan A. Bergstra and
Loe M. G. Feijs},
title = {Using Transformation to Verify Parallel Programs},
booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from
a workshop in Mierlo, The Netherlands, September 1989]},
series = {Lecture Notes in Computer Science},
volume = {490},
pages = {55--81},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53912-3\_18},
doi = {10.1007/3-540-53912-3\_18},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/am/OlderogA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/AptO89,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Erich J. Neuhold and
Manfred Paul},
title = {Introduction to Program Verification},
booktitle = {Formal Description of Programming Concepts, based on a seminar organized
by {IFIP} Working Group 2.2 and held near Rio de Janeiro in April
1989},
series = {{IFIP} State-of-the-Art Reports},
pages = {363--430},
publisher = {Springer},
year = {1989},
timestamp = {Thu, 17 Jan 2019 16:12:06 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/AptO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Olderog89,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Antoni Kreczmar and
Grazyna Mirkowska},
title = {Correctness of Concurrent Processes},
booktitle = {Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik,
Poland, August 28 - September 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {379},
pages = {107--132},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51486-4\_59},
doi = {10.1007/3-540-51486-4\_59},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Olderog89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Olderog89,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {From Trace Specifications to Process Terms},
booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness,
{REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {430},
pages = {592--621},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52559-9\_80},
doi = {10.1007/3-540-52559-9\_80},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/Olderog89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BakkerMOZ88,
author = {J. W. de Bakker and
John{-}Jules Ch. Meyer and
Ernst{-}R{\"{u}}diger Olderog and
Jeffery I. Zucker},
title = {Transition Systems, Metric Spaces and Ready Sets in the Semantics
of Uniform Concurrency},
journal = {J. Comput. Syst. Sci.},
volume = {36},
number = {2},
pages = {158--224},
year = {1988},
url = {https://doi.org/10.1016/0022-0000(88)90026-8},
doi = {10.1016/0022-0000(88)90026-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BakkerMOZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BergstraKO88,
author = {Jan A. Bergstra and
Jan Willem Klop and
Ernst{-}R{\"{u}}diger Olderog},
title = {Readies and Failures in the Algebra of Communicating Processes},
journal = {{SIAM} J. Comput.},
volume = {17},
number = {6},
pages = {1134--1177},
year = {1988},
url = {https://doi.org/10.1137/0217073},
doi = {10.1137/0217073},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BergstraKO88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/OlderogA88,
author = {Ernst{-}R{\"{u}}diger Olderog and
Krzysztof R. Apt},
title = {Fairness in Parallel Programs: The Transformational Approach},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {10},
number = {3},
pages = {420--455},
year = {1988},
url = {https://doi.org/10.1145/44501.44504},
doi = {10.1145/44501.44504},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/OlderogA88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Olderog88,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Strong bisimilarity on nets: a new concept for comparing net semantics},
booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models
for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,
May 30 - June 3, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {354},
pages = {549--573},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0013035},
doi = {10.1007/BFB0013035},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/Olderog88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BakkerMO87,
author = {J. W. de Bakker and
John{-}Jules Ch. Meyer and
Ernst{-}R{\"{u}}diger Olderog},
title = {Infinite Streams and Finite Observations in the Semantics of Uniform
Concurrency},
journal = {Theor. Comput. Sci.},
volume = {49},
pages = {87--112},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90002-8},
doi = {10.1016/0304-3975(87)90002-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BakkerMO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/BergstraKO87,
author = {Jan A. Bergstra and
Jan Willem Klop and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Martin Wirsing},
title = {Failures without chaos: a new process semantics for fair abstraction},
booktitle = {Formal Description of Programming Concepts - {III:} Proceedings of
the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
pages = {77--104},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 10 Jan 2019 14:37:08 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/BergstraKO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/OlderogH86,
author = {Ernst{-}R{\"{u}}diger Olderog and
C. A. R. Hoare},
title = {Specification-Oriented Semantics for Communicating Processes},
journal = {Acta Informatica},
volume = {23},
number = {1},
pages = {9--66},
year = {1986},
url = {https://doi.org/10.1007/BF00268075},
doi = {10.1007/BF00268075},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/OlderogH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Olderog86,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {{TCSP:} Theory of Communicating Sequential Processes},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {255},
pages = {441--465},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17906-2\_34},
doi = {10.1007/3-540-17906-2\_34},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Olderog86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Olderog86,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Grzegorz Rozenberg},
title = {Operational Petri net semantics for {CCSP}},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {196--223},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_27},
doi = {10.1007/3-540-18086-9\_27},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Olderog86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/trends86/BakkerKMOZ86,
author = {J. W. de Bakker and
Joost N. Kok and
John{-}Jules Ch. Meyer and
Ernst{-}R{\"{u}}diger Olderog and
Jeffery I. Zucker},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Contrasting Themes in the Semantics of Imperative Concurrency},
booktitle = {Current Trends in Concurrency, Overviews and Tutorials},
series = {Lecture Notes in Computer Science},
volume = {224},
pages = {51--122},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0027040},
doi = {10.1007/BFB0027040},
timestamp = {Fri, 17 Jul 2020 16:12:44 +0200},
biburl = {https://dblp.org/rec/books/sp/trends86/BakkerKMOZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/trends86/Olderog86,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Process Theory: Semantics, Specification and Verification},
booktitle = {Current Trends in Concurrency, Overviews and Tutorials},
series = {Lecture Notes in Computer Science},
volume = {224},
pages = {442--509},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0027046},
doi = {10.1007/BFB0027046},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/trends86/Olderog86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BakkerMO85,
author = {J. W. de Bakker and
John{-}Jules Ch. Meyer and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Wilfried Brauer},
title = {Infinite Streams and Finite Observations in the Semantics of Uniform
Concurrency},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {149--157},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015740},
doi = {10.1007/BFB0015740},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BakkerMO85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BakkerMOZ85,
author = {J. W. de Bakker and
John{-}Jules Ch. Meyer and
Ernst{-}R{\"{u}}diger Olderog and
Jeffery I. Zucker},
editor = {Robert Sedgewick},
title = {Transition Systems, Infinitary Languages and the Semantics of Uniform
Concurrency},
booktitle = {Proceedings of the 17th Annual {ACM} Symposium on Theory of Computing,
May 6-8, 1985, Providence, Rhode Island, {USA}},
pages = {252--262},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/22145.22174},
doi = {10.1145/22145.22174},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BakkerMOZ85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Olderog84,
author = {Ernst{-}R{\"{u}}diger Olderog},
title = {Correctnes of Programs with Pascal-Like Procedures without Global
Variables},
journal = {Theor. Comput. Sci.},
volume = {30},
pages = {49--90},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90066-5},
doi = {10.1016/0304-3975(84)90066-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Olderog84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/Olderog84,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Krzysztof R. Apt},
title = {Specification-Oriented Programming in {TCSP}},
booktitle = {Logics and Models of Concurrent Systems - Conference proceedings,
Colle-sur-Loup (near Nice), France, 8-19 October 1984},
series = {{NATO} {ASI} Series},
volume = {13},
pages = {397--435},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-82453-1\_14},
doi = {10.1007/978-3-642-82453-1\_14},
timestamp = {Fri, 17 Apr 2020 17:55:08 +0200},
biburl = {https://dblp.org/rec/conf/nato/Olderog84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AptO84,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Max Fontet and
Kurt Mehlhorn},
title = {Transformations Realizing Fairness Assumptions for Parallel Programs},
booktitle = {{STACS} 84, Symposium of Theoretical Aspects of Computer Science,
Paris, France, 11-13 April, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {166},
pages = {26--42},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-12920-0\_3},
doi = {10.1007/3-540-12920-0\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/AptO84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AptO83,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
title = {Proof Rules and Transformations Dealing with Fairness},
journal = {Sci. Comput. Program.},
volume = {3},
number = {1},
pages = {65--100},
year = {1983},
url = {https://doi.org/10.1016/0167-6423(83)90004-7},
doi = {10.1016/0167-6423(83)90004-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AptO83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Olderog83,
author = {Ernst{-}R{\"{u}}diger Olderog},
title = {On the Notion of Expressiveness and the Rule of Adaption},
journal = {Theor. Comput. Sci.},
volume = {24},
pages = {337--347},
year = {1983},
url = {https://doi.org/10.1016/0304-3975(83)90009-9},
doi = {10.1016/0304-3975(83)90009-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Olderog83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/OlderogH83,
author = {Ernst{-}R{\"{u}}diger Olderog and
C. A. R. Hoare},
editor = {Josep D{\'{\i}}az},
title = {Specification-Oriented Semantics for Communicating Processes},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {561--572},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036937},
doi = {10.1007/BFB0036937},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/OlderogH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Olderog83,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Hoare's Logic for Programs with Procedures - What Has Been Achieved?},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {383--395},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_375},
doi = {10.1007/3-540-12896-4\_375},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/Olderog83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Olderog83,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {David S. Johnson and
Ronald Fagin and
Michael L. Fredman and
David Harel and
Richard M. Karp and
Nancy A. Lynch and
Christos H. Papadimitriou and
Ronald L. Rivest and
Walter L. Ruzzo and
Joel I. Seiferas},
title = {A Characterization of Hoare's Logic for Programs with Pascal-like
Procedures},
booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
25-27 April, 1983, Boston, Massachusetts, {USA}},
pages = {320--329},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800061.808761},
doi = {10.1145/800061.808761},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Olderog83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Olderog81,
author = {Ernst{-}R{\"{u}}diger Olderog},
title = {Charakterisierung Hoarescher Systeme f{\"{u}}r ALGOL-{\"{a}}hnliche
Programmiersprachen},
school = {University of Kiel, Germany},
year = {1981},
url = {https://d-nb.info/820826375},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Olderog81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Olderog81,
author = {Ernst{-}R{\"{u}}diger Olderog},
title = {Sound and Complete Hoare-like Calculi Based on Copy Rules},
journal = {Acta Informatica},
volume = {16},
pages = {161--197},
year = {1981},
url = {https://doi.org/10.1007/BF00261258},
doi = {10.1007/BF00261258},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Olderog81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Olderog81,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Wilfried Brauer},
title = {Hoare-Style Proof Systems and Formal Computations},
booktitle = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
Oktober 1981, Proceedings},
series = {Informatik-Fachberichte},
volume = {50},
pages = {65--71},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-662-01089-1\_8},
doi = {10.1007/978-3-662-01089-1\_8},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/Olderog81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/AptO81,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Dexter Kozen},
title = {Proof Rules Dealing with Fairness},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {1--8},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025770},
doi = {10.1007/BFB0025770},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/AptO81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LangmaackO80,
author = {Hans Langmaack and
Ernst{-}R{\"{u}}diger Olderog},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Present-Day Hoare-Like Systems for Programming Languages with Procedures:
Power, Limits and most Likely Expressions},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {363--373},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_84},
doi = {10.1007/3-540-10003-2\_84},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LangmaackO80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
