José Ignacio Requeno

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 15

Top Topics

Top Venues

PNSE@Petri Nets

Publications

José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel
Runtime Verification of Timed Petri Nets. PNSE@Petri Nets (2024)
Elena Gómez-Martínez, José Ignacio Requeno
Adaptative Systems Based on Continuous Observation of Petri Net Product Lines. PNSE@Petri Nets (2022)
Simona Bernardi, Abel Gómez, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno
DICE simulation: a tool for software performance assessment at the design stage. Autom. Softw. Eng. 29 (1) (2022)
José Ignacio Requeno
Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic. CoRR (2022)
Simona Bernardi, Raúl Javierre, José Merseguer, José Ignacio Requeno
Detectors of Smart Grid Integrity Attacks: an Experimental Assessment. EDCC (2021)
Diego Perez-Palacin, José Merseguer, José Ignacio Requeno, Michele Guerriero, Elisabetta Di Nitto, Damian A. Tamburri
A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications. Softw. Syst. Model. 18 (6) (2019)
José Ignacio Requeno, José Merseguer, Simona Bernardi, Diego Perez-Palacin, Giorgos Giotis, Vasilis K. Papanikolaou
Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study. Inf. Syst. Frontiers 21 (1) (2019)
Simona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno, Alberto Romeu
A systematic approach for performance assessment using process mining - An industrial experience report. Empir. Softw. Eng. 23 (6) (2018)
José Ignacio Requeno, Iñigo Gascón, José Merseguer
Towards the Performance Analysis of Apache Tez Applications. ICPE Companion (2018)
Radu Mateescu, José Ignacio Requeno
On-the-fly model checking for extended action-based probabilistic operators. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
José Ignacio Requeno, José Merseguer, Simona Bernardi
Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. IRI (2017)
Simona Bernardi, José Ignacio Requeno, Christophe Joubert, Alberto Romeu
A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study. QUDOS@ISSTA (2016)
Radu Mateescu, José Ignacio Requeno
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators. SPIN (2016)
José Ignacio Requeno, José Manuel Colom
Evaluation of properties over phylogenetic trees using stochastic logics. BMC Bioinform. 17 (2016)
Danilo Ardagna, Simona Bernardi, Eugenio Gianniti, Soroush Karimian Aliabadi, Diego Perez-Palacin, José Ignacio Requeno
Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets. ICA3PP (2016)
José Ignacio Requeno, José Manuel Colom
Timed and Probabilistic Model Checking over Phylogenetic Trees. PACBB (2014)
José Ignacio Requeno, José Manuel Colom
Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study. J. Integr. Bioinform. 11 (3) (2014)
José Ignacio Requeno, José Manuel Colom
Model checking software for phylogenetic trees using distribution and database methods. J. Integr. Bioinform. 10 (3) (2013)
José Ignacio Requeno, Gregorio de Miguel Casado, Roberto Blanco, José Manuel Colom
Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (4) (2013)
José Ignacio Requeno, José Manuel Colom
Speeding Up Phylogenetic Model Checking. PACBB (2013)
José Ignacio Requeno, José Manuel Colom
Compact Representation of Biological Sequences Using Set Decision Diagrams. PACBB (2012)
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
Sliced Model Checking for Phylogenetic Analysis. PACBB (2012)
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
Phylogenetic Analysis Using an SMV Tool. PACBB (2011)
Roberto Blanco, Gregorio de Miguel Casado, José Ignacio Requeno, José Manuel Colom
Temporal logics for phylogenetic analysis via model checking. BIBM Workshops (2010)