Kontakt

Leitung

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

Sekretariat

Andrea Göken

+49-(0)441-798-3121

+49-(0)441-798-2965

A3 2-208

Publikationen

Aktuelle Publikationen

  • [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 und E. Olderog, "Time for Traffic Manoeuvres" , Haxthausen, A. E., Huang, W., und Roggenbach, M. Eds., Cham: Springer Nature Switzerland.
    doi: 10.1007/978-3-031-40132-9_11
  • [inproceedings] bibtex | Dokument aufrufen
    B. Finkbeiner und 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 | Dokument aufrufen
    N. Würdemann, T. Chatain, und 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 | Dokument aufrufen
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, und 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 | Dokument aufrufen
    K. R. Apt und E. -R. Olderog, Nondeterminism and Guarded CommandsACM / Morgan & Claypool.
    doi: 10.1145/3544585.3544595
  • [inproceedings] bibtex | Dokument aufrufen
    G. K. A. -, S. Haar, L. Paulevé, S. Schwoon, und 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 | Dokument aufrufen
    P. Hannibal und 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 | Dokument aufrufen
    B. Finkbeiner, M. Gieseking, J. H. -, und 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 | Dokument aufrufen
    C. Bischopink und 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 und N. Würdemann, "Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version)" CoRR, vol. abs/2103.10207.
  • [incollection] bibtex | Dokument aufrufen
    K. R. Apt und E. Olderog, Assessing the Success and Impact of Hoare's Logic.
    doi: 10.1145/3477355.3477359
  • [inproceedings] bibtex | Dokument aufrufen
    M. Gieseking und 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 | Dokument aufrufen
    E. Olderog, B. Steffen, und 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 und N. Würdemann, "Resilience of Well-structured Graph Transformation Systems" CoRR, vol. abs/2108.00889.
  • E. Olderog, M. Fränzle, O. E. Theel, und 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 | Dokument aufrufen
    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 | Dokument aufrufen
    M. Gieseking und 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 | Dokument aufrufen
    M. Gieseking, J. Hecking-Harbusch, und 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, und 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, und E. Olderog, "Model Checking Branching Properties on Petri Nets with Transits (Full Version)" CoRR, vol. abs/2007.07235.
  • [inproceedings] bibtex | Dokument aufrufen
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, und 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 | Dokument aufrufen
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, und 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, und N. Würdemann, "Solving high-level Petri games" Acta Inf. vol. 57, iss. 3-5.
    doi: 10.1007/s00236-020-00368-5
  • M. Gieseking und E. Olderog, "High-Level Representation of Benchmark Families for Petri Games" CoRR, vol. abs/1904.05621.
  • B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, und E. Olderog, "Model Checking Data Flows in Concurrent Network Updates (Full Version)" CoRR, vol. abs/1907.11061.
  • [inproceedings] bibtex | Dokument aufrufen
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, und 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 | Dokument aufrufen
    C. Bischopink und 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, und 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 | Dokument aufrufen
    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 | Dokument aufrufen
    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., und Olderog, E. -R. Eds., Springer-Verlag.
  • B. Finkbeiner und 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, und 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 | Dokument aufrufen
    E. -R. Olderog, A.P.Ravn, und R. Wisniewski, Linking Discrete and Dynamic Models: Applied to Traffic ManoevresSpringer.
  • [inproceedings] bibtex | Dokument aufrufen
    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 | Dokument aufrufen
    E. -R. Olderog und M. Schwammberger, "Formalising a Hazard Warning Communication Protocol with Timed Automata" in Proc. Models, Algorithms, Logics and Tools, 2017.
  • [inproceedings] bibtex | Dokument aufrufen
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, und 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 | Dokument aufrufen
    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 | Dokument aufrufen
    B. Engelmann und 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 und 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 | Dokument aufrufen
    H. Ody, M. Fränzle, und 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 | Dokument aufrufen
    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 und M. Swaminathan, "Structural Transformations for Data-Enriched Real-Time Systems" Formal Asp. Comput. vol. 27.
  • B. Engelmann, E. -R. Olderog, und N. Flick, Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic.
  • [techreport] bibtex | Dokument aufrufen
    M. Fränzle, M. R. Hansen, und H. Ody, "Discounted Duration Calculus" School of Computer Science, Reykjavik University, RUTR-SCS16001, 2015.
  • S. Linker und M. Hilscher, "Proof Theory of a Multi-Lane Spatial Logic" Logical Methods in Computer Science, vol. 11, iss. 3.
  • [inproceedings] bibtex | Dokument aufrufen
    M. Gieseking, "Trace Refinement of $\pi$-Calculus Processes" in Proc. Frontiers of Formal Methods 2015, 2015.
  • [inproceedings] bibtex | Dokument aufrufen
    M. Fränzle, M. R. Hansen, und 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 | Dokument aufrufen
    E. -R. Olderog, A. P. Ravn, und 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 | Dokument aufrufen
    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, und E. Olderog, "Synthesizing Controllers for Multi-Lane Traffic Maneuvers" in Proc. International Symposium on Dependable Software Engineering (SETTA), 2015.
  • [inproceedings] bibtex | Dokument aufrufen
    B. Finkbeiner, M. Gieseking, und 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 | Dokument aufrufen
    H. Ody, "Undecidability Results for Multi-Lane Spatial Logic" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 112, 2015.
  • [inproceedings] bibtex | Dokument aufrufen
    N. Flick und B. Engelmann, "Properties of Petri Nets with Context-free Structure Changes" in Proc. Fifth International Workshop on Graph Computation Models, 2014.
  • [inproceedings] bibtex | Dokument aufrufen
    B. Finkbeiner und 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 und M. Hilscher, "Proof theory of a multi-lane spatial logic" in Proc. Theoretical Aspects of Computing--ICTAC 2013, 2013.
  • [inproceedings] bibtex | Dokument aufrufen
    B. Engelmann, "Towards Practical Verification of Dynamically Typed Programs" in Proc. 25th Nordic Workshop on Programming Theory, 2013.
  • [inproceedings] bibtex
    M. Hilscher, S. Linker, und E. -R. Olderog, "Proving Safety of Traffic Manoeuvres on Country Roads" in Proc. Theories of Programming and Formal Methods, 2013.
  • [inproceedings] bibtex | Dokument aufrufen
    S. Kemper und 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 | Dokument aufrufen
    E. -R. Olderog und 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, und S. de Gouw, "Verification of object-oriented programs: A transformational approach" J Computer System Sciences, vol. 78.
  • [article] bibtex
    E. -R. Olderog und R. Wilhelm, "Turing und die Verifikation" Informatik-Spektrum, vol. 35, iss. 4.
  • M. Swaminathan, J. -P. Katoen, und 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 und 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 und A. Platzer, "Playing Hybrid Games with KeYmaera." SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 84, 2012.
  • [inproceedings] bibtex
    J. Quesel und 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, und 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, und 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, und 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 | Dokument aufrufen
    M. Hilscher, S. Linker, E. -R. Olderog, und 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, und 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, und 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, und 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 und A. Podelski, "Explicit Fair Scheduling for Dynamic Control" in Proc. Concurrency, Compositionality, and Correctness, 2010.
  • [inproceedings] bibtex | Dokument aufrufen
    J. Hoenicke, R. Meyer, und E. -R. Olderog, "Kleene, Rabin, and Scott Are Available" in Proc. CONCUR 2010 - Concurrency Theory (CONCUR), 2010.
  • [inproceedings] bibtex | Dokument aufrufen
    E. -R. Olderog und M. Swaminathan, "Layered Composition for Timed Automata" in Proc. Formal Modeling and Analysis of Timed Systems (FORMATS), 2010.
  • [inproceedings] bibtex | Dokument aufrufen
    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 und 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 | Dokument aufrufen
    S. Linker, Diagrammatic Specification of Mobile Real-Time SystemsSpringer Berlin / Heidelberg.
  • [inproceedings] bibtex
    J. Faber, C. Ihlemann, S. Jacobs, und 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 | Dokument aufrufen
    J. Faber, C. Ihlemann, S. Jacobs, und 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 | Dokument aufrufen
    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 und D. Gorla, "Proceedings 16th International Workshop on Expressiveness in Concurrency" CoRR, vol. abs/0911.3189.
  • [article] bibtex
    S. Fröschle und G. Steel, "Analysing PKCS\#11 Key Management APIs with Unbounded Fresh Data."
  • [inproceedings] bibtex
    W. Czerwi'nski, S. Fröschle, und 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 und 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, und 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 und 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 | Dokument aufrufen
    M. Fränzle und 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 und 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, und T. Strazny, "A Practical Approach to Verification of Mobile Systems Using Net Unfoldings" Fundamenta Informaticae, vol. 94, iss. 3--4.
  • [inproceedings] bibtex | Dokument aufrufen
    J. Faber, "Verification Architectures for Real-time Systems" in Proc. Proceedings of Formal Methods 2009 Doctoral Symposium, 2009.
  • [inproceedings] bibtex
    A. Platzer, J. Quesel, und 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 und 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, und P. Rümmer, "Real World Verification" SFB/TR 14 AVACS, Reports of SFB/TR 14 AVACS 52, 2009.
  • [techreport] bibtex
    A. Platzer und 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 und 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, und 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, und J. Posegga, "XSSDS: Server-Side Detection of Cross-Site Scripting Attacks" in Proc. ACSAC, 2008.
    doi: 10.1109/ACSAC.2008.36
  • [inproceedings] bibtex | Dokument aufrufen
    M. Swaminathan, M. Fränzle, und 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 | Dokument aufrufen
    V. Khomenko und 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, und 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, und 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 und 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 | Dokument aufrufen
    A. Platzer und 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, und 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 und 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 | Dokument aufrufen
    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 | Dokument aufrufen
    A. Platzer und 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 und 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, und 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, und 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 | Dokument aufrufen
    A. Schäfer, "Spezifikation und Verifikation mobiler Realzeitsysteme" in Proc. Ausgezeichnete Informatikdissertationen 2007, 2007.
  • [techreport] bibtex | Dokument aufrufen
    A. Platzer, "A Temporal Dynamic Logic for Verifying Hybrid System Invariants." , Reports of SFB/TR 14 AVACS 12, 2007.
  • [inproceedings] bibtex | Dokument aufrufen
    J. Faber, S. Jacobs, und V. Sofronie-Stokkermans, "Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters" in Proc. Integrated Formal Methods, 2007.
  • [techreport] bibtex | Dokument aufrufen
    J. Faber und 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 | Dokument aufrufen
    A. Platzer und 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 | Dokument aufrufen
    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 | Dokument aufrufen
    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 | Dokument aufrufen
    S. Kemper und 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, und 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 | Dokument aufrufen
    I. Brückner, K. Dräger, B. Finkbeiner, und H. Wehrheim, "Slicing Abstractions" in Proc. FSEN 2007: IPM International Symposium on Fundamentals of Software Engineering, 2007.
  • [inproceedings] bibtex | Dokument aufrufen
    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 | Dokument aufrufen
    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 | Dokument aufrufen
    I. Brückner, "Slicing Concurrent Real-Time System Specifications for Verification" in Proc. Integrated Formal Methods, 2007.
  • [inproceedings] bibtex | Dokument aufrufen
    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 und 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 und 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, und 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 und 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 und C. Stehno, "Ein Simulator für mehrfach erweiterte höhere Petrinetze" in Proc. 19. Symposium Simulationstechnik (ASIM 2006), 2006.
  • I. Brückner, B. Metzler, und 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, und E. -R. Olderog, "Controlling Access to Documents: A Formal Access Control Model" in Proc. ETRICS 2006, 2006.
  • [inproceedings] bibtex
    R. Meyer, J. Faber, und A. Rybalchenko, "Model Checking Duration Calculus: A Practical Approach" in Proc. Theoretical Aspects of Computing - ICTAC 2006, 2006.
  • [inproceedings] bibtex | Dokument aufrufen
    B. Beckert und 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

Publikationen 2000 - 2005

  • C. Fischer und 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 und H. Wehrheim, "Specification and (property) inheritance in CSP-OZ" Science of Computer Programming, vol. 55.
  • [techreport] bibtex | Dokument aufrufen
    I. Brückner und H. Wehrheim, "Slicing Object-Z Specifications for Verification" SFB/TR 14 AVACS, http://www.avacs.org/, 3, 2005.
  • [techreport] bibtex | Dokument aufrufen
    I. Brückner und 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, und C. Stehno, "Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets" in Proc. SDL 2005: Model Driven, 2005.
  • [inproceedings] bibtex | Dokument aufrufen
    I. Brückner und 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 | Dokument aufrufen
    M. Möller, "Mapping Formal Specifications to Java Contracts" in Proc. Proceedings of the 17th Nordic Workshop on Programming Theory, 2005.
  • [inproceedings] bibtex | Dokument aufrufen
    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 | Dokument aufrufen
    J. Hoenicke und P. Maier, "Model-Checking of Specifications Integrating Processes, Data and Time" in Proc. FM 2005, 2005.
  • [inproceedings] bibtex | Dokument aufrufen
    R. Boute und A. Schäfer, "The Timer Cascade: Functional Modelling and Real Time Calculi" in Proc. Theoretical Aspects of Computing, ICTAC 2005, 2005.
  • [inproceedings] bibtex | Dokument aufrufen
    A. Schäfer, "A calculus for shapes in time and space" in Proc. Theoretical Aspects of Computing, ICTAC 2004, 2005.
  • [inproceedings] bibtex | Dokument aufrufen
    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 | Dokument aufrufen
    I. Brückner und H. Wehrheim, "Slicing Object-Z Specifications for Verification" in Proc. ZB 2005: Formal Specification and Development in Z and B, 2005.
  • [inproceedings] bibtex | Dokument aufrufen
    I. Brückner und 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 und 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, und E. -R. Olderog, "On the Verification of Cooperating Traffic Agents" in Proc. FMCO 2003: Formal Methods for Components and Objects, 2004.
  • [inproceedings] bibtex | Dokument aufrufen
    M. Bretschneider, H. -J. Holberg, E. Böde, I. Brückner, T. Peikenkamp, und 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 | Dokument aufrufen
    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, und T. Wolf, "Model Checking -- Grundlagen und Praxiserfahrungen" Informatik Spektrum, vol. 27, iss. 2.
  • [inproceedings] bibtex | Dokument aufrufen
    M. Möller, E. -R. Olderog, H. Rasch, und 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 | Dokument aufrufen
    J. Derrick und 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 und H. Wehrheim, "Specification and Inheritance in CSP-OZ" in Proc. Formal Methods for Components and Objects, 2003.
  • [inproceedings] bibtex | Dokument aufrufen
    H. Wehrheim, "Inheritance of Temporal Logic Properties" in Proc. Formal Methods for Open Object-based Distributed Systems, 2003.
  • [article] bibtex
    E. -R. Olderog und 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, und T. Wolf, "Sicherheit für sicherheitskritische Systeme" Electronic Embedded Systeme.
  • [inproceedings] bibtex | Dokument aufrufen
    H. Dierks und 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 | Dokument aufrufen
    H. Rasch und 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 und E. -R. Olderog, "Temporale Spezifikationslogiken" at-Automatisierungstechnik, vol. 51, iss. 2.
  • [inproceedings] bibtex | Dokument aufrufen
    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 und 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 | Dokument aufrufen
    H. Wehrheim, "Checking Behavioural Subtypes via Refinement" in Proc. FMOODS 2002: Formal Methods for Open Object-Based Distributed Systems, 2002.
  • [inproceedings] bibtex | Dokument aufrufen
    J. Hoenicke und E. -R. Olderog, "Combining Specification Techniques for Processes Data and Time" in Proc. Integrated Formal Methods, 2002.
  • [inproceedings] bibtex | Dokument aufrufen
    M. Brörkens und 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 | Dokument aufrufen
    H. Dierks, G. Behrmann, und 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 | Dokument aufrufen
    H. Dierks und M. Lettrari, "Constructing Test Automata from Graphical Real-Time Requirements" in Proc. FTRTFT 2002, 2002.
  • [inproceedings] bibtex
    H. Rasch und 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 | Dokument aufrufen
    M. Brörkens und M. Möller, "jassda Trace Assertions" in Proc. Trends in Testing Communicating Systems, Berlin, Germany, 2002.
  • [inproceedings] bibtex | Dokument aufrufen
    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 und 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 | Dokument aufrufen
    H. Wehrheim, "Patterns and Rules for Behavioural Subtyping" in Proc. FORTE 2001, 2001.
  • [article] bibtex
    H. Dierks und J. Tapken, "Moby/PLC: Eine graphische Entwicklungsumgebung für SPS-Programme" at-Automatisierungstechnik, vol. 1.
  • [inproceedings] bibtex | Dokument aufrufen
    D. Bartetzko, C. Fischer, M. Möller, und 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 und E. -R. Olderog, "Trace-Oriented Models of Concurrency" in Proc. Handbook of Process Algebra, 2001.
  • [inproceedings] bibtex | Dokument aufrufen
    C. Fischer, E. -R. Olderog, und 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 | Dokument aufrufen
    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 | Dokument aufrufen
    E. -R. Olderog und 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 | Dokument aufrufen
    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 und J. Tapken, "Modelling and Verifying of `Cash-Point Service' Using Moby/PLC" Formal Aspects of Computing, vol. 12.
  • [inproceedings] bibtex | Dokument aufrufen
    C. Fischer und 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 | Dokument aufrufen
    H. Dierks, "Specification and Verification of Polling Real-Time Systems" in Proc. Ausgezeichnete Informatikdissertationen 1999, 2000.

Publikationen bis 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 und 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 und E. -R. Olderog, "Transformational design of real-time systems -- Part 1: from requirements to program specifications." Acta Informatica 36.
  • [inproceedings] bibtex
    M. Schenke und 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, und A. Baer, "The UniForM Workbench, a Universal Development Environment for Formal Methods" in Proc. FM'99 -- Formal Methods, 1999.
  • [techreport] bibtex | Dokument aufrufen
    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ß, und 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, und D. Weiss, "Requirements" in Proc. Software Engineering Research and Education: Seeking a new Agenda, 1999.
  • [inproceedings] bibtex | Dokument aufrufen
    C. Fischer und 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 | Dokument aufrufen
    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, und 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 | Dokument aufrufen
    H. Dierks und 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 | Dokument aufrufen
    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 und D. Meemken, "JaWA: Java with Assertions" in Proc. Java-Informations-Tage, 1998.
  • [inproceedings] bibtex
    J. Tapken und 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 | Dokument aufrufen
    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 | Dokument aufrufen
    H. Dierks, A. Fehnker, A. Mader, und 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 und M. Schenke, "A Unifying Framework for Correct Program Construction" in Proc. Mathematics of Program Construction 98, 1998.
  • [inproceedings] bibtex
    E. -R. Olderog und H. Dierks, "Decomposing Real-Time Specifications" in Proc. Compositionality: The Significant Difference, 1998.
  • [inproceedings] bibtex | Dokument aufrufen
    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, und F. W. Vaandrager, "Operational and Logical Semantics for Polling Real-Time Systems" in Proc. FTRTFT'98, 1998.
  • [misc] bibtex
    M. Schenke und M. Dossis, Provably Correct Hardware Compilation using Timing Diagrams.
  • [unpublished] bibtex | Dokument aufrufen
    M. Schenke, Development of Correct Real-Time Systems by Refinement.
  • [book] bibtex
    K. -R. Apt und E. -R. Olderog, Verification of Sequential and Concurrent Programs. 2nd ed., springer.
  • [article] bibtex
    C. Fischer, S. Kleuker, und E. -R. Olderog, "Beweisbar korrekte Telekommunikationssysteme" Informationstechnik und Technische Informatik, vol. 3.
  • [inproceedings] bibtex | Dokument aufrufen
    J. Tapken, "Interactive and Compilative Simulation of PLC-Automata" in Proc. Simulation in Industry, ESS'97, 1997.
  • [inproceedings] bibtex
    C. Fischer und G. Smith, "Combining CSP and Object-Z: Finite or Infinite Trace-Semantics?" in Proc. Proceedings of FORTE/PSTV'97, 1997.
  • [inproceedings] bibtex | Dokument aufrufen
    H. Dierks, "Synthesising Controllers from Real-Time Specifications" in Proc. Tenth International Symposium on System Synthesis, 1997.
  • [inproceedings] bibtex | Dokument aufrufen
    H. Fleischhack und 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 | Dokument aufrufen
    H. Dierks, "PLC-Automata: A New Class of Implementable Real-Time Automata" in Proc. Transformation-Based Reactive Systems Development (ARTS'97), 1997.
  • [inproceedings] bibtex | Dokument aufrufen
    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 | Dokument aufrufen
    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 | Dokument aufrufen
    H. Dierks und C. Dietz, "Graphical Specification and Reasoning: Case Study "Generalized Railroad Crossing"" in Proc. FME'97, 1997.
  • [inproceedings] bibtex | Dokument aufrufen
    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 und 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 | Dokument aufrufen
    J. Bohn und 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 und W. Janssen, "Synchronous Development of Asynchronous Systems" in Proc. Proceedings of CONCUR'96, 1996.
  • [inproceedings] bibtex | Dokument aufrufen
    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 | Dokument aufrufen
    M. Schenke und 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 | Dokument aufrufen
    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 | Dokument aufrufen
    S. Kleuker und 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, und J. U. Skakkebæk, Refining System Requirements to Program SpecificationsWiley.
  • [inproceedings] bibtex | Dokument aufrufen
    S. Kleuker und 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 und 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 | Dokument aufrufen
    H. Tjabben, S. Kleuker, und 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 und 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, und E. Pelz, "An M-Net semantics of B(PN)$^2$." in Proc. Structures in Concurrency Theory, 1995.
  • [techreport] bibtex | Dokument aufrufen
    J. Bohn und S. Rössig, "On Automatic and Interactive Design of Communicating Systems" uniol-fb10, ProCoS Document [OLD JB 2/2], 1995.
  • [techreport] bibtex | Dokument aufrufen
    J. Bohn und S. Rössig, "Towards a Design Assistant for Communicating Systems" uniol-fb10, ProCoS Document [OLD JB 3/1], 1995.
  • [article] bibtex
    J. Bohn und H. Hungar, "Traverdi -- Transformation and Verification of Distributed Systems" lncs, vol. 1009.
  • [techreport] bibtex | Dokument aufrufen
    C. Fischer, "Semantics and Compositional Verification of $\mu$SDL" Philips Research Laboratories Aachen, Germany, Labornotiz 1/95, 1995.
  • [inproceedings] bibtex
    A. Gronewold und 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, und 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 | Dokument aufrufen
    E. -R. Olderog und 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 und 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 und 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 | Dokument aufrufen
    S. Kleuker und 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 | Dokument aufrufen
    S. Kleuker, A. Kehne, und H. Tjabben, "Provably Correct Communication Networks (CoCoN)" Philips Research Laboratories Aachen, Germany, Technical Report 1123/95, 1995.
  • [inproceedings] bibtex | Dokument aufrufen
    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 und 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 | Dokument aufrufen
    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, und H. Rischel, "Provably Correct Systems" in Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'94), 1994.
  • [inproceedings] bibtex | Dokument aufrufen
    M. Schenke, "A Timed Specification Language for Concurrent Reactive Systems" in Proc. Semantics of Specification Languages, 1994.
  • [inproceedings] bibtex
    C. Dietz und G. Schreiber, "A Term Representation of P/T systems" in Proc. Application and Theory of Petri Nets, 1994.
  • [inproceedings] bibtex | Dokument aufrufen
    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 und 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, und 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, und 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 | Dokument aufrufen
    M. R. Hansen, E. -R. Olderog, M. Schenke, M. Fränzle, B. von Karger, M. Müller-Olm, und 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 und 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 | Dokument aufrufen
    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 und E. -R. Olderog, Introduction to Program Verificationspringer.
  • [inproceedings] bibtex
    E. -R. Olderog und 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 | Dokument aufrufen
    S. Rössig und M. Schenke, "Specification and Stepwise Development of Communicating Systems" in Proc. Formal Software Development Methods (VDM'91), 1991.
  • [article] bibtex
    C. J. -J. Meyer und E. -R. Olderog, "Hiding in Stream Semantics of Uniform Concurrency" acta, vol. 27.
  • [incollection] bibtex
    K. R. Apt, F. S. de Boer, und 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, und 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, und 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, und E. -R. Olderog, "Readies and Failures in the Algebra of Communicating Processes" siam, vol. 17.
  • [article] bibtex
    E. -R. Olderog und K. R. Apt, "Fairness in Parallel Programs: the Transformational Approach" acmtoplas, vol. 10.
  • [article] bibtex
    J. W. de Bakker, C. J. -J. Meyer, und 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, und 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 und 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, und 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 und 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 und 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.
(Stand: 30.09.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page