
Verkehr / Safety Analysis & Verification
Verkehr / Safety Analysis & Verification: Gruppenleiter
Schuler EG 12
+49 441 9722-525
OFFIS
thomas.peikenkamp [ A T ]
offis.de
HCI International 2013 Conference Proceedings
HCI International 2013
Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas
2013
Proceedings of the 2012 European Simulation and Modelling Conference
26th European Simulation and Modelling Conference
Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas
2012
Computer Safety, Reliability, and Security
SAFECOMP
Läsche, Christoph; Böde, Eckard; Peikenkamp, Thomas
2012
12. Braunschweiger Symposium AAET 2011 - Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel
Eilers, Sönke; Peikenkamp, Thomas; Rührup, Stefan; Schweigert, Sören; Toben, Tobe; Winkelmann, Hannes
2011
DATE 2011
Damm, Werner; Hungar, Hardi; Josko, Bernhard; Peikenkamp, Thomas; Stierand, Ingo;
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
Proceedings Embedded World Conference 2010
Embedded World Conference 2010
Griessnig, Gerhard; Mader, Roland; Peikenkamp, Thomas; Josko, Bernhard; Törngren, Martin; Armengaud, Eric
2010
SAE World Congress 2009
Damm, Werner; Josko, Bernhard; Peikenkamp, Thomas
2009
Software Engineering, IEEE Transactions on
Bode, E.; Herbstritt, M.; Hermanns, H.; Johr, S.;Peikenkamp, T.;Pulungan, R.;Rakow, J.; Wimmer, R.; Becker, B.
2009
IEEE Design and Test of Computers
Passerone, Roberto; Hafaiedh, Imene Ben; Graf, Susanne; Benveniste, Albert; Cancila, Daniela; Cuccuru, Arnaud; Gérard; Sébastien; Terrier, Francois; Ferrari, Alberto; Mangeruca, Leonardo; Josko, Bernhard; Peikenkamp, ThomasSangiovanni-Vincentelli, Alberto
2009
IEEE Design & Test of Computers
Roberto Passeron; Imene Ben Hafaiedh; Albert Benveniste; Daniela Cancila; arnaud Cuccuru; Werner Damm; Alberto Ferrari; Sebastien Gerard; Susanne Graf; Bernhard Josko; Leonardo Mangeruca; Thomas Peikenkamp; Alberto Sangiovanni-Vincentelli; Francois Terrie
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
Proceedings of the 24th International System Safety Conference (ISSC)
Lisagor, O.; Pretzer, M.; Seguin,O.; Pumfrey, D. J.; Iwu, F.; Peikenkamp, T.
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
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
Zielarchitekturen eingebetteter Systeme (ZES '97)
ARCS 97
Lüth, Karsten; Metzner, Alexander; Peikenkamp, Thomas; Risau, Jürgen
1997