During the years, our research lead to a number of publications at conferences and journals. Publishing ideas and results is the main resource for fruitful discussions and feedback from the worldwide research community.

177 Einträge « 4 von 4 »

2007

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

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

2006

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; 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

Ortmeier, Frank; Schellhorn, Gerhard

Formal Fault Tree Analysis - Practical Experiences Konferenz

Proceedings of 6th International Workshop On Automated Verification of Critical Systems (AVoCS 06), 2006.

Links | 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

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

Ortmeier, Frank

Formale Sicherheitsanalyse Buch

Logos Verlag Berlin, 2006.

Links | BibTeX

Haneberg, Dominik; Bäumler, Simon; Balser, Michael; Grandy, Holger; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard; Schmitt, Jonathan; Stenzel, Kurt

The User Interface of the KIV Verification System - A System Description Artikel

Electronic Notes in Theoretical Computer Science UITP special issue, 2006.

Abstract | Links | BibTeX

2005

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

Deductive Cause-Consequence Analysis (DCCA) Konferenz

Proceedings of the 16th IFAC World Congress, Elsevier, 2005, ISBN: 978-3-902661-75-3.

Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

Formal Safety Analysis of a Radio-Based Railroad Crossing using Deductive Cause-Consequence Analysis (DCCA) Inproceedings

Proceedings of 5th European Dependable Computing Conference (EDCC 05), Springer, 2005.

Abstract | Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang

Formal Safety Analysis of Transportation Control Systems Konferenz

Workshop at SEFM 2005, 2005.

Links | BibTeX

Ortmeier, Frank; Schellhorn, Gerhard; Thums, Andreas; Reif, Wolfgang

Formale Sicherheitsanalyse - Eine Anwendungsfallstudie: Das Höhenkontrollsystem des Elbtunnels in Hamburg Artikel

atp - Automatisierungstechnische Praxis, 2 , S. 52-59, 2005.

Links | BibTeX

Haneberg, Dominik; Bäumler, Simon; Balser, Michael; Grandy, Holger; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard; Schmitt, Jonathan; Stenzel, Kurt

The User Interface of the KIV Verification System --- A System Description Konferenz

Proceedings of UITP 05, 2005.

Links | BibTeX

2004

Ortmeier, Frank; Thums, Andreas; Schellhorn, Gerhard; Reif, Wolfgang

Combining Formal Methods and Safety Analysis -- The ForMoSA Approach Buchkapitel mit eigenem Titel

Integration of Software Specification Techniques for Applications in Engineering (INT 04), Springer LNCS 3147, 2004.

Abstract | Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang

Failure-Sensitive Specification: A Formal Method for Finding Failure Modes Forschungsbericht

Institut f (3), 2004.

Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas

Integrated Formal Methods for safety analysis of train systems Konferenz

Kluwer Academic Press, 2004, ISBN: 1-4020-8156-1.

Links | BibTeX

Thums, Andreas; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

Interactive Verification of Statecharts Inproceedings

Ehrig, Hartmut (Hrsg.): Integration of Software Specification Techniques for Applications in Engineering, S. 355 – 373, Springer LNCS 3147, 2004.

Abstract | Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

Introduction to Subject Area "Verification" Buchkapitel mit eigenem Titel

Integration of Software Specification Techniques for Applications in Engineering, Springer LNCS 3147, 2004.

Abstract | Links | BibTeX

Ortmeier, Frank; Schellhorn, Gerhard; Reif, Wolfgang

Safety Optimization of a radio-based railroad crossing Konferenz

Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004), 2004, ISBN: 3-9803363-8-7.

Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang

Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques Konferenz

Proceedings of the Conference on Dependable Systems and Networks (DSN 04), IEEE Computer Society, Florence, 2004, ISBN: 0-7695-2052-9.

Links | BibTeX

2003

Thums, Andreas; Ortmeier, Frank

Formal Safety Analysis in Ŧransportation Control Konferenz

International Workshop on Software Specification of Safety Relevant Transportation Control Tasks, 12 (no. 535) , VDI Fortschritt-Berichte VDI Verlag GmbH, 2003.

BibTeX

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas; Hering, Bernhard; Trappschuh, Helmut

Safety Analysis of the Ħeight Control System for the Elbtunnel Artikel

Reliability Engineering and System Safety, 81 (3), S. 259–268, 2003.

Abstract | Links | BibTeX

2002

Ortmeier, Frank; Thums, Andreas

Formale Methoden und Sicherheitsanalyse Forschungsbericht

Universit (15), 2002, ((in German)).

Links | BibTeX

Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas; Hering, Bernhard; Trappschuh, Helmut

Safety Analysis of the Height Control System for the Elbtunnel Konferenz

SafeComp 2002, Springer LNCS 2434, Catania, Italy, 2002.

Links | BibTeX

177 Einträge « 4 von 4 »