Thomas Peikenkamp

Publication Activity (10 Years)

Years Active: 1995-2018
Publications (10 Years): 3

Top Topics

Formal Language

Evaluation Campaigns

Formal Semantics

Top Venues

SAFECOMP Workshops

Principles of Modeling

Publications

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