Matthias Güdemann

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 11

Top Topics

Pspace Complete

Online Teaching

Temporal Properties

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Matthias Güdemann, Peter Schrammel
BlueCov: Integrating Test Coverage and Model Checking with JBMC. SAC (2023)
Matthias Güdemann, Klaus Riedl
Level-Up - From Bits to Words. SBMF (2022)
Matthias Güdemann, Peter Schrammel
BlueCov: Integrating Test Coverage and Model Checking with JBMC. CoRR (2022)
Matthias Güdemann
SMT-Based Verification of Concurrent Critical System. Sicherheit (2022)
Matthias Güdemann, Leonardo Mariani
Preface to the special issue on improving software quality through program analysis. Softw. Qual. J. 29 (3) (2021)
Matthias Güdemann
Online Teaching of Verification of C Programs in Applied Computer Science. FMTea (2021)
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
Flexible Formality Practical Experience with Agile Formal Methods. TFP (2020)
Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee
Efficient verification of multi-property designs (The benefit of wrong assumptions). DATE (2018)
Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee
Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version). CoRR (2017)
Matthias Güdemann, Manuel Núñez
Preface of the special issue on formal methods in industrial critical systems. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Serv. Comput. 9 (4) (2016)
Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann
Formal Verification of Industrial Critical Software. FMICS (2015)
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
VerChor: A Framework for Verifying Choreographies. FASE (2013)
Simon Struck, Matthias Güdemann, Frank Ortmeier
Efficient optimization of large probabilistic models. J. Syst. Softw. 86 (10) (2013)
Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier
Trajectory Description Conception for Industrial Robots. ROBOTIK (2012)
Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck
Unifying Probabilistic and Traditional Formal Model Based Analysis. MBEES (2012)
Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann
Multi-objective Optimization of Formal Specifications. HASE (2012)
Matthias Güdemann, Gwen Salaün, Meriem Ouederni
Counterexample Guided Synthesis of Monitors for Realizability Enforcement. ATVA (2012)
Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier
Tool Supported Model-Based Safety Analysis and Optimization. PRDC (2011)
Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. PRDC (2011)
Matthias Güdemann, Frank Ortmeier
Model-Based Multi-objective Safety Optimization. SAFECOMP (2011)
Matthias Güdemann, Frank Ortmeier
Probabilistic Model-Based Safety Analysis QAPL (2010)
Matthias Güdemann, Frank Ortmeier
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. HASE (2010)
Matthias Güdemann, Frank Ortmeier
Quantitative Model-Based Safety Analysis: A Case Study. Sicherheit (2010)
Frank Ortmeier, Matthias Güdemann
ProMoSA - Probabilistic Models for Safety Analysis. MBEES (2010)
Matthias Güdemann, Stefan Kegel, Frank Ortmeier, Olaf Poenicke, Klaus Richter
SysML in digital engineering. IWDE (2010)
Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
A Specification and Construction Paradigm for Organic Computing Systems. SASO (2008)
Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif
Modeling of self-adaptive systems with SCADE. ISCAS (2007)
Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. SAFECOMP (2007)
Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
Safety and Dependability Analysis of Self-Adaptive Systems. ISoLA (2006)
Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
Formal Modeling and Verification of Systems with Self-x Properties. ATC (2006)
Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach
Towards Safe and Secure Organic Computing Applications. GI Jahrestagung (1) (2006)