Carlos E. Budde, Pedro D'Argenio, Raúl E. Monti. Compositional Construction of Importance Functions in Fully Automated Importance Splitting. In Antonio Puliafito, Kishor S. Trivedi, Bruno Tuffin, Marco Scarpa, Fumio Machida, Javier Alonso, editors, 10th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2016, Taormina, Italy, 25th-28th Oct 2016. ACM, 2016. [doi]
Abstract is missing.