Matthias Güdemann

40 papers A 1B 4C 7Misc 1Journal 6Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage. ASEW Markus Krahl, Matthias Güdemann, Stefan Wallentowitz
2025	—	`conf`	Eine REIFe Leistung - Anecdotes from Behind the Scenes. Go Where the Bugs Are Gidon Ernst, Dominik Haneberg, Matthias Güdemann, Oliver Kosak, Florian Nafz, Hella Ponsar, Gerhard Schellhorn
2025	—	`ed.`	Go Where the Bugs Are - Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday Go Where the Bugs Are Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer
2025	—	`conf`	Overview of Bounded Model Checking for Stack-Based Virtual Machines. Go Where the Bugs Are Matthias Güdemann
2025	—	`conf`	parSAT: Parallel Solving of Floating-Point Satisfiability. FROM Markus Krahl, Matthias Güdemann, Stefan Wallentowitz
2024	—	`conf`	SafeFloatZone: Identify Safe Domains for Elementary Functions. SAMOS Markus Krahl, Matthias Güdemann, Stefan Wallentowitz
2023	Misc	`conf`	BlueCov: Integrating Test Coverage and Model Checking with JBMC. SAC Matthias Güdemann, Peter Schrammel
2022	J	`jnl`	BlueCov: Integrating Test Coverage and Model Checking with JBMC. CoRR Matthias Güdemann, Peter Schrammel
2022	—	`conf`	Level-Up - From Bits to Words. SBMF Matthias Güdemann, Klaus Riedl
2022	—	`conf`	SMT-Based Verification of Concurrent Critical System. Sicherheit Matthias Güdemann
2021	—	`conf`	Online Teaching of Verification of C Programs in Applied Computer Science. FMTea Matthias Güdemann
2021	J	`jnl`	Preface to the special issue on improving software quality through program analysis. Softw. Qual. J. Matthias Güdemann, Leonardo Mariani
2020	—	`conf`	Flexible Formality Practical Experience with Agile Formal Methods. TFP 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
2018	A	`conf`	Efficient verification of multi-property designs (The benefit of wrong assumptions). DATE Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee
2017	J	`jnl`	Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version). CoRR Eugene Goldberg, Matthias Güdemann, Daniel Kroening, Rajdeep Mukherjee
2017	J	`jnl`	Preface of the special issue on formal methods in industrial critical systems. Int. J. Softw. Tools Technol. Transf. Matthias Güdemann, Manuel Núñez
2016	J	`jnl`	VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Serv. Comput. Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
2015	C	`ed.`	Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings FMICS Manuel Núñez, Matthias Güdemann
2015	C	`conf`	Formal Verification of Industrial Critical Software. FMICS Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann
2013	J	`jnl`	Efficient optimization of large probabilistic models. J. Syst. Softw. Simon Struck, Matthias Güdemann, Frank Ortmeier
2013	B	`conf`	VerChor: A Framework for Verifying Choreographies. FASE Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
2012	B	`conf`	Counterexample Guided Synthesis of Monitors for Realizability Enforcement. ATVA Matthias Güdemann, Gwen Salaün, Meriem Ouederni
2012	—	`conf`	Multi-objective Optimization of Formal Specifications. HASE Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann
2012	—	`conf`	Trajectory Description Conception for Industrial Robots. ROBOTIK Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier
2012	—	`conf`	Unifying Probabilistic and Traditional Formal Model Based Analysis. MBEES Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck
2011	B	`conf`	Model-Based Multi-objective Safety Optimization. SAFECOMP Matthias Güdemann, Frank Ortmeier
2011	—	`—`	Qualitative and quantitative formal model-based safety analysis - push the safety button Matthias Güdemann
2011	C	`conf`	Tool Supported Model-Based Safety Analysis and Optimization. PRDC Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier
2011	C	`conf`	Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. PRDC Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach
2010	—	`conf`	A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. HASE Matthias Güdemann, Frank Ortmeier
2010	—	`conf`	ProMoSA - Probabilistic Models for Safety Analysis. MBEES Frank Ortmeier, Matthias Güdemann
2010	—	`conf`	Probabilistic Model-Based Safety Analysis QAPL Matthias Güdemann, Frank Ortmeier
2010	—	`conf`	Quantitative Model-Based Safety Analysis: A Case Study. Sicherheit Matthias Güdemann, Frank Ortmeier
2010	—	`conf`	SysML in digital engineering. IWDE Matthias Güdemann, Stefan Kegel, Frank Ortmeier, Olaf Poenicke, Klaus Richter
2008	—	`conf`	A Specification and Construction Paradigm for Organic Computing Systems. SASO Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
2007	C	`conf`	Modeling of self-adaptive systems with SCADE. ISCAS Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif
2007	B	`conf`	Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. SAFECOMP Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
2006	C	`conf`	Formal Modeling and Verification of Systems with Self-x Properties. ATC Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
2006	C	`conf`	Safety and Dependability Analysis of Self-Adaptive Systems. ISoLA Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
2006	—	`conf`	Towards Safe and Secure Organic Computing Applications. GI Jahrestagung (1) Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach