Philipp Reinkemeier

Publication Activity (10 Years)

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

Top Topics

Real Time Embedded

Timing Constraints

Architectural Model

Top Venues

it Inf. Technol.

Found. Trends Electron. Des. Autom.

Publications

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
Contracts for System Design. Found. Trends Electron. Des. Autom. 12 (2-3) (2018)
Philipp Reinkemeier, Philipp Ittershagen, Laurent Dieudonné, Philipp Diebold
Coherent multicore methodology and tooling. it Inf. Technol. 59 (5) (2017)
Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand
Contracts for Schedulability Analysis. FORMATS (2015)
Ingo Stierand, Philipp Reinkemeier, Purandar Bhaduri
Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction. FORMATS (2014)
Philipp Reinkemeier, Heinz Hille, Stefan Henkler
Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems. Software Engineering (Workshops) (2014)
Philipp Reinkemeier, Ingo Stierand
Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction. IESS (2013)
Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin, Purandar Bhaduri
Real-time scheduling interfaces and contracts for the design of distributed embedded systems. SIES (2013)
Kim Grüttner, Philipp A. Hartmann, Philipp Reinkemeier, Frank Oppenheimer, Wolfgang Nebel
Challenges of multi- and many-core architectures for electronic system-level design. ICSAMOS (2011)
Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler
A pattern-based requirement specification language: Mapping automotive specific timing requirements. Software Engineering (Workshops) (2011)
Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems. SEUS (2010)
Philipp A. Hartmann, Philipp Reinkemeier, Achim Rettberg, Wolfgang Nebel
Modelling control systems in SystemC AMS - Benefits and limitations. SoCC (2009)
Philipp A. Hartmann, Henning Kleen, Philipp Reinkemeier, Wolfgang Nebel
Efficient Modelling and Simulation of Embedded Software Multi-Tasking using SystemC and OSSS. FDL (2008)
Philipp A. Hartmann, Philipp Reinkemeier, Henning Kleen, Wolfgang Nebel
Modeling of Embedded Software Multitasking in SystemC/OSSS. FDL (Selected Papers) (2008)
Philipp Reinkemeier, Kim Grüttner, Wolfgang Nebel
Eine Fallstudie zur dynamischen Rekonfiguration von Hardware: "Pain or Gain?". MBMV (2007)