Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations

booktitle

Formal Methods for Industrial Critical Systems

Title of Conference

FMICS 2012

Alle Autoren

Droste, Rainer; Läsche, Christoph; Sobiech, Cilli; Böde, Eckard; Hahn Axel

Year

2012

Title

A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations

booktitle

Computer Safety, Reliability, and Security

Title of Conference

SAFECOMP

Alle Autoren

Läsche, Christoph; Böde, Eckard; Peikenkamp, Thomas

Year

2012

Title

Project SOOP: Safe Offshore Operations

Title of Conference

9th International Symposium Information on Ships (ISIS)

Alle Autoren

Sobiech, Cilli; Böde, Eckard; Lüdtke, Andreas; Hahn, Axel; Nicklas, Daniela; Korte, Holger

Year

2012

Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A

Title of Conference

AeroTech Congress & Exhibition

Alle Autoren

Seguin, Christel; Bieber, Pierre; Böde, Eckard; Bozzano, Marco; Bretschneider, Matthias; Cavallo, Antonella; Deneux, Johann; Heckmann, Jean-Pierre; Lisagor, Oleg; Morel, Marion; Papadopoulos, Chris; Sagaspe, Laurent; Sartor, Valerie; Delmas, Rémi

Year

2011

Title

Architecture Modeling

Title of Conference

OFFIS Technical Report

Alle Autoren

Andreas Baumgart, Eckard Böde, Matthias Büker, Werner Damm, Günter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber

Year

2011

Contract Based Assessment of Safety Critical Systems

Title of Conference

7th European Systems Engineering Conference (EuSEC 2010)

Alle Autoren

Böde, Eckard; Gebhardt, Sebastian; Peikenkamp, Thomas

Year

2010

Compositional Dependability Evaluation for STATEMATE

booktitle

Software Engineering, IEEE Transactions on

Alle Autoren

Bode, E.; Herbstritt, M.; Hermanns, H.; Johr, S.;Peikenkamp, T.;Pulungan, R.;Rakow, J.; Wimmer, R.; Becker, B.

Year

2009

Model Based Importance Analysis for Minimal Cut Sets

booktitle

Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis

Alle Autoren

Böde, Eckard; Peikenkamp, Thomas; Rakow, Jan; Wischmeyer, Samuel

Year

2008

Title

Model based importance analysis for minimal cut sets

booktitle

AVACS Technical Report

Alle Autoren

Böde, Eckard; Peikenkamp, Thomas; Rakow, Jan; Wischmeyer, Samuel

Year

2008

Towards a Unified Model-based Safety Assessment

booktitle

SAFECOMP 2006. The 27th International Conference on Computer Safety, Security and Reliability

Alle Autoren

Peikenkamp, T.; Cavallo, A.; Valacca, L.; Böde, E.; Pretzer, M.; Hahn, E.M.

Year

2006

Title

Model-based Safety Analysis of a Flap Control System

booktitle

Proceedings of the INCOSE 2004 - 14th Annual International Symposium

Alle Autoren

Peikenkamp, T.; Böde, E.; Brückner, I.; Spenke, H.; Bretschneider, M.; Holberg, H.-J.

Year

2006

Title

ISAAC, a framework for integrated safety analyses of functional, geometrical and human aspects

Alle Autoren

Ove AAkerlund; others

Year

2006

Title

Compositional Performability Evaluation for STATEMATE

booktitle

QEST '06: Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems

Alle Autoren

Böde, Eckard; Herbstritt, Marc; Hermanns, Holger; Johr, Sven; Peikenkamp, Thomas; Pulungan, Reza; Wimmer, Ralf; Becker, Bernd

Year

2006

Title

Analysis of Large Safety-Critical Systems: A quantitative Approach

booktitle

AVACS Technical Report

Alle Autoren

Herbstritt, Marc; Wimmer, Ralf; Peikenkamp, Thomas; Böde, Eckard; Adelaide, Michael; Johr, Sven; Hermanns, Holger; Becker, Bernd

Year

2006

Title

Adding Value to automotive models

booktitle

Automotive Software - Connected Services in Mobile Networks

Title of Conference

ARTIST and NSF Workshop on Automotive Software Development

Alle Autoren

Eckard Böde; Werner Damm; Jarl Hoyem; Bernhard Josko; Jürgen Niehaus; Marc Segelken

Year

2006

Boosting Re-use of Embedded Automotive Applications Through Rich Components

booktitle

Proceedings, FIT 2005 - Foundations of Interface Technologies

Alle Autoren

Damm, Werner; Votintseva, Angelika; Metzner, Alexander; Josko, Bernhard; Peikenkamp, Thomas; Böde, Eckard

Year

2005

ESACS: An integrated methodology for design and safety analysis of complex systems

booktitle

Safety and Reliability - Proceedings of the ESREL 2003 Conference

Alle Autoren

Bozzano, M.; Villafiorita, A.; Åkerlund, O.; Bieber, P.; Bougno, C.; Böde, E.; Bretschneider, M.; Cavallo, A.; Castel, C.; Cifaldi, M.; Cimatti, A.; Griffault, A.; Kehren, C.; Lawrence, B,; Lüdtke, A.

Year

2003