| 2021 | EDCC | Detectors of Smart Grid Integrity Attacks: an Experimental Assessment. | Simona Bernardi, Ral Javierre, Jos Merseguer, Jos Ignacio Requeno |
| 2017 | IRI | Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. | Jos Ignacio Requeno, Jos Merseguer, Simona Bernardi |
| 2016 | ICA3PP | Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets. | Danilo Ardagna, Simona Bernardi, Eugenio Gianniti, Soroush Karimian Aliabadi, Diego Perez-Palacin, Jos Ignacio Requeno |
| 2016 | ISSTA | A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study. | Simona Bernardi, Jos Ignacio Requeno, Christophe Joubert, Alberto Romeu |
| 2014 | PACBB | Timed and Probabilistic Model Checking over Phylogenetic Trees. | Jos Ignacio Requeno, Jos Manuel Colom |
| 2013 | PACBB | Speeding Up Phylogenetic Model Checking. | Jos Ignacio Requeno, Jos Manuel Colom |
| 2012 | PACBB | Sliced Model Checking for Phylogenetic Analysis. | Jos Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, Jos Manuel Colom |
| 2012 | PACBB | Compact Representation of Biological Sequences Using Set Decision Diagrams. | Jos Ignacio Requeno, Jos Manuel Colom |
| 2011 | PACBB | Phylogenetic Analysis Using an SMV Tool. | Jos Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, Jos Manuel Colom |