According to our database1, Linda Herrmann authored at least 6 papers between 2014 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
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
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014