Software Verification (SVT) Track at the ACM Symposium on Applied Computing (SAC), 2020, Brno, Czech Republic (Program Co-Chair)
Software Verification (SVT) Track at the ACM Symposium on Applied Computing (SAC), 2019, Limassol, Cyprus (Program Co-Chair)
Workshop on Formal Methods in Industrial Critical Systems (FMICS), 2015, Oslo, Norway (Industrial Chair)
Theoretical Aspects of Softare Engineering (TASE), 2023
International Conference on Functional Programming (ICFP) artifact reviewer, 2019, 2020, 2021, 2022, 2023
Software Verification and Testing Track at ACM Symposium on Applied Computing (SAC), 2021, 2022, 2023, 2024
Conference on Software Quality, Reliability and Security (QRS), 2017, 2018, 2019, 2020 and 2021
Workshop on Formal Methods in Industrial Critical Systems (FMICS), 2014, 2015, 2016 and 2024
Workshop on Automatic Verification of Critical Systems (AVoCS), 2013, 2014 and 2016
International Symposium on Model-Based Safety Assessment (IMBSA), 2014, 2017, 2019, 2020 and 2022
IFAC Workshop on Dependable Control of Discrete Systems (DCDS), 2013 and 2015
Journal of Science of Computer Programming (SCP)
Transactions on Services Computing (TSC)
Special Issue on Improving Software Quality through Program Analysis, Springer Software Quality Journal (SQJ), 2021
Special Issue on Formal Methods in Industrial Critical Systems, International Journal of Software Tools for Technology Transfer (Springer STTT), 2017
Proceedings of the 20th ERCIM Workshop on Formal Methods in Industrial Critical Systems (Springer LNCS), 2015
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