Ingo Stierand

Orcid: 0009-0000-7936-6969

According to our database1, Ingo Stierand authored at least 39 papers between 1996 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Challenges for trustworthy autonomous vehicles: Let us learn from life.
Syst. Eng., July, 2024

Contract-based specification of mode-dependent timing behavior.
Innov. Syst. Softw. Eng., March, 2024

2021
Handling of Operating Modes in Contract-Based Timing Specifications.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

The MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment.
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Goal-Based Strategy Exploration.
Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

Architectures for Dynamically Coupled Systems.
Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

Engineering of Collaborative Embedded Systems.
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.
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).
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).
Proceedings of the 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems, 2018

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

2015
Contracts for Schedulability Analysis.
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.
Des. Autom. Embed. Syst., 2014

Impact analysis for timing requirements on real-time systems.
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.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Evaluation of a state-based real-time scheduling analysis technique.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013
Exploiting Functional Models to Assess the Security Aspect in Embedded System Design.
Proceedings of the Security in Computing and Communications - International Symposium, 2013

Real-time scheduling interfaces and contracts for the design of distributed embedded systems.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction.
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.
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Contract-Based Compositional Scheduling Analysis for Evolving Systems.
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

2012
Abstraction Techniques for Compositional State-Based Scheduling Analysis.
Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

Technical Viewpoint.
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.
Proceedings of the Industrial Embedded Systems (SIES), 2011

A pattern-based requirement specification language: Mapping automotive specific timing requirements.
Proceedings of the Software Engineering 2011, 2011

Cost-minimal pre-allocation of software tasks under real-time constraints.
Proceedings of the Research in Applied Computation Symposium, 2011

An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Using contract-based component specifications for virtual integration testing and architecture design.
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.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion.
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.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

A proposal for real-time interfaces in SPEEDS.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
Efficient Model-Checking for Real-Time Task Networks.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Testing Real-time Task Networks with Functional Extensions using Model-checking.
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.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005
Scheduling Distributed Real-Time Systems by Satisfiability Checking.
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.
PhD thesis, 2001

1996
Computer Based Steganography: How It Works and Why Therefore Any Restrictions on Cryptography Are Nonsense, at Best.
Proceedings of the Information Hiding, First International Workshop, Cambridge, UK, May 30, 1996


  Loading...