Personal information

Emails & domains

Verified email domains

Other IDs

Scopus Author ID: 15020475200

Countries

Germany

Activities

Collapse all

Employment (7)

Munich University of Applied Sciences: Munich, DE

2020-03-09 to present
Employment
Source: Self-asserted source
Matthias Güdemann

IOHK: Hong Kong, HK

2018-10-01 to 2020-03-06
Employment
Source: Self-asserted source
Matthias Güdemann

Diffblue Ltd: Oxford, GB

2016-06-07 to 2018-09-30
Employment
Source: Self-asserted source
Matthias Güdemann

Systerel: Aix-en-Provence, FR

2012-10-17 to 2015-04-30
Employment
Source: Self-asserted source
Matthias Güdemann

Inria: Grenoble, FR

2011-10-17 to 2012-10-16
Employment
Source: Self-asserted source
Matthias Güdemann

Otto-von-Guericke University: Magdeburg, DE

2009-09-01 to 2011-10-16
Employment
Source: Self-asserted source
Matthias Güdemann

University Augsburg: Augsburg, DE

2005-07-01 to 2009-08-31
Employment
Source: Self-asserted source
Matthias Güdemann

Education and qualifications (2)

Otto von Guericke Universität Magdeburg: Magdeburg, Sachsen-Anhalt, DE

2009-09 to 2011-10 | Dr.-Ing. (Institut für Informatik)
Education
Source: Self-asserted source
Matthias Güdemann

Universität Augsburg: Augsburg, Bayern, DE

2000-10 to 2005-06 | Dipl.-Inf. (Fakultät für Informatik)
Education
Source: Self-asserted source
Matthias Güdemann

Professional activities (2)

Organizers of 25th Brazilian Symposium on Formal Methods: Virtual, BR

2022-12-09 | Best Paper Award at SBMF 2022
Distinction
Source: Self-asserted source
Matthias Güdemann

Ernst-Denert Stiftung: Frankfurt am Main, DE

2012 | Software Engineering Award for Dissertation
Distinction
Source: Self-asserted source
Matthias Güdemann

Works (39)

SafeFloatZone: Identify Safe Domains for Elementary Functions

2025 | Book chapter
DOI: 10.1007/978-3-031-78377-7_9
Contributors: Markus Krahl; Matthias Güdemann; Stefan Wallentowitz
Source: check_circle
Crossref

An Industrial Case Study on Formal Verification of Embedded C-Code Using Open-Source Tools

Embedded World Conference
2024-04-11 | Conference paper | Writing - original draft
Contributors: Markus Krahl; Matthias Güdemann
Source: Self-asserted source
Matthias Güdemann

BlueCov: Integrating Test Coverage and Model Checking with JBMC

2023-03-27 | Conference paper
DOI: 10.1145/3555776.3577829
Contributors: Matthias Güdemann; Peter Schrammel
Source: check_circle
Crossref

Speed-Up Multi-Property Hardware Verification with Run-Time Information of PDR

Embedded World Conference
2023-03-14 | Conference paper
Contributors: Matthias Güdemann
Source: Self-asserted source
Matthias Güdemann

Level-Up - From Bits to Words

2022 | Book chapter
DOI: 10.1007/978-3-031-22476-8_8
Contributors: Matthias Güdemann; Klaus Riedl
Source: check_circle
Crossref

SMT-based Verification of Concurrent Critical Systems

Sicherheit 2022
2022-04-08 | Conference paper
Contributors: Matthias Güdemann
Source: Self-asserted source
Matthias Güdemann

Online Teaching of Verification of C Programs in Applied Computer Science

2021 | Book chapter
DOI: 10.1007/978-3-030-91550-6_2
Contributors: Matthias Güdemann
Source: check_circle
Crossref

Flexible Formality Practical Experience with Agile Formal Methods

2020 | Book chapter
DOI: 10.1007/978-3-030-57761-2_5
Contributors: Philipp Kant; Kevin Hammond; Duncan Coutts; James Chapman; Nicholas Clarke; Jared Corduan; Neil Davies; Javier Díaz; Matthias Güdemann; Wolfgang Jeltsch et al.
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

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

2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)
2018-03 | Journal article
DOI: 10.23919/date.2018.8341977
ISBN: 9783981926309
Source: Self-asserted source
Matthias Güdemann
grade
Preferred source (of 2)‎

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

International Journal on Software Tools for Technology Transfer
2017 | Journal article
DOI: 10.1007/s10009-017-0455-4
EID:

2-s2.0-85017150928

Part of ISSN: 14332787 14332779
Contributors: Güdemann, M.; Núñez, M.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

VerChor: A Framework for the Design and Verification of Choreographies

IEEE Transactions on Services Computing
2016-07-01 | Journal article
DOI: 10.1109/tsc.2015.2413401
Part of ISSN: 1939-1374
Source: Self-asserted source
Matthias Güdemann
grade
Preferred source (of 2)‎

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-19458-5
EID:

2-s2.0-84931099474

Part of ISSN: 16113349 03029743
Contributors: Núñez, M.; Güdemann, M.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Formal verification of industrial critical software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-19458-5_1
EID:

2-s2.0-84931048837

Part of ISSN: 16113349 03029743
Contributors: Petit-Doche, M.; Breton, N.; Courbis, R.; Fonteneau, Y.; Güdemann, M.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Preface

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
EID:

2-s2.0-84931071279

Part of ISSN: 16113349 03029743
Contributors: Núñez, M.; Güdemann, M.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Efficient Optimization of Large Probabilistic Models

Journal of Systems and Software
2013-04 | Journal article
DOI: 10.1016/j.jss.2013.03.078
URI: hal-00816636
Contributors: Simon Struck; Matthias Güdemann; Frank Ortmeier
Source: Self-asserted source
Matthias Güdemann via HAL
grade
Preferred source (of 2)‎

VerChor: A Framework for Verifying Choreographies

2013-03-15 | Conference paper
DOI: 10.1007/978-3-642-37057-1_16
URI: hal-00806788
Contributors: Matthias Güdemann; Pascal Poizat; Gwen Salaün; Alexandre Dumont
Source: Self-asserted source
Matthias Güdemann via HAL
grade
Preferred source (of 2)‎

Counterexample Guided Synthesis of Monitors for Realizability Enforcement

Automated Technology for Verification and Analysis
2012 | Book chapter
DOI: 10.1007/978-3-642-33386-6_20
Part of ISBN: 9783642333859
Part of ISBN: 9783642333866
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Matthias Güdemann
grade
Preferred source (of 2)‎

The forMoSA approach to qualitative and quantitative model-based safety analysis

Railway Safety, Reliability, and Security: Technologies and Systems Engineering
2012 | Book chapter
Part of DOI: 10.4018/978-1-4666-1643-1.ch004
EID:

2-s2.0-84898199623
Contributors: Habermaier, A.; Ortmeier, F.; Güdemann, M.; Reif, W.; Schellhorn, G.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Trajectory description conception for industrial robots

7th German Conference on Robotics, ROBOTIK 2012
2012 | Conference paper
EID:

2-s2.0-85083101720
Contributors: Alatartsev, S.; Güdemann, M.; Ortmeier, F.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Unifying probabilistic and traditional formal model based analysis

Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012
2012 | Conference paper
EID:

2-s2.0-84873335510
Contributors: Güdemann, M.; Lipaczewski, M.; Struck, S.; Ortmeier, F.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Multi-Objective Optimization of Formal Specifications

2012-10-25 | Conference paper
DOI: 10.1109/HASE.2012.21
URI: hal-00735640
Contributors: Simon Struck; Michael Lipaczewski; Frank Ortmeier; Matthias Güdemann
Source: Self-asserted source
Matthias Güdemann via HAL
grade
Preferred source (of 2)‎

Trajectory Description Conception for Industrial Robots

2012-05-22 | Conference paper
URI: hal-00727303
Contributors: Sergey Alatartsev; Matthias Güdemann; Frank Ortmeier
Source: Self-asserted source
Matthias Güdemann via HAL

Unifying Probabilistic and Traditional Formal Model Based Analysis

2012-02-06 | Conference paper
URI: hal-00665607
Contributors: Matthias Güdemann; Michael Lipaczewski; Simon Struck; Frank Ortmeier
Source: Self-asserted source
Matthias Güdemann via HAL

Model-based multi-objective safety optimization

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
DOI: 10.1007/978-3-642-24270-0_31
EID:

2-s2.0-80052993976

Part of ISSN: 03029743 16113349
Contributors: Güdemann, M.; Ortmeier, F.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Qualitative and quantitative formal model-based safety analysis - push the safety button

2011 | Dissertation or Thesis
DOI: 10.25673/5340
Source: Self-asserted source
Matthias Güdemann

Tool supported model-based safety analysis and optimization

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
2011 | Conference paper
DOI: 10.1109/PRDC.2011.44
EID:

2-s2.0-84857695816

Part of ISSN: 15410110
Contributors: Gudemann, M.; Lipaczewski, M.; Ortmeier, F.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Towards making dependability visual - Combining model-based design and virtual realities

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
2011 | Conference paper
DOI: 10.1109/PRDC.2011.55
EID:

2-s2.0-84857765419

Part of ISSN: 15410110
Contributors: Güdemann, M.; Lipaczewski, M.; Ortmeier, F.; Schumann, M.; Eschbach, R.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Towards model-driven safety analysis

2011 3rd International Workshop on Dependable Control of Discrete Systems, DCDS'11 - Conference Proceedings
2011 | Conference paper
DOI: 10.1109/DCDS.2011.5970318
EID:

2-s2.0-80052134942
Contributors: Güdemann, M.; Ortmeier, F.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

ProMoSA-probabilistic models for safety analysis

Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, MBEES 2010
2010 | Conference paper
EID:

2-s2.0-84873356578
Contributors: Ortmeier, F.; Güdemann, M.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Quantitative model-based safety analysis: A case study

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
2010 | Conference paper
EID:

2-s2.0-84874239956

Part of ISSN: 16175468
Contributors: Güdemann, M.; Ortmeier, F.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

SysML in digital engineering

ACM International Conference Proceeding Series
2010 | Conference paper
DOI: 10.1145/1837154.1837155
EID:

2-s2.0-77956248065
Contributors: Güdemann, M.; Kegel, S.; Ortmeier, F.; Poenicke, O.; Richter, K.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

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

2010 IEEE 12th International Symposium on High Assurance Systems Engineering
2010-11 | Journal article
DOI: 10.1109/hase.2010.24
ISBN: 9781424490912
Source: Self-asserted source
Matthias Güdemann
grade
Preferred source (of 2)‎

Probabilistic Model-Based Safety Analysis

EPTCS 28, 2010, pp. 114-128
2010-06-26 | Preprint
DOI: 10.4204/eptcs.28.8
ARXIV: arXiv:1006.5101v1
Source: Self-asserted source
Matthias Güdemann
grade
Preferred source (of 2)‎

A specification and construction paradigm for organic computing systems

Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008
2008 | Conference paper
DOI: 10.1109/SASO.2008.66
EID:

2-s2.0-57949107594
Contributors: Güdemann, M.; Nafz, F.; Ortmeier, F.; Seebach, H.; Reif, W.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Formal failure models

IFAC Proceedings Volumes (IFAC-PapersOnline)
2007 | Conference paper
DOI: 10.3182/20070613-3-fr-4909.00027
EID:

2-s2.0-79960918112

Part of ISSN: 14746670
Contributors: Ortmeier, F.; Güdemann, M.; Reif, W.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Modeling of self-adaptive systems with SCADE

Proceedings - IEEE International Symposium on Circuits and Systems
2007 | Conference paper
DOI: 10.1109/iscas.2007.377861
EID:

2-s2.0-34548828007

Part of ISSN: 02714310
Contributors: Güdemann, M.; Angerer, A.; Ortmeier, F.; Reif, W.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Using Deductive Cause-Consequence Analysis (DCCA) with SCADE

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Book
DOI: 10.1007/978-3-540-75101-4_44
EID:

2-s2.0-38149048480

Part of ISSN: 16113349 03029743
Contributors: Güdemann, M.; Ortmeier, F.; Reif, W.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Formal modeling and verification of systems with self-x properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Book
DOI: 10.1007/11839569_4
EID:

2-s2.0-33750077248

Part of ISSN: 16113349 03029743
Contributors: Güdemann, M.; Ortmeier, F.; Reif, W.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier

Safety and dependability analysis of self-adaptive systems

Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
2006 | Conference paper
DOI: 10.1109/ISoLA.2006.38
EID:

2-s2.0-77956422483
Contributors: Güdemann, M.; Ortmeier, F.; Reif, W.
Source: Self-asserted source
Matthias Güdemann via Scopus - Elsevier
How many people are using ORCID?