
Verkehr / Safety Analysis & Verification
Dependable System Design
Verkehr / Safety Analysis & Verification: Gruppenleiter
Schuler EG 6
+49 441 9722-532
OFFIS
Formal Methods for Industrial Critical Systems
FMICS 2012
Droste, Rainer; Läsche, Christoph; Sobiech, Cilli; Böde, Eckard; Hahn Axel
2012
Computer Safety, Reliability, and Security
SAFECOMP
Läsche, Christoph; Böde, Eckard; Peikenkamp, Thomas
2012
9th International Symposium Information on Ships (ISIS)
Sobiech, Cilli; Böde, Eckard; Lüdtke, Andreas; Hahn, Axel; Nicklas, Daniela; Korte, Holger
2012
AeroTech Congress & Exhibition
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
2011
OFFIS Technical Report
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
2011
7th European Systems Engineering Conference (EuSEC 2010)
Böde, Eckard; Gebhardt, Sebastian; Peikenkamp, Thomas
2010
Software Engineering, IEEE Transactions on
Bode, E.; Herbstritt, M.; Hermanns, H.; Johr, S.;Peikenkamp, T.;Pulungan, R.;Rakow, J.; Wimmer, R.; Becker, B.
2009
Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Böde, Eckard; Peikenkamp, Thomas; Rakow, Jan; Wischmeyer, Samuel
2008
AVACS Technical Report
Böde, Eckard; Peikenkamp, Thomas; Rakow, Jan; Wischmeyer, Samuel
2008
SAFECOMP 2006. The 27th International Conference on Computer Safety, Security and Reliability
Peikenkamp, T.; Cavallo, A.; Valacca, L.; Böde, E.; Pretzer, M.; Hahn, E.M.
2006
Proceedings of the INCOSE 2004 - 14th Annual International Symposium
Peikenkamp, T.; Böde, E.; Brückner, I.; Spenke, H.; Bretschneider, M.; Holberg, H.-J.
2006
Ove AAkerlund; others
2006
QEST '06: Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Böde, Eckard; Herbstritt, Marc; Hermanns, Holger; Johr, Sven; Peikenkamp, Thomas; Pulungan, Reza; Wimmer, Ralf; Becker, Bernd
2006
AVACS Technical Report
Herbstritt, Marc; Wimmer, Ralf; Peikenkamp, Thomas; Böde, Eckard; Adelaide, Michael; Johr, Sven; Hermanns, Holger; Becker, Bernd
2006
Automotive Software - Connected Services in Mobile Networks
ARTIST and NSF Workshop on Automotive Software Development
Eckard Böde; Werner Damm; Jarl Hoyem; Bernhard Josko; Jürgen Niehaus; Marc Segelken
2006
Proceedings, FIT 2005 - Foundations of Interface Technologies
Damm, Werner; Votintseva, Angelika; Metzner, Alexander; Josko, Bernhard; Peikenkamp, Thomas; Böde, Eckard
2005
Safety and Reliability - Proceedings of the ESREL 2003 Conference
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.
2003