Publicaciones en colaboración con investigadores/as de Universidad de Zaragoza (24)

2024

  1. Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies

    PeerJ Computer Science, Vol. 10

2022

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

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

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

  2. Timed and probabilistic model checking over phylogenetic trees

    Advances in Intelligent Systems and Computing

2013

  1. Model checking software for phylogenetic trees using distribution and database methods.

    Journal of integrative bioinformatics, Vol. 10, Núm. 3, pp. 229

  2. Speeding Up Phylogenetic Model Checking

    Advances in Intelligent Systems and Computing, Vol. 222, pp. 119-126

  3. Temporal logics for phylogenetic analysis via model checking

    IEEE/ACM Transactions on Computational Biology and Bioinformatics, Vol. 10, Núm. 4, pp. 1058-1070

2012

  1. Compact Representation of Biological Sequences Using Set Decision Diagrams

    6TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS

  2. Compact representation of biological sequences using set decision diagrams

    Advances in Intelligent and Soft Computing

  3. Sliced Model Checking for Phylogenetic Analysis

    6TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS