Person

Dr. Ingo Stierand

 

Position im OFFIS

Senior Researcher

 

Forschungsbereiche

Verkehr / Safety & Security oriented Design Methods & Processes

Competence Center

Dependable Systems
Embedded Systems Design Automation

 

Forschungsinteresse

Modellierung und Verifikation von Echtzeitsystemen Architekturen sicherheitskritischer Systeme

 

Raum

O111/112

Telefon

+49 441 9722-527

Adresse

OFFIS Escherweg 2 26121 Oldenburg

E-Mail

ingo.stierand [ A T ] offis.de

 

Publikationen

Titel

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

Buchtitel

International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)

Alle Autoren

Ingo Stierand, Philipp Reinkemeier, Sebastian Gerwinn, Thomas Peikenkamp

Jahr

2016

Titel

A Design Space Exploration Tool Demonstration for Automotive Systems

Titel der Konferenz

DAC 2013

Alle Autoren

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo and Thaden, Eike

Jahr

2013

Titel

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

Buchtitel

Embedded Systems: Design, Analysis and Verification

Titel der Konferenz

International Embedded Systems Symposium

Alle Autoren

Reinkemeier, Philipp and Stierand, Ingo

Jahr

2013

Titel

Contract-Based Compositional Scheduling Analysis for Evolving Systems

Buchtitel

Embedded Systems: Design, Analysis and Verification

Titel der Konferenz

International Embedded Systems Symposium 2013

Alle Autoren

Gezgin, Tayfun and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo

Jahr

2013

Titel

From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach

Alle Autoren

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Janssen, Detlef and Stierand, Ingo and Thaden, Eike

Jahr

2013

Titel

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

Titel der Konferenz

IEEE International Symposium on Industrial Embedded Systems (SIES) 2013

Alle Autoren

Stierand, Ingo and Reinkemeier, Philipp and Gezgin, Tayfun and Bhaduri, Purandar

Jahr

2013

Titel

State-based scheduling analysis for distributed real-time systems

Buchtitel

Design Automation for Embedded Systems

Alle Autoren

Gezgin, Tayfun and Stierand, Ingo and Henkler, Stefan and Rettberg, Achim

Jahr

2013

Titel

Abstraction Techniques for Compositional State-based Scheduling Analysis

Titel der Konferenz

Brazilian Symposium on Computing System Engineering

Alle Autoren

Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.

Jahr

2012

Titel

Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks

Buchtitel

System Specification and Design Languages - Selected Contributions from FDL 2010

Alle Autoren

Bücker, Matthias and Grüttner, Kim and Hartmann, Philipp A. and Stierand, Ingo

Jahr

2012

Titel

Technical Viewpoint

Buchtitel

Model-Based Engineering of Embedded Systems

Alle Autoren

Weber, Raphael and Reinkemeier, Philipp and Henkler, Stefan and Stierand, Ingo

Jahr

2012

Titel

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

Buchtitel

Software Engineering 2011 Workshopband

Titel der Konferenz

Software Engineering 2011

Alle Autoren

Reinkemeier, Philipp and Stierand, Ingo and Rehkop, Philip and Henkler, Stefan

Jahr

2011

Titel

An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models

Buchtitel

Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)

Titel der Konferenz

International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)

Alle Autoren

Büker, Matthias and Damm, Werner and Ehmen, Günter and Stierand, Ingo

Jahr

2011

Titel

Automating the Design Flow for Distributed Embedded Automotive Applications: Keeping Your Time Promises, and Optimizing Costs, too

Buchtitel

Proc. International Symposium on Industrial Embedded Systems (SIES'11)

Titel der Konferenz

International Symposium on Industrial Embedded Systems (SIES'11)

Alle Autoren

Büker, Matthias and Damm, Werner and Ehmen, Günter and Metzner, Alexander and Stierand, Ingo and Thaden, Eike

Jahr

2011

Titel

Automating the design flow for distributed embedded automotive applications: keeping your time promises, and optimizing costs, too (TR)

Alle Autoren

Büker, Matthias and Damm, Werner and Ehmen, Günter and Metzner, Alexander and Stierand, Ingo and Thaden, Eike

Jahr

2011

Titel

Cost-Minimal Pre-Allocation of Software Tasks Under Real-Time Constraints

Buchtitel

Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011)

Titel der Konferenz

2011 Research in Applied Computation Symposium

Alle Autoren

Clark, Brian and Stierand, Ingo and Thaden, Eike

Jahr

2011

Titel

Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design

Titel der Konferenz

DATE 2011

Alle Autoren

Damm, Werner and Hungar, Hardi and Josko, Bernhard and Peikenkamp, Thomas and Stierand, Ingo and

Jahr

2011

Titel

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

Buchtitel

Proceedings of the 8th IFIP International Conference on Software Technologies for embedded and ubiquitous Systems (SEUS)

Titel der Konferenz

8th IFIP International Conference on Software Technologies for embedded and ubiquitous Systems (SEUS)

Alle Autoren

Baumgart, Andreas and Reinkemeier, Philipp and Rettberg, Achim and Stierand, Ingo and Thaden, Eike and Weber, Raphael

Jahr

2010

Titel

A Proposal for Real-time Interfaces in SPEEDS

Titel der Konferenz

13th Conference on Design, Automation and Test (DATE)

Alle Autoren

Purandard Bhaduri and Ingo Stierand

Jahr

2010

Titel

Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion

Buchtitel

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

Titel der Konferenz

16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications

Alle Autoren

Thaden, Eike and Lipskoch, Henrik and Metzner, Alexander and Stierand, Ingo

Jahr

2010

Titel

Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks

Titel der Konferenz

Forum on Specification & Design Languages (FDL)

Alle Autoren

Büker, Matthias and Grüttner, Kim and Hartmann, Philipp A. and Stierand Ingo

Jahr

2010

Titel

Efficient Model-Checking for Real-Time Task Networks

Titel der Konferenz

6th International Conference on Embedded Software and Systems (ICESS'09)

Alle Autoren

Dierks, H., Metzner, A., Stierand, I.

Jahr

2009

Titel

Testing Real-Time Task Networks with Functional Extensions Using Model-Checking

Titel der Konferenz

ETFA 2009 - Emerging Technologies and Factory Automation 2009

Alle Autoren

Büker, Matthias and Metzner Alexander, Stierand, Ingo

Jahr

2009

Titel

An Optimal Approach to the Task Allocation Problem on Hierarchical Architectures.

Buchtitel

Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium

Alle Autoren

Metzner, A. and Fränzle, M. and Herde, C. and Stierand, I.

Jahr

2006

Titel

Scheduling Distributed Real-Time Systems by Satisfiability Checking

Buchtitel

Proceedings of the IEEE Conference on Embedded and Real-Time Computing Systems and Applications.

Alle Autoren

Metzner, A. and Fränzle, M. and Herde, C. and Stierand, I.

Jahr

2005