Philipp Reinkemeier

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

Philipp Reinkemeier, Ingo Stierand, Tayfun Gezgin, 2013, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).

Contracts for System Design

Alberto L. Sangiovanni-Vincentelli, Kim G. Larsen, Dejan Nickovic, 2018, Found. Trends Electron. Des. Autom..

Contracts for Systems Design: Theory

Dejan Nickovic, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2015 .

Contracts for the Design of Embedded Systems Part I : Methodology and Use Cases

Dejan Nickovic, Roberto Passerone, Albert Benveniste, 2011 .

Seamless Segregation for Multi-Core Systems ∗

Ingo Stierand, Philipp Reinkemeier, Stefan Henkler, 2013 .

Technical Viewpoint

Philipp Reinkemeier, Stefan Henkler, Ingo Stierand, 2012, Model-Based Engineering of Embedded Systems.

Coherent Treatment of Time in the Development of ADAS/AD Systems: Design Approach and Demonstration

Philipp Reinkemeier, Ingo Stierand, Kim Grüttner, 2018 .

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

Eike Thaden, Achim Rettberg, Philipp Reinkemeier, 2010, SEUS.

Contracts for Systems Design: Methodology and Application cases

Dejan Nickovic, Thomas A. Henzinger, Roberto Passerone, 2015 .

Contracts for Schedulability Analysis

Albert Benveniste, Philipp Reinkemeier, Ingo Stierand, 2015, FORMATS.