Philipp Reinkemeier

According to our database, Philipp Reinkemeier authored at least 15 papers between 2007 and 2018.

Collaborative distances:

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

2018

Contracts for System Design.

Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen

Found. Trends Electron. Des. Autom., 2018

2017

Coherent multicore methodology and tooling.

Philipp Reinkemeier, Philipp Ittershagen, Laurent Dieudonné, Philipp Diebold

it Inf. Technol., 2017

2015

Contracts for Schedulability Analysis.

Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems.

Philipp Reinkemeier, Heinz Hille, Stefan Henkler

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction.

Ingo Stierand, Philipp Reinkemeier, Purandar Bhaduri

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013

Real-time scheduling interfaces and contracts for the design of distributed embedded systems.

Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin, Purandar Bhaduri

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction.

Philipp Reinkemeier, Ingo Stierand

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

2012

Technical Viewpoint.

Raphael Weber, Philipp Reinkemeier, Stefan Henkler, Ingo Stierand

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011

A pattern-based requirement specification language: Mapping automotive specific timing requirements.

Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler

Proceedings of the Software Engineering 2011, 2011

Challenges of multi- and many-core architectures for electronic system-level design.

Kim Grüttner, Philipp A. Hartmann, Philipp Reinkemeier, Frank Oppenheimer, Wolfgang Nebel

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

2010

A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems.

Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

2009

Modelling control systems in SystemC AMS - Benefits and limitations.

Philipp A. Hartmann, Philipp Reinkemeier, Achim Rettberg, Wolfgang Nebel

Proceedings of the Annual IEEE International SoC Conference, SoCC 2009, 2009

2008

Modeling of Embedded Software Multitasking in SystemC/OSSS.

Philipp A. Hartmann, Philipp Reinkemeier, Henning Kleen, Wolfgang Nebel

Proceedings of the Languages for Embedded Systems and their Applications, 2008

Efficient Modelling and Simulation of Embedded Software Multi-Tasking using SystemC and OSSS.

Philipp A. Hartmann, Henning Kleen, Philipp Reinkemeier, Wolfgang Nebel

Proceedings of the Forum on specification and Design Languages, 2008

2007

Eine Fallstudie zur dynamischen Rekonfiguration von Hardware: "Pain or Gain?".

Philipp Reinkemeier, Kim Grüttner, Wolfgang Nebel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007