Philipp Reinkemeier

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