José Ignacio Requeno

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