The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)
Ernst Moritz Hahn and Arnd Hartmanns and Christian Hensel and Michaela Klauck and Joachim Klein and Jan Kretínský and David Parker and Tim Quatmann and Enno Ruijters and Marcel Steinmetz
Proceedings of the 25th Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019
🖺 PDF10.1007/978-3-030-17502-3\_5
Towards automated network mitigation analysis
Patrick Speicher and Marcel Steinmetz and Jörg Hoffmann and Michael Backes and Robert Künnemann
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019
🖺 PDF10.1145/3297280.3297473
Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs
Marcel Steinmetz and Álvaro Torralba
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2018