Thomas Peikenkamp

According to our database, Thomas Peikenkamp authored at least 17 papers between 1995 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Entwurfsabsicherung für eingebettete Mehrkernsysteme im Kontext der ISO 26262 (Design Validation for Embedded Multi-core Systems in the Context of ISO 26262).

Benedikt Bauer, Jan Steffen Becker, Thomas Peikenkamp, Christof Schlaak, Ingo Stierand

Proceedings of the Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018), 2018

A Formal Semantics for Traffic Sequence Charts.

Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow

Proceedings of the Principles of Modeling, 2018

2016

An ISO 26262 Compliant Design Flow and Tool for Automotive Multicore Systems.

Maria Trei, Salome Maro, Jan-Philipp Steghöfer, Thomas Peikenkamp

Proceedings of the Product-Focused Software Process Improvement, 2016

2014

MTBF Inconsistency Analysis on Inferred Product Breakdown Structures.

Christian Ellen, Martin Böschen, Thomas Peikenkamp

Proceedings of the Computer Safety, Reliability, and Security, 2014

Reusing a Functional Safety Concept in Variable System Architectures.

Markus Oertel, Michael Schulze, Thomas Peikenkamp

Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), 2014

2013

Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation.

Stefan Puch, Bertram Wortelen, Martin Fränzle, Thomas Peikenkamp

Proceedings of the Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport, 2013

2012

A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , .

Christoph Läsche, Eckard Böde, Thomas Peikenkamp

Proceedings of the Computer Safety, Reliability, and Security, 2012

2011

Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach.

Jean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer, Odile Laurent, Joseph Machrouh, Thomas Peikenkamp, Cecile Schindler, Tormod Wien

Proceedings of the Computer Safety, Reliability, and Security, 2011

Using contract-based component specifications for virtual integration testing and architecture design.

Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand

Proceedings of the Design, Automation and Test in Europe, 2011

2009

Compositional Dependability Evaluation for STATEMATE.

Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker

IEEE Trans. Software Eng., 2009

Metamodels in Europe: Languages, Tools, and Applications.

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

IEEE Des. Test Comput., 2009

2008

Nachweis von Sicherheitseigenschaften in modellbasierten Entwurfsprozessen.

Thomas Peikenkamp

Proceedings of the Software Engineering 2008, 2008

Model Based Importance Analysis for Minimal Cut Sets.

Eckard Böde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer

Proceedings of the Automated Technology for Verification and Analysis, 2008

2006

Towards a Unified Model-Based Safety Assessment.

Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn

Proceedings of the Computer Safety, 2006

Compositional Performability Evaluation for STATEMATE.

Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

1998

HW/SW Cosynthesis Using Statecharts and Symbolic Timing Diagrams.

Karsten Lüth, Jürgen Niehaus, Thomas Peikenkamp

Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping (RSP 1998), 1998

1995

An Extended Gradient Model for NUMA Multiprocessor Systems.

Feixiong Liu, Thomas Peikenkamp, Werner Damm

Proceedings of the Algorithms, 1995