Publicaciones (31) Publicaciones de JOSÉ IGNACIO REQUENO JARABO

2024

  1. 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

2022

  1. Adaptative Systems Based on Continuous Observation of Petri Net Product Lines

    CEUR Workshop Proceedings

  2. DICE simulation: a tool for software performance assessment at the design stage

    Automated Software Engineering, Vol. 29, Núm. 1

2021

  1. Detectors of Smart Grid Integrity Attacks: An Experimental Assessment

    Proceedings - 2021 17th European Dependable Computing Conference, EDCC 2021

  2. 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

  3. 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

  1. 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)

  2. Learning Specifications for Labelled Patterns

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2019

  1. 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

  2. ParetoLib: A Python Library for Parameter Synthesis

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study

    Information Systems Frontiers, Vol. 21, Núm. 1, pp. 67-85

2018

  1. A systematic approach for performance assessment using process mining: An industrial experience report

    Empirical Software Engineering, Vol. 23, Núm. 6, pp. 3394-3441

  2. 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

  3. Towards the performance analysis of apache tez applications

    ICPE 2018 - Companion of the 2018 ACM/SPEC International Conference on Performance Engineering

2017

  1. Performance analysis of Apache Storm applications using stochastic petri nets

    Proceedings - 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017

2016

  1. 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

  2. Evaluation of properties over phylogenetic trees using stochastic logics

    BMC Bioinformatics, Vol. 17, Núm. 1

  3. 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)

  4. On-the-fly model checking for extended action-based probabilistic operators

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2014

  1. Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study

    Journal of integrative bioinformatics, Vol. 11, Núm. 3, pp. 248