![Foto de JOSÉ IGNACIO](/img/nophoto.png)
JOSÉ IGNACIO
REQUENO JARABO
Profesor ayudante doctor
Publicaciones (33) Publicaciones de JOSÉ IGNACIO REQUENO JARABO
2024
-
Coverage visualization and analysis of net inscriptions in coloured Petri net models
Innovations in Systems and Software Engineering, Vol. 20, Núm. 1, pp. 17-30
-
Mining of extended signal temporal logic specifications with ParetoLib 2.0
Formal Methods in System Design, Vol. 62, Núm. 1-3, pp. 260-284
-
Runtime Verification of Timed Petri Nets
CEUR Workshop Proceedings
2022
-
Adaptative Systems Based on Continuous Observation of Petri Net Product Lines
CEUR Workshop Proceedings
-
DICE simulation: a tool for software performance assessment at the design stage
Automated Software Engineering, Vol. 29, Núm. 1
2021
-
Detectors of Smart Grid Integrity Attacks: An Experimental Assessment
Proceedings - 2021 17th European Dependable Computing Conference, EDCC 2021
-
Hardware-Assisted Online Data Race Detection
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 108-126
-
MC/DC Test Cases Generation Based on BDDs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020
-
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Learning Specifications for Labelled Patterns
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
-
A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications
Software and Systems Modeling, Vol. 18, Núm. 6, pp. 3577-3614
-
ParetoLib: A Python Library for Parameter Synthesis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study
Information Systems Frontiers, Vol. 21, Núm. 1, pp. 67-85
2018
-
A systematic approach for performance assessment using process mining: An industrial experience report
Empirical Software Engineering, Vol. 23, Núm. 6, pp. 3394-3441
-
On-the-fly model checking for extended action-based probabilistic operators
International Journal on Software Tools for Technology Transfer, Vol. 20, Núm. 5, pp. 563-587
-
Towards the performance analysis of apache tez applications
ICPE 2018 - Companion of the 2018 ACM/SPEC International Conference on Performance Engineering
2017
-
Performance analysis of Apache Storm applications using stochastic petri nets
Proceedings - 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017
2016
-
A systematic approach for performance evaluation using process mining: The POSIDONIA operations case study
QUDOS 2016 - Proceedings of the 2nd International Workshop on Quality-Aware DevOps, co-located with ISSTA 2016
-
Evaluation of properties over phylogenetic trees using stochastic logics
BMC Bioinformatics, Vol. 17, Núm. 1
-
Modeling performance of Hadoop applications: A journey from queueing networks to stochastic well formed nets
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)