S. Stein

White Paper : System Level Performance Analysis with Formal Methods and Virtual Prototyping White Paper :

J. Braam, S. Schliecker, S. Stein, 2022 .

A Lazy Algorithm for Distributed Priority Assignment in Real-Time Systems

Rolf Ernst, Steffen Stein, Moritz Neukirchner, 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

Distributed Priority Assignment in Real-Time Systems

Rolf Ernst, Steffen Stein, Moritz Neukirchner, 2014, Embedded Systems Development, From Functional Models to Implementations.

The EPOC Architecture - Enabling Evolution Under Hard Constraints

Rolf Ernst, Steffen Stein, Moritz Neukirchner, 2011, Organic Computing.

Deriving Monitoring Bounds for Distributed Real-Time Systems

Rolf Ernst, Steffen Stein, Moritz Neukirchner, 2012, 2012 24th Euromicro Conference on Real-Time Systems.

Bounding mode change transition latencies for multi-mode real-time distributed applications

Rolf Ernst, Simon Schliecker, Steffen Stein, 2011, ETFA2011.

Real-time communication analysis for networks with two-stage arbitration

Rolf Ernst, Jonas Diemer, Jonas Rox, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

Admission control and self-configuration in the EPOC framework

Rolf Ernst, Steffen Stein, Moritz Neukirchner, 2011, 2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

Distributed Performance Control in Organic Embedded Systems

Rolf Ernst, Steffen Stein, R. Ernst, 2008, ATC.

Real-Time Property Verification in Organic Computing Systems

Rolf Ernst, Arne Hamann, Steffen Stein, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

On the convergence of the SymTA / S analysis

Rolf Ernst, Simon Schliecker, Jonas Diemer, 2008 .

Performance Analysis of Complex Systems by Integration of Dataflow Graphs and Compositional Performance Analysis

Rolf Ernst, Simon Schliecker, Steffen Stein, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.