Ingo Stierand

发表

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).

Abstraction Techniques for Compositional State-Based Scheduling Analysis

Achim Rettberg, Stefan Henkler, Ingo Stierand, 2012, 2012 Brazilian Symposium on Computing System Engineering.

From High-Level Verification to Real-Time Scheduling : A Property-Preserving Integration ?

Ingo Stierand, Johannes Faber, 2007 .

Seamless Segregation for Multi-Core Systems ∗

Ingo Stierand, Philipp Reinkemeier, Stefan Henkler, 2013 .

Architectures for Dynamically Coupled Systems

Ingo Stierand, Axel Terfloth, Alexander Schlie, 2020, Model-Based Engineering of Collaborative Embedded Systems.

Engineering of Collaborative Embedded Systems

Nikolaus Regnat, Andreas Vogelsang, Birthe Böhm, 2020, Model-Based Engineering of Collaborative Embedded Systems.

Technical Viewpoint

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

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

Eike Thaden, Stefan Henkler, Ingo Stierand, 2013 .

Goal-Based Strategy Exploration

Ingo Stierand, Holger Schlingloff, Marian Daun, 2020, Model-Based Engineering of Collaborative 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.

Scheduling distributed real-time systems by satisfiability checking

Martin Fränzle, Ingo Stierand, Christian Herde, 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).

Handling of Operating Modes in Contract-Based Timing Specifications

Ingo Stierand, M. Fränzle, Björn Koopmann, 2021, VECoS.

Impact analysis for timing requirements on real-time systems

Achim Rettberg, Stefan Henkler, Ingo Stierand, 2014, 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications.

Evaluation of a state-based real-time scheduling analysis technique

Achim Rettberg, Stefan Henkler, Ingo Stierand, 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

State-based scheduling analysis for distributed real-time systems

Achim Rettberg, Stefan Henkler, Ingo Stierand, 2014, Des. Autom. Embed. Syst..

State-based scheduling analysis for distributed real-time systems

Ingo Stierand, Tayfun Gezgin, Stefan Henkler, 2013, Design Automation for Embedded Systems.

Contract-Based Compositional Scheduling Analysis for Evolving Systems

Achim Rettberg, Stefan Henkler, Ingo Stierand, 2013, IESS.

A proposal for real-time interfaces in SPEEDS

Ingo Stierand, Purandar Bhaduri, Ingo Stierand, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

Efficient Model-Checking for Real-Time Task Networks

Henning Dierks, Ingo Stierand, Alexander Metzner, 2009, 2009 International Conference on Embedded Software and Systems.

Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System

Ingo Stierand, Sunil Malipatlolla, Ingo Stierand, 2013, IESS.

Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too

Eike Thaden, Ingo Stierand, Alexander Metzner, 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

Cost-minimal pre-allocation of software tasks under real-time constraints

Eike Thaden, Ingo Stierand, Brian Clark, 2011, RACS.

Contracts for Schedulability Analysis

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

Computer Based Steganography: How It Works and Why Therefore Any Restrictions on Cryptography Are Nonsense, at Best

Ingo Stierand, Andreas Pfitzmann, Elke Franz, 1996, Information Hiding.

Testing real-time task networks with functional extensions using model-checking

Ingo Stierand, Alexander Metzner, Matthias Büker, 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.