Modeling performance of hadoop applications: A journey from queueing networks to stochastic well formed nets D Ardagna, S Bernardi, E Gianniti, S Karimian Aliabadi, D Perez-Palacin, ... Algorithms and Architectures for Parallel Processing: 16th International …, 2016 | 40 | 2016 |
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, 3577-3614, 2019 | 23 | 2019 |
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 | 22 | 2017 |
On-the-fly model checking for extended action-based probabilistic operators R Mateescu, JI Requeno International Journal on Software Tools for Technology Transfer 20, 563-587, 2018 | 15 | 2018 |
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, 67-85, 2019 | 14 | 2019 |
ParetoLib: A python library for parameter synthesis A Bakhirkin, N Basset, O Maler, JIR Jarabo Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019 | 11 | 2019 |
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 | 11 | 2010 |
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 | 10 | 2018 |
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 | 10 | 2016 |
A systematic approach for performance assessment using process mining: An industrial experience report S Bernardi, JL Domínguez, A Gómez, C Joubert, J Merseguer, ... Empirical Software Engineering 23, 3394-3441, 2018 | 8 | 2018 |
Coverage analysis of net inscriptions in coloured Petri net models F Ahishakiye, JI Requeno Jarabo, LM Kristensen, V Stolz International Conference on Verification and Evaluation of Computer and …, 2020 | 7 | 2020 |
Mc/dc test cases generation based on bdds F Ahishakiye, JI Requeno Jarabo, LM Kristensen, V Stolz International Symposium on Dependable Software Engineering: Theories, Tools …, 2021 | 6 | 2021 |
Learning specifications for labelled patterns N Basset, T Dang, A Mambakam, JIR Jarabo International Conference on Formal Modeling and Analysis of Timed Systems, 76-93, 2020 | 6 | 2020 |
Evaluation of properties over phylogenetic trees using stochastic logics JI Requeno, JM Colom BMC bioinformatics 17, 1-14, 2016 | 6 | 2016 |
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 | 6 | 2011 |
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 | 5 | 2013 |
Compact representation of biological sequences using set decision diagrams JI Requeno, JM Colom 6th International Conference on Practical Applications of Computational …, 2012 | 5 | 2012 |
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 | 5 | 2012 |
DICE simulation: a tool for software performance assessment at the design stage S Bernardi, A Gómez, J Merseguer, D Perez-Palacin, JI Requeno Automated Software Engineering 29 (1), 36, 2022 | 4 | 2022 |
Detectors of smart grid integrity attacks: an experimental assessment S Bernardi, R Javierre, J Merseguer, JI Requeno 2021 17th European Dependable Computing Conference (EDCC), 75-82, 2021 | 3 | 2021 |