Matthias Güdemann

Matthias Güdemann
Mail: firstname.lastname@ovgu.de
Room: G29, R3XX
Phone: +49 391 67 5XXXX

Note: This page is outdated and obsolete, its contents remain here for historical purposes only. More recent information on Matthias Güdemann can be found at his personal homepage.

Matthias Güdemann

Publications

2013

Ortmeier, Frank; Struck, Simon; Güdemann, Matthias

Efficient Optimization of Large Probabilistic Models Artikel

Elsevier Journal of Systems and Software, 03/78 , 2013.

Abstract | Links | BibTeX

2012

Alatartsev, Sergey; Güdemann, Matthias; Ortmeier, Frank

Trajectory Description Conception for Industrial Robots Konferenz

7th German Conference on Robotics (ROBOTIK 2012), Munich, Germany, 2012.

Abstract | Links | BibTeX

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

Unifying Probabilistic and Traditional Formal Model-Based Analysis Konferenz

Proceedings of 8. Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), 2012.

Abstract | Links | BibTeX

Habermaier, Axel; Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis (in Railway Safety, Reliability and Security: Technologies and System Engineering) Buchkapitel

Flammini, Francesco (Hrsg.): IGI Global, 2012, (to appear).

Abstract | Links | BibTeX

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

Multi-Objective Optimization of Formal Specifications Konferenz

IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), 2012.

Abstract | Links | BibTeX

2011

Güdemann, Matthias

Qualitative and Quantitative Formal Model-Based Safety Analysis Promotionsarbeit

2011.

Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

Towards Model-Driven Safety Analysis Inproceedings

Proceedings of the 3rd international Workshop on Dependable Control of Discrete Systems (DCDS 11), IEEE, 2011, (to appear 15.6.2011).

Abstract | Links | BibTeX

Ortmeier, Frank; Lipaczewski, Michael; Güdemann, Matthias

Practical Experiences in Model-Based Safety Analysis Konferenz

proceedings: International Workshop on Digital Engineering, ACM Proceedings, 2011.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

Model-Based Multi-Objective Safety Optimization Konferenz

Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), 6894 , LNCS Springer, 2011, ISBN: 978-3642242694.

Abstract | Links | BibTeX

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

Towards Making Dependability Visual - Combining Model-Based Đesign and Virtual Realities Konferenz

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011.

Abstract | Links | BibTeX

Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank

Tool Supported Model-Based Safety Analysis and Optimization Konferenz

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011.

Abstract | Links | BibTeX

2010

Güdemann, Matthias; Ortmeier, Frank

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

Proceedings of the 12th High Assurance System Engineering Symposium (HASE 2010), 2010.

Links | BibTeX

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

SysML in Digital Engineering Konferenz

Proceedings of 1st International Workshop on Digital Engineering, 2010.

Abstract | Links | BibTeX

Ortmeier, Frank; Güdemann, Matthias

ProMoSA - Probabilistic Models for Safety Analysis Konferenz

Proceedings of 6th Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems, 2010.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

Probabilistic Model-Based Safety Analysis Konferenz

Proceedings of the 8th Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), 2010.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

Quantitative Model-Based Safety Analysis: A Case Study Konferenz

Proceedings of 5th conference for Sicherheit, Schutz und Zuverlaessigkeit (SICHERHEIT 10), Lecture Notes in Informatics (LNI), 2010.

Links | BibTeX

2008

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

Developing Safety-critical Mechatronical Systems Buchkapitel mit eigenem Titel

Gausemeier, Jürgen; Rammig, Franz; Schäfer, Wilhelm (Hrsg.): Self-optimizing Mechatronic Systems: Design the Future, 223 , HNI-Verlagsschriftenreihe, 2008.

Abstract | Links | BibTeX

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

A Specification and Construction Paradigm for Organic Computing Systems Inproceedings

Brückner, Sven; Robertson, Paul; Bellur, Umesh (Hrsg.): Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, S. 233-242, IEEE Computer Society Press (2008), 2008.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

Computing Ordered Minimal Critical Sets Konferenz

Proceedings of the 7th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 08), 2008.

Abstract | Links | BibTeX

2007

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

Modeling of Self-Adaptive Systems with SCADE Inproceedings

2007.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

Using Deductive Cause Consequence Analysis (DCCA) with SCADE Inproceedings

Proceedings of SAFECOMP 2007, Springer LNCS 4680, 2007.

Abstract | Links | BibTeX

Ortmeier, Frank; Güdemann, Matthias; Reif, Wolfgang

Formal Failure Models Konferenz

Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 07), Elsevier, 2007.

Abstract | Links | BibTeX

2006

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

Towards Safe and Secure Organic Computing Applications Konferenz

INFORMATIK 2006 -- Informatik f"ur Menschen, P-93 , GI-Edition -- Lecture Notes in Informatics K, Bonn, Germany, 2006, ISBN: 978-3-88579-187-4.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

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

Proceedings of the 3rd International Conference on Autonomic and Trusted Computing (ATC-06), 4158 , Lecture Notes in Computer Science Springer, Berlin/Heidelberg, 2006, ISBN: 978-3-540-38619-3.

Abstract | Links | BibTeX

Güdemann, Matthias; Nafz, Florian; Pietzowski, Andreas; Reif, Wolfgang; Satzger, Benjamin; Seebach, Hella; Ungerer, Theo

Applications and Architectures in Organic Comupting Forschungsbericht

(21), 2006.

Abstract | BibTeX

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

Applications in Organic Computing Forschungsbericht

(22), 2006.

Abstract | BibTeX

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

Safety and Dependability Analysis of Self-Adaptive Systems Konferenz

Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 06), IEEE CS Press, 2006.

Abstract | Links | BibTeX