Ingo Stierand

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 8

Top Venues

EITEC@CPSWeek

FORMATS

RTCSA

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle
Contract-based specification of mode-dependent timing behavior. Innov. Syst. Softw. Eng. 20 (1) (2024)
Imke Hoppe, Willem Hagemann, Ingo Stierand, Axel Hahn, André Bolles
Challenges for trustworthy autonomous vehicles: Let us learn from life. Syst. Eng. 27 (4) (2024)
Jan-Philipp Steghöfer, Björn Koopmann, Jan Steffen Becker, Ingo Stierand, Marc Zeller, Maria Bonner, David Schmelter, Salome Maro
The MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment. RE (2021)
Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Fränzle
Handling of Operating Modes in Contract-Based Timing Specifications. VECoS (2021)
Werner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann, Frank Poppen, Ingo Stierand
Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling. DESTION@CPSIoTWeek (2019)
Benedikt Bauer, Jan Steffen Becker, Thomas Peikenkamp, Christof Schlaak, Ingo Stierand
Entwurfsabsicherung für eingebettete Mehrkernsysteme im Kontext der ISO 26262 (Design Validation for Embedded Multi-core Systems in the Context of ISO 26262). Software Engineering (Workshops) (2018)
Wolfgang Böhm, Ingo Stierand, Andreas Vogelsang, Thorsten Weyer
4th International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC'18). EITEC@CPSWeek (2018)
Wolfgang Böhm, Ingo Stierand, Andreas Vogelsang, Thorsten Weyer
Preface. EITEC@CPSWeek (2016)
Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand
Contracts for Schedulability Analysis. FORMATS (2015)
Ingo Stierand, Philipp Reinkemeier, Purandar Bhaduri
Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction. FORMATS (2014)
Tayfun Gezgin, Ingo Stierand, Stefan Henkler, Achim Rettberg
State-based scheduling analysis for distributed real-time systems - Coping with the large state space by a compositional approach. Des. Autom. Embed. Syst. 18 (1-2) (2014)
Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg
Impact analysis for timing requirements on real-time systems. RTCSA (2014)
Ingo Stierand, Sunil Malipatlolla, Sibylle B. Fröschle, Alexander Stühring, Stefan Henkler
Integrating the Security Aspect into Design Space Exploration of Embedded Systems. ISSRE Workshops (2014)
Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg
Evaluation of a state-based real-time scheduling analysis technique. INDIN (2014)
Philipp Reinkemeier, Ingo Stierand
Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction. IESS (2013)
Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand
Contract-Based Compositional Scheduling Analysis for Evolving Systems. IESS (2013)
Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin, Purandar Bhaduri
Real-time scheduling interfaces and contracts for the design of distributed embedded systems. SIES (2013)
Ingo Stierand, Sunil Malipatlolla
Exploiting Functional Models to Assess the Security Aspect in Embedded System Design. SSCC (2013)
Sunil Malipatlolla, Ingo Stierand
Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System. IESS (2013)
Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand
Abstraction Techniques for Compositional State-Based Scheduling Analysis. SBESC (2012)
Matthias Büker, Werner Damm, Günter Ehmen, Alexander Metzner, Ingo Stierand, Eike Thaden
Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too. SIES (2011)
Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand
Using contract-based component specifications for virtual integration testing and architecture design. DATE (2011)
Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand
An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. FMICS (2011)
Brian Clark, Ingo Stierand, Eike Thaden
Cost-minimal pre-allocation of software tasks under real-time constraints. RACS (2011)
Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler
A pattern-based requirement specification language: Mapping automotive specific timing requirements. Software Engineering (Workshops) (2011)
Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems. SEUS (2010)
Matthias Büker, Kim Grüttner, Philipp A. Hartmann, Ingo Stierand
Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks. FDL (2010)
Purandar Bhaduri, Ingo Stierand
A proposal for real-time interfaces in SPEEDS. DATE (2010)
Eike Thaden, Henrik Lipskoch, Alexander Metzner, Ingo Stierand
Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion. RTCSA (2010)
Matthias Büker, Alexander Metzner, Ingo Stierand
Testing Real-time Task Networks with Functional Extensions using Model-checking. ETFA (2009)
Henning Dierks, Alexander Metzner, Ingo Stierand
Efficient Model-Checking for Real-Time Task Networks. ICESS (2009)
Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
An optimal approach to the task allocation problem on hierarchical architectures. IPDPS (2006)
Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA (2005)
Elke Franz, Anja Jerichow, Steffen Möller, Andreas Pfitzmann, Ingo Stierand
Computer Based Steganography: How It Works and Why Therefore Any Restrictions on Cryptography Are Nonsense, at Best. Information Hiding (1996)

Ingo Stierand.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ingo Stierand