Login / Signup
Tobias Stumpf
Publication Activity (10 Years)
Years Active: 2010-2019
Publications (10 Years): 2
Top Topics
Computation Tree Logic
Verification Method
Model Checking
Configuration Problems
Top Venues
Int. J. Softw. Tools Technol. Transf.
ISORC
HotOS
</>
Publications
</>
Linda Herrmann
,
Martin Küttler
,
Tobias Stumpf
,
Christel Baier
,
Hermann Härtig
,
Sascha Klüppelholz
Configuration of inter-process communication with probabilistic model checking.
Int. J. Softw. Tools Technol. Transf.
21 (6) (2019)
Linda Leuschner
,
Martin Küttler
,
Tobias Stumpf
,
Christel Baier
,
Hermann Härtig
,
Sascha Klüppelholz
Towards Automated Configuration of Systems with Non-Functional Constraints.
HotOS
(2017)
Tobias Stumpf
,
Matthias Werner
A conservative real-time garbage collector for C/C++ running on top of RTEMS.
ISORC
(2013)
Tobias Stumpf
Design eines Virtual Machine Monitors aufbauend auf einem Mikrokern.
Echtzeit
(2010)