All Stories

  1. Eine REIFe Leistung – Anecdotes from Behind the Scenes

    Article • January 2025, Springer Science + Business Media

    Matthias Güdemann

  2. Overview of Bounded Model Checking for Stack-Based Virtual Machines

    Article • January 2025, Springer Science + Business Media

    Matthias Güdemann

  3. SafeFloatZone: Identify Safe Domains for Elementary Functions

    Article • January 2025, Springer Science + Business Media

    Matthias Güdemann

  4. BlueCov: Integrating Test Coverage and Model Checking with JBMC

    Article • March 2023, ACM (Association for Computing Machinery)

    Matthias Güdemann

  5. Level-Up - From Bits to Words

    Article • January 2022, Springer Science + Business Media

    Matthias Güdemann

  6. Online Teaching of Verification of C Programs in Applied Computer Science

    Article • January 2021, Springer Science + Business Media

    Matthias Güdemann

  7. Flexible Formality Practical Experience with Agile Formal Methods

    Article • January 2020, Springer Science + Business Media

    Matthias Güdemann, James Chapman

  8. Efficient verification of multi-property designs (The benefit of wrong assumptions)

    Article • March 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Matthias Güdemann

  9. Preface of the special issue on formal methods in industrial critical systems

    Article • International Journal on Software Tools for Technology Transfer, April 2017, Springer Science + Business Media

    Matthias Güdemann

  10. VerChor: A Framework for the Design and Verification of Choreographies

    Article • IEEE Transactions on Services Computing, July 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Matthias Güdemann

  11. Formal Methods for Industrial Critical Systems

    Article • January 2015, Springer Science + Business Media

    Matthias Güdemann

  12. Formal Verification of Industrial Critical Software

    Article • January 2015, Springer Science + Business Media

    Matthias Güdemann

  13. Efficient optimization of large probabilistic models

    Article • Journal of Systems and Software, October 2013, Elsevier

    Matthias Güdemann

  14. VerChor: A Framework for Verifying Choreographies

    Article • January 2013, Springer Science + Business Media

    Matthias Güdemann

  15. Multi-objective Optimization of Formal Specifications

    Article • October 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Matthias Güdemann

  16. Counterexample Guided Synthesis of Monitors for Realizability Enforcement

    Article • January 2012, Springer Science + Business Media

    Matthias Güdemann

  17. Tool Supported Model-Based Safety Analysis and Optimization

    Article • December 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Matthias Güdemann

  18. Towards Making Dependability Visual -- Combining Model-Based Design and Virtual Realities

    Article • December 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Matthias Güdemann

  19. Towards model-driven safety analysis

    Article • June 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Matthias Güdemann

  20. Model-Based Multi-objective Safety Optimization

    Article • January 2011, Springer Science + Business Media

    Matthias Güdemann

  21. A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis

    Article • November 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Matthias Güdemann

  22. Probabilistic Model-Based Safety Analysis

    Article • Electronic Proceedings in Theoretical Computer Science, June 2010, Open Publishing Association

    Matthias Güdemann

  23. SysML in digital engineering

    Article • June 2010, ACM (Association for Computing Machinery)

    Matthias Güdemann

  24. A Specification and Construction Paradigm for Organic Computing Systems

    Article • October 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Matthias Güdemann

  25. Modeling of self-adaptive systems with SCADE

    Article • May 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Matthias Güdemann

  26. FORMAL FAILURE MODELS

    Article • IFAC Proceedings Volumes, January 2007, Elsevier

    Matthias Güdemann

  27. Using Deductive Cause-Consequence Analysis (DCCA) with SCADE

    Article • January 2007, Springer Science + Business Media

    Matthias Güdemann

  28. Safety and Dependability Analysis of Self-Adaptive Systems

    Article • November 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Matthias Güdemann

  29. Formal Modeling and Verification of Systems with Self-x Properties

    Article • January 2006, Springer Science + Business Media

    Matthias Güdemann