Linda Herrmann

According to our database1, Linda Herrmann authored at least 6 papers between 2014 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Formal configuration of fault-tolerant systems.
PhD thesis, 2018

A Hardware/Software Stack for Heterogeneous Systems.
IEEE Trans. Multi-Scale Computing Systems, 2018

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017
Towards Automated Configuration of Systems with Non-Functional Constraints.
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.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2014
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014


  Loading...