Formal Modeling and Verification of Systems with Self-x Properties. - Matthias Güdemann; Frank Ortmeier; Wolfgang Reif (ATC, 2006)

Towards Safe and Secure Organic Computing Applications. - Matthias Güdemann; Florian Nafz; Wolfgang Reif; Hella Seebach (GI Jahrestagung (1), 2006)

Safety and Dependability Analysis of Self-Adaptive Systems. - Matthias Güdemann; Frank Ortmeier; Wolfgang Reif (ISoLA, 2006)

Modeling of self-adaptive systems with SCADE. - Matthias Güdemann; Andreas Angerer; Frank Ortmeier; Wolfgang Reif (ISCAS, 2007)

Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. - Matthias Güdemann; Frank Ortmeier; Wolfgang Reif (SAFECOMP, 2007)

A Specification and Construction Paradigm for Organic Computing Systems. - Matthias Güdemann; Florian Nafz; Frank Ortmeier; Hella Seebach; Wolfgang Reif (SASO, 2008)

A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. - Matthias Güdemann; Frank Ortmeier (HASE, 2010)

SysML in digital engineering. - Matthias Güdemann; Stefan Kegel; Frank Ortmeier; Olaf Poenicke; Klaus Richter (IWDE, 2010)

ProMoSA - Probabilistic Models for Safety Analysis. - Frank Ortmeier; Matthias Güdemann (MBEES, 2010)

Quantitative Model-Based Safety Analysis: A Case Study. - Matthias Güdemann; Frank Ortmeier (Sicherheit, 2010)

Probabilistic Model-Based Safety Analysis - Matthias Güdemann; Frank Ortmeier (QAPL, 2010)

Tool Supported Model-Based Safety Analysis and Optimization. - Matthias Güdemann; Michael Lipaczewski; Frank Ortmeier (PRDC, 2011)

Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. - Matthias Güdemann; Michael Lipaczewski; Frank Ortmeier; Marco Schumann; Robert Eschbach (PRDC, 2011)

Model-Based Multi-objective Safety Optimization. - Matthias Güdemann; Frank Ortmeier (SAFECOMP, 2011)

Qualitative and quantitative formal model-based safety analysis - push the safety button - Matthias Güdemann (2011)

Counterexample Guided Synthesis of Monitors for Realizability Enforcement. - Matthias Güdemann; Gwen Salaün; Meriem Ouederni (ATVA, 2012)

Multi-objective Optimization of Formal Specifications. - Simon Struck; Michael Lipaczewski; Frank Ortmeier; Matthias Güdemann (HASE, 2012)

Unifying Probabilistic and Traditional Formal Model Based Analysis. - Frank Ortmeier; Matthias Güdemann; Michael Lipaczewski; Simon Struck (MBEES, 2012)

Trajectory Description Conception for Industrial Robots. - Sergey Alatartsev; Matthias Güdemann; Frank Ortmeier (ROBOTIK, 2012)

VerChor: A Framework for Verifying Choreographies. - Matthias Güdemann; Pascal Poizat; Gwen Salaün; Alexandre Dumont (FASE, 2013)

Efficient optimization of large probabilistic models. - Simon Struck; Matthias Güdemann; Frank Ortmeier (J. Syst. Softw., 2013)

Formal Verification of Industrial Critical Software. - Marielle Petit-Doche; Nicolas Breton; Roméo Courbis; Yoann Fonteneau; Matthias Güdemann (FMICS, 2015)

VerChor: A Framework for the Design and Verification of Choreographies. - Matthias Güdemann; Pascal Poizat; Gwen Salaün; Lina Ye (IEEE Trans. Serv. Comput., 2016)

Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version). - Eugene Goldberg; Matthias Güdemann; Daniel Kroening; Rajdeep Mukherjee (CoRR, 2017)

Preface of the special issue on formal methods in industrial critical systems. - Matthias Güdemann; Manuel Núñez 001 (Int. J. Softw. Tools Technol. Transf., 2017)

Efficient verification of multi-property designs (The benefit of wrong assumptions). - Eugene Goldberg; Matthias Güdemann; Daniel Kroening; Rajdeep Mukherjee (DATE, 2018)

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

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

Preface to the special issue on improving software quality through program analysis. - Matthias Güdemann; Leonardo Mariani (Softw. Qual. J., 2021)

Level-Up - From Bits to Words. - Matthias Güdemann; Klaus Riedl (SBMF, 2022)

SMT-Based Verification of Concurrent Critical System. - Matthias Güdemann (Sicherheit, 2022)

BlueCov: Integrating Test Coverage and Model Checking with JBMC. - Matthias Güdemann; Peter Schrammel (SAC, 2023)

SafeFloatZone: Identify Safe Domains for Elementary Functions. - Markus Krahl; Matthias Güdemann; Stefan Wallentowitz (SAMOS, 2024)

Eine REIFe Leistung - Anecdotes from Behind the Scenes. - Gidon Ernst; Dominik Haneberg; Matthias Güdemann; Oliver Kosak; Florian Nafz; Hella Ponsar; Gerhard Schellhorn (Go Where the Bugs Are, 2025)

Overview of Bounded Model Checking for Stack-Based Virtual Machines. - Matthias Güdemann (Go Where the Bugs Are, 2025)