Eckard Böde

Compositional Dependability Evaluation for STATEMATE

Eckard Böde, Marc Herbstritt, Holger Hermanns et al. · IEEE Transactions on Software Engineering · 2008 · 48 citations

Engineering, Computer Science, Systems Engineering +17

Compositional Performability Evaluation for STATEMATE

Bernd Becker, Ralf Wimmer, Reza Pulungan et al. · 2006 · 27 citations · Full text

Computing, Computer Science, Algorithms +13

2.2.1 Model‐based Safety Analysis of a Flap Control System

Matthias Bretschneider, Eckard Böde, Ingo Brückner et al. · INCOSE International Symposium · 2004 · 25 citations

Engineering, Aerospace Engineering, Systems Engineering +16

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety

Bernhard Kaiser, Raphael Weber, Markus F. Oertel et al. · Complex Systems Informatics and Modeling Quarterly · 2015 · 25 citations · Full text

Engineering, Computer Engineering, Systems Engineering +17

Learning from automotive: Testing maritime assistance systems up to autonomous vessels

Marius Brinkmann, Eckard Böde, Arne Lamm et al. · OCEANS 2017 - Aberdeen · 2017 · 13 citations

Engineering, Autonomous Systems, Systems Engineering +15