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

Buchtitel

Formal Methods for Industrial Critical Systems

Titel der Konferenz

FMICS 2012

Alle Autoren

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

Jahr

2012

Titel

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

Buchtitel

Computer Safety, Reliability, and Security

Titel der Konferenz

SAFECOMP

Alle Autoren

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

Jahr

2012

Titel

Project SOOP: Safe Offshore Operations

Titel der Konferenz

9th International Symposium Information on Ships (ISIS)

Alle Autoren

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

Jahr

2012

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

Titel der Konferenz

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

Jahr

2011

Titel

Architecture Modeling

Titel der Konferenz

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

Jahr

2011

Contract Based Assessment of Safety Critical Systems

Titel der Konferenz

7th European Systems Engineering Conference (EuSEC 2010)

Alle Autoren

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

Jahr

2010

Compositional Dependability Evaluation for STATEMATE

Buchtitel

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.

Jahr

2009

Model Based Importance Analysis for Minimal Cut Sets

Buchtitel

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

Alle Autoren

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

Jahr

2008

Titel

Model based importance analysis for minimal cut sets

Buchtitel

AVACS Technical Report

Alle Autoren

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

Jahr

2008

Towards a Unified Model-based Safety Assessment

Buchtitel

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.

Jahr

2006

Titel

Model-based Safety Analysis of a Flap Control System

Buchtitel

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.

Jahr

2006

Titel

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

Alle Autoren

Ove AAkerlund; others

Jahr

2006

Titel

Compositional Performability Evaluation for STATEMATE

Buchtitel

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

Jahr

2006

Titel

Analysis of Large Safety-Critical Systems: A quantitative Approach

Buchtitel

AVACS Technical Report

Alle Autoren

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

Jahr

2006

Titel

Adding Value to automotive models

Buchtitel

Automotive Software - Connected Services in Mobile Networks

Titel der Konferenz

ARTIST and NSF Workshop on Automotive Software Development

Alle Autoren

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

Jahr

2006

Boosting Re-use of Embedded Automotive Applications Through Rich Components

Buchtitel

Proceedings, FIT 2005 - Foundations of Interface Technologies

Alle Autoren

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

Jahr

2005

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

Buchtitel

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.

Jahr

2003