Ingo Stierand

According to our database, Ingo Stierand authored at least 38 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Contract-based specification of mode-dependent timing behavior.

Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle

Innov. Syst. Softw. Eng., March, 2024

2021

Handling of Operating Modes in Contract-Based Timing Specifications.

Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Fränzle

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

The MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment.

Jan-Philipp Steghöfer, Björn Koopmann, Jan Steffen Becker, Ingo Stierand, Marc Zeller, Maria Bonner, David Schmelter, Salome Maro

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Goal-Based Strategy Exploration.

Patricia Aluko Obe, Jennifer Brings, Marian Daun, Linda Feeken, Elham Mirzaei, Martin Neumann, Jochen Nickles, Simon Rösel, Markus Sauer, Holger Schlingloff, Ingo Stierand, Jan Stefan Zernickel

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

Architectures for Dynamically Coupled Systems.

Malin Gandor, Nicolas Jäckel, Lorenz Käser, Alexander Schlie, Ingo Stierand, Axel Terfloth, Steffen Toborg, Louis Wachtmeister, Anna Wißdorf

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

Engineering of Collaborative Embedded Systems.

Birthe Böhm, Wolfgang Böhm, Marian Daun, Alexander Hayward, Sieglinde Kranz, Nikolaus Regnat, Sebastian Schröck, Ingo Stierand, Andreas Vogelsang, Jan Vollmar, Sebastian Voss, Thorsten Weyer, Andreas Wortmann

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2019

Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling.

Werner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann, Frank Poppen, Ingo Stierand

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018

Entwurfsabsicherung für eingebettete Mehrkernsysteme im Kontext der ISO 26262 (Design Validation for Embedded Multi-core Systems in the Context of ISO 26262).

Benedikt Bauer, Jan Steffen Becker, Thomas Peikenkamp, Christof Schlaak, Ingo Stierand

Proceedings of the Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018), 2018

4th International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC'18).

Wolfgang Böhm, Ingo Stierand, Andreas Vogelsang, Thorsten Weyer

Proceedings of the 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems, 2018

2016

Preface.

Wolfgang Böhm, Ingo Stierand, Andreas Vogelsang, Thorsten Weyer

Proceedings of the 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, 2016

2015

Contracts for Schedulability Analysis.

Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

State-based scheduling analysis for distributed real-time systems - Coping with the large state space by a compositional approach.

Tayfun Gezgin, Ingo Stierand, Stefan Henkler, Achim Rettberg

Des. Autom. Embed. Syst., 2014

Impact analysis for timing requirements on real-time systems.

Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg

Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Integrating the Security Aspect into Design Space Exploration of Embedded Systems.

Ingo Stierand, Sunil Malipatlolla, Sibylle B. Fröschle, Alexander Stühring, Stefan Henkler

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

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

Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction.

Ingo Stierand, Philipp Reinkemeier, Purandar Bhaduri

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013

Exploiting Functional Models to Assess the Security Aspect in Embedded System Design.

Ingo Stierand, Sunil Malipatlolla

Proceedings of the Security in Computing and Communications - International Symposium, 2013

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

Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin, Purandar Bhaduri

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

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

Philipp Reinkemeier, Ingo Stierand

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

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

Sunil Malipatlolla, Ingo Stierand

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Contract-Based Compositional Scheduling Analysis for Evolving Systems.

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

2012

Abstraction Techniques for Compositional State-Based Scheduling Analysis.

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand

Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

Technical Viewpoint.

Raphael Weber, Philipp Reinkemeier, Stefan Henkler, Ingo Stierand

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011

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

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

Proceedings of the Industrial Embedded Systems (SIES), 2011

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

Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler

Proceedings of the Software Engineering 2011, 2011

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

Brian Clark, Ingo Stierand, Eike Thaden

Proceedings of the Research in Applied Computation Symposium, 2011

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

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

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

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

Proceedings of the Design, Automation and Test in Europe, 2011

2010

A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems.

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

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion.

Eike Thaden, Henrik Lipskoch, Alexander Metzner, Ingo Stierand

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

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

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

Proceedings of the 2010 Forum on specification & Design Languages, 2010

A proposal for real-time interfaces in SPEEDS.

Purandar Bhaduri, Ingo Stierand

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Efficient Model-Checking for Real-Time Task Networks.

Henning Dierks, Alexander Metzner, Ingo Stierand

Proceedings of the International Conference on Embedded Software and Systems, 2009

Testing Real-time Task Networks with Functional Extensions using Model-checking.

Matthias Büker, Alexander Metzner, Ingo Stierand

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2006

An optimal approach to the task allocation problem on hierarchical architectures.

Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Scheduling Distributed Real-Time Systems by Satisfiability Checking.

Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand

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

2001

Ambrosia MP - ein Echtzeitbetriebssystem für eingebettete Mehrprozessorsysteme.

Ingo Stierand

PhD thesis, 2001

1996

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

Elke Franz, Anja Jerichow, Steffen Möller, Andreas Pfitzmann, Ingo Stierand

Proceedings of the Information Hiding, First International Workshop, Cambridge, UK, May 30, 1996