Concepedia

Ingo Stierand

IS

7

Publications

205

Citations

7

H-Index

2006

Active since

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

Oldenburger Institut für Informatik

Ingo Stierand is an author at Carl von Ossietzky Universität Oldenburg specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringFormal MethodsReal-time SystemsComputer EngineeringFormal VerificationComputer ArchitectureDesignSoftware DesignSystem Software

Publications per year

2006–2020

7

Publications

7

Using contract-based component specifications for virtual integration testing and architecture design

Werner Damm, Hardi Hungar, Bernhard Josko et al. · 2011 · 108 citations

Contract-based Component Specifications, Architecture Design, Engineering +28

Scheduling Distributed Real-Time Systems by Satisfiability Checking

Alexander Metzner, Martin Fränzle, Christian Herde et al. · 2006 · 22 citations

Mathematical Programming, Engineering, Satisfiability Checking +21

Incremental Contract-based Verification of Software Updates for Safety-Critical Cyber-Physical Systems

Yosab Bebawy, Houssem Guissouma, Sebastian Vander Maelen et al. · 2020 · 18 citations

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

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

Rows per page

1–5 of 7