Tobias Stumpf

According to our database, Tobias Stumpf authored at least 4 papers between 2010 and 2019.

Collaborative distances:

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

2019

Configuration of inter-process communication with probabilistic model checking.

Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz

Int. J. Softw. Tools Technol. Transf., 2019

2017

Towards Automated Configuration of Systems with Non-Functional Constraints.

Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2013

A conservative real-time garbage collector for C/C++ running on top of RTEMS.

Tobias Stumpf, Matthias Werner

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2010

Design eines Virtual Machine Monitors aufbauend auf einem Mikrokern.

Tobias Stumpf

Proceedings of the Eingebettete Systeme, 2010