Dipl.-Inform. Philipp Reinkemeier Senior Researcher

Dipl.-Inform. Philipp Reinkemeier
Kontaktdaten
Tätigkeiten

Position im OFFIS

Senior Researcher

Forschungsbereiche

Verkehr / Safety & Security Oriented Analysis

Competence Center

Embedded Systems Design Automation

News

+49 441 9722-400

philipp.reinkemeier(at)offis.de

O 119

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von Dipl.-Inform. Philipp Reinkemeier

2017

Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC)

Eckard Böde and Matthias Büker and Werner Damm and Günter Ehmen and Martin Fränzle and Sebastian Gerwinn and Thomas Goodfellow and Kim Grüttner and Bernhard Josko and Björn Koopmann and Thomas Peikenkamp and Frank Poppen and Philipp Reinkemeier and Michael Siegel and Ingo Stierand; October / 2017

2016

Computational Analysis of Complex Real-Time Systems - FMTV 2016 Verification Challenge

Ingo Stierand, Philipp Reinkemeier, Sebastian Gerwinn, Thomas Peikenkamp; International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS); 1 / 2016

BIB

2015

Contracts for Schedulability Analysis

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo; Formal Modeling and Analysis of Timed Systems; 2015

Contracts for Schedulability Analysis

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo; Proc. Formal Modelling and Analysis of Timed Systems (FORMATS); 2015

BIB
Contracts for Systems Design: Methodology and Application cases

Benveniste, Albert and Caillaud, Benoît and Nickovic, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Reinkemeier, Philipp and Sangiovanni-Vincentelli, Alberto and Damm, Werner and Henzinger, Tom and Larsen, Kim; 01 / 2015

2014

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

Reinkemeier, Philipp and Hille, Heinz and Henkler, Stefan; Software Engineering (Workshops); 2014

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

Stierand, Ingo and Reinkemeier, Philipp and Bhaduri, Purandar; Formal Modeling and Analysis of Timed Systems; 2014

Virtual Integration of Real-Time Systems based on Resource Segregation Abstraction

Stierand, Ingo and Reinkemeier, Philipp and Bhaduri, Purandar; Proc. Formal Modelling and Analysis of Timed Systems (FORMATS); 2014

BIB

2013

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

Reinkemeier, Philipp and Stierand, Ingo; Embedded Systems: Design, Analysis and Verification; 06 / 2013

Real-Time Scheduling Interfaces and Contracts for the Design of Distributed Embedded Systems

Stierand, Ingo and Reinkemeier, Philipp and Gezgin, Tayfun and Bhaduri, Purandar; Symposium on Industrial Embedded Systems (SIES); 06 / 2013

BIB
Seamless Segregation for Multi-Core Systems

Reinkemeier, Philipp and Ittershagen, Philipp and Stierand, Ingo and Hartmann, Philipp A. and Henkler, Stefan and Grüttner, Kim; 9 / 2013

2012

Contracts for Systems Design

Damm, Werner and Reinkemeier, Philipp and Benveniste, Albert and Caillaud, Benoit and Nickovicy, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Sangiovanni-Vincentelli, Alberto and Henzinger, Tom and Larsen, Kim; IEEE Computer; 12 / 2012

BIB
Technical Viewpoint

Weber, Raphael and Reinkemeier, Philipp and Henkler, Stefan and Stierand, Ingo; Model-Based Engineering of Embedded Systems; 01 / 2012

2011

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

Reinkemeier, Philipp and Stierand, Ingo and Rehkop, Philip and Henkler, Stefan; Software Engineering 2011 Workshopband; 05 / 2011

BIB
Architecture Modeling

Andreas Baumgart, Eckard Böde, Matthias Büker, Werner Damm, Günter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber; 3 / 2011

Challenges of Multi- and Many-Core Architectures for Electronic System-Level Design

Grüttner, Kim and Hartmann, Philipp A. and Reinkemeier, Philipp and Oppenheimer, Frank and Nebel, Wolfgang; 07 / 2011

BIB

2010

A model-based design methodology with contracts to enhance the development process of safety-critical systems

Baumgart, Andreas and Reinkemeier, Philipp and Rettberg, Achim and Stierand, Ingo and Thaden, Eike and Weber, Raphael; Proceedings of the 8th IFIP International Conference on Software Technologies for embedded and ubiquitous Systems (SEUS); 10 / 2010

BIB

2009

Modeling of Embedded Software Multitasking in SystemC/OSSS

Hartmann, Philipp A. and Reinkemeier, Philipp and Kleen, Henning and Nebel, Wolfgang; Languages for Embedded Systems and their Applications; 05 / 2009

BIB
Modelling Control Systems in SystemC AMS ̣ Benefits and Limitations

Hartmann, Philipp A., Reinkemeier, Philipp and Rettberg, Achim and Nebel, Wolfgang; IEEE SOC Conference Digest of Technical Papers; 09 / 2009

BIB

2008

Efficient modelling and simulation of embedded software multi-tasking using SystemC and OSSS

Hartmann, Philipp A. and Reinkemeier, Philipp and Kleen, Henning and Nebel, Wolfgang; 09 / 2008

BIB