Phylogenetic Analysis Using an SMV Tool. - José Ignacio Requeno; Roberto Blanco; Gregorio de Miguel Casado; José Manuel Colom (PACBB, 2011)

Sliced Model Checking for Phylogenetic Analysis. - José Ignacio Requeno; Roberto Blanco; Gregorio de Miguel Casado; José Manuel Colom (PACBB, 2012)

Compact Representation of Biological Sequences Using Set Decision Diagrams. - José Ignacio Requeno; José Manuel Colom (PACBB, 2012)

Speeding Up Phylogenetic Model Checking. - José Ignacio Requeno; José Manuel Colom (PACBB, 2013)

Model checking software for phylogenetic trees using distribution and database methods. - José Ignacio Requeno; José Manuel Colom (J. Integr. Bioinform., 2013)

Temporal Logics for Phylogenetic Analysis via Model Checking. - José Ignacio Requeno; Gregorio de Miguel Casado; Roberto Blanco; José Manuel Colom (IEEE ACM Trans. Comput. Biol. Bioinform., 2013)

Timed and Probabilistic Model Checking over Phylogenetic Trees. - José Ignacio Requeno; José Manuel Colom (PACBB, 2014)

Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study. - José Ignacio Requeno; José Manuel Colom (J. Integr. Bioinform., 2014)

Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets. - Danilo Ardagna; Simona Bernardi 001; Eugenio Gianniti; Soroush Karimian Aliabadi; Diego Perez-Palacin; José Ignacio Requeno (ICA3PP, 2016)

A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study. - Simona Bernardi 001; José Ignacio Requeno; Christophe Joubert; Alberto Romeu (QUDOS@ISSTA, 2016)

Evaluation of properties over phylogenetic trees using stochastic logics. - José Ignacio Requeno; José Manuel Colom (BMC Bioinform., 2016)

Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. - José Ignacio Requeno; José Merseguer; Simona Bernardi 001 (IRI, 2017)

Towards the Performance Analysis of Apache Tez Applications. - José Ignacio Requeno; Iñigo Gascón; José Merseguer (ICPE Companion, 2018)

A systematic approach for performance assessment using process mining - An industrial experience report. - Simona Bernardi 001; Juan L. Domínguez; Abel Gómez 001; Christophe Joubert; José Merseguer; Diego Perez-Palacin; José Ignacio Requeno; Alberto Romeu (Empir. Softw. Eng., 2018)

On-the-fly model checking for extended action-based probabilistic operators. - Radu Mateescu 001; José Ignacio Requeno (Int. J. Softw. Tools Technol. Transf., 2018)

ParetoLib: A Python Library for Parameter Synthesis. - Alexey Bakhirkin; Nicolas Basset; Oded Maler; José Ignacio Requeno Jarabo (FORMATS, 2019)

Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study. - José Ignacio Requeno; José Merseguer; Simona Bernardi 001; Diego Perez-Palacin; Giorgos Giotis; Vasilis K. Papanikolaou (Inf. Syst. Frontiers, 2019)

A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications. - Diego Perez-Palacin; José Merseguer; José Ignacio Requeno; Michele Guerriero; Elisabetta Di Nitto; Damian A. Tamburri (Softw. Syst. Model., 2019)

Learning Specifications for Labelled Patterns. - Nicolas Basset; Thao Dang 001; Akshay Mambakam; José Ignacio Requeno Jarabo (FORMATS, 2020)

Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Lars Michael Kristensen; Volker Stolz (VECoS, 2020)

Hardware-Assisted Online Data Race Detection. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Violet Ka I Pun; Volker Stolz (Formal Methods in Outer Space, 2021)

Detectors of Smart Grid Integrity Attacks: an Experimental Assessment. - Simona Bernardi 001; Raúl Javierre; José Merseguer; José Ignacio Requeno (EDCC, 2021)

MC/DC Test Cases Generation Based on BDDs. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Lars Michael Kristensen; Volker Stolz (SETTA, 2021)

Adaptative Systems Based on Continuous Observation of Petri Net Product Lines. - Elena Gómez-Martínez; José Ignacio Requeno (PNSE@Petri Nets, 2022)

DICE simulation: a tool for software performance assessment at the design stage. - Simona Bernardi 001; Abel Gómez 001; José Merseguer; Diego Perez-Palacin; José Ignacio Requeno (Autom. Softw. Eng., 2022)

Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic. - José Ignacio Requeno (CoRR, 2022)

Runtime Verification of Timed Petri Nets. - José Ignacio Requeno; Elena Gómez-Martínez; Hannes Kallwies; Melanie Haustein; Martin Leucker; Volker Stolz; Patrick Stünkel (PNSE@Petri Nets, 2024)

QCRMut: Quantum Circuit Random Mutant generator tool. - Sinhué García Gil; Luis Llana Díaz; José Ignacio Requeno Jarabo (CoRR, 2024)

Coverage visualization and analysis of net inscriptions in coloured Petri net models. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Lars Michael Kristensen; Volker Stolz (Innov. Syst. Softw. Eng., 2024)

Mining of extended signal temporal logic specifications with ParetoLib 2.0. - Akshay Mambakam; José Ignacio Requeno Jarabo; Alexey Bakhirkin; Nicolas Basset; Thao Dang 001 (Formal Methods Syst. Des., 2024)