Home » Personal » José Ignacio Requeno

José Ignacio Requeno

Web personal.

Publicaciones:

2017

  • S. Bernardi, J. L. Domínguez, A. Gómez, C. Joubert, J. Merseguer, D. Perez-Palacin, J. I. Requeno, and A. Romeu, A systematic approach for performance assessment using process mining. Industrial experience report, 2017.
    [Bibtex] 
    @Unpublished{EmEE+2017,
author = {Bernardi, Simona and Dom{\'i}nguez, Juan Lucas and G{\'o}mez, Abel and Joubert, Christophe and Merseguer, Jos{\'e} and Perez-Palacin, Diego and Requeno, Jos{\'e} Ignacio and Romeu, Alberto},
title = {{A} systematic approach for performance assessment using process mining. {I}ndustrial experience report},
note = {Submitted},
year = {2017},
owner = {Ignacio},
timestamp = {2017.02.01}
}

2016

  • [DOI] D. Ardagna, S. Bernardi, Gianniti Eugenio, S. Karimian Aliabadi, D. Perez-Palacin, and J. I. Requeno, “Modeling performance of Hadoop applications: a journey from queueing networks to stochastic well formed nets” in Proceedings 16th International Conference Algorithms and Architectures for Parallel Processing, J. Carretero, J. Garcia-Blas, R. K. L. Ko, P. Mueller, and K. Nakano, Eds., Cham: Springer, 2016, vol. 10048, pp. 599-613.
    [Bibtex] 
    @InCollection{ICA3PP+2016,
author = {Ardagna, Danilo and Bernardi, Simona and Gianniti, Eugenio , and Karimian Aliabadi, Soroush and Perez-Palacin, Diego and Requeno, Jos{\'e} Ignacio},
title = {{M}odeling performance of {H}adoop applications: a journey from queueing networks to stochastic well formed nets},
booktitle = {Proceedings 16th International Conference Algorithms and Architectures for Parallel Processing},
publisher = {Springer},
year = {2016},
editor = {Carretero, Jesus and Garcia-Blas, Javier and Ko, Ryan K.L. and Mueller, Peter and Nakano, Koji},
volume = {10048},
series = {Lecture Notes in Computer Science},
pages = {599--613},
address = {Cham},
doi = {10.1007/978-3-319-49583-5_47},
owner = {Ignacio},
timestamp = {2016.01.08},
url = {http://link.springer.com/chapter/10.1007/978-3-319-49583-5_47}
}
  • [DOI] S. Bernardi, J. I. Requeno, C. Joubert, and A. Romeu, “A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study,” in Proceedings 2nd International Workshop on Quality-Aware DevOps, New York, NY, 2016, pp. 24-29.
    [Bibtex] 
    @InProceedings{QUDOS+2016,
author = {Bernardi, Simona and Requeno, Jos{\'e} Ignacio and Joubert, Christophe and Romeu, Alberto},
title = {{A} systematic approach for performance evaluation using process mining: the {POSIDONIA} operations case study},
booktitle = {Proceedings 2nd International Workshop on Quality-Aware DevOps},
year = {2016},
series = {QUDOS 2016},
pages = {24--29},
address = {New York, NY},
publisher = {ACM},
acmid = {2945413},
doi = {10.1145/2945408.2945413},
isbn = {978-1-4503-4411-1},
keywords = {Generalized Stochastic Petri Nets, Model-driven transformation, Unified Modelling Language, data-intensive application, performance, process mining, trace and log analysis},
location = {Saarbr\&\#252;cken, Germany},
numpages = {6},
owner = {Ignacio},
timestamp = {2016.11.14},
url = {http://doi.acm.org/10.1145/2945408.2945413}
}
  • R. Mateescu and J. I. Requeno, “On-the-fly model checking for extended action-based probabilistic operators” in Proceedings of the 23rd International SPIN symposium on Model Checking of Software, D. Bošnacki and A. Wijs, Eds., Cham: Springer, 2016, vol. 9641, pp. 189-207.
    [Bibtex] 
    @InCollection{mateescu2016fly,
author = {Mateescu, Radu and Requeno, Jos{\'e} Ignacio},
title = {{O}n-the-fly model checking for extended action-based probabilistic operators},
booktitle = {Proceedings of the 23rd International SPIN symposium on Model Checking of Software},
publisher = {Springer},
year = {2016},
editor = {Dragan Bo{\v{s}}nacki and Anton Wijs},
volume = {9641},
series = {Theoretical Computer Science and General Issues},
pages = {189--207},
address = {Cham}
}
  • R. Mateescu and J. I. Requeno, On-the-fly model checking for extended action-based probabilistic operators, 2016.
    [Bibtex] 
    @Unpublished{STTT+2017,
author = {Mateescu, Radu and Requeno, Jos{\'e} Ignacio},
title = {{O}n-the-fly model checking for extended action-based probabilistic operators},
note = {Submitted},
year = {2016},
owner = {Ignacio},
timestamp = {2017.02.01}
}
  • [DOI] J. I. Requeno and J. M. Colom, “Evaluation of properties over phylogenetic trees using stochastic logics,” BMC Bioinformatics, vol. 17, iss. 1, pp. 1-14, 2016.
    [Bibtex] 
    @Article{BMC+2015,
author="Requeno, Jos{\'e} Ignacio
and Colom, Jos{\'e} Manuel",
title="Evaluation of properties over phylogenetic trees using stochastic logics",
journal="BMC Bioinformatics",
year="2016",
volume="17",
number="1",
pages="1--14",
abstract="Model checking has been recently introduced as an integrated framework for extracting information of the phylogenetic trees using temporal logics as a querying language, an extension of modal logics that imposes restrictions of a boolean formula along a path of events. The phylogenetic tree is considered a transition system modeling the evolution as a sequence of genomic mutations (we understand mutation as different ways that DNA can be changed), while this kind of logics are suitable for traversing it in a strict and exhaustive way. Given a biological property that we desire to inspect over the phylogeny, the verifier returns true if the specification is satisfied or a counterexample that falsifies it. However, this approach has been only considered over qualitative aspects of the phylogeny.",
issn="1471-2105",
doi="10.1186/s12859-016-1077-7",
url="http://dx.doi.org/10.1186/s12859-016-1077-7"
}

2014

  • {. {. {R}equeno and {. {. {C}olom, “Timed and probabilistic model checking over phylogenetic trees” in Proceedings 8th International Conference on Practical Applications of Computational Biology and Bioinformatics, J. Saez-Rodriguez, M. P. Rocha, F. Fdez-Riverola, and J. F. De Paz Santana, Eds., Berlin: Springer, 2014, vol. 294, pp. 105-112.
    [Bibtex] 
    @InCollection{Requeno+2014,
author = {{R}equeno, {J}os\'{e} {I}gnacio and {C}olom, {J}os\'{e} {M}anuel},
title = {{T}imed and probabilistic model checking over phylogenetic trees},
booktitle = {Proceedings 8th International Conference on Practical Applications of Computational Biology and Bioinformatics},
publisher = {Springer},
year = {2014},
editor = {Saez-Rodriguez, Julio and Rocha, Miguel P. and Fdez-Riverola, Florentino and De Paz Santana, Juan F.},
volume = {294},
series = {Advances in Intelligent and Soft Computing},
pages = {105--112},
address = {Berlin},
owner = {nrequeno},
timestamp = {2014.01.19}
}
  • {. {. {R}equeno and {. {. {C}olom, “Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study,” Journal of Integrative Bioinformatics, vol. 11, iss. 3, pp. 248-263, 2014.
    [Bibtex] 
    @Article{Requeno+2014_2,
author = {{R}equeno, {J}os{\'e} {I}gnacio and {C}olom, {J}os{\'e} {M}anuel},
title = {{A}nalyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study},
journal = {Journal of Integrative Bioinformatics},
year = {2014},
volume = {11},
number = {3},
pages = {248--263},
owner = {Ignacio},
timestamp = {2014.08.04}
}
  • J. I. Requeno, “Formal methods applied to the analysis of phylogenies: phylogenetic model checking,” PhD Thesis, 2014.
    [Bibtex] 
    @PhdThesis{Thesis,
author = {Jos Ignacio Requeno},
title = {{F}ormal methods applied to the analysis of phylogenies: phylogenetic model checking},
school = {School of Engineering and Architecture, University of Zaragoza},
year = {2014},
owner = {Ignacio},
timestamp = {2014.07.08}
}

2013

  • {. {. {R}equeno and {. {. {C}olom, “Speeding up phylogenetic model checking” in Proceedings 7th International Conference on Practical Applications of Computational Biology and Bioinformatics, M. S. Mohamad, L. Nanni, M. P. Rocha, and F. Fdez-Riverola, Eds., Berlin: Springer, 2013, vol. 222, pp. 119-126.
    [Bibtex] 
    @INCOLLECTION{Requeno+2013_3,
author = {{R}equeno, {J}os\'{e} {I}gnacio and {C}olom, {J}os\'{e} {M}anuel},
title = {{S}peeding up phylogenetic model checking},
booktitle = {Proceedings 7th International Conference on Practical Applications
of Computational Biology and Bioinformatics},
publisher = {Springer},
year = {2013},
editor = {Mohamad, Mohd Saberi and Nanni, Loris and Rocha, Miguel P. and Fdez-Riverola,
Florentino},
volume = {222},
series = {Advances in Intelligent Systems and Computing},
pages = {119--126},
address = {Berlin},
organization = {Springer}
}
  • {. {. {R}equeno and {. {. {C}olom, “Model checking software for phylogenetic trees using distribution and database methods,” Journal of Integrative Bioinformatics, vol. 10, iss. 3, pp. 229-233, 2013.
    [Bibtex] 
    @ARTICLE{Requeno+2013_2,
author = {{R}equeno, {J}os{\'e} {I}gnacio and {C}olom, {J}os{\'e} {M}anuel},
title = {{M}odel checking software for phylogenetic trees using distribution
and database methods},
journal = {Journal of Integrative Bioinformatics},
year = {2013},
volume = {10},
pages = {229--233},
number = {3}
}
  • {. {. {R}equeno, {. de {M}iguel {C}asado, {. {B}lanco, and {. {. {C}olom, “Temporal logics for phylogenetic analysis via model checking,” IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 10, iss. 4, pp. 1058-1070, 2013.
    [Bibtex] 
    @ARTICLE{Requeno+2013,
author = {{R}equeno, {J}os\'{e} {I}gnacio and de {M}iguel {C}asado, {G}regorio
and {B}lanco, {R}oberto and {C}olom, {J}os\'{e} {M}anuel},
title = {{T}emporal logics for phylogenetic analysis via model checking},
journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
year = {2013},
volume = {10},
pages = {1058--1070},
number = {4},
publisher = {IEEE Press}
}

2012

  • {. {. {R}equeno, {. {B}lanco, {. de {M}iguel {C}asado, and {. {. {C}olom, “Sliced model checking for phylogenetic analysis” in Proceedings 6th International Conference on Practical Applications of Computational Biology and Bioinformatics, M. P. Rocha, N. Luscombe, F. Fdez-Riverola, and J. C. M. Rodríguez, Eds., Berlin: Springer, 2012, vol. 154, pp. 95-103.
    [Bibtex] 
    @INCOLLECTION{Requeno+2012,
author = {{R}equeno, {J}os\'{e} {I}gnacio and {B}lanco, {R}oberto and de {M}iguel
{C}asado, {G}regorio and {C}olom, {J}os\'{e} {M}anuel},
title = {{S}liced model checking for phylogenetic analysis},
booktitle = {Proceedings 6th International Conference on Practical Applications
of Computational Biology and Bioinformatics},
publisher = {Springer},
year = {2012},
editor = {Rocha, Miguel P. and Luscombe, Nicholas and Fdez-Riverola, Florentino
and Rodr\'{i}guez, Juan M. Corchado},
volume = {154},
series = {Advances in Intelligent and Soft Computing},
pages = {95--103},
address = {Berlin},
owner = {nrequeno},
timestamp = {2012.06.19}
}
  • {. {. {R}equeno and {. {. {C}olom, “Compact representation of biological sequences using set decision diagrams” in Proceedings 6th International Conference on Practical Applications of Computational Biology and Bioinformatics, M. P. Rocha, N. Luscombe, F. Fdez-Riverola, and J. C. M. Rodríguez, Eds., Berlin: Springer, 2012, vol. 154, pp. 231-239.
    [Bibtex] 
    @INCOLLECTION{Requeno2012compact,
author = {{R}equeno, {J}os{\'e} {I}gnacio and {C}olom, {J}os{\'e} {M}anuel},
title = {{C}ompact representation of biological sequences using set decision
diagrams},
booktitle = {Proceedings 6th International Conference on Practical Applications
of Computational Biology and Bioinformatics},
publisher = {Springer},
year = {2012},
editor = {Rocha, Miguel P. and Luscombe, Nicholas and Fdez-Riverola, Florentino
and Rodr\'{i}guez, Juan M. Corchado},
volume = {154},
series = {Advances in Intelligent and Soft Computing},
pages = {231--239},
address = {Berlin},
owner = {nrequeno},
timestamp = {2012.06.19}
}

2011

  • {. {. {R}equeno, {. {B}lanco, {. de {M}iguel {C}asado, and {. {. {C}olom, “Phylogenetic analysis using an SMV tool” in Proceedings 5th International Conference on Practical Applications of Computational Biology and Bioinformatics, M. P. Rocha, J. C. M. Rodríguez, F. Fdez-Riverola, and A. Valencia, Eds., Berlin: Springer, 2011, vol. 93, pp. 167-174.
    [Bibtex] 
    @INCOLLECTION{Requeno+2010,
author = {{R}equeno, {J}os\'{e} {I}gnacio and {B}lanco, {R}oberto and de {M}iguel
{C}asado, {G}regorio and {C}olom, {J}os\'{e} {M}anuel},
title = {{P}hylogenetic analysis using an {SMV} tool},
booktitle = {Proceedings 5th International Conference on Practical Applications
of Computational Biology and Bioinformatics},
publisher = {Springer},
year = {2011},
editor = {Rocha, Miguel P. and Rodr{\'i}guez, Juan M. Corchado and Fdez-Riverola,
Florentino and Valencia, Alfonso},
volume = {93},
series = {Advances in Intelligent and Soft Computing},
pages = {167--174},
address = {Berlin},
affiliation = {Department of Computer Science and Systems Engineering (DIIS)/Aragon
Institute of Engineering Research (I3A), Universidad de Zaragoza,
C/ Maria de Luna 1, 50018 Zaragoza, Spain},
owner = {nrequeno},
timestamp = {2011.04.27}
}

2010

  • {B}lanco {R}oberto, {. de {M}iguel {C}asado, {. {. {R}equeno, and {. {. {C}olom, “Temporal logics for phylogenetic analysis via model checking,” in Proceedings IEEE International Workshop on Mining and Management of Biological and Health Data, Los Alamitos, CA, 2010.
    [Bibtex] 
    @InProceedings{Blanco+2010,
author = {{B}lanco, {R}oberto, and de {M}iguel {C}asado, {G}regorio and {R}equeno, {J}os\'{e} {I}gnacio and {C}olom, {J}os\'{e} {M}anuel},
title = {{T}emporal logics for phylogenetic analysis via model checking},
booktitle = {Proceedings IEEE International Workshop on Mining and Management of Biological and Health Data},
year = {2010},
address = {Los Alamitos, CA},
owner = {nrequeno},
timestamp = {2011.03.14}
}