Publications

Contact

Head

Prof. Dr. Ernst-Rüdiger Olderog (i.R.)

Secretary

Andrea Göken

+49-(0)441-798-3121

+49-(0)441-798-2965

A3 2-208

Publications

Latest Publications

  • [inproceedings] bibtex
    C. Bischopink, "Enforcing Timing Properties in Motorway Traffic" in Proc. Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, Leiden, The Netherlands, 15th and 16th of November 2023, 2023.
    doi: 10.4204/EPTCS.395.9
  • C. Bischopink and E. Olderog, "Time for Traffic Manoeuvres" , Haxthausen, A. E., Huang, W., and Roggenbach, M. Eds., Cham: Springer Nature Switzerland.
    doi: 10.1007/978-3-031-40132-9_11
  • [inproceedings] bibtex | Go to document
    B. Finkbeiner and E. Olderog, "Concurrent Hyperproperties" in Proc. Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday, 2023.
    doi: 10.1007/978-3-031-40436-8_8
  • [inproceedings] bibtex | Go to document
    N. Würdemann, T. Chatain, and S. Haar, "Taking Complete Finite Prefixes to High Level, Symbolically" in Proc. Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-33620-1_7
  • [inproceedings] bibtex | Go to document
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory" in Proc. 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference), 2022.
    doi: 10.4230/LIPIcs.CSL.2022.20
  • [incollection] bibtex | Go to document
    K. R. Apt and E. -R. Olderog, Nondeterminism and Guarded CommandsACM / Morgan & Claypool.
    doi: 10.1145/3544585.3544595
  • [inproceedings] bibtex | Go to document
    G. K. A. -, S. Haar, L. Paulevé, S. Schwoon, and N. Würdemann, "Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets" in Proc. Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022, 2022.
    doi: 10.4204/EPTCS.370.12
  • [inproceedings] bibtex | Go to document
    P. Hannibal and E. -R. Olderog, "The Synthesis Problem for Repeatedly Communicating Petri Games" in Proc. Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings, 2022.
    doi: 10.1007/978-3-031-06653-5_13
  • [inproceedings] bibtex | Go to document
    B. Finkbeiner, M. Gieseking, J. H. -, and E. -R. Olderog, "Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory" in Proc. 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference), 2022.
    doi: 10.4230/LIPIcs.CSL.2022.20
  • [inproceedings] bibtex | Go to document
    C. Bischopink and E. -R. Olderog, "Spatial and Timing Properties in Highway Traffic" in Proc. Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, 2022.
    doi: 10.1007/978-3-031-17715-6_9
  • M. Gieseking and N. Würdemann, "Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version)" CoRR, vol. abs/2103.10207.
  • [incollection] bibtex | Go to document
    K. R. Apt and E. Olderog, Assessing the Success and Impact of Hoare's Logic.
    doi: 10.1145/3477355.3477359
  • [inproceedings] bibtex | Go to document
    M. Gieseking and E. Olderog, "High-Level Representation of Benchmark Families for Petri Games" in Proc. Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday, 2021.
    doi: 10.1007/978-3-030-91384-7_7
  • [inproceedings] bibtex | Go to document
    E. Olderog, B. Steffen, and W. Yi, "Model Checking, Synthesis, and Learning" in Proc. Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday, 2021.
    doi: 10.1007/978-3-030-91384-7_1
  • O. Özkan and N. Würdemann, "Resilience of Well-structured Graph Transformation Systems" CoRR, vol. abs/2108.00889.
  • E. Olderog, M. Fränzle, O. E. Theel, and P. Kröger, "System correctness under adverse conditions" it Inf. Technol. vol. 63, iss. 5-6.
    doi: 10.1515/itit-2021-0043
  • N. Würdemann, "Exploiting symmetries of high-level Petri games in distributed synthesis" it Inf. Technol. vol. 63, iss. 5-6.
    doi: 10.1515/itit-2021-0012
  • [proceedings] bibtex | Go to document
    Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th BirthdaySpringer.
    doi: 10.1007/978-3-030-91384-7
  • [inproceedings] bibtex | Go to document
    M. Gieseking and N. Würdemann, "Canonical Representations for Direct Generation of Strategies in High-Level Petri Games" in Proc. Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings, 2021.
    doi: 10.1007/978-3-030-76983-3_6
  • [inproceedings] bibtex | Go to document
    M. Gieseking, J. Hecking-Harbusch, and A. Yanich, "A Web Interface for Petri Nets with Transits and Petri Games" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Part II, 2021.
    doi: 10.1007/978-3-030-72013-1_22
  • B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version)" CoRR, vol. abs/2005.07130.
  • B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Model Checking Branching Properties on Petri Nets with Transits (Full Version)" CoRR, vol. abs/2007.07235.
  • [inproceedings] bibtex | Go to document
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Model Checking Branching Properties on Petri Nets with Transits" in Proc. Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, 2020.
    doi: 10.1007/978-3-030-59152-6_22
  • [inproceedings] bibtex | Go to document
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL" in Proc. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, 2020.
    doi: 10.1007/978-3-030-53291-8_5
  • M. Gieseking, E. Olderog, and N. Würdemann, "Solving high-level Petri games" Acta Inf. vol. 57, iss. 3-5.
    doi: 10.1007/s00236-020-00368-5
  • M. Gieseking and E. Olderog, "High-Level Representation of Benchmark Families for Petri Games" CoRR, vol. abs/1904.05621.
  • B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Model Checking Data Flows in Concurrent Network Updates (Full Version)" CoRR, vol. abs/1907.11061.
  • [inproceedings] bibtex | Go to document
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Model Checking Data Flows in Concurrent Network Updates" in Proc. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, 2019.
    doi: 10.1007/978-3-030-31784-3_30
  • [inproceedings] bibtex | Go to document
    C. Bischopink and M. Schwammberger, "Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections" in Proc. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, 2019.
    doi: 10.1007/978-3-030-54994-7_18
  • [inproceedings] bibtex
    D. Rahmatov, O. Theel, and M. Gieseking, "Towards a Composition of Region-Adherent Systems" in Proc. The Fourteenth International Conference on Networking and Services, ICNS 2018, 20-24 May 2018, Nice, France, 2018.
  • [inproceedings] bibtex | Go to document
    M. Schwammberger, "Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL" in Proc. Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018., 2018.
  • [inproceedings] bibtex | Go to document
    E. -R. Olderog, "Space for Traffic Manoeuvres -- An Overview" in Proc. Symposium on Real-Time and Hybrid Systems, 2018.
  • M. Schwammberger, "An abstract model for proving safety of autonomous urban traffic" Theor. Comput. Sci. vol. 744.
    doi: 10.1016/j.tcs.2018.05.028
  • Provably Correct Systems, Hinchey, M. G., Bowen, J. P., and Olderog, E. -R. Eds., Springer-Verlag.
  • B. Finkbeiner and E. -R. Olderog, "Petri Games: Synthesis of Distributed Systems with Causal Memory" Information and Computation, vol. 253, Part 2.
  • G. v. Bochmann, M. Hilscher, S. Linker, and E. -R. Olderog, "Synthesizing and Verifying Controllers for Multi-lane Traffic Maneuvers" Formal Aspects of Computing, vol. 29, iss. 4.
    doi: 10.1007/s00165-017-0424-4
  • [incollection] bibtex | Go to document
    E. -R. Olderog, A.P.Ravn, and R. Wisniewski, Linking Discrete and Dynamic Models: Applied to Traffic ManoevresSpringer.
  • [inproceedings] bibtex | Go to document
    M. Schwammberger, "Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres" in Proc. Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017., 2017.
    doi: 10.4204/EPTCS.257.7
  • [inproceedings] bibtex | Go to document
    E. -R. Olderog and M. Schwammberger, "Formalising a Hazard Warning Communication Protocol with Timed Automata" in Proc. Models, Algorithms, Logics and Tools, 2017.
  • [inproceedings] bibtex | Go to document
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Symbolic vs. Bounded Synthesis for Petri Games" in Proc. Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017, 2017.
    doi: 10.4204/EPTCS.260.5
  • [inproceedings] bibtex | Go to document
    H. Ody, "Monitoring of Traffic Manoeuvres with Imprecise Information" in Proc. Proceedings First Workshop on Formal Verification of Autonomous Vehicles, Turin, Italy, 19th September 2017, 2017.
    doi: 10.4204/EPTCS.257.6
  • [inproceedings] bibtex | Go to document
    B. Engelmann and E. Olderog, "A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs" in Proc. Proc. Theory and Practice of Formal Methods, 2016.
  • [inproceedings] bibtex
    M. Hilscher and M. Schwammberger, "An Abstract Model for Proving Safety of Autonomous Urban Traffic" in Proc. Theoretical Aspects of Computing (ICTAC), 2016.
    doi: 10.1007/978-3-319-46750-4_16
  • [inproceedings] bibtex | Go to document
    H. Ody, M. Fränzle, and M. R. Hansen, "Discounted Duration Calculus" in Proc. FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, 2016.
    doi: 10.1007/978-3-319-48989-6_35
  • [inproceedings] bibtex | Go to document
    B. Engelmann, "Formally Verifying Dynamically-typed Programs like Statically-typed Ones -- Another perspective" in Proc. Proceedings of the Young Researchers Conference Frontiers of Formal Methods, 2015.
  • [inproceedings] bibtex
    M. Schwammberger, "Properties of Communicating Controllers for Safe Traffic Manoeuvres" in Proc. Proceedings of the Doctoral Symposium of Formal Methods 2015, 2015.
  • E. -R. Olderog and M. Swaminathan, "Structural Transformations for Data-Enriched Real-Time Systems" Formal Asp. Comput. vol. 27.
  • B. Engelmann, E. -R. Olderog, and N. Flick, Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic.
  • [techreport] bibtex | Go to document
    M. Fränzle, M. R. Hansen, and H. Ody, "Discounted Duration Calculus" School of Computer Science, Reykjavik University, RUTR-SCS16001, 2015.
  • S. Linker and M. Hilscher, "Proof Theory of a Multi-Lane Spatial Logic" Logical Methods in Computer Science, vol. 11, iss. 3.
  • [inproceedings] bibtex | Go to document
    M. Gieseking, "Trace Refinement of $\pi$-Calculus Processes" in Proc. Frontiers of Formal Methods 2015, 2015.
  • [inproceedings] bibtex | Go to document
    M. Fränzle, M. R. Hansen, and H. Ody, "No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL" in Proc. Correct System Design, 2015.
    doi: 10.1007/978-3-319-23506-6_11
  • [inproceedings] bibtex | Go to document
    E. -R. Olderog, A. P. Ravn, and R. Wisniewski, "Linking Spatial and Dynamic Models for Traffic Maneuvers" in Proc. 54th IEEE Conf. on Decision and Control (CDC), Osaka, Japan, 2015.
    doi: 10.1109/CDC.2015.7403292
  • [inproceedings] bibtex | Go to document
    H. Ody, "Undecidability Results for Multi-Lane Spatial Logic" in Proc. Theoretical Aspects of Computing - ICTAC, 2015.
    doi: 10.1007/978-3-319-25150-9_24
  • [inproceedings] bibtex
    G. v. Bochmann, M. Hilscher, S. Linker, and E. Olderog, "Synthesizing Controllers for Multi-Lane Traffic Maneuvers" in Proc. International Symposium on Dependable Software Engineering (SETTA), 2015.
  • [inproceedings] bibtex | Go to document
    B. Finkbeiner, M. Gieseking, and E. Olderog, "Adam: Causality-Based Synthesis of Distributed Systems" in Proc. Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, 2015.
  • [techreport] bibtex | Go to document
    H. Ody, "Undecidability Results for Multi-Lane Spatial Logic" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 112, 2015.
  • [inproceedings] bibtex | Go to document
    N. Flick and B. Engelmann, "Properties of Petri Nets with Context-free Structure Changes" in Proc. Fifth International Workshop on Graph Computation Models, 2014.
  • [inproceedings] bibtex | Go to document
    B. Finkbeiner and E. -R. Olderog, "Petri Games: Synthesis of Distributed Systems with Causal Memory" in Proc. Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014., 2014.
  • [inproceedings] bibtex
    S. Linker and M. Hilscher, "Proof theory of a multi-lane spatial logic" in Proc. Theoretical Aspects of Computing--ICTAC 2013, 2013.
  • [inproceedings] bibtex | Go to document
    B. Engelmann, "Towards Practical Verification of Dynamically Typed Programs" in Proc. 25th Nordic Workshop on Programming Theory, 2013.
  • [inproceedings] bibtex
    M. Hilscher, S. Linker, and E. -R. Olderog, "Proving Safety of Traffic Manoeuvres on Country Roads" in Proc. Theories of Programming and Formal Methods, 2013.
  • [inproceedings] bibtex | Go to document
    S. Kemper and C. Etzien, "A Visual Logic for the Description of Highway Traffic Scenarios" in Proc. Complex Systems Design & Management, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, Paris, France, December 4-6, 2013, 2013.
    doi: 10.1007/978-3-319-02812-5_17
  • [inproceedings] bibtex | Go to document
    E. -R. Olderog and M. Swaminathan, "Structural Transformations for Data-Enriched Real-Time Systems" in Proc. Integrated Formal Methods (iFM), 2013.
  • [article] bibtex
    K. R. Apt, F. S. de Boer, E. -R. Olderog, and S. de Gouw, "Verification of object-oriented programs: A transformational approach" J Computer System Sciences, vol. 78.
  • [article] bibtex
    E. -R. Olderog and R. Wilhelm, "Turing und die Verifikation" Informatik-Spektrum, vol. 35, iss. 4.
  • M. Swaminathan, J. -P. Katoen, and E. -R. Olderog, "Layered Reasoning for randomized distributed algorithms" Formal Asp. Comput. vol. 24, iss. 4-6.
  • [inproceedings] bibtex
    S. Linker, "Translating Structural Process Properties to Petri Net Markings" in Proc. Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD'12), 2012.
  • [inproceedings] bibtex
    E. -R. Olderog, "Automatic Verification of Real-Time Systems with Rich Data -- An Overview" in Proc. Theory and Applications of Models of Computation (TAMC), 2012.
  • [inproceedings] bibtex
    T. Strazny and R. Meyer, "An Algorithmic Framework for Coverability in Well-Structured Systems" in Proc. Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD'12), 2012.
  • S. Kemper, "SAT-based verification for timed component connectors" Science of Computer Programming, vol. 77, iss. 7–8.
    doi: 10.1016/j.scico.2011.02.003
  • [techreport] bibtex
    J. Quesel and A. Platzer, "Playing Hybrid Games with KeYmaera." SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 84, 2012.
  • [inproceedings] bibtex
    J. Quesel and A. Platzer, "Playing Hybrid Games with KeYmaera." in Proc. Automated Reasoning, Sixth International Joint Conference, IJCAR 2012, Manchester, UK, Proceedings, 2012.
    doi: 10.1007/978-3-642-31365-3_34
  • J. Faber, S. Linker, E. Olderog, and J. Quesel, "Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data" International Journal of Software and Informatics, vol. 5, iss. 1-2.
  • [inproceedings] bibtex
    T. Strazny, "Accelerating Backward Reachability Analysis" in Proc. Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11), 2011.
  • [techreport] bibtex
    B. Wirtz, T. Strazny, J. Rakow, and A. Rakow, "A Lane Change Assistance System: Cooperation and Hybrid Control" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 78, 2011.
  • [inproceedings] bibtex
    J. -D. Quesel, M. Fränzle, and W. Damm, "Crossing the bridge between similar games" in Proc. Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings, 2011.
  • [inproceedings] bibtex | Go to document
    M. Hilscher, S. Linker, E. -R. Olderog, and A. P. Ravn, "An Abstract Model for Proving Safety of Multi-Lane Traffic Manoeuvres" in Proc. Int'l Conf. on Formal Engineering Methods (ICFEM), 2011.
  • [article] bibtex
    S. Fröschle, P. Janvcar, S. Lasota, and Z. Sawa, "Non-interleaving bisimulation equivalences on Basic Parallel Processes" Inf. Comput. vol. 208, iss. 1.
  • A. Platzer, Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics, Heidelberg: Springer.
    doi: 10.1007/978-3-642-14509-4
  • [inproceedings] bibtex
    H. Baumgartner, M. Gieseking, C. Concolato, and J. L. Feuvre, "Individual Supportive Audio Signal Processing" in Proc. 26th Tonmeistertagung -- VDT International Convention, Leipzig, Germany, 2010.
  • [inproceedings] bibtex
    J. Hoenicke, E. -R. Olderog, and A. Podelski, "Fairness for Dynamic Control" in Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2010.
  • [inproceedings] bibtex
    E. -R. Olderog and A. Podelski, "Explicit Fair Scheduling for Dynamic Control" in Proc. Concurrency, Compositionality, and Correctness, 2010.
  • [inproceedings] bibtex | Go to document
    J. Hoenicke, R. Meyer, and E. -R. Olderog, "Kleene, Rabin, and Scott Are Available" in Proc. CONCUR 2010 - Concurrency Theory (CONCUR), 2010.
  • [inproceedings] bibtex | Go to document
    E. -R. Olderog and M. Swaminathan, "Layered Composition for Timed Automata" in Proc. Formal Modeling and Analysis of Timed Systems (FORMATS), 2010.
  • [inproceedings] bibtex | Go to document
    S. Kemper, "Compositional Construction of Real-Time Dataflow Networks" in Proc. Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, 2010.
    doi: 10.1007/978-3-642-13414-2_7
  • [inproceedings] bibtex
    R. Meyer and T. Strazny, "Petruchio: From dynamic networks to nets" in Proc. Proceedings of the 22nd International Conference on Computer Aided Verification 2010, CAV 2010, 2010.
  • [incollection] bibtex | Go to document
    S. Linker, Diagrammatic Specification of Mobile Real-Time SystemsSpringer Berlin / Heidelberg.
  • [inproceedings] bibtex
    J. Faber, C. Ihlemann, S. Jacobs, and V. Sofronie-Stokkermans, "Automatic Verification of Parametric Specifications with Complex Topologies" in Proc. Integrated Formal Methods, 2010.
    doi: 10.1007/978-3-642-16265-7_12
  • [inproceedings] bibtex
    J. Faber, "Verification Architectures: Compositional Reasoning for Real-time Systems" in Proc. Integrated Formal Methods, 2010.
    doi: 10.1007/978-3-642-16265-7_11
  • [techreport] bibtex | Go to document
    J. Faber, C. Ihlemann, S. Jacobs, and V. Sofronie-Stokkermans, "Automatic Verification of Parametric Specifications with Complex Topologies" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 66, 2010.
  • [techreport] bibtex | Go to document
    J. Faber, "Verification Architectures: Compositional Reasoning for Real-time Systems" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 65, 2010.
  • [article] bibtex
    S. B. Fröschle and D. Gorla, "Proceedings 16th International Workshop on Expressiveness in Concurrency" CoRR, vol. abs/0911.3189.
  • [article] bibtex
    S. Fröschle and G. Steel, "Analysing PKCS\#11 Key Management APIs with Unbounded Fresh Data."
  • [inproceedings] bibtex
    W. Czerwi'nski, S. Fröschle, and S. Lasota, "Partially-Commutative Context-Free Processes" in Proc. CONCUR 2009: Proceedings of the 20th International Conference on Concurrency Theory, 2009.
  • [article] bibtex
    S. Fröschle and S. Lasota, "Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences" Electron. Notes Theor. Comput. Sci. vol. 239.
  • K. R. Apt, F. S. de Boer, and E. -R. Olderog, Verification of Sequential and Concurrent Programs, 3rd Edition, Springer-Verlag.
  • [article] bibtex
    S. Fröschle, "Adding Branching to the Strand Space Model" Electron. Notes Theor. Comput. Sci. vol. 242, iss. 1.
  • [inproceedings] bibtex
    E. -R. Olderog and R. Meyer, "Automata-theoretic verification based on counterexample specification" in Proc. Informatik als Dialog zwischen Theorie und Anwendung, 2009.
  • S. Kemper, "SAT-based Verification for Timed Component Connectors" Electr. Notes Theor. Comput. Sci. vol. 255.
    doi: 10.1016/j.entcs.2009.10.027
  • [inproceedings] bibtex | Go to document
    M. Fränzle and M. Swaminathan, "Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata" in Proc. Formal Modeling and Analysis of Timed Systems (FORMATS), 2009.
  • [inproceedings] bibtex
    A. Schäfer and M. John, "Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems" in Proc. Sixth Asia-Pacific Conference on Conceptual Modelling (APCCM 2009), Wellington, New Zealand, January 2009, 2009.
  • [article] bibtex
    R. Meyer, V. Khomenko, and T. Strazny, "A Practical Approach to Verification of Mobile Systems Using Net Unfoldings" Fundamenta Informaticae, vol. 94, iss. 3--4.
  • [inproceedings] bibtex | Go to document
    J. Faber, "Verification Architectures for Real-time Systems" in Proc. Proceedings of Formal Methods 2009 Doctoral Symposium, 2009.
  • [inproceedings] bibtex
    A. Platzer, J. Quesel, and P. Rümmer, "Real World Verification" in Proc. Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, McGill University, Montreal, Canada, August 2 - 7, 2009, Proceedings, 2009.
    doi: 10.1007/978-3-642-02959-2_35
  • [inproceedings] bibtex
    A. Platzer and J. Quesel, "European Train Control System: A Case Study in Formal Verification" in Proc. Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, December 9-12, 2009, Proceedings, Heidelberg, 2009.
    doi: 10.1007/978-3-642-10373-5_13
  • [techreport] bibtex
    A. Platzer, J. Quesel, and P. Rümmer, "Real World Verification" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 52, 2009.
  • [techreport] bibtex
    A. Platzer and J. Quesel, "European Train Control System: A Case Study in Formal Verification" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 54, 2009.
  • E. -R. Olderog and H. Dierks, Real-Time Systems --- Formal Specification and Automatic Verification -- Errata: see below, Cambridge University Press.
  • [article] bibtex
    M. Möller, E. -R. Olderog, H. Rasch, and H. Wehrheim, "Integrating a Formal Method into a Software Engineering Process with UML and Java" Formal Apsects of Computing, vol. 20.
  • [article] bibtex
    A. Platzer, "Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs" Journal of Logic and Computation.
    doi: 10.1093/logcom/exn070
  • [inproceedings] bibtex
    M. Johns, B. Engelmann, and J. Posegga, "XSSDS: Server-Side Detection of Cross-Site Scripting Attacks" in Proc. ACSAC, 2008.
    doi: 10.1109/ACSAC.2008.36
  • [inproceedings] bibtex | Go to document
    M. Swaminathan, M. Fränzle, and J-. P. Katoen, "The Surprising Robustness of (Closed) Timed Automata against Clock-Drift" in Proc. IFIP International Conference on Theoretical Computer Science (IFIP TCS), 2008.
  • [techreport] bibtex | Go to document
    V. Khomenko and R. Meyer, "Checking $\pi$-Calculus Structural Congruence is Graph Isomorphism Complete" School of Computing Science, Newcastle University, CS-TR: 1100, 2008.
  • [techreport] bibtex
    R. Meyer, V. Khomenko, and T. Strazny, "A Practical Approach to Verification of Mobile Systems Using Net Unfoldings" School of Computing Science, Newcastle University, CS-TR: 1064, 2008.
  • [inproceedings] bibtex
    R. Meyer, V. Khomenko, and T. Strazny, "A Practical Approach to Verification of Mobile Systems Using Net Unfoldings" in Proc. Proc. of the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, ATPN 2008, 2008.
  • [techreport] bibtex
    A. Platzer and E. M. Clarke, "Computing Differential Invariants of Hybrid Systems as Fixedpoints" School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, CMU-CS-08-103, 2008.
  • [article] bibtex
    A. Platzer, "Differential Dynamic Logic for Hybrid Systems." Journal of Automated Reasoning, vol. 41, iss. 2.
    doi: 10.1007/s10817-008-9103-8
  • A. Schäfer, "Beschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme" it -- Information Technology, vol. 50, iss. 5.
    doi: DOI 10.1524/itit.2008.0503
  • [inproceedings] bibtex
    R. Meyer, "On Boundedness in Depth in the $\pi$-Calculus" in Proc. Proc. of the 5th IFIP International Conference on Theoretical Computer Science, IFIP TCS 2008, 2008.
  • [inproceedings] bibtex | Go to document
    A. Platzer and J. Quesel, "Logical Verification and Systematic Parametric Analysis in Train Control." in Proc. Hybrid Systems: Computation and Control, 10th International Conference, HSCC 2008, St. Louis, USA, Proceedings, 2008.
    doi: 10.1007/978-3-540-78929-1_55
  • R. Meyer, J. Faber, J. Hoenicke, and A. Rybalchenko, "Model Checking Duration Calculus: A Practical Approach" Formal Aspects of Computing, vol. 20, iss. 4--5.
    doi: 10.1007/s00165-008-0082-7
  • [inproceedings] bibtex
    A. Platzer and E. M. Clarke, "Computing Differential Invariants of Hybrid Systems as Fixedpoints" in Proc. Computer-Aided Verification, CAV 2008, Princeton, USA, Proceedings, 2008.
    doi: 10.1007/978-3-540-70545-1_17
  • [inproceedings] bibtex | Go to document
    E. -R. Olderog, "Automatic Verification of Combined Specifications" in Proc. Proc. of the 1st Internat. Workshop on Harnessing Theories for Tool Support in Software (TTSS 2007), Macau, 2008.
  • [inproceedings] bibtex | Go to document
    A. Platzer and J. Quesel, "KeYmaera: A Hybrid Theorem Prover for Hybrid Systems." in Proc. Automated Reasoning, Fourth International Joint Conference, IJCAR 2008, Sydney, Australia, Proceedings, 2008.
    doi: 10.1007/978-3-540-71070-7_15
  • [inproceedings] bibtex
    S. Fröschle, "The Insecurity Problem: tackling Unbounded Data" in Proc. IEEE Computer Security Foundations Symposium 2007, 2007.
  • [inproceedings] bibtex
    R. Meyer, "A Petri Net Semantics for $\pi$-Calculus Verification" in Proc. Dagstuhl ''zehn plus eins'', 2007.
  • [article] bibtex
    S. Fröschle and S. l, "Causality versus true-concurrency" Theoretical Computer Science, vol. 386, iss. 3.
  • [article] bibtex
    B. Becker, A. Podelski, W. Damm, M. Fränzle, E. -R. Olderog, and R. Wilhelm, "SFB/TR 14 AVACS -- Automatic Verification and Analysis of Complex Systems" it -- Information Technology, vol. 49, iss. 2.
  • [article] bibtex
    A. Schäfer, "Axiomatisation and Decidability of Multi-Dimensional Duration Calculus" TIME'05 special issue of Information and Computation, vol. 205, iss. 1.
  • [inproceedings] bibtex
    D. Basin, E. -R. Olderog, and P. E. Sevinç, "Specifying and analyzing security automata using CSP-OZ" in Proc. Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security (ASIACCS 2007), 2007.
  • A. Schäfer, "PhD Abstract: Specification and Verification of Mobile Real-Time Systems" Bulletin of the EATCS, vol. 92.
  • [inproceedings] bibtex | Go to document
    A. Schäfer, "Spezifikation und Verifikation mobiler Realzeitsysteme" in Proc. Ausgezeichnete Informatikdissertationen 2007, 2007.
  • [techreport] bibtex | Go to document
    A. Platzer, "A Temporal Dynamic Logic for Verifying Hybrid System Invariants." , Reports of SFB/TR 14 AVACS 12, 2007.
  • [inproceedings] bibtex | Go to document
    J. Faber, S. Jacobs, and V. Sofronie-Stokkermans, "Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters" in Proc. Integrated Formal Methods, 2007.
  • [techreport] bibtex | Go to document
    J. Faber and I. Stierand, "From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 19, 2007.
  • [inproceedings] bibtex | Go to document
    A. Platzer and E. M. Clarke, "The Image Computation Problem in Hybrid Systems Model Checking." in Proc. Hybrid Systems: Computation and Control, 10th International Conference, HSCC 2007, Pisa, Italy, Proceedings, 2007.
    doi: 10.1007/978-3-540-71493-4_37
  • [inproceedings] bibtex | Go to document
    A. Platzer, "A Temporal Dynamic Logic for Verifying Hybrid System Invariants." in Proc. Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, USA, Proceedings, 2007.
    doi: 10.1007/978-3-540-72734-7_32
  • [inproceedings] bibtex | Go to document
    A. Platzer, "Combining Deduction and Algebraic Constraints for Hybrid System Analysis." in Proc. 4th International Verification Workshop, VERIFY'07, Workshop at Conference on Automated Deduction (CADE), Bremen, Germany, 2007.
  • [inproceedings] bibtex | Go to document
    S. Kemper and A. Platzer, "SAT-based Abstraction Refinement for Real-time Systems" in Proc. Formal Aspects of Component Software, Third International Workshop, FACS 2006, Prague, Czech Republic, Proceedings, 2007.
    doi: 10.1016/j.entcs.2006.09.034
  • [inproceedings] bibtex
    W. Damm, A. Mikschl, J. Oehlerking, E. Olderog, J. Pang, A. Platzer, M. Segelken, and B. Wirtz, "Automating Verification of Cooperation, Control, and Design in Traffic Applications." in Proc. Formal Methods and Hybrid Real-Time Systems, 2007.
    doi: 10.1007/978-3-540-75221-9_6
  • [inproceedings] bibtex | Go to document
    I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, "Slicing Abstractions" in Proc. FSEN 2007: IPM International Symposium on Fundamentals of Software Engineering, 2007.
  • [inproceedings] bibtex | Go to document
    A. Platzer, "Differential Logic for Reasoning about Hybrid Systems." in Proc. Hybrid Systems: Computation and Control, 10th International Conference, HSCC 2007, Pisa, Italy, Proceedings, 2007.
    doi: 10.1007/978-3-540-71493-4_75
  • [inproceedings] bibtex | Go to document
    A. Platzer, "Differential Dynamic Logic for Verifying Parametric Hybrid Systems." in Proc. Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings, 2007.
    doi: 10.1007/978-3-540-73099-6_17
  • [inproceedings] bibtex | Go to document
    I. Brückner, "Slicing Concurrent Real-Time System Specifications for Verification" in Proc. Integrated Formal Methods, 2007.
  • [inproceedings] bibtex | Go to document
    A. Platzer, "Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems" in Proc. Proc., LICS International Workshop on Hybrid Logic, HyLo 2006, Seattle, USA, 2007.
    doi: 10.1016/j.entcs.2006.11.026
  • [inproceedings] bibtex
    E. -R. Olderog and B. Steffen, "Formale Semantik und Programmverifikation" in Proc. Informatik-Handbuch, 4. Auflage, 2006.
  • [inproceedings] bibtex
    R. Meyer, "Model Checking the $\pi$-Calculus" in Proc. Proceedings of the International Research Training Groups Workshop, 2006, p. 15.
  • [inproceedings] bibtex
    J. -D. Quesel and A. Schäfer, "Spatio-Temporal Model Checking for Mobile Real-Time Systems" in Proc. 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, 2006.
  • [article] bibtex
    W. Damm, H. Hungar, and E. -R. Olderog, "Verification of cooperating traffic agents" International Journal of Control, vol. 79, iss. 5.
  • [incollection] bibtex
    R. Meyer, Model Checking Using TestingGITO.
  • [inproceedings] bibtex
    J. Faber and R. Meyer, "Model Checking Data-Dependent Real-Time Properties of the European Train Control System" in Proc. Formal Methods in Computer Aided Design, 2006. FMCAD '06, 2006.
  • [inproceedings] bibtex
    T. Strazny and C. Stehno, "Ein Simulator für mehrfach erweiterte höhere Petrinetze" in Proc. 19. Symposium Simulationstechnik (ASIM 2006), 2006.
  • I. Brückner, B. Metzler, and H. Wehrheim, "Optimizing Slicing of Formal Specifications by Deductive Verification" Nordic Journal of Computing, vol. 13, iss. 1--2.
  • [inproceedings] bibtex
    P. E. Sevinç, D. Basin, and E. -R. Olderog, "Controlling Access to Documents: A Formal Access Control Model" in Proc. ETRICS 2006, 2006.
  • [inproceedings] bibtex
    R. Meyer, J. Faber, and A. Rybalchenko, "Model Checking Duration Calculus: A Practical Approach" in Proc. Theoretical Aspects of Computing - ICTAC 2006, 2006.
  • [inproceedings] bibtex | Go to document
    B. Beckert and A. Platzer, "Dynamic Logic with Non-rigid Functions: A Basis for Object-oriented Program Verification" in Proc. Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, 2006.
    doi: 10.1007/11814771_23

Publications 2000 - 2005

  • C. Fischer and H. Wehrheim, "Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method" Bulletin of the EATCS (European Association of Theoretical Computer Science), vol. 71.
  • [inproceedings] bibtex
    H. Dierks, "Finding Optimal Plans for Domains with Continuous Effects with UPPAAL CORA" in Proc. Proceedings of the ICAPS'05 Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems, 2005.
  • [misc] bibtex
    I. Brückner, Slicing CSP-OZ Specifications for Verification.
  • [article] bibtex
    E. -R. Olderog and H. Wehrheim, "Specification and (property) inheritance in CSP-OZ" Science of Computer Programming, vol. 55.
  • [techreport] bibtex | Go to document
    I. Brückner and H. Wehrheim, "Slicing Object-Z Specifications for Verification" SFB/TR 14 AVACS, http://www.avacs.org/, 3, 2005.
  • [techreport] bibtex | Go to document
    I. Brückner and H. Wehrheim, "Slicing CSP-OZ Specifications for Verification" SFB/TR 14 AVACS, http://www.avacs.org/, 7, 2005.
  • [inproceedings] bibtex
    C. Eichner, H. Fleischhack, R. Meyer, U. Schrimpf, and C. Stehno, "Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets" in Proc. SDL 2005: Model Driven, 2005.
  • [inproceedings] bibtex | Go to document
    I. Brückner and B. Metzler, "Deductive Verification for Improving Slicing of Integrated Formal Specifications" in Proc. Proceedings of the 17th Nordic Workshop on Programming Theory, 2005.
  • [inproceedings] bibtex | Go to document
    M. Möller, "Mapping Formal Specifications to Java Contracts" in Proc. Proceedings of the 17th Nordic Workshop on Programming Theory, 2005.
  • [inproceedings] bibtex | Go to document
    J. Faber, "Verifying Real-Time aspects of the European Train Control System" in Proc. Proceedings of the 17th Nordic Workshop on Programming Theory, 2005.
  • [inproceedings] bibtex | Go to document
    J. Hoenicke and P. Maier, "Model-Checking of Specifications Integrating Processes, Data and Time" in Proc. FM 2005, 2005.
  • [inproceedings] bibtex | Go to document
    R. Boute and A. Schäfer, "The Timer Cascade: Functional Modelling and Real Time Calculi" in Proc. Theoretical Aspects of Computing, ICTAC 2005, 2005.
  • [inproceedings] bibtex | Go to document
    A. Schäfer, "A calculus for shapes in time and space" in Proc. Theoretical Aspects of Computing, ICTAC 2004, 2005.
  • [inproceedings] bibtex | Go to document
    A. Schäfer, "Axiomatisation and Decidability of Multi-Dimensional Duration Calculus" in Proc. Proceedings of the 12th International Symposium on Temporal Representation and Reasoning, TIME 2005, 2005.
  • [inproceedings] bibtex | Go to document
    I. Brückner and H. Wehrheim, "Slicing Object-Z Specifications for Verification" in Proc. ZB 2005: Formal Specification and Development in Z and B, 2005.
  • [inproceedings] bibtex | Go to document
    I. Brückner and H. Wehrheim, "Slicing an Integrated Formal Method for Verification" in Proc. ICFEM 2005: Seventh International Conference on Formal Engineering Methods, 2005.
  • [incollection] bibtex
    C. Fischer and H. Wehrheim, Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal MethodWorld Scientific.
  • [inproceedings] bibtex
    H. Wehrheim, "Preserving properties under change" in Proc. FMCO 2003: Formal Methods for Components and Objects, 2004.
  • [inproceedings] bibtex
    W. Damm, H. Hungar, and E. -R. Olderog, "On the Verification of Cooperating Traffic Agents" in Proc. FMCO 2003: Formal Methods for Components and Objects, 2004.
  • [inproceedings] bibtex | Go to document
    M. Bretschneider, H. -J. Holberg, E. Böde, I. Brückner, T. Peikenkamp, and H. Spenke, "Model-based Safety Analysis of a Flap Control System" in Proc. Proceedings of the 14th Annual International INCOSE Symposium 2004, Toulouse, 2004.
  • [inproceedings] bibtex
    H. Dierks, "Heuristic Guided Model-Checking of Real-Time Systems" in Proc. Proceedings of the 16th Nordic Workshop on Programming Theory, 2004.
  • [inproceedings] bibtex | Go to document
    I. Brückner, "Slicing CSP-OZ Specifications" in Proc. Proceedings of the 16th Nordic Workshop on Programming Theory, 2004.
  • R. Buschermöhle, M. Brörkens, I. Brückner, W. Damm, W. Hasselbring, B. Josko, C. Schulte, and T. Wolf, "Model Checking -- Grundlagen und Praxiserfahrungen" Informatik Spektrum, vol. 27, iss. 2.
  • [inproceedings] bibtex | Go to document
    M. Möller, E. -R. Olderog, H. Rasch, and H. Wehrheim, "Linking CSP-OZ with UML and Java: A Case Study" in Proc. Integrated Formal Methods, 2004.
  • [article] bibtex
    H. Wehrheim, "Behavioral Subtyping Relations for Active Objects" Formal Methods in System Design, vol. 23, iss. 2.
  • [inproceedings] bibtex | Go to document
    J. Derrick and H. Wehrheim, "Using coupled simulations in non-atomic refinement" in Proc. ZB 2003: Formal Specification and Development in Z and B, 2003.
  • [inproceedings] bibtex
    E. -R. Olderog and H. Wehrheim, "Specification and Inheritance in CSP-OZ" in Proc. Formal Methods for Components and Objects, 2003.
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Inheritance of Temporal Logic Properties" in Proc. Formal Methods for Open Object-based Distributed Systems, 2003.
  • [article] bibtex
    E. -R. Olderog and H. Dierks, "Moby/RT: A Tool for Specification and Verification of Real-Time Systems" Journal of Universal Computer Science, vol. 9.
  • C. Schulte, M. Brörkens, I. Brückner, R. Buschermöhle, and T. Wolf, "Sicherheit für sicherheitskritische Systeme" Electronic Embedded Systeme.
  • [inproceedings] bibtex | Go to document
    H. Dierks and J. Tapken, "\sc Moby/DC -- A Tool for Model-Checking Parametric Real-Time Specifications" in Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), 2003.
  • [inproceedings] bibtex | Go to document
    H. Rasch and H. Wehrheim, "Checking Consistency in UML Diagrams: Classes and State Machines" in Proc. Formal Methods for Open Object-based Distributed Systems, 2003.
  • [article] bibtex
    H. Dierks and E. -R. Olderog, "Temporale Spezifikationslogiken" at-Automatisierungstechnik, vol. 51, iss. 2.
  • [inproceedings] bibtex | Go to document
    A. Schäfer, "Combining Real-Time Model-Checking and Fault Tree Analysis" in Proc. FM 2003: the 12th International FME Symposium, 2003.
  • [article] bibtex
    J. Hoenicke and E. -R. Olderog, "CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time" Nordic Journal of Computing, vol. 9, iss. 4.
  • [article] bibtex
    H. Wehrheim, "Relating State-based and Behaviour-oriented Subtyping" Nordic Journal of Computing, vol. 9, iss. 4.
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Checking Behavioural Subtypes via Refinement" in Proc. FMOODS 2002: Formal Methods for Open Object-Based Distributed Systems, 2002.
  • [inproceedings] bibtex | Go to document
    J. Hoenicke and E. -R. Olderog, "Combining Specification Techniques for Processes Data and Time" in Proc. Integrated Formal Methods, 2002.
  • [inproceedings] bibtex | Go to document
    M. Brörkens and M. Möller, "Dynamic Event Generation for Runtime Checking using the JDI" in Proc. Proceedings of the Second Workshop on Runtime Verification (RV'02), Copenhagen, Denmark, July 2002, 2002.
  • [inproceedings] bibtex | Go to document
    H. Dierks, G. Behrmann, and K. G. Larsen, "Solving Planning Problems Using Real-Time Model-Checking (Translating PDDL3 into Timed Automata)" in Proc. AIPS-Workshop Planning via Model-Checking, 2002.
  • [inproceedings] bibtex | Go to document
    H. Dierks and M. Lettrari, "Constructing Test Automata from Graphical Real-Time Requirements" in Proc. FTRTFT 2002, 2002.
  • [inproceedings] bibtex
    H. Rasch and H. Wehrheim, "Consistency between UML Classes and Associated State Machines" in Proc. UML 2002 -- Workshop on Consistency Problems in UML-based Software Development, 2002.
  • [inproceedings] bibtex | Go to document
    M. Brörkens and M. Möller, "jassda Trace Assertions" in Proc. Trends in Testing Communicating Systems, Berlin, Germany, 2002.
  • [inproceedings] bibtex | Go to document
    M. Möller, "Specifying and Checking Java using CSP" in Proc. Workshop on Formal Techniques for Java-like Programs - FTfJP'2002, 2002.
  • [article] bibtex
    A. Rensink and H. Wehrheim, "Process algebra with action dependencies" Acta Informatica, iss. 38.
  • J. Hoenicke, Specification of Radio Based Railway Crossings with the Combination of CSP, OZ, and DC.
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Patterns and Rules for Behavioural Subtyping" in Proc. FORTE 2001, 2001.
  • [article] bibtex
    H. Dierks and J. Tapken, "Moby/PLC: Eine graphische Entwicklungsumgebung für SPS-Programme" at-Automatisierungstechnik, vol. 1.
  • [inproceedings] bibtex | Go to document
    D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, "Jass -- Java with Assertions" in Proc. Proceedings of the First Workshop on Runtime Verification (RV'01), Paris, France, July 2001, 2001.
  • [inproceedings] bibtex
    M. Broy and E. -R. Olderog, "Trace-Oriented Models of Concurrency" in Proc. Handbook of Process Algebra, 2001.
  • [inproceedings] bibtex | Go to document
    C. Fischer, E. -R. Olderog, and H. Wehrheim, "A CSP view on UML-RT structure diagrams" in Proc. Fundamental Approaches to Software Engineering, 2001.
  • [article] bibtex
    H. Wehrheim, "Data Abstraction Techniques in the Validation of CSP-OZ Specifications" Formal Aspects of Computing, vol. 12.
  • [inproceedings] bibtex
    H. Wehrheim, "Subtyping patterns for active objects" in Proc. Proceedings 8ter Workshop des GI-Arbeitskreises GROOM: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 2000.
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Behavioural Subtyping and Property Preservation" in Proc. FMOODS'00: Formal Methods for Open Object-Based Distributed Systems, 2000.
  • [inproceedings] bibtex
    J. Bredereke, "Families of Formal Requirements in Telephone Switching" in Proc. Feature Interactions in Telecommunications and Software Systems VI, Amsterdam, 2000.
  • [inproceedings] bibtex | Go to document
    E. -R. Olderog and A. P. Ravn, "Documenting Design Refinement" in Proc. Proc. of the Third Workshop on Formal Methods in Software Practice, 2000.
  • [article] bibtex
    H. Dierks, "PLC-Automata: A New Class of Implementable Real-Time Automata " tcs, vol. 253, iss. 1.
  • [inproceedings] bibtex | Go to document
    H. Wehrheim, "Specification of an Automatic Manufacturing System -- A case study in using integrated formal methods" in Proc. FASE 2000, Fundamental Approaches to Software Engineering, 2000.
  • H. Dierks and J. Tapken, "Modelling and Verifying of `Cash-Point Service' Using Moby/PLC" Formal Aspects of Computing, vol. 12.
  • [inproceedings] bibtex | Go to document
    C. Fischer and H. Wehrheim, "Behavioural Subtyping Relations for Object-Oriented Formalisms" in Proc. Algebraic Methodology and Software Technology, 2000.
  • [inproceedings] bibtex
    H. Dierks, "A Process Algebra for Real-Time Programs" in Proc. FASE 2000: Fundamental Approaches to Software Engineering, 2000.
  • [inproceedings] bibtex | Go to document
    H. Dierks, "Specification and Verification of Polling Real-Time Systems" in Proc. Ausgezeichnete Informatikdissertationen 1999, 2000.

Publications to 1999

  • [article] bibtex
    J. Bredereke, "Modular, Changeable Requirements in Functional Documentation for Telephone Switching" Formal Methods in System Design.
  • [article] bibtex
    J. Bredereke, "Maintaining Telephone Switching Software Requirements" IEEE Communications Magazine.
  • [article] bibtex
    M. Schenke, "Transformational design of real-time systems -- Part 2: from program specifications to programs." Acta Informatica 36.
  • [inproceedings] bibtex
    J. Bredereke, "Maintaining Telephone Switching System Requirements" in Proc. Participants' notes of Dagstuhl seminar 99071 -- software engineering research and education: seeking a new agenda, 1999.
  • [inproceedings] bibtex
    M. Schenke and A. Lavrov, "Automata-based stochastic analysis of modular hybrid controllers" in Proc. Conference on Probabilistic Analysis of Rare Events (RARE), 1999.
  • [article] bibtex
    E.-R.Olderog, "Sichere Bahnsteuerungen" Log IN, iss. 1.
  • M. Schenke and E. -R. Olderog, "Transformational design of real-time systems -- Part 1: from requirements to program specifications." Acta Informatica 36.
  • [inproceedings] bibtex
    M. Schenke and M. Dossis, "Provably Correct Hardware Compilation using Timing Diagrams" in Proc. FORTE/PSTV'99, 1999.
  • [inproceedings] bibtex
    E. -R. Olderog, "Correct Real-Time Software for Programmable Logic Controllers" in Proc. Correct System Design - Recent Insights and Advances, 1999.
  • [inproceedings] bibtex
    E. -R. Olderog, "Entwicklung korrekter zeitkritischer Systeme" in Proc. Formale Beschreibungstechniken für verteilte Systeme, 1999.
  • [inproceedings] bibtex
    B. Krieg-Brückner, J. Peleska, E. -R. Olderog, and A. Baer, "The UniForM Workbench, a Universal Development Environment for Formal Methods" in Proc. FM'99 -- Formal Methods, 1999.
  • [techreport] bibtex | Go to document
    J. Bredereke, "Modular, Changeable Requirements for Telephone Switching in CSP-OZ" University of Oldenburg, Oldenburg, Germany, Interner Bericht IBS-99-1, 1999.
  • [inproceedings] bibtex
    J. Bredereke, K. Frühauf, R. Khedri, S. Krauß, and A. Zeller, "Maintenance" in Proc. Software Engineering Research and Education: Seeking a new Agenda, 1999.
  • [inproceedings] bibtex
    J. Atlee, W. Bartussek, J. Bredereke, M. Glinz, R. Khedri, L. Prechelt, and D. Weiss, "Requirements" in Proc. Software Engineering Research and Education: Seeking a new Agenda, 1999.
  • [inproceedings] bibtex | Go to document
    C. Fischer and H. Wehrheim, "Model-Checking CSP-OZ Specifications with FDR" in Proc. Proceedings of the 1st International Conference on Integrated Formal Methods (IFM), 1999.
  • H. Dierks, "Synthesizing Controllers from Real-Time Specifications" IEEE Transactions on Computer-Aided Design of Integrated Circu its and Systems, vol. 18, iss. 1.
  • [inproceedings] bibtex | Go to document
    C. Fischer, "Software Development with Object-Z, CSP and Java: A Pragmatic Link from Formal Specifications to Programs" in Proc. Formal Techniques for Java Programs, 1999.
  • [inproceedings] bibtex
    J. Tapken, "Implementing Hierarchical Graph-Structures" in Proc. Proceedings of FASE'99, 1999.
  • [inproceedings] bibtex
    E. -R. Olderog, "Formal Methods in Real-Time Systems" in Proc. Proceedings of the 10th EuroMicro Workshop on Real Time Systems, 1998.
  • [inproceedings] bibtex
    V. Grabowski, C. Dietz, and E. -R. Olderog, "Semantics for Timed Message Sequence Charts via Constraint Diagrams" in Proc. Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, 1998.
  • [inproceedings] bibtex | Go to document
    H. Dierks and J. Tapken, "Tool-Supported Hierarchical Design of Distributed Real-Time Systems" in Proc. Euromicro Workshop on Real Time Systems, 1998.
  • [inproceedings] bibtex
    S. Kleuker, "Reengineering of Distributed Systems using Formal Methods" in Proc. Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering, 1998.
  • [inproceedings] bibtex | Go to document
    J. Bredereke, "Specification Style and Efficiency in Estelle" in Proc. Proc. of the 1st Int'l. Workshop on the Formal Description Technique Estelle -- Estelle'98, Evry, France, 1998.
  • [inproceedings] bibtex
    J. Tapken, "Moby/PLC -- A Design Tool for Hierarchical Real-Time Automata" in Proc. Proceedings of FASE'98, 1998.
  • [inproceedings] bibtex
    C. Fischer, "How to combine Z with a Process Algebra" in Proc. ZUM'98 The Z Formal Specification Notation, 1998.
  • [inproceedings] bibtex
    C. Fischer and D. Meemken, "JaWA: Java with Assertions" in Proc. Java-Informations-Tage, 1998.
  • [inproceedings] bibtex
    J. Tapken and H. Dierks, "Moby/PLC -- Graphical Development of PLC-Automata" in Proc. Proceedings of FTRTFT'98, 1998.
  • [proceedings] bibtex
    Formal Techniques in Real-Time and Fault-Tolerant SystemsLyngby, Denmark: springer.
  • [techreport] bibtex | Go to document
    J. Bredereke, "Requirements Specification and Design of a Simplified Telephone Network by Functional Documentation" McMaster University, Hamilton, Ontario, Canada, CRL Report 367, 1998.
  • [techreport] bibtex | Go to document
    H. Dierks, A. Fehnker, A. Mader, and F. W. Vaandrager, "Operational and Logical Semantics for Polling Real-Time Systems" Computer Science Institue Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, CSI-R9813, 1998.
  • [inproceedings] bibtex
    H. Dierks and M. Schenke, "A Unifying Framework for Correct Program Construction" in Proc. Mathematics of Program Construction 98, 1998.
  • [inproceedings] bibtex
    E. -R. Olderog and H. Dierks, "Decomposing Real-Time Specifications" in Proc. Compositionality: The Significant Difference, 1998.
  • [inproceedings] bibtex | Go to document
    H. Dierks, "Comparing Model-Checking and Logical Reasoning for Real-Time Systems" in Proc. ESSLLI'98, 1998.
  • [inproceedings] bibtex
    H. Dierks, A. Fehnker, A. Mader, and F. W. Vaandrager, "Operational and Logical Semantics for Polling Real-Time Systems" in Proc. FTRTFT'98, 1998.
  • [misc] bibtex
    M. Schenke and M. Dossis, Provably Correct Hardware Compilation using Timing Diagrams.
  • [unpublished] bibtex | Go to document
    M. Schenke, Development of Correct Real-Time Systems by Refinement.
  • [book] bibtex
    K. -R. Apt and E. -R. Olderog, Verification of Sequential and Concurrent Programs. 2nd ed., springer.
  • [article] bibtex
    C. Fischer, S. Kleuker, and E. -R. Olderog, "Beweisbar korrekte Telekommunikationssysteme" Informationstechnik und Technische Informatik, vol. 3.
  • [inproceedings] bibtex | Go to document
    J. Tapken, "Interactive and Compilative Simulation of PLC-Automata" in Proc. Simulation in Industry, ESS'97, 1997.
  • [inproceedings] bibtex
    C. Fischer and G. Smith, "Combining CSP and Object-Z: Finite or Infinite Trace-Semantics?" in Proc. Proceedings of FORTE/PSTV'97, 1997.
  • [inproceedings] bibtex | Go to document
    H. Dierks, "Synthesising Controllers from Real-Time Specifications" in Proc. Tenth International Symposium on System Synthesis, 1997.
  • [inproceedings] bibtex | Go to document
    H. Fleischhack and J. Tapken, "An M-Net Semantics for a Real-Time Extension of $\mu$SDL" in Proc. Formal Methods: Their Industrial Application and Strengthened Foundations (FME'97), 1997.
  • [inproceedings] bibtex
    C. Fischer, "Combining Object-Z and CSP" in Proc. Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin, 1997.
  • [inproceedings] bibtex
    C. Fischer, "CSP-OZ: A Combination of Object-Z and CSP" in Proc. Formal Methods for Open Object-Based Distributed Systems (FMOODS '97), 1997.
  • [inproceedings] bibtex | Go to document
    H. Dierks, "PLC-Automata: A New Class of Implementable Real-Time Automata" in Proc. Transformation-Based Reactive Systems Development (ARTS'97), 1997.
  • [inproceedings] bibtex | Go to document
    S. Kleuker, "Formalizing Requirements for Distributed Systems with Trace Diagrams" in Proc. Formal Methods: Their Industrial Application and Strengthened Foundations (FME'97), 1997.
  • [inproceedings] bibtex | Go to document
    S. Kleuker, "Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen" in Proc. Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin, 1997.
  • [inproceedings] bibtex | Go to document
    H. Dierks and C. Dietz, "Graphical Specification and Reasoning: Case Study "Generalized Railroad Crossing"" in Proc. FME'97, 1997.
  • [inproceedings] bibtex | Go to document
    S. Kleuker, "Incremental Development of Deadlock-Free Communicating Systems" in Proc. Proceedings of the Third International Workshop Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), 1997.
  • [inproceedings] bibtex
    C. Dietz, "Action Diagrams" in Proc. Proceedings of the IFAC/IFIP Workshop, Lyon, France, 15-17 September 1997, 1997.
  • [techreport] bibtex
    H. Fleischhack and B. Grahlmann, "A Petri Net semantics for B(PN)$^2$ with procedures which allow verification" University of Hildesheim, Germany, Informatik-Berichte 21/96, 1996.
  • [inproceedings] bibtex
    S. Kleuker, "Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems" in Proc. Proceedings of the 9th international conference on Formal Description Techniques (FORTE'96) (Kaiserslautern, Germany), 1996.
  • [inproceedings] bibtex | Go to document
    J. Bohn and W. Janssen, "A Strategic Approach to Transformational Design" in Proc. Industrial Benefit and Advances in Formal Methods (FME'96), 1996.
  • [inproceedings] bibtex
    C. Dietz, "Graphical Formalization of Real-Time Requirements" in Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'96) (Uppsala, Sweden), 1996.
  • [inproceedings] bibtex
    C. Fischer and W. Janssen, "Synchronous Development of Asynchronous Systems" in Proc. Proceedings of CONCUR'96, 1996.
  • [inproceedings] bibtex | Go to document
    H. Dierks, "The Production Cell: A Verified Real-Time System" in Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'96) (Uppsala, Sweden), 1996.
  • [inproceedings] bibtex | Go to document
    M. Schenke and A. P. Ravn, "Refinement from a control problem to programs" in Proc. Formal methods for industrial applications: specifying and programming the steam boiler control, 1996.
  • [inproceedings] bibtex | Go to document
    S. Kleuker, "The Extension of Existing Telecommunication Software with new Services Using Formal Methods" in Proc. Proceedings of the International Workshop on Advanced Intelligent Networks, 1996.
  • [techreport] bibtex | Go to document
    S. Kleuker and H. Tjabben, "A Formal Approach to the Development of Reliable Multi-User Multimedia Communication Systems" Philips Research Laboratories Aachen, Germany, Technical Report 1168/96, 1996.
  • [incollection] bibtex
    E. -R. Olderog, A. P. Ravn, and J. U. Skakkebæk, Refining System Requirements to Program SpecificationsWiley.
  • [inproceedings] bibtex | Go to document
    S. Kleuker and H. Tjabben, "The Incremental Development of Correct Specifications for Distributed Systems" in Proc. Industrial Benefit and Advances in Formal Methods (FME'96), 1996.
  • [techreport] bibtex
    J. Bohn and W. Janssen, "From a Single Specification to Many Implementations -- Many roads lead to parallelism" uniol-fb101995.
  • [mastersthesis] bibtex
    R. Müller, "An\-forderungs\-ger\-echte Spez\-ifika\-tion eines zeit\-ab\-hän\-gigen Gebüh\-renab\-rech\-nungs\-systems" Master's Dissertation , 1995.
  • [inproceedings] bibtex | Go to document
    H. Tjabben, S. Kleuker, and A. Kehne, "Provably Correct Intelligent Networks" in Proc. Proceedings of the IEEE Intelligent Network '95 Workshop, May 9-11, 1995, Ottawa, Canada, 1995.
  • [techreport] bibtex
    E. Best and H. F. (Ed.), "PEP: Programming Environment based on Petri Nets" University of Hildesheim, Germany, Informatik-Berichte 14/95, 1995.
  • [inproceedings] bibtex
    E. Best, H. Fleischhack, W. Fraczak, R. P. Hopkins, H. Klaudel, and E. Pelz, "An M-Net semantics of B(PN)$^2$." in Proc. Structures in Concurrency Theory, 1995.
  • [techreport] bibtex | Go to document
    J. Bohn and S. Rössig, "On Automatic and Interactive Design of Communicating Systems" uniol-fb10, ProCoS Document [OLD JB 2/2], 1995.
  • [techreport] bibtex | Go to document
    J. Bohn and S. Rössig, "Towards a Design Assistant for Communicating Systems" uniol-fb10, ProCoS Document [OLD JB 3/1], 1995.
  • [article] bibtex
    J. Bohn and H. Hungar, "Traverdi -- Transformation and Verification of Distributed Systems" lncs, vol. 1009.
  • [techreport] bibtex | Go to document
    C. Fischer, "Semantics and Compositional Verification of $\mu$SDL" Philips Research Laboratories Aachen, Germany, Labornotiz 1/95, 1995.
  • [inproceedings] bibtex
    A. Gronewold and H. Fleischhack, "Computing Petri Net Languages by Reductions" in Proc. Proceedings on the 10th International Conference on Fundamentals of computation theory (FCT'95) (Dresden, Germany, August 1995), 1995.
  • [inproceedings] bibtex
    E. Best, H. Fleischack, W. Fraczak, and R. P. Hopkins, "A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)$^2$" in Proc. Proceedings of the 16th Internationcal Conference on Application and Theory of Petri nets (Turin, Italy, June 26--30, 1995), 1995.
  • [inproceedings] bibtex | Go to document
    E. -R. Olderog and M. Schenke, "Design of Real-Time Systems: The Interface between Duration Calculus and Program Specifications" in Proc. Structures in Concurrency Theory, 1995.
  • [inproceedings] bibtex
    H. Fleischhack and J. Tapken, "Eine kompositionelle Petrinetz-Semantik für SDL-Spezifikationen" in Proc. 2. Workshop Algorithmen und Werkzeuge für Petrinetze, 1995.
  • [inproceedings] bibtex
    J. Bohn and S. Rössig, "On Automatic and Interactive Design of Communicating Systems" in Proc. Proceedings of the 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95) (Aarhus, Denmark), 1995.
  • [inproceedings] bibtex | Go to document
    S. Kleuker and H. Tjabben, "A Formal Approach to the Development of Reliable Multi-User Multimedia Applications" in Proc. Proceedings of the 5th GI/ITG-Fachgespräch ``Formale Beschreibungs-techniken für verteilte Systeme'', 1995.
  • [techreport] bibtex | Go to document
    S. Kleuker, A. Kehne, and H. Tjabben, "Provably Correct Communication Networks (CoCoN)" Philips Research Laboratories Aachen, Germany, Technical Report 1123/95, 1995.
  • [inproceedings] bibtex | Go to document
    S. Kleuker, "A Gentle Introduction to Specification Engineering using a Case Study in Telecommunications" in Proc. International Joint Conference on Theory and Practice of Software Development (TAPSOFT'95), 1995.
  • [misc] bibtex
    J. Bohn, Formal Reasoning about Specification and Transformation of Reactive Systems.
  • [book] bibtex
    K. R. Apt and E. -R. Olderog, Programmverifikation, springer.
  • [phdthesis] bibtex
    S. Rössig, "A Transformational Approach to the Design of Communicating Systems" PhD Thesis , 1994.
  • [inproceedings] bibtex
    J. Bohn, "Formal Transformational Reasoning about Reactive Systems in the Theorem Prover LAMBDA" in Proc. Supplementary proceedings of the 7th international workshop on Higher Order Logic Theorem Proving and its Applications, 1994.
  • [techreport] bibtex | Go to document
    J. Bohn, "Formalizing the SL/PL design approach in LAMBDA" uniol-fb10, ProCoS Document [OLD JB 1/1], 1994.
  • [inproceedings] bibtex
    J. He, C. A. R. Hoare, M. Fränzle, M. Müller-Olm, E. -R. Olderog, M. Schenke, M. R. Hansen, A. P. Ravn, and H. Rischel, "Provably Correct Systems" in Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'94), 1994.
  • [inproceedings] bibtex | Go to document
    M. Schenke, "A Timed Specification Language for Concurrent Reactive Systems" in Proc. Semantics of Specification Languages, 1994.
  • [inproceedings] bibtex
    C. Dietz and G. Schreiber, "A Term Representation of P/T systems" in Proc. Application and Theory of Petri Nets, 1994.
  • [inproceedings] bibtex | Go to document
    M. Schenke, "Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency" in Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'94), 1994.
  • [inproceedings] bibtex
    S. Kleuker, "Case Study: Stepwise Refinement of a Communication Processor Using Trace Logic" in Proc. Semantics of Specification Languages, 1994.
  • [inproceedings] bibtex
    H. Fleischhack and U. Lichtblau, "MOBY --- A tool for high level Petri Nets with objects" in Proc. Proceedings of the IEEE-SMC'93-Conference (Le Touquet, France, 1993), 1993.
  • [inproceedings] bibtex
    J. P. Bowen, M. Fränzle, E. -R. Olderog, and A. P. Ravn, "Developing Correct Systems" in Proc. Proceedings of the 5th EUROMICRO Workshop on Real-Time Systems (Oulu, Finland), 1993.
  • [inproceedings] bibtex
    H. Fleischhack, U. Lichtblau, M. Sonnenschein, and R. Wie-ting, "Abstraktion und Zeitbegriff in höheren Netzen" in Proc. Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, Berlin [u.a.], 1993.
  • [inproceedings] bibtex
    J. Bohn, "Formalizing the Transformational Design of Communicating Systems in the Theorem Prover LAMBDA" in Proc. Higher Order Algebra, Logic and Term Rewriting (HOA'93), 1993.
  • [unpublished] bibtex
    C. Fischer, Fehleranalyse bei der Spezifikationsentwicklung von intelligenten Telefonnetzen.
  • [inproceedings] bibtex
    J. Bohn, "Interaktive Synthese kommunizierender Systeme mit LAMBDA" in Proc. Formale Methoden zum Entwurf korrekter Systeme, 1993.
  • [techreport] bibtex | Go to document
    M. R. Hansen, E. -R. Olderog, M. Schenke, M. Fränzle, B. von Karger, M. Müller-Olm, and H. Rischel, "A Duration Calculus Semantics for Real-Time Reactive Systems" uniol-fb10, ProCoS II document [OLD MRH 1/1], 1993.
  • [inproceedings] bibtex
    E. -R. Olderog and S. Rössig, "A Case Study in Transformational Design of Concurrent Systems" in Proc. Theory and Practice of Software Development (TAPSOFT'93), 1993.
  • [incollection] bibtex
    E. -R. Olderog, Systematic derivation of communicating programsspringer.
  • [inproceedings] bibtex
    E. -R. Olderog, "Interfaces between Languages for Communicating Systems" in Proc. Automata, Languages and Programming. Proceedings of the 19th ICALP 1992, 1992.
  • [inproceedings] bibtex | Go to document
    M. Schenke, "Predicative Specification of Timed Processes" in Proc. Real-Time: Theory in Practice, 1992.
  • [article] bibtex
    E. -R. Olderog, "Correctness of Concurrent Processes" tcs, vol. 80.
  • E. -R. Olderog, Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship, Cambridge University Press.
  • [incollection] bibtex
    K. R. Apt and E. -R. Olderog, Introduction to Program Verificationspringer.
  • [inproceedings] bibtex
    E. -R. Olderog and K. R. Apt, "Using transformations to verify parallel programs" in Proc. Algebraic Methods II: Theory, Tools and Applications, 1991.
  • [inproceedings] bibtex
    E. -R. Olderog, "Towards a Design Calculus for Communicating Programs" in Proc. Proceedings of the 2nd International Conference on Concurrency Theory (CONCUR'91) (Amsterdam, The Netherlands), 1991.
  • [inproceedings] bibtex | Go to document
    S. Rössig and M. Schenke, "Specification and Stepwise Development of Communicating Systems" in Proc. Formal Software Development Methods (VDM'91), 1991.
  • [article] bibtex
    C. J. -J. Meyer and E. -R. Olderog, "Hiding in Stream Semantics of Uniform Concurrency" acta, vol. 27.
  • [incollection] bibtex
    K. R. Apt, F. S. de Boer, and E. -R. Olderog, Proving termination of parallel programsspringer.
  • [incollection] bibtex
    E. -R. Olderog, From trace specifications to process termsspringer.
  • [article] bibtex
    B. D., C. A. R. \. Hoare, J. P. Bowen, He Jifeng, H. Langmaack, E. -R. Olderog, U. H. Martin, V. Stavridou, F. Nielson, H. R. Nielson, H. Barringer, D. Edwards, H. H. Lø., A. P. Ravn, and H. S. Rischel, "A ProCoS Project Description" Bulletin of the European Association for Theoretical Computer Science (EATCS), vol. 39.
  • [article] bibtex
    J. W. de Bakker, C. J. -J. Meyer, E. -R. Olderog, and J. I. Zucker, "Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency" jcss, vol. 36.
  • [article] bibtex
    J. A. Bergstra, J. W. Klop, and E. -R. Olderog, "Readies and Failures in the Algebra of Communicating Processes" siam, vol. 17.
  • [article] bibtex
    E. -R. Olderog and K. R. Apt, "Fairness in Parallel Programs: the Transformational Approach" acmtoplas, vol. 10.
  • [article] bibtex
    J. W. de Bakker, C. J. -J. Meyer, and E. -R. Olderog, "Infinite Streams and Finite Observations in the Semantics of Uniform Concurrence" tcs, vol. 49.
  • [inproceedings] bibtex
    J. A. Bergstra, J. W. Klop, and E. -R. Olderog, "Failures without Chaos: a Process Semantics for Fair Abstraction" in Proc. Formal Description of Programming Concepts -- III, Amsterdam, 1987.
  • [article] bibtex
    E. -R. Olderog and C. A. R. Hoare, "Specification-oriented Semantics for Communicating Processes" acta, vol. 23.
  • [inproceedings] bibtex
    J. W. de Bakker, C. J. -J. Meyer, E. -R. Olderog, and J. I. Zucker, "Transition systems, infinitary languages and the semantics of uniform concurrency" in Proc. Proc.~17th ACM Symp.~on Theory of Computing, 1985.
  • [article] bibtex
    E. -R. Olderog, "Correctness of Programs with Pascal-like Procedures without Global Variables" Theoretical Computer Science, vol. 30.
  • [inproceedings] bibtex
    E. -R. Olderog, "Hoare's logic for programs with procedures---what has been achieved?" in Proc. Proc. Logics of Programs, 1984.
  • [article] bibtex
    K. R. Apt and E. -R. Olderog, "Proof Rules and Transformations Dealing with Fairness" Science of Computer Programming, vol. 3.
  • [article] bibtex
    E. -R. Olderog, "On the Notion of Expressiveness and the Rule of Adaptation" Theoretical Computer Science, vol. 24.
  • [inproceedings] bibtex
    E. -R. Olderog, "A Characterization of Hoare's logic for programs with Pascal-like procedures" in Proc. Proc.~15th ACM Symp.~on Theory of Computing, 1983.
  • [article] bibtex
    E. -R. Olderog, "Sound and Complete Hoare-like Calculi based on Copy Rules" Acta Informatica, vol. 16.
  • [inproceedings] bibtex
    H. Langmaack and E. -R. Olderog, "Present-day Hoare-like systems for programming languages with procedures: power, limits and most likely extensions" in Proc. Automata, Languages and Programming (Proc.~7th ICALP), 1980.
(Changed: 20 Jun 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page