Matthias Güdemann

According to our database, Matthias Güdemann authored at least 31 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

BlueCov: Integrating Test Coverage and Model Checking with JBMC.

Matthias Güdemann, Peter Schrammel

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022

SMT-Based Verification of Concurrent Critical System.

Matthias Güdemann

Proceedings of the Sicherheit, 2022

Level-Up - From Bits to Words.

Matthias Güdemann, Klaus Riedl

Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022

2021

Preface to the special issue on improving software quality through program analysis.

Matthias Güdemann, Leonardo Mariani

Softw. Qual. J., 2021

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

Matthias Güdemann

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

2020

Flexible Formality Practical Experience with Agile Formal Methods.

Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil J. Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

2018

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

Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

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

Matthias Güdemann, Manuel Núñez

Int. J. Softw. Tools Technol. Transf., 2017

Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version).

Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee

CoRR, 2017

2016

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

2015

Formal Verification of Industrial Critical Software.

Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

2013

Efficient optimization of large probabilistic models.

Simon Struck, Matthias Güdemann, Frank Ortmeier

J. Syst. Softw., 2013

VerChor: A Framework for Verifying Choreographies.

Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

Trajectory Description Conception for Industrial Robots.

Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier

Proceedings of the ROBOTIK 2012, 2012

Unifying Probabilistic and Traditional Formal Model Based Analysis.

Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Multi-objective Optimization of Formal Specifications.

Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Counterexample Guided Synthesis of Monitors for Realizability Enforcement.

Matthias Güdemann, Gwen Salaün, Meriem Ouederni

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Model-Based Multi-objective Safety Optimization.

Matthias Güdemann, Frank Ortmeier

Proceedings of the Computer Safety, Reliability, and Security, 2011

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

Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 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, 2011

2010

Probabilistic Model-Based Safety Analysis

Matthias Güdemann, Frank Ortmeier

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Quantitative Model-Based Safety Analysis: A Case Study.

Matthias Güdemann, Frank Ortmeier

Proceedings of the Sicherheit 2010: Sicherheit, 2010

ProMoSA - Probabilistic Models for Safety Analysis.

Frank Ortmeier, Matthias Güdemann

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

SysML in digital engineering.

Matthias Güdemann, Stefan Kegel, Frank Ortmeier, Olaf Poenicke, Klaus Richter

Proceedings of the First International Workshop on Digital Engineering, 2010

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

Matthias Güdemann, Frank Ortmeier

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2008

A Specification and Construction Paradigm for Organic Computing Systems.

Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

2007

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

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif

Proceedings of the Computer Safety, 2007

Modeling of self-adaptive systems with SCADE.

Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

2006

Safety and Dependability Analysis of Self-Adaptive Systems.

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif

Proceedings of the Leveraging Applications of Formal Methods, 2006

Towards Safe and Secure Organic Computing Applications.

Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

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

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif

Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006