Linda Herrmann

According to our database, Linda Herrmann authored at least 8 papers between 2014 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

2018

Formal configuration of fault-tolerant systems.

Linda Herrmann

PhD thesis, 2018

A Hardware/Software Stack for Heterogeneous Systems.

Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich

IEEE Trans. Multi Scale Comput. Syst., 2018

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.

Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

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

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.

Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2014

Compositionality in Probabilistic Model Checking.

Linda Leuschner

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking.

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014