> José Ignacio Requeno – Grupo de I+D en Computación Distribuida (DisCo)

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}
    }