Concepedia

Philipp Reinkemeier

PR

5

Publications

290

Citations

5

H-Index

2011

Active since

Affiliations

Oldenburger Institut für Informatik(Current)

Institute of Science and Technology Austria

Austrian Institute of Technology

Carl von Ossietzky Universität Oldenburg

Philipp Reinkemeier is an author at Oldenburger Institut für Informatik specializing in formal methods, engineering, and real-time systems.

Top concepts

EngineeringFormal MethodsReal-time SystemsSystems EngineeringDesignAutomationComplex SystemsSoftware DesignSystem SoftwareComputer Science

Publications per year

2011–2018

5

Publications

5

Contracts for System Design

Albert Benveniste, Benoı̂t Caillaud, Dejan Ničković et al. · Foundations and Trends® in Electronic Design Automation · 2018 · 230 citations · Full text

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

Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin et al. · 2013 · 17 citations

Real-time Interfaces, Engineering, Real-time Scheduling Constraints +20

Contracts for Systems Design: Theory

Albert Benveniste, Benoı̂t Caillaud, Dejan Ničković et al. · SPIRE - Sciences Po Institutional REpository · 2015 · 17 citations

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

Philipp Reinkemeier, Ingo Stierand, Philip Rehkop et al. · Software Engineering (Workshops) · 2011 · 16 citations

Software Requirement, Engineering, Requirement Engineering +9

Contracts for Systems Design: Methodology and Application cases

Albert Benveniste, Benoı̂t Caillaud, Dejan Ničković et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2015 · 10 citations · Full text

Rows per page

1–5 of 5