Academic Service

Chair

Reviewer

Editor

Publications

SafeFloatZone: Identify Safe Domains for Elementary Functions Markus Krahl, Matthias Güdemann, Stefan Wallentowitz, Proceedings of SAMOS, 2024, Springer LNCS

An Industrial Case Study on Formal Verification of Embedded C-Code Using Open-Source Tools Markus Krahl, Matthias Güdemann, Proceedings of Embedded World, 2024, WEKA Fachmedien

Speed-Up Multi-Property Hardware Verification with Run-Time Information of PDR Matthias Güdemann, Proceedings of Embedded World, 2023, WEKA Fachmedien

BlueCov: Integrating Test Coverage and Model Checking with JBMC, Matthias Güdemann, Peter Schrammel, 38th ACM Symposium on Applied Computing (SAC), 2023

Level-Up - From Bits to Words Matthias Güdemann, Klaus Riedl, 25th Brazilian Symposium on Formal Methods (SBMF), 2022 best paper award

SMT-based Verification of Concurrent Critical Systems Matthias Güdemann, Sicherheit 2022, 2022

Special Issue On Improving Software Quality Through Program Analysis, Matthias Güdemann, Leonardo Mariani (editors), Software Quality Journal, 2021

Online Teaching of Verification of C Programs in Applied Computer Science Matthias Güdemann, Formal Methods Teaching (FMTea), 2021

Flexible Formality: Practical Experience with Agile Formal Methods Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova, Trends in Functional Programming (TFP 2020), 2020

Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) Eugene Goldberg, Matthias Güdemann, Daniel Kroening & Rajdeep Mukherjee, Design Automation and Test in Europe (DATE 2018), 2018, best paper award

Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015 Manuel Núñez & Matthias Güdemann (eds.), Springer LNCS, 2015

Formal Verification of Industrial Critical Software Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau & Matthias Güdemann, Proceedings of the 20th Workhop on Formal Methods in Industrial Critical Systems (FMICS 2015), 2015

VerChor: A Framework for the Design and Verification of Choreographies Matthias Güdemann, Pascal Poizat, Gwen Salaün & Lina Ye, IEEE Transactions on Services Computing (TSC), 2015

Efficient Optimization of Large Probabilistic Models Simon Struck, Matthias Güdemann & Frank Ortmeier, Journal of Systems and Software, Elsevier, 2013

VerChor: A Framework for Verifying Choreographies Matthias Güdemann, Pascal Poizat, Gwen Salaün & Alexandre Dumont, Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013), 2013

Multi-Objective Optimization of Formal Specifications Simon Struck, Matthias Güdemann, Michael Lipaczewski & Frank Ortmeier, Proceedings of the 14th High Assurance System Engineering Symposium (HASE 2012) IEEE, 2012

Counterexample Guided Synthesis of Monitors for Realizability Enforcement Matthias Güdemann, Gwen Salaün, Meriem Ouederni, Proceedings of Automated Technology for Verification and Analyis (ATVA 2012), 2012

Trajectory Description Conception for Industrial Robots Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier, Proceedings of the 7th German Conference on Robotics (ROBOTIK), 2012

The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis Axel Habermaier, Matthias Güdemann, Frank Ortmeier, Wolfgang Reif & Gerhard Schellhorn, Railway Safety, Reliability and Security: Technologies and System Engineering, IGI Global, 2012

Unifying Probabilistic and Traditional Formal Model-Based Analysis Matthias Güdemann, Michael Lipaczewski, Simon Struck & Frank Ortmeier, Proceedings of 8. Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), 2012

Qualitative and Quantitative Formal Model-Based Safety Analysis Matthias Güdemann PhD Thesis, 2011

Model-Based Multi-Objective Safety Optimization Matthias Güdemann & Frank Ortmeier, Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), Springer LNCS, 2011

Towards Model-driven Safety Analysis Matthias Güdemann & Frank Ortmeier, Proceedings of the 3rd international Workshop on Dependable Control of Discrete Systems (DCDS 11), IEEE, 2011

Tool Supported Model-Based Safety Analysis and Optimization Matthias Güdemann, Michael Lipaczewski & Frank Ortmeier, Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011

Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Marco Schumann & Robert Eschbach, Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011

Practical Experiences in Model-Based Safety Analysis Frank Ortmeier, Michael Lipaczewski & Matthias Güdemann, Proceedings of the 2nd International Workshop on Digital Engineering (IWDE), 2011

A Framework for Qualitative and Quantitative Model-Based Safety Analysis Matthias Güdemann & Frank Ortmeier, Proceedings of the 12th High Assurance System Engineering Symposium (HASE 2010), IEEE, 2010

Probabilistic Model-Based Safety Analysis Matthias Güdemann & Frank Ortmeier, Proceedings of the 8th Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), ENTCS, 2010

Quantitative Model-Based Safety Analysis: A Case Study Matthias Güdemann & Frank Ortmeier, Proceedings of 5th conference for Sicherheit, Schutz und Zuverlaessigkeit (SICHERHEIT 10), Lecture Notes in Informatics (LNI), 2010

SysML in Digital Engineering Matthias Güdemann, Stefan Kegel, Frank Ortmeier, Olaf Poenicke & Klaus Richter, Proceedings of 1st International Workshop on Digital Engineering (IWDE), ACM, 2010

ProMoSA - Probabilistic Models for Safety Analysis Frank Ortmeier & Matthias Güdemann, Proceedings of 6th Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems, 2010

A Specification and Construction Paradigm for Organic Computing Systems Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach & Wolfgang Reif, Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pages 233-242, IEEE, 2010

Computing Ordered Minimal Critical Sets Matthias Güdemann, Frank Ortmeier & Wolfgang Reif, Proceedings of the 7th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 08), 2008

Developing Safety-critical Mechatronical Systems Matthias Güdemann, Frank Ortmeier & Wolfgang Reif, Self-optimizing Mechatronic Systems: Design the Future, HNI-Verlagsschriftenreihe, 2008

Modeling of Self-adaptive Systems with SCADE Matthias Güdemann, Andreas Angerer, Frank Ortmeier & Wolfgang Reif, Proceedings of the 40th IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, 2007

Using Deductive Cause Consequence Analysis (DCCA) with SCADE Matthias Güdemann, Frank Ortmeier & Wolfgang Reif, Proceedings of SAFECOMP 2007, Springer LNCS, 2007

Formal Failure Models Frank Ortmeier, Matthias Güdemann & Wolfgang Reif, Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 07), Elsevier, 2007

Towards Safe and Secure Organic Computing Applications Matthias Güdemann, Florian Nafz, Wolfgang Reif & Hella Seebach, INFORMATIK 2006 — Informatik für Menschen, pages 153-160 Bonn, Germany, Köllen Verlag, 2006

Formal Modeling and Verification of Systems with Self-x Properties Matthias Güdemann, Frank Ortmeier & Wolfgang Reif, Proceedings of the 3rd International Conference on Autonomic and Trusted Computing (ATC-06), Springer LNCS, 2006

Safety and Dependability Analysis of Self-Adaptive Systems Matthias Güdemann, Frank Ortmeier & Wolfgang Reif, Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 06), IEEE, 2006