José Ignacio Requeno
Title
Cited by
Cited by
Year
Modeling performance of hadoop applications: A journey from queueing networks to stochastic well formed nets
D Ardagna, S Bernardi, E Gianniti, SK Aliabadi, D Perez-Palacin, ...
International Conference on Algorithms and Architectures for Parallel …, 2016
302016
Performance analysis of Apache Storm applications using stochastic petri nets
JI Requeno, J Merseguer, S Bernardi
2017 IEEE International Conference on Information Reuse and Integration (IRI …, 2017
112017
Temporal logics for phylogenetic analysis via model checking
R Blanco, G de Miguel Casado, JI Requeno, JM Colom
2010 IEEE International Conference on Bioinformatics and Biomedicine …, 2010
102010
A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study
S Bernardi, JI Requeno, C Joubert, A Romeu
Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 24-29, 2016
92016
Quantitative analysis of apache storm applications: the newsasset case study
JI Requeno, J Merseguer, S Bernardi, D Perez-Palacin, G Giotis, ...
Information Systems Frontiers 21 (1), 67-85, 2019
72019
On-the-fly model checking for extended action-based probabilistic operators
R Mateescu, JI Requeno
International Journal on Software Tools for Technology Transfer 20 (5), 563-587, 2018
62018
Phylogenetic Analysis Using an SMV Tool
JI Requeno, R Blanco, G de Miguel Casado, JM Colom
5th International Conference on Practical Applications of Computational …, 2011
62011
Temporal logics for phylogenetic analysis via model checking
JI Requeno, G de Miguel Casado, R Blanco, JM Colom
IEEE/ACM transactions on computational biology and bioinformatics 10 (4 …, 2013
52013
Compact representation of biological sequences using set decision diagrams
JI Requeno, JM Colom
6th International Conference on Practical Applications of Computational …, 2012
52012
A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications
D Perez-Palacin, J Merseguer, JI Requeno, M Guerriero, E Di Nitto, ...
Software and Systems Modeling 18 (6), 3577-3614, 2019
42019
Towards the performance analysis of Apache Tez applications
JI Requeno, I Gascón, J Merseguer
Companion of the 2018 ACM/SPEC International Conference on Performance …, 2018
42018
Evaluation of properties over phylogenetic trees using stochastic logics
JI Requeno, JM Colom
BMC bioinformatics 17 (1), 235, 2016
42016
Sliced Model Checking for Phylogenetic Analysis
JI Requeno, R Blanco, G de Miguel Casado, JM Colom
6th International Conference on Practical Applications of Computational …, 2012
42012
A systematic approach for performance assessment using process mining
S Bernardi, JL Domínguez, A Gómez, C Joubert, J Merseguer, ...
Empirical Software Engineering 23 (6), 3394-3441, 2018
32018
Model checking software for phylogenetic trees using distribution and database methods
JI Requeno, JM Colom
Journal of integrative bioinformatics 10 (3), 16-30, 2013
32013
ParetoLib: A Python Library for Parameter Synthesis
A Bakhirkin, N Basset, O Maler, JIR Jarabo
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
22019
Timed and probabilistic model checking over phylogenetic trees
JI Requeno, JM Colom
8th International Conference on Practical Applications of Computational …, 2014
22014
Speeding Up Phylogenetic Model Checking
JI Requeno, JM Colom
7th International Conference on Practical Applications of Computational …, 2013
22013
Learning Pareto Front From Membership Queries
A Bakhirkin, N Basset, O Maler, J Requeno
12019
Analyzing phylogenetic trees with timed and probabilistic model checking: The lactose persistence case study
JI Requeno, JM Colom
Journal of integrative bioinformatics 11 (3), 17-31, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–20