Thomas Peikenkamp

17 papers A 1B 5C 3Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2018 — conf
A Formal Semantics for Traffic Sequence Charts.
Principles of Modeling
Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow
2018 C conf
Entwurfsabsicherung für eingebettete Mehrkernsysteme im Kontext der ISO 26262 (Design Validation for Embedded Multi-core Systems in the Context of ISO 26262).
Software Engineering (Workshops)
Benedikt Bauer, Jan Steffen Becker, Thomas Peikenkamp, Christof Schlaak, Ingo Stierand
2016 B conf
An ISO 26262 Compliant Design Flow and Tool for Automotive Multicore Systems.
PROFES
Maria Trei, Salome Maro, Jan-Philipp Steghöfer, Thomas Peikenkamp
2014 — conf
MTBF Inconsistency Analysis on Inferred Product Breakdown Structures.
SAFECOMP Workshops
Christian Ellen, Martin Böschen, Thomas Peikenkamp
2014 — conf
Reusing a Functional Safety Concept in Variable System Architectures.
ACES-MB@MoDELS
Markus Oertel, Michael Schulze, Thomas Peikenkamp
2013 — conf
Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation.
HCI (22)
Stefan Puch, Bertram Wortelen, Martin Fränzle, Thomas Peikenkamp
2012 B conf
A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , .
SAFECOMP
Christoph Läsche, Eckard Böde, Thomas Peikenkamp
2011 B conf
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach.
SAFECOMP
Jean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer, Odile Laurent, Joseph Machrouh, Thomas Peikenkamp, Cecile Schindler, Tormod Wien
2011 A conf
Using contract-based component specifications for virtual integration testing and architecture design.
DATE
Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand
2009 J jnl
Compositional Dependability Evaluation for STATEMATE.
IEEE Trans. Software Eng.
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker
2009 J jnl
Metamodels in Europe: Languages, Tools, and Applications.
IEEE Des. Test Comput.
Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
2008 B conf
Model Based Importance Analysis for Minimal Cut Sets.
ATVA
Eckard Böde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer
2008 C conf
Nachweis von Sicherheitseigenschaften in modellbasierten Entwurfsprozessen.
Software Engineering (Workshops)
Thomas Peikenkamp
2006 — conf
Compositional Performability Evaluation for STATEMATE.
QEST
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
2006 B conf
Towards a Unified Model-Based Safety Assessment.
SAFECOMP
Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn
1998 C conf
HW/SW Cosynthesis Using Statecharts and Symbolic Timing Diagrams.
International Workshop on Rapid System Prototyping
Karsten Lüth, Jürgen Niehaus, Thomas Peikenkamp
1995 — conf
An Extended Gradient Model for NUMA Multiprocessor Systems.
ASIAN
Feixiong Liu, Thomas Peikenkamp, Werner Damm