Publications

Design and Testing of Reliable Systems

Journal Publications:

2020

  • [DOI] Pablo C. Cañizares, Alberto Núñez, Juan de Lara, and Luis Llana. MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems. J. Syst. Softw., 163:110522, 2020.
    [Bibtex]
    @article{DBLP:journals/jss/CanizaresNLL20,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Juan de Lara and
                   Luis Llana},
      title     = {MT-EA4Cloud: {A} Methodology For testing and optimising energy-aware
                   cloud systems},
      journal   = {J. Syst. Softw.},
      volume    = {163},
      pages     = {110522},
      year      = {2020},
      url       = {https://doi.org/10.1016/j.jss.2020.110522},
      doi       = {10.1016/j.jss.2020.110522},
      timestamp = {Fri, 27 Mar 2020 08:40:14 +0100},
      biburl    = {https://dblp.org/rec/journals/jss/CanizaresNLL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2019

  • [DOI] Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, and Anna Ingólfsdóttir. Logical characterisations, rule formats and compositionality for input-output conformance simulation. J. Log. Algebraic Methods Program., 106:78-106, 2019.
    [Bibtex]
    @article{DBLP:journals/jlp/AcetoFGI19,
      author    = {Luca Aceto and
                   Ignacio F{\'{a}}bregas and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Anna Ing{\'{o}}lfsd{\'{o}}ttir},
      title     = {Logical characterisations, rule formats and compositionality for input-output
                   conformance simulation},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {106},
      pages     = {78--106},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.jlamp.2019.04.005},
      doi       = {10.1016/j.jlamp.2019.04.005},
      timestamp = {Sat, 22 Feb 2020 19:18:07 +0100},
      biburl    = {https://dblp.org/rec/journals/jlp/AcetoFGI19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Adrian Bernal, María-Emilia Cambronero, Valentín Valero Ruiz, Alberto Nuñez, and Pablo C. Cañizares. A Framework for Modeling Cloud Infrastructures and User Interactions. IEEE Access, 7:43269-43285, 2019.
    [Bibtex]
    @article{DBLP:journals/access/BernalCRNC19,
      author    = {Adrian Bernal and
                   Mar{\'{i}}a{-}Emilia Cambronero and
                   Valent{\'{i}}n Valero Ruiz and
                   Alberto Nu{\~{n}}ez and
                   Pablo C. Ca{\~{n}}izares},
      title     = {A Framework for Modeling Cloud Infrastructures and User Interactions},
      journal   = {{IEEE} Access},
      volume    = {7},
      pages     = {43269--43285},
      year      = {2019},
      url       = {https://doi.org/10.1109/ACCESS.2019.2907180},
      doi       = {10.1109/ACCESS.2019.2907180},
      timestamp = {Fri, 27 Dec 2019 21:13:17 +0100},
      biburl    = {https://dblp.org/rec/journals/access/BernalCRNC19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, and Valentín Valero. Improving cloud architectures using UML profiles and M2T transformation techniques. J. Supercomput., 75(12):8012-8058, 2019.
    [Bibtex]
    @article{DBLP:journals/tjs/BernalCNCV19,
      author    = {Adrian Bernal and
                   Mar{\'{i}}a{-}Emilia Cambronero and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Pablo C. Ca{\~{n}}izares and
                   Valent{\'{i}}n Valero},
      title     = {Improving cloud architectures using {UML} profiles and {M2T} transformation
                   techniques},
      journal   = {J. Supercomput.},
      volume    = {75},
      number    = {12},
      pages     = {8012--8058},
      year      = {2019},
      url       = {https://doi.org/10.1007/s11227-019-02980-w},
      doi       = {10.1007/s11227-019-02980-w},
      timestamp = {Fri, 22 May 2020 13:26:35 +0200},
      biburl    = {https://dblp.org/rec/journals/tjs/BernalCNCV19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Jose Luis Brita-Paja, Carlos Gregorio-Rodríguez, Luis Llana, Cristóbal Pareja, and Adrián Riesco. Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study. Interactive Learning Environments, 27(1):15-32, 2019.
    [Bibtex]
    @article{DBLP:journals/ile/Brita-PajaGLPR19,
      author    = {Jose Luis Brita{-}Paja and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Luis Llana and
                   Crist{\'{o}}bal Pareja and
                   Adri{\'{a}}n Riesco},
      title     = {Introducing MOOC-like methodologies in a face-to-face undergraduate
                   course: a detailed case study},
      journal   = {Interactive Learning Environments},
      volume    = {27},
      number    = {1},
      pages     = {15--32},
      year      = {2019},
      url       = {https://doi.org/10.1080/10494820.2018.1451345},
      doi       = {10.1080/10494820.2018.1451345},
      timestamp = {Fri, 27 Dec 2019 21:17:11 +0100},
      biburl    = {https://dblp.org/rec/journals/ile/Brita-PajaGLPR19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Iván Calvo, Mercedes G. Merayo, and Manuel Núñez. A methodology to analyze heart data using fuzzy automata. J. Intell. Fuzzy Syst., 37(6):7389-7399, 2019.
    [Bibtex]
    @article{DBLP:journals/jifs/CalvoMN19,
      author    = {Iv{\'{a}}n Calvo and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {A methodology to analyze heart data using fuzzy automata},
      journal   = {J. Intell. Fuzzy Syst.},
      volume    = {37},
      number    = {6},
      pages     = {7389--7399},
      year      = {2019},
      url       = {https://doi.org/10.3233/JIFS-179348},
      doi       = {10.3233/JIFS-179348},
      timestamp = {Sat, 25 Apr 2020 13:53:20 +0200},
      biburl    = {https://dblp.org/rec/journals/jifs/CalvoMN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Carlos Camacho, Luis Llana, Alberto Núñez, and Mario Bravetti. Probabilistic software product lines. J. Log. Algebraic Methods Program., 107:54-78, 2019.
    [Bibtex]
    @article{DBLP:journals/jlap/CamachoLNB19,
      author    = {Carlos Camacho and
                   Luis Llana and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Mario Bravetti},
      title     = {Probabilistic software product lines},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {107},
      pages     = {54--78},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.jlamp.2019.05.007},
      doi       = {10.1016/j.jlamp.2019.05.007},
      timestamp = {Sat, 22 Feb 2020 19:18:14 +0100},
      biburl    = {https://dblp.org/rec/journals/jlap/CamachoLNB19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo C. Cañizares, Alberto Núñez, and Juan de Lara. An expert system for checking the correctness of memory systems using simulation and metamorphic testing. Expert Syst. Appl., 132:44-62, 2019.
    [Bibtex]
    @article{DBLP:journals/eswa/CanizaresNL19,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Juan de Lara},
      title     = {An expert system for checking the correctness of memory systems using
                   simulation and metamorphic testing},
      journal   = {Expert Syst. Appl.},
      volume    = {132},
      pages     = {44--62},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.eswa.2019.04.070},
      doi       = {10.1016/j.eswa.2019.04.070},
      timestamp = {Fri, 27 Dec 2019 21:10:47 +0100},
      biburl    = {https://dblp.org/rec/journals/eswa/CanizaresNL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alfredo Ibias, Robert M. Hierons, and Manuel Núñez. Using Squeeziness to test component-based systems defined as Finite State Machines. Inf. Softw. Technol., 112:132-147, 2019.
    [Bibtex]
    @article{DBLP:journals/infsof/IbiasHN19,
      author    = {Alfredo Ibias and
                   Robert M. Hierons and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Using Squeeziness to test component-based systems defined as Finite
                   State Machines},
      journal   = {Inf. Softw. Technol.},
      volume    = {112},
      pages     = {132--147},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.infsof.2019.04.012},
      doi       = {10.1016/j.infsof.2019.04.012},
      timestamp = {Thu, 20 Feb 2020 13:21:17 +0100},
      biburl    = {https://dblp.org/rec/journals/infsof/IbiasHN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Sonia Estévez Martín, María-Emilia Cambronero, Yolanda García-Ruiz, and Luis Llana. Mobile Applications for People with Parkinson’s Disease: A Systematic Search in App Stores and Content Review. J. UCS, 25(7):740-763, 2019.
    [Bibtex]
    @article{DBLP:journals/jucs/MartinCGL19,
      author    = {Sonia Est{\'{e}}vez Mart{\'{i}}n and
                   Mar{\'{i}}a{-}Emilia Cambronero and
                   Yolanda Garc{\'{i}}a{-}Ruiz and
                   Luis Llana},
      title     = {Mobile Applications for People with Parkinson's Disease: {A} Systematic
                   Search in App Stores and Content Review},
      journal   = {J. {UCS}},
      volume    = {25},
      number    = {7},
      pages     = {740--763},
      year      = {2019},
      url       = {http://www.jucs.org/jucs\_25\_7/mobile\_applications\_for\_people},
      timestamp = {Fri, 23 Aug 2019 17:01:30 +0200},
      biburl    = {https://dblp.org/rec/journals/jucs/MartinCGL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, and Ngoc Thanh Nguyen. Toward evaluating the level of crowd wisdom using interval estimates. J. Intell. Fuzzy Syst., 37(6):7279-7289, 2019.
    [Bibtex]
    @article{DBLP:journals/jifs/NguyenTMN19,
      author    = {Van Du Nguyen and
                   Hai Bang Truong and
                   Mercedes G. Merayo and
                   Ngoc Thanh Nguyen},
      title     = {Toward evaluating the level of crowd wisdom using interval estimates},
      journal   = {J. Intell. Fuzzy Syst.},
      volume    = {37},
      number    = {6},
      pages     = {7279--7289},
      year      = {2019},
      url       = {https://doi.org/10.3233/JIFS-179338},
      doi       = {10.3233/JIFS-179338},
      timestamp = {Sat, 25 Apr 2020 13:52:52 +0200},
      biburl    = {https://dblp.org/rec/journals/jifs/NguyenTMN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, and Ngoc Thanh Nguyen. An overview on consensus-based approaches to processing collective inconsistency and knowledge integration. Wiley Interdiscip. Rev. Data Min. Knowl. Discov., 9(4), 2019.
    [Bibtex]
    @article{DBLP:journals/widm/NguyenTMN19,
      author    = {Van Du Nguyen and
                   Hai Bang Truong and
                   Mercedes G. Merayo and
                   Ngoc Thanh Nguyen},
      title     = {An overview on consensus-based approaches to processing collective
                   inconsistency and knowledge integration},
      journal   = {Wiley Interdiscip. Rev. Data Min. Knowl. Discov.},
      volume    = {9},
      number    = {4},
      year      = {2019},
      url       = {https://doi.org/10.1002/widm.1311},
      doi       = {10.1002/widm.1311},
      timestamp = {Fri, 05 Jul 2019 15:58:25 +0200},
      biburl    = {https://dblp.org/rec/journals/widm/NguyenTMN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Núñez, Carolina Mañoso, Angel Pérez de Madrid, and Simon Pickin. SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degrees. Comput. Appl. Eng. Educ., 27(5):1126-1138, 2019.
    [Bibtex]
    @article{DBLP:journals/caee/NunezMMP19,
      author    = {Alberto N{\'{u}}{\~{n}}ez and
                   Carolina Ma{\~{n}}oso and
                   Angel P{\'{e}}rez de Madrid and
                   Simon Pickin},
      title     = {{SIMCAN:} {A} simulator to improve the learning of distributed and
                   high-performance computing systems in engineering degrees},
      journal   = {Comput. Appl. Eng. Educ.},
      volume    = {27},
      number    = {5},
      pages     = {1126--1138},
      year      = {2019},
      url       = {https://doi.org/10.1002/cae.22141},
      doi       = {10.1002/cae.22141},
      timestamp = {Thu, 06 Aug 2020 13:48:29 +0200},
      biburl    = {https://dblp.org/rec/journals/caee/NunezMMP19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2018

  • [DOI] Pablo C. Cañizares, Mercedes G. Merayo, and Alberto Núñez. FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage. J. Inf. Telecommun., 2(1):2-18, 2018.
    [Bibtex]
    @article{DBLP:journals/jiat/CanizaresMN18,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Mercedes G. Merayo and
                   Alberto N{\'{u}}{\~{n}}ez},
      title     = {{FORTIFIER:} a FORmal disTrIbuted Framework to Improve the dEtection
                   of thReatening objects in baggage},
      journal   = {J. Inf. Telecommun.},
      volume    = {2},
      number    = {1},
      pages     = {2--18},
      year      = {2018},
      url       = {https://doi.org/10.1080/24751839.2017.1347766},
      doi       = {10.1080/24751839.2017.1347766},
      timestamp = {Thu, 14 May 2020 22:23:40 +0200},
      biburl    = {https://dblp.org/rec/journals/jiat/CanizaresMN18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo C. Cañizares, Alberto Núñez, and Mercedes G. Merayo. Mutomvo: Mutation testing framework for simulated cloud and HPC environments. J. Syst. Softw., 143:187-207, 2018.
    [Bibtex]
    @article{DBLP:journals/jss/CanizaresNM18,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Mercedes G. Merayo},
      title     = {Mutomvo: Mutation testing framework for simulated cloud and {HPC}
                   environments},
      journal   = {J. Syst. Softw.},
      volume    = {143},
      pages     = {187--207},
      year      = {2018},
      url       = {https://doi.org/10.1016/j.jss.2018.05.010},
      doi       = {10.1016/j.jss.2018.05.010},
      timestamp = {Mon, 24 Feb 2020 15:59:26 +0100},
      biburl    = {https://dblp.org/rec/journals/jss/CanizaresNM18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Carlos Gregorio-Rodríguez, Luis Llana, and Rafael Martínez-Torres. An axiomatic semantics for iocos\_ conformance relation. J. Log. Algebraic Methods Program., 100:152-184, 2018.
    [Bibtex]
    @article{DBLP:journals/jlp/Gregorio-Rodriguez18,
      author    = {Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Luis Llana and
                   Rafael Mart{\'{i}}nez{-}Torres},
      title     = {An axiomatic semantics for iocos{\_} conformance relation},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {100},
      pages     = {152--184},
      year      = {2018},
      url       = {https://doi.org/10.1016/j.jlamp.2018.06.006},
      doi       = {10.1016/j.jlamp.2018.06.006},
      timestamp = {Sat, 22 Feb 2020 19:18:13 +0100},
      biburl    = {https://dblp.org/rec/journals/jlp/Gregorio-Rodriguez18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, and Mercedes G. Merayo. A tool for domain-independent model mutation. Sci. Comput. Program., 163:85-92, 2018.
    [Bibtex]
    @article{DBLP:journals/scp/Gomez-AbajoGLM18,
      author    = {Pablo G{\'{o}}mez{-}Abajo and
                   Esther Guerra and
                   Juan de Lara and
                   Mercedes G. Merayo},
      title     = {A tool for domain-independent model mutation},
      journal   = {Sci. Comput. Program.},
      volume    = {163},
      pages     = {85--92},
      year      = {2018},
      url       = {https://doi.org/10.1016/j.scico.2018.01.008},
      doi       = {10.1016/j.scico.2018.01.008},
      timestamp = {Mon, 15 Jun 2020 16:51:26 +0200},
      biburl    = {https://dblp.org/rec/journals/scp/Gomez-AbajoGLM18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Robert M. Hierons, Mercedes G. Merayo, and Manuel Núñez. Bounded Reordering in the Distributed Test Architecture. IEEE Trans. Reliab., 67(2):522-537, 2018.
    [Bibtex]
    @article{DBLP:journals/tr/HieronsMN18,
      author    = {Robert M. Hierons and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Bounded Reordering in the Distributed Test Architecture},
      journal   = {{IEEE} Trans. Reliab.},
      volume    = {67},
      number    = {2},
      pages     = {522--537},
      year      = {2018},
      url       = {https://doi.org/10.1109/TR.2018.2800093},
      doi       = {10.1109/TR.2018.2800093},
      timestamp = {Thu, 09 Jul 2020 22:46:58 +0200},
      biburl    = {https://dblp.org/rec/journals/tr/HieronsMN18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Mercedes G. Merayo, Robert M. Hierons, and Manuel Núñez. Passive testing with asynchronous communications and timestamps. Distributed Comput., 31(5):327-342, 2018.
    [Bibtex]
    @article{DBLP:journals/dc/MerayoHN18,
      author    = {Mercedes G. Merayo and
                   Robert M. Hierons and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Passive testing with asynchronous communications and timestamps},
      journal   = {Distributed Comput.},
      volume    = {31},
      number    = {5},
      pages     = {327--342},
      year      = {2018},
      url       = {https://doi.org/10.1007/s00446-017-0308-0},
      doi       = {10.1007/s00446-017-0308-0},
      timestamp = {Fri, 13 Mar 2020 14:37:32 +0100},
      biburl    = {https://dblp.org/rec/journals/dc/MerayoHN18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Mercedes G. Merayo, Robert M. Hierons, and Manuel Núñez. A tool supported methodology to passively test asynchronous systems with multiple users. Inf. Softw. Technol., 104:162-178, 2018.
    [Bibtex]
    @article{DBLP:journals/infsof/MerayoHN18,
      author    = {Mercedes G. Merayo and
                   Robert M. Hierons and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {A tool supported methodology to passively test asynchronous systems
                   with multiple users},
      journal   = {Inf. Softw. Technol.},
      volume    = {104},
      pages     = {162--178},
      year      = {2018},
      url       = {https://doi.org/10.1016/j.infsof.2018.07.013},
      doi       = {10.1016/j.infsof.2018.07.013},
      timestamp = {Thu, 20 Feb 2020 13:20:51 +0100},
      biburl    = {https://dblp.org/rec/journals/infsof/MerayoHN18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2017

  • [DOI] Juan Boubeta-Puig, Mario Bravetti, Luis Llana, and Mercedes G. Merayo. Analysis of temporal complex events in sensor networks. J. Inf. Telecommun., 1(3):273-289, 2017.
    [Bibtex]
    @article{DBLP:journals/jiat/Boubeta-PuigBLM17,
      author    = {Juan Boubeta{-}Puig and
                   Mario Bravetti and
                   Luis Llana and
                   Mercedes G. Merayo},
      title     = {Analysis of temporal complex events in sensor networks},
      journal   = {J. Inf. Telecommun.},
      volume    = {1},
      number    = {3},
      pages     = {273--289},
      year      = {2017},
      url       = {https://doi.org/10.1080/24751839.2017.1347763},
      doi       = {10.1080/24751839.2017.1347763},
      timestamp = {Thu, 14 May 2020 22:23:41 +0200},
      biburl    = {https://dblp.org/rec/journals/jiat/Boubeta-PuigBLM17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Azahara Camacho, Mercedes G. Merayo, and Manuel Núñez. Collective intelligence and databases in eHealth: A survey. J. Intell. Fuzzy Syst., 32(2):1485-1496, 2017.
    [Bibtex]
    @article{DBLP:journals/jifs/CamachoMN17,
      author    = {Azahara Camacho and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Collective intelligence and databases in eHealth: {A} survey},
      journal   = {J. Intell. Fuzzy Syst.},
      volume    = {32},
      number    = {2},
      pages     = {1485--1496},
      year      = {2017},
      url       = {https://doi.org/10.3233/JIFS-169144},
      doi       = {10.3233/JIFS-169144},
      timestamp = {Sat, 25 Apr 2020 13:53:40 +0200},
      biburl    = {https://dblp.org/rec/journals/jifs/CamachoMN17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María-Emilia Cambronero, Luis Llana, and Gordon J. Pace. A Calculus Supporting Contract Reasoning and Monitoring. IEEE Access, 5:6735-6745, 2017.
    [Bibtex]
    @article{DBLP:journals/access/CambroneroLP17,
      author    = {Mar{\'{i}}a{-}Emilia Cambronero and
                   Luis Llana and
                   Gordon J. Pace},
      title     = {A Calculus Supporting Contract Reasoning and Monitoring},
      journal   = {{IEEE} Access},
      volume    = {5},
      pages     = {6735--6745},
      year      = {2017},
      url       = {https://doi.org/10.1109/ACCESS.2017.2696577},
      doi       = {10.1109/ACCESS.2017.2696577},
      timestamp = {Fri, 02 Nov 2018 09:29:20 +0100},
      biburl    = {https://dblp.org/rec/journals/access/CambroneroLP17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo C. Cañizares, Mercedes G. Merayo, and Juan M. Vara. LAnt: Model driven approach for ant colony optimization. J. Intell. Fuzzy Syst., 32(2):1343-1354, 2017.
    [Bibtex]
    @article{DBLP:journals/jifs/CanizaresMV17,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Mercedes G. Merayo and
                   Juan M. Vara},
      title     = {LAnt: Model driven approach for ant colony optimization},
      journal   = {J. Intell. Fuzzy Syst.},
      volume    = {32},
      number    = {2},
      pages     = {1343--1354},
      year      = {2017},
      url       = {https://doi.org/10.3233/JIFS-169132},
      doi       = {10.3233/JIFS-169132},
      timestamp = {Sat, 25 Apr 2020 13:54:14 +0200},
      biburl    = {https://dblp.org/rec/journals/jifs/CanizaresMV17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Robert M. Hierons, Mercedes G. Merayo, and Manuel Núñez. An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program., 86(1):408-424, 2017.
    [Bibtex]
    @article{DBLP:journals/jlp/HieronsMN17,
      author    = {Robert M. Hierons and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {An extended framework for passive asynchronous testing},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {86},
      number    = {1},
      pages     = {408--424},
      year      = {2017},
      url       = {https://doi.org/10.1016/j.jlamp.2016.02.004},
      doi       = {10.1016/j.jlamp.2016.02.004},
      timestamp = {Sat, 22 Feb 2020 19:18:07 +0100},
      biburl    = {https://dblp.org/rec/journals/jlp/HieronsMN17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Robert M. Hierons and Manuel Núñez. Implementation relations and probabilistic schedulers in the distributed test architecture. J. Syst. Softw., 132:319-335, 2017.
    [Bibtex]
    @article{DBLP:journals/jss/HieronsN17,
      author    = {Robert M. Hierons and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Implementation relations and probabilistic schedulers in the distributed
                   test architecture},
      journal   = {J. Syst. Softw.},
      volume    = {132},
      pages     = {319--335},
      year      = {2017},
      url       = {https://doi.org/10.1016/j.jss.2017.03.011},
      doi       = {10.1016/j.jss.2017.03.011},
      timestamp = {Mon, 24 Feb 2020 15:58:22 +0100},
      biburl    = {https://dblp.org/rec/journals/jss/HieronsN17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Mercedes G. Merayo and Gwen Salaün. Preface: Special issue on software verification and testing. J. Syst. Softw., 132:317-318, 2017.
    [Bibtex]
    @article{DBLP:journals/jss/MerayoS17,
      author    = {Mercedes G. Merayo and
                   Gwen Sala{\"{u}}n},
      title     = {Preface: Special issue on software verification and testing},
      journal   = {J. Syst. Softw.},
      volume    = {132},
      pages     = {317--318},
      year      = {2017},
      url       = {https://doi.org/10.1016/j.jss.2017.07.025},
      doi       = {10.1016/j.jss.2017.07.025},
      timestamp = {Mon, 24 Feb 2020 15:59:46 +0100},
      biburl    = {https://dblp.org/rec/journals/jss/MerayoS17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Van Du Nguyen and Mercedes G. Merayo. Intelligent collective: some issues with collective cardinality. J. Inf. Telecommun., 1(2):127-140, 2017.
    [Bibtex]
    @article{DBLP:journals/jiat/0001M17,
      author    = {Van Du Nguyen and
                   Mercedes G. Merayo},
      title     = {Intelligent collective: some issues with collective cardinality},
      journal   = {J. Inf. Telecommun.},
      volume    = {1},
      number    = {2},
      pages     = {127--140},
      year      = {2017},
      url       = {https://doi.org/10.1080/24751839.2017.1323702},
      doi       = {10.1080/24751839.2017.1323702},
      timestamp = {Thu, 14 May 2020 22:23:43 +0200},
      biburl    = {https://dblp.org/rec/journals/jiat/0001M17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ngoc Thanh Nguyen, Manuel Núñez, and Bogdan Trawinski. Collective intelligent information and database systems. J. Intell. Fuzzy Syst., 32(2):1157-1160, 2017.
    [Bibtex]
    @article{DBLP:journals/jifs/NguyenNT17,
      author    = {Ngoc Thanh Nguyen and
                   Manuel N{\'{u}}{\~{n}}ez and
                   Bogdan Trawinski},
      title     = {Collective intelligent information and database systems},
      journal   = {J. Intell. Fuzzy Syst.},
      volume    = {32},
      number    = {2},
      pages     = {1157--1160},
      year      = {2017},
      url       = {https://doi.org/10.3233/JIFS-169115},
      doi       = {10.3233/JIFS-169115},
      timestamp = {Sat, 25 Apr 2020 13:53:53 +0200},
      biburl    = {https://dblp.org/rec/journals/jifs/NguyenNT17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2016

  • [DOI] Carlos Camacho, Luis Llana, and Alberto Núñez. Cost-related interface for software product lines. J. Log. Algebraic Methods Program., 85(1):227-244, 2016.
    [Bibtex]
    @article{DBLP:journals/jlp/CamachoLN16,
      author    = {Carlos Camacho and
                   Luis Llana and
                   Alberto N{\'{u}}{\~{n}}ez},
      title     = {Cost-related interface for software product lines},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {85},
      number    = {1},
      pages     = {227--244},
      year      = {2016},
      url       = {https://doi.org/10.1016/j.jlamp.2015.09.009},
      doi       = {10.1016/j.jlamp.2015.09.009},
      timestamp = {Sat, 22 Feb 2020 19:18:07 +0100},
      biburl    = {https://dblp.org/rec/journals/jlp/CamachoLN16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2015

  • [DOI] Ana R. Cavalli, Teruo Higashino, and Manuel Núñez. A survey on formal active and passive testing with applications to the cloud. Ann. des Télécommunications, 70(3-4):85-93, 2015.
    [Bibtex]
    @article{DBLP:journals/adt/CavalliHN15a,
      author    = {Ana R. Cavalli and
                   Teruo Higashino and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {A survey on formal active and passive testing with applications to
                   the cloud},
      journal   = {Ann. des T{\'{e}}l{\'{e}}communications},
      volume    = {70},
      number    = {3-4},
      pages     = {85--93},
      year      = {2015},
      url       = {https://doi.org/10.1007/s12243-015-0457-8},
      doi       = {10.1007/s12243-015-0457-8},
      timestamp = {Wed, 20 May 2020 16:26:03 +0200},
      biburl    = {https://dblp.org/rec/journals/adt/CavalliHN15a.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ana R. Cavalli, Teruo Higashino, and Manuel Núñez. Special issue on formal active and passive testing of distributed and networked systems. Ann. des Télécommunications, 70(3-4):83-84, 2015.
    [Bibtex]
    @article{DBLP:journals/adt/CavalliHN15,
      author    = {Ana R. Cavalli and
                   Teruo Higashino and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Special issue on formal active and passive testing of distributed
                   and networked systems},
      journal   = {Ann. des T{\'{e}}l{\'{e}}communications},
      volume    = {70},
      number    = {3-4},
      pages     = {83--84},
      year      = {2015},
      url       = {https://doi.org/10.1007/s12243-015-0459-6},
      doi       = {10.1007/s12243-015-0459-6},
      timestamp = {Wed, 20 May 2020 16:26:04 +0200},
      biburl    = {https://dblp.org/rec/journals/adt/CavalliHN15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Mercedes G. Merayo and Alberto Núñez. Passive testing of communicating systems with timeouts. Inf. Softw. Technol., 64:19-35, 2015.
    [Bibtex]
    @article{DBLP:journals/infsof/MerayoN15,
      author    = {Mercedes G. Merayo and
                   Alberto N{\'{u}}{\~{n}}ez},
      title     = {Passive testing of communicating systems with timeouts},
      journal   = {Inf. Softw. Technol.},
      volume    = {64},
      pages     = {19--35},
      year      = {2015},
      url       = {https://doi.org/10.1016/j.infsof.2015.03.009},
      doi       = {10.1016/j.infsof.2015.03.009},
      timestamp = {Thu, 20 Feb 2020 13:21:12 +0100},
      biburl    = {https://dblp.org/rec/journals/infsof/MerayoN15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Nuñez and Robert M. Hierons. A methodology for validating cloud models using metamorphic testing. Ann. des Télécommunications, 70(3-4):127-135, 2015.
    [Bibtex]
    @article{DBLP:journals/adt/NunezH15,
      author    = {Alberto Nu{\~{n}}ez and
                   Robert M. Hierons},
      title     = {A methodology for validating cloud models using metamorphic testing},
      journal   = {Ann. des T{\'{e}}l{\'{e}}communications},
      volume    = {70},
      number    = {3-4},
      pages     = {127--135},
      year      = {2015},
      url       = {https://doi.org/10.1007/s12243-014-0442-7},
      doi       = {10.1007/s12243-014-0442-7},
      timestamp = {Wed, 20 May 2020 16:25:38 +0200},
      biburl    = {https://dblp.org/rec/journals/adt/NunezH15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2014

  • [DOI] Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, and Anna Ingólfsdóttir. Axiomatizing weak simulation semantics over BCCSP. Theor. Comput. Sci., 537:42-71, 2014.
    [Bibtex]
    @article{DBLP:journals/tcs/AcetoFGI14,
      author    = {Luca Aceto and
                   David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Anna Ing{\'{o}}lfsd{\'{o}}ttir},
      title     = {Axiomatizing weak simulation semantics over {BCCSP}},
      journal   = {Theor. Comput. Sci.},
      volume    = {537},
      pages     = {42--71},
      year      = {2014},
      url       = {https://doi.org/10.1016/j.tcs.2013.03.013},
      doi       = {10.1016/j.tcs.2013.03.013},
      timestamp = {Thu, 08 Jun 2017 09:02:37 +0200},
      biburl    = {https://dblp.org/rec/journals/tcs/AcetoFGI14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores, and Ángel J. Velázquez-Iturbide. FLOP: A User-Friendly System for Automated Program Assessment. J. UCS, 20(9):1304-1326, 2014.
    [Bibtex]
    @article{DBLP:journals/jucs/LlanaMPV14,
      author    = {Luis Llana and
                   Enrique Martin{-}Martin and
                   Crist{\'{o}}bal Pareja{-}Flores and
                   J. {\'{A}}ngel Vel{\'{a}}zquez{-}Iturbide},
      title     = {{FLOP:} {A} User-Friendly System for Automated Program Assessment},
      journal   = {J. {UCS}},
      volume    = {20},
      number    = {9},
      pages     = {1304--1326},
      year      = {2014},
      url       = {https://doi.org/10.3217/jucs-020-09-1304},
      doi       = {10.3217/jucs-020-09-1304},
      timestamp = {Wed, 17 May 2017 14:25:45 +0200},
      biburl    = {https://dblp.org/rec/journals/jucs/LlanaMPV14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Nuñez and Mercedes G. Merayo. A formal framework to analyze cost and performance in Map-Reduce based applications. J. Comput. Sci., 5(2):106-118, 2014.
    [Bibtex]
    @article{DBLP:journals/jocs/NunezM14,
      author    = {Alberto Nu{\~{n}}ez and
                   Mercedes G. Merayo},
      title     = {A formal framework to analyze cost and performance in Map-Reduce based
                   applications},
      journal   = {J. Comput. Sci.},
      volume    = {5},
      number    = {2},
      pages     = {106--118},
      year      = {2014},
      url       = {https://doi.org/10.1016/j.jocs.2013.04.003},
      doi       = {10.1016/j.jocs.2013.04.003},
      timestamp = {Tue, 25 Feb 2020 09:00:35 +0100},
      biburl    = {https://dblp.org/rec/journals/jocs/NunezM14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ismael Rodríguez, Luis Llana, and Pablo Rabanal. A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions. IEEE Trans. Software Eng., 40(9):862-894, 2014.
    [Bibtex]
    @article{DBLP:journals/tse/RodriguezLR14,
      author    = {Ismael Rodr{\'{i}}guez and
                   Luis Llana and
                   Pablo Rabanal},
      title     = {A General Testability Theory: Classes, Properties, Complexity, and
                   Testing Reductions},
      journal   = {{IEEE} Trans. Software Eng.},
      volume    = {40},
      number    = {9},
      pages     = {862--894},
      year      = {2014},
      url       = {https://doi.org/10.1109/TSE.2014.2331690},
      doi       = {10.1109/TSE.2014.2331690},
      timestamp = {Sat, 19 Oct 2019 19:54:26 +0200},
      biburl    = {https://dblp.org/rec/journals/tse/RodriguezLR14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2013

  • [DOI] César Andrés, Carlos Camacho, and Luis Llana. A formal framework for software product lines. Inf. Softw. Technol., 55(11):1925-1947, 2013.
    [Bibtex]
    @article{DBLP:journals/infsof/AndresCL13,
      author    = {C{\'{e}}sar Andr{\'{e}}s and
                   Carlos Camacho and
                   Luis Llana},
      title     = {A formal framework for software product lines},
      journal   = {Inf. Softw. Technol.},
      volume    = {55},
      number    = {11},
      pages     = {1925--1947},
      year      = {2013},
      url       = {https://doi.org/10.1016/j.infsof.2013.05.005},
      doi       = {10.1016/j.infsof.2013.05.005},
      timestamp = {Thu, 20 Feb 2020 13:20:54 +0100},
      biburl    = {https://dblp.org/rec/journals/infsof/AndresCL13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Gabriel G. Castañé, Alberto Nuñez, Pablo Llopis, and Jesús Carretero. E-mc^2: A formal framework for energy modelling in cloud computing. Simul. Model. Pract. Theory, 39:56-75, 2013.
    [Bibtex]
    @article{DBLP:journals/simpra/CastaneNLC13,
      author    = {Gabriel G. Casta{\~{n}}{\'{e}} and
                   Alberto Nu{\~{n}}ez and
                   Pablo Llopis and
                   Jes{\'{u}}s Carretero},
      title     = {E-mc^2: {A} formal framework for energy modelling in
                   cloud computing},
      journal   = {Simul. Model. Pract. Theory},
      volume    = {39},
      pages     = {56--75},
      year      = {2013},
      url       = {https://doi.org/10.1016/j.simpat.2013.05.002},
      doi       = {10.1016/j.simpat.2013.05.002},
      timestamp = {Mon, 24 Feb 2020 15:55:16 +0100},
      biburl    = {https://dblp.org/rec/journals/simpra/CastaneNLC13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, and David Romero-Hernández. Unifying the Linear Time-Branching Time Spectrum of Process Semantics. Log. Methods Comput. Sci., 9(2), 2013.
    [Bibtex]
    @article{DBLP:journals/corr/abs-1304-6574,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Miguel Palomino and
                   David Romero{-}Hern{\'{a}}ndez},
      title     = {Unifying the Linear Time-Branching Time Spectrum of Process Semantics},
      journal   = {Log. Methods Comput. Sci.},
      volume    = {9},
      number    = {2},
      year      = {2013},
      url       = {https://doi.org/10.2168/LMCS-9(2:11)2013},
      doi       = {10.2168/LMCS-9(2:11)2013},
      timestamp = {Thu, 25 Jun 2020 21:28:57 +0200},
      biburl    = {https://dblp.org/rec/journals/corr/abs-1304-6574.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Nuñez, Mercedes G. Merayo, Robert M. Hierons, and Manuel Núñez. Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput., 17(2):301-315, 2013.
    [Bibtex]
    @article{DBLP:journals/soco/NunezMHN13,
      author    = {Alberto Nu{\~{n}}ez and
                   Mercedes G. Merayo and
                   Robert M. Hierons and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Using genetic algorithms to generate test sequences for complex timed
                   systems},
      journal   = {Soft Comput.},
      volume    = {17},
      number    = {2},
      pages     = {301--315},
      year      = {2013},
      url       = {https://doi.org/10.1007/s00500-012-0894-5},
      doi       = {10.1007/s00500-012-0894-5},
      timestamp = {Fri, 27 Dec 2019 21:17:09 +0100},
      biburl    = {https://dblp.org/rec/journals/soco/NunezMHN13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2012

  • [DOI] Rosa Filgueira, Jesús Carretero, David E. Singh, Alejandro Calderón, and Alberto Nuñez. Dynamic-CoMPI: dynamic optimization techniques for MPI parallel applications. J. Supercomput., 59(1):361-391, 2012.
    [Bibtex]
    @article{DBLP:journals/tjs/FilgueiraCSCN12,
      author    = {Rosa Filgueira and
                   Jes{\'{u}}s Carretero and
                   David E. Singh and
                   Alejandro Calder{\'{o}}n and
                   Alberto Nu{\~{n}}ez},
      title     = {Dynamic-CoMPI: dynamic optimization techniques for {MPI} parallel
                   applications},
      journal   = {J. Supercomput.},
      volume    = {59},
      number    = {1},
      pages     = {361--391},
      year      = {2012},
      url       = {https://doi.org/10.1007/s11227-010-0440-0},
      doi       = {10.1007/s11227-010-0440-0},
      timestamp = {Fri, 22 May 2020 13:27:06 +0200},
      biburl    = {https://dblp.org/rec/journals/tjs/FilgueiraCSCN12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Nuñez, José Luis Vázquez-Poletti, Agustín C. Caminero, Gabriel G. Castañé, Jesús Carretero, and Ignacio Martín Llorente. iCanCloud: A Flexible and Scalable Cloud Infrastructure Simulator. J. Grid Comput., 10(1):185-209, 2012.
    [Bibtex]
    @article{DBLP:journals/grid/NunezVCCCL12,
      author    = {Alberto Nu{\~{n}}ez and
                   Jos{\'{e}} Luis V{\'{a}}zquez{-}Poletti and
                   Agust{\'{i}}n C. Caminero and
                   Gabriel G. Casta{\~{n}}{\'{e}} and
                   Jes{\'{u}}s Carretero and
                   Ignacio Mart{\'{i}}n Llorente},
      title     = {iCanCloud: {A} Flexible and Scalable Cloud Infrastructure Simulator},
      journal   = {J. Grid Comput.},
      volume    = {10},
      number    = {1},
      pages     = {185--209},
      year      = {2012},
      url       = {https://doi.org/10.1007/s10723-012-9208-5},
      doi       = {10.1007/s10723-012-9208-5},
      timestamp = {Fri, 27 Dec 2019 21:18:53 +0100},
      biburl    = {https://dblp.org/rec/journals/grid/NunezVCCCL12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Nuñez, Javier Fernández, Rosa Filgueira, Félix García, and Jesús Carretero. SIMCAN: A flexible, scalable and expandable simulation platform for modelling and simulating distributed architectures and applications. Simul. Model. Pract. Theory, 20(1):12-32, 2012.
    [Bibtex]
    @article{DBLP:journals/simpra/NunezFFGC12,
      author    = {Alberto Nu{\~{n}}ez and
                   Javier Fern{\'{a}}ndez and
                   Rosa Filgueira and
                   F{\'{e}}lix Garc{\'{i}}a and
                   Jes{\'{u}}s Carretero},
      title     = {{SIMCAN:} {A} flexible, scalable and expandable simulation platform
                   for modelling and simulating distributed architectures and applications},
      journal   = {Simul. Model. Pract. Theory},
      volume    = {20},
      number    = {1},
      pages     = {12--32},
      year      = {2012},
      url       = {https://doi.org/10.1016/j.simpat.2011.08.009},
      doi       = {10.1016/j.simpat.2011.08.009},
      timestamp = {Mon, 24 Feb 2020 15:55:05 +0100},
      biburl    = {https://dblp.org/rec/journals/simpra/NunezFFGC12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2011

  • [DOI] Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, and Anna Ingólfsdóttir. Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Inf. Process. Lett., 111(9):408-413, 2011.
    [Bibtex]
    @article{DBLP:journals/ipl/AcetoFGI11,
      author    = {Luca Aceto and
                   David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Anna Ing{\'{o}}lfsd{\'{o}}ttir},
      title     = {Complete and ready simulation semantics are not finitely based over
                   BCCSP, even with a singleton alphabet},
      journal   = {Inf. Process. Lett.},
      volume    = {111},
      number    = {9},
      pages     = {408--413},
      year      = {2011},
      url       = {https://doi.org/10.1016/j.ipl.2011.01.015},
      doi       = {10.1016/j.ipl.2011.01.015},
      timestamp = {Tue, 06 Jun 2017 22:27:07 +0200},
      biburl    = {https://dblp.org/rec/journals/ipl/AcetoFGI11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2009

  • [DOI] César Andrés, Luis Fernando Llana Díaz, and Ismael Rodríguez. Formally transforming user-model testing problems into implementer-model testing problems and viceversa. J. Log. Algebraic Methods Program., 78(6):425-453, 2009.
    [Bibtex]
    @article{DBLP:journals/jlp/AndresDR09,
      author    = {C{\'{e}}sar Andr{\'{e}}s and
                   Luis Fernando Llana D{\'{i}}az and
                   Ismael Rodr{\'{i}}guez},
      title     = {Formally transforming user-model testing problems into implementer-model
                   testing problems and viceversa},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {78},
      number    = {6},
      pages     = {425--453},
      year      = {2009},
      url       = {https://doi.org/10.1016/j.jlap.2009.01.003},
      doi       = {10.1016/j.jlap.2009.01.003},
      timestamp = {Mon, 18 May 2020 12:40:17 +0200},
      biburl    = {https://dblp.org/rec/journals/jlp/AndresDR09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Luis Fernando Llana Díaz and Manuel Núñez. Testing Semantics for RTPA. Fundam. Inform., 90(3):305-335, 2009.
    [Bibtex]
    @article{DBLP:journals/fuin/DiazN09,
      author    = {Luis Fernando Llana D{\'{i}}az and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Testing Semantics for {RTPA}},
      journal   = {Fundam. Inform.},
      volume    = {90},
      number    = {3},
      pages     = {305--335},
      year      = {2009},
      url       = {https://doi.org/10.3233/FI-2009-0020},
      doi       = {10.3233/FI-2009-0020},
      timestamp = {Fri, 02 Nov 2018 09:29:23 +0100},
      biburl    = {https://dblp.org/rec/journals/fuin/DiazN09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] David de Frutos-Escrig and Carlos Gregorio-Rodríguez. (Bi)simulations up-to characterise process semantics. Inf. Comput., 207(2):146-170, 2009.
    [Bibtex]
    @article{DBLP:journals/iandc/Frutos-EscrigG09,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez},
      title     = {(Bi)simulations up-to characterise process semantics},
      journal   = {Inf. Comput.},
      volume    = {207},
      number    = {2},
      pages     = {146--170},
      year      = {2009},
      url       = {https://doi.org/10.1016/j.ic.2007.12.003},
      doi       = {10.1016/j.ic.2007.12.003},
      timestamp = {Tue, 06 Jun 2017 22:27:45 +0200},
      biburl    = {https://dblp.org/rec/journals/iandc/Frutos-EscrigG09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] David de Frutos-Escrig, Carlos Gregorio-Rodríguez, and Miguel Palomino. Ready to preorder: an algebraic and general proof. J. Log. Algebraic Methods Program., 78(7):539-551, 2009.
    [Bibtex]
    @article{DBLP:journals/jlp/Frutos-EscrigGP09,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Miguel Palomino},
      title     = {Ready to preorder: an algebraic and general proof},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {78},
      number    = {7},
      pages     = {539--551},
      year      = {2009},
      url       = {https://doi.org/10.1016/j.jlap.2008.09.001},
      doi       = {10.1016/j.jlap.2008.09.001},
      timestamp = {Mon, 18 May 2020 12:40:21 +0200},
      biburl    = {https://dblp.org/rec/journals/jlp/Frutos-EscrigGP09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2008

  • [DOI] David de Frutos-Escrig and Carlos Gregorio-Rodríguez. Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. Electron. Notes Theor. Comput. Sci., 206:41-58, 2008.
    [Bibtex]
    @article{DBLP:journals/entcs/Frutos-EscrigG08,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez},
      title     = {Constrained Simulations, Nested Simulation Semantics and Counting
                   Bisimulations},
      journal   = {Electron. Notes Theor. Comput. Sci.},
      volume    = {206},
      pages     = {41--58},
      year      = {2008},
      url       = {https://doi.org/10.1016/j.entcs.2008.03.074},
      doi       = {10.1016/j.entcs.2008.03.074},
      timestamp = {Mon, 24 Feb 2020 11:40:02 +0100},
      biburl    = {https://dblp.org/rec/journals/entcs/Frutos-EscrigG08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] David de Frutos-Escrig, Carlos Gregorio-Rodríguez, and Miguel Palomino. Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. Electron. Notes Theor. Comput. Sci., 212:149-162, 2008.
    [Bibtex]
    @article{DBLP:journals/entcs/Frutos-EscrigGP08,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Miguel Palomino},
      title     = {Coinductive Characterisations Reveal Nice Relations Between Preorders
                   and Equivalences},
      journal   = {Electron. Notes Theor. Comput. Sci.},
      volume    = {212},
      pages     = {149--162},
      year      = {2008},
      url       = {https://doi.org/10.1016/j.entcs.2008.04.059},
      doi       = {10.1016/j.entcs.2008.04.059},
      timestamp = {Mon, 24 Feb 2020 11:41:15 +0100},
      biburl    = {https://dblp.org/rec/journals/entcs/Frutos-EscrigGP08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2007

  • [DOI] David de Frutos-Escrig and Carlos Gregorio-Rodríguez. Simulations Up-to and Canonical Preorders: (Extended Abstract). Electron. Notes Theor. Comput. Sci., 192(1):13-28, 2007.
    [Bibtex]
    @article{DBLP:journals/entcs/Frutos-EscrigG07,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez},
      title     = {Simulations Up-to and Canonical Preorders: (Extended Abstract)},
      journal   = {Electron. Notes Theor. Comput. Sci.},
      volume    = {192},
      number    = {1},
      pages     = {13--28},
      year      = {2007},
      url       = {https://doi.org/10.1016/j.entcs.2007.08.014},
      doi       = {10.1016/j.entcs.2007.08.014},
      timestamp = {Mon, 24 Feb 2020 11:40:21 +0100},
      biburl    = {https://dblp.org/rec/journals/entcs/Frutos-EscrigG07.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2006

  • [DOI] David de Frutos-Escrig and Carlos Gregorio-Rodríguez. Process Equivalences as Global Bisimulations. J. UCS, 12(11):1521-1550, 2006.
    [Bibtex]
    @article{DBLP:journals/jucs/Frutos-EscrigG06,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez},
      title     = {Process Equivalences as Global Bisimulations},
      journal   = {J. {UCS}},
      volume    = {12},
      number    = {11},
      pages     = {1521--1550},
      year      = {2006},
      url       = {https://doi.org/10.3217/jucs-012-11-1521},
      doi       = {10.3217/jucs-012-11-1521},
      timestamp = {Wed, 17 May 2017 14:25:45 +0200},
      biburl    = {https://dblp.org/rec/journals/jucs/Frutos-EscrigG06.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2002

  • [DOI] Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, Ángel J. Velázquez-Iturbide, and Pedro Palao-Gostanza. A system to generate electronic books on programming exercises. Electron. Libr., 20(4):314-321, 2002.
    [Bibtex]
    @article{DBLP:journals/el/Gregorio-RodriguezDPMVP02,
      author    = {Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Luis Fernando Llana D{\'{i}}az and
                   Crist{\'{o}}bal Pareja{-}Flores and
                   Raquel Mart{\'{i}}nez{-}Unanue and
                   J. {\'{A}}ngel Vel{\'{a}}zquez{-}Iturbide and
                   Pedro Palao{-}Gostanza},
      title     = {A system to generate electronic books on programming exercises},
      journal   = {Electron. Libr.},
      volume    = {20},
      number    = {4},
      pages     = {314--321},
      year      = {2002},
      url       = {https://doi.org/10.1108/02640470210438900},
      doi       = {10.1108/02640470210438900},
      timestamp = {Fri, 03 Jul 2020 17:50:25 +0200},
      biburl    = {https://dblp.org/rec/journals/el/Gregorio-RodriguezDPMVP02.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

1999

  • [DOI] Carlos Gregorio-Rodríguez and Manuel Núñez. Denotational Semantics for Probabilistic Refusal Testing. Electron. Notes Theor. Comput. Sci., 22:111-137, 1999.
    [Bibtex]
    @article{DBLP:journals/entcs/Gregorio-RodriguezN99,
      author    = {Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Denotational Semantics for Probabilistic Refusal Testing},
      journal   = {Electron. Notes Theor. Comput. Sci.},
      volume    = {22},
      pages     = {111--137},
      year      = {1999},
      url       = {https://doi.org/10.1016/S1571-0661(05)80599-7},
      doi       = {10.1016/S1571-0661(05)80599-7},
      timestamp = {Mon, 24 Feb 2020 11:40:36 +0100},
      biburl    = {https://dblp.org/rec/journals/entcs/Gregorio-RodriguezN99.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

Conference Publications:

2020

  • [DOI] Iván Calvo, Mercedes G. Merayo, and Manuel Núñez. A Trading Framework Based on Fuzzy Moore Machines. In Ngoc Thanh Nguyen, Kietikul Jearanaitanakij, Ali Selamat, Bogdan Trawinski, and Suphamit Chittayasothorn, editors, Intelligent Information and Database Systems – 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part I, volume 12033 of Lecture Notes in Computer Science, pages 123-134. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/aciids/CalvoM020,
      author    = {Iv{\'{a}}n Calvo and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Ngoc Thanh Nguyen and
                   Kietikul Jearanaitanakij and
                   Ali Selamat and
                   Bogdan Trawinski and
                   Suphamit Chittayasothorn},
      title     = {A Trading Framework Based on Fuzzy Moore Machines},
      booktitle = {Intelligent Information and Database Systems - 12th Asian Conference,
                   {ACIIDS} 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part
                   {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {12033},
      pages     = {123--134},
      publisher = {Springer},
      year      = {2020},
      url       = {https://doi.org/10.1007/978-3-030-41964-6\_11},
      doi       = {10.1007/978-3-030-41964-6\_11},
      timestamp = {Fri, 27 Mar 2020 08:56:37 +0100},
      biburl    = {https://dblp.org/rec/conf/aciids/CalvoM020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, and Gordon J. Pace. Themulus: A Timed Contract-calculus. In Slimane Hammoudi, Luís Ferreira Pires, and Bran Selic, editors, Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, pages 193-204. SCITEPRESS, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/modelsward/GarciaCCLP20,
      author    = {Alberto Aranda Garc{\'{i}}a and
                   Mar{\'{i}}a{-}Emilia Cambronero and
                   Christian Colombo and
                   Luis Llana and
                   Gordon J. Pace},
      editor    = {Slimane Hammoudi and
                   Lu{\'{i}}s Ferreira Pires and
                   Bran Selic},
      title     = {Themulus: {A} Timed Contract-calculus},
      booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering
                   and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
                   25-27, 2020},
      pages     = {193--204},
      publisher = {{SCITEPRESS}},
      year      = {2020},
      url       = {https://doi.org/10.5220/0008878001930204},
      doi       = {10.5220/0008878001930204},
      timestamp = {Thu, 16 Apr 2020 15:49:58 +0200},
      biburl    = {https://dblp.org/rec/conf/modelsward/GarciaCCLP20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Lorena Gutiérrez-Madroñal, Inmaculada Medina-Bulo, and Mercedes G. Merayo. Mutation Operators for Google Query Language. In Pawel Sitek, Marcin Pietranik, Marek Krótkiewicz, and Chutimet Srinilta, editors, Intelligent Information and Database Systems – 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020, Companion Proceedings, volume 1178 of Communications in Computer and Information Science, pages 354-365. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/aciids/Gutierrez-Madronal20,
      author    = {Lorena Guti{\'{e}}rrez{-}Madro{\~{n}}al and
                   Inmaculada Medina{-}Bulo and
                   Mercedes G. Merayo},
      editor    = {Pawel Sitek and
                   Marcin Pietranik and
                   Marek Kr{\'{o}}tkiewicz and
                   Chutimet Srinilta},
      title     = {Mutation Operators for Google Query Language},
      booktitle = {Intelligent Information and Database Systems - 12th Asian Conference,
                   {ACIIDS} 2020, Phuket, Thailand, March 23-26, 2020, Companion Proceedings},
      series    = {Communications in Computer and Information Science},
      volume    = {1178},
      pages     = {354--365},
      publisher = {Springer},
      year      = {2020},
      url       = {https://doi.org/10.1007/978-981-15-3380-8\_31},
      doi       = {10.1007/978-981-15-3380-8\_31},
      timestamp = {Fri, 27 Mar 2020 08:56:37 +0100},
      biburl    = {https://dblp.org/rec/conf/aciids/Gutierrez-Madronal20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alfredo Ibias and Manuel Núñez. Estimating fault masking using squeeziness based on Rényi’s entropy. In Chih-Cheng Hung, Tomás Cern’y, Dongwan Shin, and Alessio Bechini, editors, SAC ’20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 – April 3, 2020, pages 1936-1943. ACM, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/sac/Ibias020,
      author    = {Alfredo Ibias and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Chih{-}Cheng Hung and
                   Tom{\'{a}}s Cern{\'{y}} and
                   Dongwan Shin and
                   Alessio Bechini},
      title     = {Estimating fault masking using squeeziness based on R{\'{e}}nyi's
                   entropy},
      booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
                   event, [Brno, Czech Republic], March 30 - April 3, 2020},
      pages     = {1936--1943},
      publisher = {{ACM}},
      year      = {2020},
      url       = {https://doi.org/10.1145/3341105.3373920},
      doi       = {10.1145/3341105.3373920},
      timestamp = {Thu, 02 Apr 2020 17:08:04 +0200},
      biburl    = {https://dblp.org/rec/conf/sac/Ibias020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2019

  • [DOI] Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, and Manuel Núñez. Using Genetic Algorithms to Generate Test Suites for FSMs. In Ignacio Rojas, Gonzalo Joya, and Andreu Català, editors, Advances in Computational Intelligence – 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I, volume 11506 of Lecture Notes in Computer Science, pages 741-752. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/iwann/Benito-ParejoMM19,
      author    = {Miguel Benito{-}Parejo and
                   Inmaculada Medina{-}Bulo and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Ignacio Rojas and
                   Gonzalo Joya and
                   Andreu Catal{\`{a}}},
      title     = {Using Genetic Algorithms to Generate Test Suites for FSMs},
      booktitle = {Advances in Computational Intelligence - 15th International Work-Conference
                   on Artificial Neural Networks, {IWANN} 2019, Gran Canaria, Spain,
                   June 12-14, 2019, Proceedings, Part {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {11506},
      pages     = {741--752},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-20521-8\_61},
      doi       = {10.1007/978-3-030-20521-8\_61},
      timestamp = {Fri, 05 Jul 2019 09:41:12 +0200},
      biburl    = {https://dblp.org/rec/conf/iwann/Benito-ParejoMM19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Iván Calvo, Mercedes G. Merayo, Manuel Núñez, and Francisco Palomo-Lozano. Conformance Relations for Fuzzy Automata. In Ignacio Rojas, Gonzalo Joya, and Andreu Català, editors, Advances in Computational Intelligence – 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I, volume 11506 of Lecture Notes in Computer Science, pages 753-765. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/iwann/CalvoM0P19,
      author    = {Iv{\'{a}}n Calvo and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez and
                   Francisco Palomo{-}Lozano},
      editor    = {Ignacio Rojas and
                   Gonzalo Joya and
                   Andreu Catal{\`{a}}},
      title     = {Conformance Relations for Fuzzy Automata},
      booktitle = {Advances in Computational Intelligence - 15th International Work-Conference
                   on Artificial Neural Networks, {IWANN} 2019, Gran Canaria, Spain,
                   June 12-14, 2019, Proceedings, Part {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {11506},
      pages     = {753--765},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-20521-8\_62},
      doi       = {10.1007/978-3-030-20521-8\_62},
      timestamp = {Fri, 05 Jul 2019 09:41:12 +0200},
      biburl    = {https://dblp.org/rec/conf/iwann/CalvoM0P19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] David Griñán, Alfredo Ibias, and Manuel Núñez. Grammar-based Tree Swarm Optimization. In 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019, pages 76-81. IEEE, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/smc/GrinanIN19,
      author    = {David Gri{\~{n}}{\'{a}}n and
                   Alfredo Ibias and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Grammar-based Tree Swarm Optimization},
      booktitle = {2019 {IEEE} International Conference on Systems, Man and Cybernetics,
                   {SMC} 2019, Bari, Italy, October 6-9, 2019},
      pages     = {76--81},
      publisher = {{IEEE}},
      year      = {2019},
      url       = {https://doi.org/10.1109/SMC.2019.8914268},
      doi       = {10.1109/SMC.2019.8914268},
      timestamp = {Sat, 07 Dec 2019 20:19:11 +0100},
      biburl    = {https://dblp.org/rec/conf/smc/GrinanIN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, and Mercedes G. Merayo. Mutation testing for DSLs (tool demo). In Jeff Gray, Matti Rossi, Jonathan Sprinkle, and Juha-Pekka Tolvanen, editors, Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, DSMatSPLASH 2019, Athens, Greece, October 20, 2019, pages 60-62. ACM, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/oopsla/Gomez-AbajoGLM19,
      author    = {Pablo G{\'{o}}mez{-}Abajo and
                   Esther Guerra and
                   Juan de Lara and
                   Mercedes G. Merayo},
      editor    = {Jeff Gray and
                   Matti Rossi and
                   Jonathan Sprinkle and
                   Juha{-}Pekka Tolvanen},
      title     = {Mutation testing for DSLs (tool demo)},
      booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Workshop on
                   Domain-Specific Modeling, DSMatSPLASH 2019, Athens, Greece, October
                   20, 2019},
      pages     = {60--62},
      publisher = {{ACM}},
      year      = {2019},
      url       = {https://doi.org/10.1145/3358501.3361234},
      doi       = {10.1145/3358501.3361234},
      timestamp = {Mon, 15 Jun 2020 17:07:36 +0200},
      biburl    = {https://dblp.org/rec/conf/oopsla/Gomez-AbajoGLM19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alfredo Ibias, David Griñán, and Manuel Núñez. GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures. In Ignacio Rojas, Gonzalo Joya, and Andreu Català, editors, Advances in Computational Intelligence – 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I, volume 11506 of Lecture Notes in Computer Science, pages 716-728. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/iwann/IbiasG019,
      author    = {Alfredo Ibias and
                   David Gri{\~{n}}{\'{a}}n and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Ignacio Rojas and
                   Gonzalo Joya and
                   Andreu Catal{\`{a}}},
      title     = {{GPTSG:} {A} Genetic Programming Test Suite Generator Using Information
                   Theory Measures},
      booktitle = {Advances in Computational Intelligence - 15th International Work-Conference
                   on Artificial Neural Networks, {IWANN} 2019, Gran Canaria, Spain,
                   June 12-14, 2019, Proceedings, Part {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {11506},
      pages     = {716--728},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-20521-8\_59},
      doi       = {10.1007/978-3-030-20521-8\_59},
      timestamp = {Fri, 05 Jul 2019 09:41:12 +0200},
      biburl    = {https://dblp.org/rec/conf/iwann/IbiasG019.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Raluca Lefticaru, Robert M. Hierons, and Manuel Núñez. An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. In Peter Csaba Ölveczky and Gwen Salaün, editors, Software Engineering and Formal Methods – 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, volume 11724 of Lecture Notes in Computer Science, pages 393-409. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/sefm/LefticaruHN19,
      author    = {Raluca Lefticaru and
                   Robert M. Hierons and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Peter Csaba {\"{O}}lveczky and
                   Gwen Sala{\"{u}}n},
      title     = {An Implementation Relation for Cyclic Systems with Refusals and Discrete
                   Time},
      booktitle = {Software Engineering and Formal Methods - 17th International Conference,
                   {SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {11724},
      pages     = {393--409},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-30446-1\_21},
      doi       = {10.1007/978-3-030-30446-1\_21},
      timestamp = {Mon, 09 Sep 2019 15:50:50 +0200},
      biburl    = {https://dblp.org/rec/conf/sefm/LefticaruHN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2018

  • [DOI] Iván Calvo, Mercedes G. Merayo, and Manuel Núñez. An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data. In Ngoc Thanh Nguyen, Duong Hung Hoang, Tzung-Pei Hong, Hoang Pham, and Bogdan Trawinski, editors, Intelligent Information and Database Systems – 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I, volume 10751 of Lecture Notes in Computer Science, pages 694-704. Springer, 2018.
    [Bibtex]
    @inproceedings{DBLP:conf/aciids/CalvoM018,
      author    = {Iv{\'{a}}n Calvo and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Ngoc Thanh Nguyen and
                   Duong Hung Hoang and
                   Tzung{-}Pei Hong and
                   Hoang Pham and
                   Bogdan Trawinski},
      title     = {An Improved and Tool-Supported Fuzzy Automata Framework to Analyze
                   Heart Data},
      booktitle = {Intelligent Information and Database Systems - 10th Asian Conference,
                   {ACIIDS} 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings,
                   Part {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {10751},
      pages     = {694--704},
      publisher = {Springer},
      year      = {2018},
      url       = {https://doi.org/10.1007/978-3-319-75417-8\_65},
      doi       = {10.1007/978-3-319-75417-8\_65},
      timestamp = {Tue, 14 May 2019 10:00:45 +0200},
      biburl    = {https://dblp.org/rec/conf/aciids/CalvoM018.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, and Ngoc Thanh Nguyen. Intelligent Collectives: Impact of Diversity on Susceptibility to Consensus and Collective Performance. In Ngoc Thanh Nguyen, Elias Pimenidis, Zaheer Khan, and Bogdan Trawinski, editors, Computational Collective Intelligence – 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I, volume 11055 of Lecture Notes in Computer Science, pages 13-22. Springer, 2018.
    [Bibtex]
    @inproceedings{DBLP:conf/iccci/0001TMN18,
      author    = {Van Du Nguyen and
                   Hai Bang Truong and
                   Mercedes G. Merayo and
                   Ngoc Thanh Nguyen},
      editor    = {Ngoc Thanh Nguyen and
                   Elias Pimenidis and
                   Zaheer Khan and
                   Bogdan Trawinski},
      title     = {Intelligent Collectives: Impact of Diversity on Susceptibility to
                   Consensus and Collective Performance},
      booktitle = {Computational Collective Intelligence - 10th International Conference,
                   {ICCCI} 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part
                   {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {11055},
      pages     = {13--22},
      publisher = {Springer},
      year      = {2018},
      url       = {https://doi.org/10.1007/978-3-319-98443-8\_2},
      doi       = {10.1007/978-3-319-98443-8\_2},
      timestamp = {Tue, 14 May 2019 10:00:45 +0200},
      biburl    = {https://dblp.org/rec/conf/iccci/0001TMN18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Van Du Nguyen, Hai Bang Truong, Trong Hai Duong, Mercedes G. Merayo, and Ngoc Thanh Nguyen. A Comparative Study of Methods for Collective Prediction Determination Using Interval Estimates. In Rajendra Akerkar, Mirjana Ivanovic, Sang-Wook Kim, Yannis Manolopoulos, Riccardo Rosati, Milos Savic, Costin Badica, and Milos Radovanovic, editors, Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, WIMS 2018, Novi Sad, Serbia, June 25-27, 2018, pages 2:1–2:6. ACM, 2018.
    [Bibtex]
    @inproceedings{DBLP:conf/wims/0001TDMN18,
      author    = {Van Du Nguyen and
                   Hai Bang Truong and
                   Trong Hai Duong and
                   Mercedes G. Merayo and
                   Ngoc Thanh Nguyen},
      editor    = {Rajendra Akerkar and
                   Mirjana Ivanovic and
                   Sang{-}Wook Kim and
                   Yannis Manolopoulos and
                   Riccardo Rosati and
                   Milos Savic and
                   Costin Badica and
                   Milos Radovanovic},
      title     = {A Comparative Study of Methods for Collective Prediction Determination
                   Using Interval Estimates},
      booktitle = {Proceedings of the 8th International Conference on Web Intelligence,
                   Mining and Semantics, {WIMS} 2018, Novi Sad, Serbia, June 25-27, 2018},
      pages     = {2:1--2:6},
      publisher = {{ACM}},
      year      = {2018},
      url       = {https://doi.org/10.1145/3227609.3227688},
      doi       = {10.1145/3227609.3227688},
      timestamp = {Wed, 21 Nov 2018 12:44:17 +0100},
      biburl    = {https://dblp.org/rec/conf/wims/0001TDMN18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, and Manuel Núñez. Test suite minimization for mutation testing of WS-BPEL compositions. In Hernán E. Aguirre and Keiki Takadama, editors, Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018, pages 1427-1434. ACM, 2018.
    [Bibtex]
    @inproceedings{DBLP:conf/gecco/Palomo-LozanoEM18,
      author    = {Francisco Palomo{-}Lozano and
                   Antonia Estero{-}Botaro and
                   Inmaculada Medina{-}Bulo and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Hern{\'{a}}n E. Aguirre and
                   Keiki Takadama},
      title     = {Test suite minimization for mutation testing of {WS-BPEL} compositions},
      booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
                   {GECCO} 2018, Kyoto, Japan, July 15-19, 2018},
      pages     = {1427--1434},
      publisher = {{ACM}},
      year      = {2018},
      url       = {https://doi.org/10.1145/3205455.3205533},
      doi       = {10.1145/3205455.3205533},
      timestamp = {Wed, 21 Nov 2018 12:43:54 +0100},
      biburl    = {https://dblp.org/rec/conf/gecco/Palomo-LozanoEM18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2017

  • [DOI] Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, and Anna Ingólfsdóttir. Logical Characterisations and Compositionality of Input-Output Conformance Simulation. In Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, and Tiziana Margaria, editors, SOFSEM 2017: Theory and Practice of Computer Science – 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings, volume 10139 of Lecture Notes in Computer Science, pages 37-48. Springer, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/sofsem/AcetoFGI17,
      author    = {Luca Aceto and
                   Ignacio F{\'{a}}bregas and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Anna Ing{\'{o}}lfsd{\'{o}}ttir},
      editor    = {Bernhard Steffen and
                   Christel Baier and
                   Mark van den Brand and
                   Johann Eder and
                   Mike Hinchey and
                   Tiziana Margaria},
      title     = {Logical Characterisations and Compositionality of Input-Output Conformance
                   Simulation},
      booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
                   Conference on Current Trends in Theory and Practice of Computer Science,
                   Limerick, Ireland, January 16-20, 2017, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {10139},
      pages     = {37--48},
      publisher = {Springer},
      year      = {2017},
      url       = {https://doi.org/10.1007/978-3-319-51963-0\_4},
      doi       = {10.1007/978-3-319-51963-0\_4},
      timestamp = {Fri, 27 Mar 2020 08:47:24 +0100},
      biburl    = {https://dblp.org/rec/conf/sofsem/AcetoFGI17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez, Guillermo Román-Díez, Juan Manuel Vara, and Damiano Zanardini. SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. In Martina Seidl and Steffen Zschaler, editors, Software Technologies: Applications and Foundations – STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers, volume 10748 of Lecture Notes in Computer Science, pages 367-374. Springer, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/staf/AlbertCGLM0RVZ17,
      author    = {Elvira Albert and
                   Pablo C. Ca{\~{n}}izares and
                   Esther Guerra and
                   Juan de Lara and
                   Esperanza Marcos and
                   Manuel N{\'{u}}{\~{n}}ez and
                   Guillermo Rom{\'{a}}n{-}D{\'{i}}ez and
                   Juan Manuel Vara and
                   Damiano Zanardini},
      editor    = {Martina Seidl and
                   Steffen Zschaler},
      title     = {SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced
                   Tools},
      booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
                   Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
                   Selected Papers},
      series    = {Lecture Notes in Computer Science},
      volume    = {10748},
      pages     = {367--374},
      publisher = {Springer},
      year      = {2017},
      url       = {https://doi.org/10.1007/978-3-319-74730-9\_32},
      doi       = {10.1007/978-3-319-74730-9\_32},
      timestamp = {Tue, 14 May 2019 10:00:51 +0200},
      biburl    = {https://dblp.org/rec/conf/staf/AlbertCGLM0RVZ17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Juan Boubeta-Puig, Azahara Camacho, Luis Llana, and Manuel Núñez. A Formal Framework to Specify and Test Systems with Fuzzy-Time Information. In Ignacio Rojas, Gonzalo Joya, and Andreu Català, editors, Advances in Computational Intelligence – 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II, volume 10306 of Lecture Notes in Computer Science, pages 403-414. Springer, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/iwann/Boubeta-PuigCLN17,
      author    = {Juan Boubeta{-}Puig and
                   Azahara Camacho and
                   Luis Llana and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Ignacio Rojas and
                   Gonzalo Joya and
                   Andreu Catal{\`{a}}},
      title     = {A Formal Framework to Specify and Test Systems with Fuzzy-Time Information},
      booktitle = {Advances in Computational Intelligence - 14th International Work-Conference
                   on Artificial Neural Networks, {IWANN} 2017, Cadiz, Spain, June 14-16,
                   2017, Proceedings, Part {II}},
      series    = {Lecture Notes in Computer Science},
      volume    = {10306},
      pages     = {403--414},
      publisher = {Springer},
      year      = {2017},
      url       = {https://doi.org/10.1007/978-3-319-59147-6\_35},
      doi       = {10.1007/978-3-319-59147-6\_35},
      timestamp = {Tue, 14 May 2019 10:00:51 +0200},
      biburl    = {https://dblp.org/rec/conf/iwann/Boubeta-PuigCLN17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Azahara Camacho, Mercedes G. Merayo, and Manuel Núñez. Using fuzzy automata to diagnose and predict heart problems. In 2017 IEEE Congress on Evolutionary Computation, CEC 2017, Donostia, San Sebastián, Spain, June 5-8, 2017, pages 846-853. IEEE, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/cec/CamachoMN17,
      author    = {Azahara Camacho and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Using fuzzy automata to diagnose and predict heart problems},
      booktitle = {2017 {IEEE} Congress on Evolutionary Computation, {CEC} 2017, Donostia,
                   San Sebasti{\'{a}}n, Spain, June 5-8, 2017},
      pages     = {846--853},
      publisher = {{IEEE}},
      year      = {2017},
      url       = {https://doi.org/10.1109/CEC.2017.7969397},
      doi       = {10.1109/CEC.2017.7969397},
      timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
      biburl    = {https://dblp.org/rec/conf/cec/CamachoMN17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María-Emilia Cambronero, Luis Llana, and Gordon J. Pace. Timed Contract Compliance Under Event Timing Uncertainty. In Adam Z. Wyner and Giovanni Casini, editors, Legal Knowledge and Information Systems – JURIX 2017: The Thirtieth Annual Conference, Luxembourg, 13-15 December 2017, volume 302 of Frontiers in Artificial Intelligence and Applications, pages 33-38. IOS Press, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/jurix/CambroneroLP17,
      author    = {Mar{\'{i}}a{-}Emilia Cambronero and
                   Luis Llana and
                   Gordon J. Pace},
      editor    = {Adam Z. Wyner and
                   Giovanni Casini},
      title     = {Timed Contract Compliance Under Event Timing Uncertainty},
      booktitle = {Legal Knowledge and Information Systems - {JURIX} 2017: The Thirtieth
                   Annual Conference, Luxembourg, 13-15 December 2017},
      series    = {Frontiers in Artificial Intelligence and Applications},
      volume    = {302},
      pages     = {33--38},
      publisher = {{IOS} Press},
      year      = {2017},
      url       = {https://doi.org/10.3233/978-1-61499-838-9-33},
      doi       = {10.3233/978-1-61499-838-9-33},
      timestamp = {Sat, 09 Dec 2017 13:17:39 +0100},
      biburl    = {https://dblp.org/rec/conf/jurix/CambroneroLP17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo C. Cañizares, Alberto Núñez, and Juan de Lara. OUTRIDER: Optimizing the mUtation Testing pRocess In Distributed EnviRonments. In Petros Koumoutsakos, Michael Lees, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, and Peter M. A. Sloot, editors, International Conference on Computational Science, ICCS 2017, 12-14 June 2017, Zurich, Switzerland, volume 108 of Procedia Computer Science, pages 505-514. Elsevier, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/iccS/CanizaresNL17,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Juan de Lara},
      editor    = {Petros Koumoutsakos and
                   Michael Lees and
                   Valeria V. Krzhizhanovskaya and
                   Jack J. Dongarra and
                   Peter M. A. Sloot},
      title     = {{OUTRIDER:} Optimizing the mUtation Testing pRocess In Distributed
                   EnviRonments},
      booktitle = {International Conference on Computational Science, {ICCS} 2017, 12-14
                   June 2017, Zurich, Switzerland},
      series    = {Procedia Computer Science},
      volume    = {108},
      pages     = {505--514},
      publisher = {Elsevier},
      year      = {2017},
      url       = {https://doi.org/10.1016/j.procs.2017.05.095},
      doi       = {10.1016/j.procs.2017.05.095},
      timestamp = {Fri, 27 Dec 2019 21:23:07 +0100},
      biburl    = {https://dblp.org/rec/conf/iccS/CanizaresNL17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo C. Cañizares, Mercedes G. Merayo, and Alberto Núñez. Using Ants to Fight Wildfire. In Ignacio Rojas, Gonzalo Joya, and Andreu Català, editors, Advances in Computational Intelligence – 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II, volume 10306 of Lecture Notes in Computer Science, pages 371-380. Springer, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/iwann/CanizaresMN17,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Mercedes G. Merayo and
                   Alberto N{\'{u}}{\~{n}}ez},
      editor    = {Ignacio Rojas and
                   Gonzalo Joya and
                   Andreu Catal{\`{a}}},
      title     = {Using Ants to Fight Wildfire},
      booktitle = {Advances in Computational Intelligence - 14th International Work-Conference
                   on Artificial Neural Networks, {IWANN} 2017, Cadiz, Spain, June 14-16,
                   2017, Proceedings, Part {II}},
      series    = {Lecture Notes in Computer Science},
      volume    = {10306},
      pages     = {371--380},
      publisher = {Springer},
      year      = {2017},
      url       = {https://doi.org/10.1007/978-3-319-59147-6\_32},
      doi       = {10.1007/978-3-319-59147-6\_32},
      timestamp = {Fri, 27 Dec 2019 21:20:15 +0100},
      biburl    = {https://dblp.org/rec/conf/iwann/CanizaresMN17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo C. Cañizares, Alberto Núñez, and Juan de Lara. MAGICIAN: Model-based design for optimizing the configuration of data-centers. In Xudong He, editor, The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017, pages 602-607. KSI Research Inc. and Knowledge Systems Institute Graduate School, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/seke/CanizaresNL17,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Juan de Lara},
      editor    = {Xudong He},
      title     = {{MAGICIAN:} Model-based design for optimizing the configuration of
                   data-centers},
      booktitle = {The 29th International Conference on Software Engineering and Knowledge
                   Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA,
                   USA, July 5-7, 2017},
      pages     = {602--607},
      publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
      year      = {2017},
      url       = {https://doi.org/10.18293/SEKE2017-108},
      doi       = {10.18293/SEKE2017-108},
      timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
      biburl    = {https://dblp.org/rec/conf/seke/CanizaresNL17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pedro Delgado-Pérez, Inmaculada Medina-Bulo, and Manuel Núñez. Using Evolutionary Mutation Testing to improve the quality of test suites. In 2017 IEEE Congress on Evolutionary Computation, CEC 2017, Donostia, San Sebastián, Spain, June 5-8, 2017, pages 596-603. IEEE, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/cec/Delgado-PerezMN17,
      author    = {Pedro Delgado{-}P{\'{e}}rez and
                   Inmaculada Medina{-}Bulo and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Using Evolutionary Mutation Testing to improve the quality of test
                   suites},
      booktitle = {2017 {IEEE} Congress on Evolutionary Computation, {CEC} 2017, Donostia,
                   San Sebasti{\'{a}}n, Spain, June 5-8, 2017},
      pages     = {596--603},
      publisher = {{IEEE}},
      year      = {2017},
      url       = {https://doi.org/10.1109/CEC.2017.7969365},
      doi       = {10.1109/CEC.2017.7969365},
      timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
      biburl    = {https://dblp.org/rec/conf/cec/Delgado-PerezMN17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pedro Delgado-Pérez, Inmaculada Medina-Bulo, and Mercedes G. Merayo. Using Evolutionary Computation to Improve Mutation Testing. In Ignacio Rojas, Gonzalo Joya, and Andreu Català, editors, Advances in Computational Intelligence – 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II, volume 10306 of Lecture Notes in Computer Science, pages 381-391. Springer, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/iwann/Delgado-PerezMM17,
      author    = {Pedro Delgado{-}P{\'{e}}rez and
                   Inmaculada Medina{-}Bulo and
                   Mercedes G. Merayo},
      editor    = {Ignacio Rojas and
                   Gonzalo Joya and
                   Andreu Catal{\`{a}}},
      title     = {Using Evolutionary Computation to Improve Mutation Testing},
      booktitle = {Advances in Computational Intelligence - 14th International Work-Conference
                   on Artificial Neural Networks, {IWANN} 2017, Cadiz, Spain, June 14-16,
                   2017, Proceedings, Part {II}},
      series    = {Lecture Notes in Computer Science},
      volume    = {10306},
      pages     = {381--391},
      publisher = {Springer},
      year      = {2017},
      url       = {https://doi.org/10.1007/978-3-319-59147-6\_33},
      doi       = {10.1007/978-3-319-59147-6\_33},
      timestamp = {Tue, 14 May 2019 10:00:51 +0200},
      biburl    = {https://dblp.org/rec/conf/iwann/Delgado-PerezMM17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Van Du Nguyen, Mercedes G. Merayo, and Ngoc Thanh Nguyen. Intelligent Collective: The Role of Diversity and Collective Cardinality. In Ngoc Thanh Nguyen, George A. Papadopoulos, Piotr Jedrzejowicz, Bogdan Trawinski, and Gottfried Vossen, editors, Computational Collective Intelligence – 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings, Part I, volume 10448 of Lecture Notes in Computer Science, pages 83-92. Springer, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/iccci/0001MN17,
      author    = {Van Du Nguyen and
                   Mercedes G. Merayo and
                   Ngoc Thanh Nguyen},
      editor    = {Ngoc Thanh Nguyen and
                   George A. Papadopoulos and
                   Piotr Jedrzejowicz and
                   Bogdan Trawinski and
                   Gottfried Vossen},
      title     = {Intelligent Collective: The Role of Diversity and Collective Cardinality},
      booktitle = {Computational Collective Intelligence - 9th International Conference,
                   {ICCCI} 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings,
                   Part {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {10448},
      pages     = {83--92},
      publisher = {Springer},
      year      = {2017},
      url       = {https://doi.org/10.1007/978-3-319-67074-4\_9},
      doi       = {10.1007/978-3-319-67074-4\_9},
      timestamp = {Tue, 14 May 2019 10:00:45 +0200},
      biburl    = {https://dblp.org/rec/conf/iccci/0001MN17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2016

  • [DOI] Pablo C. Cañizares, Mercedes G. Merayo, and Alberto Núñez. FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts. In Ngoc Thanh Nguyen, Bogdan Trawinski, Hamido Fujita, and Tzung-Pei Hong, editors, Intelligent Information and Database Systems – 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I, volume 9621 of Lecture Notes in Computer Science, pages 770-779. Springer, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/aciids/CanizaresMN16,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Mercedes G. Merayo and
                   Alberto N{\'{u}}{\~{n}}ez},
      editor    = {Ngoc Thanh Nguyen and
                   Bogdan Trawinski and
                   Hamido Fujita and
                   Tzung{-}Pei Hong},
      title     = {{FARTHEST:} FormAl distRibuTed scHema to dEtect Suspicious arTefacts},
      booktitle = {Intelligent Information and Database Systems - 8th Asian Conference,
                   {ACIIDS} 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part
                   {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {9621},
      pages     = {770--779},
      publisher = {Springer},
      year      = {2016},
      url       = {https://doi.org/10.1007/978-3-662-49381-6\_74},
      doi       = {10.1007/978-3-662-49381-6\_74},
      timestamp = {Fri, 27 Dec 2019 21:26:13 +0100},
      biburl    = {https://dblp.org/rec/conf/aciids/CanizaresMN16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo C. Cañizares, Mercedes G. Merayo, and Alberto Núñez. EMINENT: EMbarrassINgly parallEl mutatioN Testing. In Michelle Connolly, editor, International Conference on Computational Science 2016, ICCS 2016, 6-8 June 2016, San Diego, California, USA, volume 80 of Procedia Computer Science, pages 63-73. Elsevier, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/iccS/CanizaresMN16,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Mercedes G. Merayo and
                   Alberto N{\'{u}}{\~{n}}ez},
      editor    = {Michelle Connolly},
      title     = {{EMINENT:} EMbarrassINgly parallEl mutatioN Testing},
      booktitle = {International Conference on Computational Science 2016, {ICCS} 2016,
                   6-8 June 2016, San Diego, California, {USA}},
      series    = {Procedia Computer Science},
      volume    = {80},
      pages     = {63--73},
      publisher = {Elsevier},
      year      = {2016},
      url       = {https://doi.org/10.1016/j.procs.2016.05.298},
      doi       = {10.1016/j.procs.2016.05.298},
      timestamp = {Fri, 27 Dec 2019 21:23:08 +0100},
      biburl    = {https://dblp.org/rec/conf/iccS/CanizaresMN16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Robert M. Hierons, Mercedes G. Merayo, and Manuel Núñez. Controllability Through Nondeterminism in Distributed Testing. In Franz Wotawa, Mihai Nica, and Natalia Kushik, editors, Testing Software and Systems – 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, volume 9976 of Lecture Notes in Computer Science, pages 89-105, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/pts/HieronsMN16,
      author    = {Robert M. Hierons and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Franz Wotawa and
                   Mihai Nica and
                   Natalia Kushik},
      title     = {Controllability Through Nondeterminism in Distributed Testing},
      booktitle = {Testing Software and Systems - 28th {IFIP} {WG} 6.1 International
                   Conference, {ICTSS} 2016, Graz, Austria, October 17-19, 2016, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {9976},
      pages     = {89--105},
      year      = {2016},
      url       = {https://doi.org/10.1007/978-3-319-47443-4\_6},
      doi       = {10.1007/978-3-319-47443-4\_6},
      timestamp = {Tue, 14 May 2019 10:00:53 +0200},
      biburl    = {https://dblp.org/rec/conf/pts/HieronsMN16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Luis Llana, María-Emilia Cambronero, and Gregorio Díaz. The Simulation Relation for Formal E-Contracts. In Rusins Martins Freivalds, Gregor Engels, and Barbara Catania, editors, SOFSEM 2016: Theory and Practice of Computer Science – 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings, volume 9587 of Lecture Notes in Computer Science, pages 490-502. Springer, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/sofsem/LlanaCD16,
      author    = {Luis Llana and
                   Mar{\'{i}}a{-}Emilia Cambronero and
                   Gregorio D{\'{i}}az},
      editor    = {Rusins Martins Freivalds and
                   Gregor Engels and
                   Barbara Catania},
      title     = {The Simulation Relation for Formal E-Contracts},
      booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
                   Conference on Current Trends in Theory and Practice of Computer Science,
                   Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {9587},
      pages     = {490--502},
      publisher = {Springer},
      year      = {2016},
      url       = {https://doi.org/10.1007/978-3-662-49192-8\_40},
      doi       = {10.1007/978-3-662-49192-8\_40},
      timestamp = {Tue, 14 May 2019 10:00:44 +0200},
      biburl    = {https://dblp.org/rec/conf/sofsem/LlanaCD16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2015

  • [DOI] Pablo C. Cañizares, Alberto Núñez, Manuel Núñez, and Juan José Pardo. A Methodology for Designing Energy-aware Systems for Computational Science. In Slawomir Koziel, Leifur TH. Leifsson, Michael Lees, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, and Peter M. A. Sloot, editors, Proceedings of the International Conference on Computational Science, ICCS 2015, Computational Science at the Gates of Nature, Reykjavík, Iceland, 1-3 June, 2015, 2014, volume 51 of Procedia Computer Science, pages 2804-2808. Elsevier, 2015.
    [Bibtex]
    @inproceedings{DBLP:conf/iccS/CanizaresNNP15,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Manuel N{\'{u}}{\~{n}}ez and
                   Juan Jos{\'{e}} Pardo},
      editor    = {Slawomir Koziel and
                   Leifur {\TH}. Leifsson and
                   Michael Lees and
                   Valeria V. Krzhizhanovskaya and
                   Jack J. Dongarra and
                   Peter M. A. Sloot},
      title     = {A Methodology for Designing Energy-aware Systems for Computational
                   Science},
      booktitle = {Proceedings of the International Conference on Computational Science,
                   {ICCS} 2015, Computational Science at the Gates of Nature, Reykjav{\'{i}}k,
                   Iceland, 1-3 June, 2015, 2014},
      series    = {Procedia Computer Science},
      volume    = {51},
      pages     = {2804--2808},
      publisher = {Elsevier},
      year      = {2015},
      url       = {https://doi.org/10.1016/j.procs.2015.05.438},
      doi       = {10.1016/j.procs.2015.05.438},
      timestamp = {Fri, 27 Dec 2019 21:23:08 +0100},
      biburl    = {https://dblp.org/rec/conf/iccS/CanizaresNNP15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Carlos Gregorio-Rodríguez, Luis Llana, and Rafael Martínez-Torres. Extending mCRL2 with ready simulation and iocos input-output conformance simulation. In Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, and Jiman Hong, editors, Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pages 1781-1788. ACM, 2015.
    [Bibtex]
    @inproceedings{DBLP:conf/sac/Gregorio-Rodriguez15,
      author    = {Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Luis Llana and
                   Rafael Mart{\'{i}}nez{-}Torres},
      editor    = {Roger L. Wainwright and
                   Juan Manuel Corchado and
                   Alessio Bechini and
                   Jiman Hong},
      title     = {Extending mCRL2 with ready simulation and iocos input-output conformance
                   simulation},
      booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
                   Salamanca, Spain, April 13-17, 2015},
      pages     = {1781--1788},
      publisher = {{ACM}},
      year      = {2015},
      url       = {https://doi.org/10.1145/2695664.2695853},
      doi       = {10.1145/2695664.2695853},
      timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
      biburl    = {https://dblp.org/rec/conf/sac/Gregorio-Rodriguez15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2014

  • [DOI] Carlos Gregorio-Rodríguez, Luis Llana, and Rafael Martínez-Torres. Effectiveness for Input Output Conformance Simulation iocos\unicode817. In Erika Ábrahám and Catuscia Palamidessi, editors, Formal Techniques for Distributed Objects, Components, and Systems – 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, volume 8461 of Lecture Notes in Computer Science, pages 100-116. Springer, 2014.
    [Bibtex]
    @inproceedings{DBLP:conf/forte/Gregorio-RodriguezLM14,
      author    = {Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Luis Llana and
                   Rafael Mart{\'{i}}nez{-}Torres},
      editor    = {Erika {\'{A}}brah{\'{a}}m and
                   Catuscia Palamidessi},
      title     = {Effectiveness for Input Output Conformance Simulation iocos{\unicode{817}}},
      booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
                   - 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
                   as Part of the 9th International Federated Conference on Distributed
                   Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
                   Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {8461},
      pages     = {100--116},
      publisher = {Springer},
      year      = {2014},
      url       = {https://doi.org/10.1007/978-3-662-43613-4\_7},
      doi       = {10.1007/978-3-662-43613-4\_7},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl    = {https://dblp.org/rec/conf/forte/Gregorio-RodriguezLM14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Nuñez, Pablo C. Cañizares, and Manuel Núñez. A Methodology for Aiding Users to Design and Model Cloud Computing Architectures. In Kokou Yétongnon, Albert Dipanda, and Richard Chbeir, editors, Tenth International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2014, Marrakech, Morocco, November 23-27, 2014, pages 215-222. IEEE Computer Society, 2014.
    [Bibtex]
    @inproceedings{DBLP:conf/sitis/NunezCN14,
      author    = {Alberto Nu{\~{n}}ez and
                   Pablo C. Ca{\~{n}}izares and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Kokou Y{\'{e}}tongnon and
                   Albert Dipanda and
                   Richard Chbeir},
      title     = {A Methodology for Aiding Users to Design and Model Cloud Computing
                   Architectures},
      booktitle = {Tenth International Conference on Signal-Image Technology and Internet-Based
                   Systems, {SITIS} 2014, Marrakech, Morocco, November 23-27, 2014},
      pages     = {215--222},
      publisher = {{IEEE} Computer Society},
      year      = {2014},
      url       = {https://doi.org/10.1109/SITIS.2014.41},
      doi       = {10.1109/SITIS.2014.41},
      timestamp = {Fri, 27 Dec 2019 21:24:31 +0100},
      biburl    = {https://dblp.org/rec/conf/sitis/NunezCN14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2013

  • [DOI] Gregorio Díaz and Luis Llana. Contract Compliance Monitoring of Web Services. In Kung-Kiu Lau, Winfried Lamersdorf, and Ernesto Pimentel, editors, Service-Oriented and Cloud Computing – Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings, volume 8135 of Lecture Notes in Computer Science, pages 119-133. Springer, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/esocc/DiazL13,
      author    = {Gregorio D{\'{i}}az and
                   Luis Llana},
      editor    = {Kung{-}Kiu Lau and
                   Winfried Lamersdorf and
                   Ernesto Pimentel},
      title     = {Contract Compliance Monitoring of Web Services},
      booktitle = {Service-Oriented and Cloud Computing - Second European Conference,
                   {ESOCC} 2013, M{\'{a}}laga, Spain, September 11-13, 2013. Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {8135},
      pages     = {119--133},
      publisher = {Springer},
      year      = {2013},
      url       = {https://doi.org/10.1007/978-3-642-40651-5\_10},
      doi       = {10.1007/978-3-642-40651-5\_10},
      timestamp = {Tue, 14 May 2019 10:00:49 +0200},
      biburl    = {https://dblp.org/rec/conf/esocc/DiazL13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Carlos Gregorio-Rodríguez, Luis Llana, and Rafael Martínez-Torres. Input-Output Conformance Simulation (iocos) for Model Based Testing. In Dirk Beyer and Michele Boreale, editors, Formal Techniques for Distributed Systems – Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, volume 7892 of Lecture Notes in Computer Science, pages 114-129. Springer, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/forte/Gregorio-RodriguezLM13,
      author    = {Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Luis Llana and
                   Rafael Mart{\'{i}}nez{-}Torres},
      editor    = {Dirk Beyer and
                   Michele Boreale},
      title     = {Input-Output Conformance Simulation (iocos) for Model Based Testing},
      booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
                   International Conference, {FMOODS/FORTE} 2013, Held as Part of the
                   8th International Federated Conference on Distributed Computing Techniques,
                   DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {7892},
      pages     = {114--129},
      publisher = {Springer},
      year      = {2013},
      url       = {https://doi.org/10.1007/978-3-642-38592-6\_9},
      doi       = {10.1007/978-3-642-38592-6\_9},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl    = {https://dblp.org/rec/conf/forte/Gregorio-RodriguezLM13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Luis Llana and Rafael Martínez-Torres. IOCO as a Simulation. In Steve Counsell and Manuel Núñez, editors, Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, volume 8368 of Lecture Notes in Computer Science, pages 125-134. Springer, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/sefm/LlanaM13,
      author    = {Luis Llana and
                   Rafael Mart{\'{i}}nez{-}Torres},
      editor    = {Steve Counsell and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {{IOCO} as a Simulation},
      booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
                   BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
                   September 23-24, 2013, Revised Selected Papers},
      series    = {Lecture Notes in Computer Science},
      volume    = {8368},
      pages     = {125--134},
      publisher = {Springer},
      year      = {2013},
      url       = {https://doi.org/10.1007/978-3-319-05032-4\_10},
      doi       = {10.1007/978-3-319-05032-4\_10},
      timestamp = {Tue, 14 May 2019 10:00:54 +0200},
      biburl    = {https://dblp.org/rec/conf/sefm/LlanaM13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Nuñez, Rosa Filgueira, and Mercedes G. Merayo. SANComSim: A Scalable, Adaptive and Non-intrusive Framework to Optimize Performance in Computational Science Applications. In Vassil N. Alexandrov, Michael Lees, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, and Peter M. A. Sloot, editors, Proceedings of the International Conference on Computational Science, ICCS 2013, Barcelona, Spain, 5-7 June, 2013, volume 18 of Procedia Computer Science, pages 230-239. Elsevier, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/iccS/NunezFM13,
      author    = {Alberto Nu{\~{n}}ez and
                   Rosa Filgueira and
                   Mercedes G. Merayo},
      editor    = {Vassil N. Alexandrov and
                   Michael Lees and
                   Valeria V. Krzhizhanovskaya and
                   Jack J. Dongarra and
                   Peter M. A. Sloot},
      title     = {SANComSim: {A} Scalable, Adaptive and Non-intrusive Framework to Optimize
                   Performance in Computational Science Applications},
      booktitle = {Proceedings of the International Conference on Computational Science,
                   {ICCS} 2013, Barcelona, Spain, 5-7 June, 2013},
      series    = {Procedia Computer Science},
      volume    = {18},
      pages     = {230--239},
      publisher = {Elsevier},
      year      = {2013},
      url       = {https://doi.org/10.1016/j.procs.2013.05.186},
      doi       = {10.1016/j.procs.2013.05.186},
      timestamp = {Fri, 27 Dec 2019 21:23:07 +0100},
      biburl    = {https://dblp.org/rec/conf/iccS/NunezFM13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2012

  • [DOI] Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, and Anna Ingólfsdóttir. The Equational Theory of Weak Complete Simulation Semantics over BCCSP. In Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, and György Turán, editors, SOFSEM 2012: Theory and Practice of Computer Science – 38th Conference on Current Trends in Theory and Practice of Computer Science, \vSpindler\ruv Ml\’yn, Czech Republic, January 21-27, 2012. Proceedings, volume 7147 of Lecture Notes in Computer Science, pages 141-152. Springer, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/sofsem/AcetoFGI12,
      author    = {Luca Aceto and
                   David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Anna Ing{\'{o}}lfsd{\'{o}}ttir},
      editor    = {M{\'{a}}ria Bielikov{\'{a}} and
                   Gerhard Friedrich and
                   Georg Gottlob and
                   Stefan Katzenbeisser and
                   Gy{\"{o}}rgy Tur{\'{a}}n},
      title     = {The Equational Theory of Weak Complete Simulation Semantics over {BCCSP}},
      booktitle = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
                   on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
                   Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {7147},
      pages     = {141--152},
      publisher = {Springer},
      year      = {2012},
      url       = {https://doi.org/10.1007/978-3-642-27660-6\_12},
      doi       = {10.1007/978-3-642-27660-6\_12},
      timestamp = {Tue, 14 May 2019 10:00:44 +0200},
      biburl    = {https://dblp.org/rec/conf/sofsem/AcetoFGI12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Alaeddin M. H. Alawawdeh, César Andrés, and Luis Llana. CLAT: Collaborative Learning Adaptive Tutor. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE’2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012, pages 747-752. Knowledge Systems Institute Graduate School, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/seke/AlawawdehAL12,
      author    = {Alaeddin M. H. Alawawdeh and
                   C{\'{e}}sar Andr{\'{e}}s and
                   Luis Llana},
      title     = {{CLAT:} Collaborative Learning Adaptive Tutor},
      booktitle = {Proceedings of the 24th International Conference on Software Engineering
                   {\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City,
                   San Francisco Bay, {USA} July 1-3, 2012},
      pages     = {747--752},
      publisher = {Knowledge Systems Institute Graduate School},
      year      = {2012},
      timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
      biburl    = {https://dblp.org/rec/conf/seke/AlawawdehAL12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] César Andrés, Rui Abreu, and Alberto Nuñez. OCE: An Online Colaborative Editor. In Ngoc Thanh Nguyen, Kiem Hoang, and Piotr Jedrzejowicz, editors, Computational Collective Intelligence. Technologies and Applications – 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part II, volume 7654 of Lecture Notes in Computer Science, pages 89-98. Springer, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/iccci/AndresAN12,
      author    = {C{\'{e}}sar Andr{\'{e}}s and
                   Rui Abreu and
                   Alberto Nu{\~{n}}ez},
      editor    = {Ngoc Thanh Nguyen and
                   Kiem Hoang and
                   Piotr Jedrzejowicz},
      title     = {{OCE:} An Online Colaborative Editor},
      booktitle = {Computational Collective Intelligence. Technologies and Applications
                   - 4th International Conference, {ICCCI} 2012, Ho Chi Minh City, Vietnam,
                   November 28-30, 2012, Proceedings, Part {II}},
      series    = {Lecture Notes in Computer Science},
      volume    = {7654},
      pages     = {89--98},
      publisher = {Springer},
      year      = {2012},
      url       = {https://doi.org/10.1007/978-3-642-34707-8\_10},
      doi       = {10.1007/978-3-642-34707-8\_10},
      timestamp = {Fri, 27 Dec 2019 21:21:07 +0100},
      biburl    = {https://dblp.org/rec/conf/iccci/AndresAN12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] César Andrés, Alberto Nuñez, and Manuel Núñez. Preventing Attacks by Classifying User Models in a Collaborative Scenario. In Ngoc Thanh Nguyen, Kiem Hoang, and Piotr Jedrzejowicz, editors, Computational Collective Intelligence. Technologies and Applications – 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part I, volume 7653 of Lecture Notes in Computer Science, pages 505-514. Springer, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/iccci/AndresNN12,
      author    = {C{\'{e}}sar Andr{\'{e}}s and
                   Alberto Nu{\~{n}}ez and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Ngoc Thanh Nguyen and
                   Kiem Hoang and
                   Piotr Jedrzejowicz},
      title     = {Preventing Attacks by Classifying User Models in a Collaborative Scenario},
      booktitle = {Computational Collective Intelligence. Technologies and Applications
                   - 4th International Conference, {ICCCI} 2012, Ho Chi Minh City, Vietnam,
                   November 28-30, 2012, Proceedings, Part {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {7653},
      pages     = {505--514},
      publisher = {Springer},
      year      = {2012},
      url       = {https://doi.org/10.1007/978-3-642-34630-9\_52},
      doi       = {10.1007/978-3-642-34630-9\_52},
      timestamp = {Fri, 27 Dec 2019 21:21:07 +0100},
      biburl    = {https://dblp.org/rec/conf/iccci/AndresNN12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Gabriel G. Castañé, Alberto Nuñez, and Jesús Carretero. iCanCloud: A Brief Architecture Overview. In 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012, Leganes, Madrid, Spain, July 10-13, 2012, pages 853-854. IEEE Computer Society, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/ispa/CastaneNC12,
      author    = {Gabriel G. Casta{\~{n}}{\'{e}} and
                   Alberto Nu{\~{n}}ez and
                   Jes{\'{u}}s Carretero},
      title     = {iCanCloud: {A} Brief Architecture Overview},
      booktitle = {10th {IEEE} International Symposium on Parallel and Distributed Processing
                   with Applications, {ISPA} 2012, Leganes, Madrid, Spain, July 10-13,
                   2012},
      pages     = {853--854},
      publisher = {{IEEE} Computer Society},
      year      = {2012},
      url       = {https://doi.org/10.1109/ISPA.2012.131},
      doi       = {10.1109/ISPA.2012.131},
      timestamp = {Mon, 23 Mar 2020 07:41:06 +0100},
      biburl    = {https://dblp.org/rec/conf/ispa/CastaneNC12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, and José Antonio Mateo. Conformance Verification of Normative Specifications using C-O Diagrams. In Gordon J. Pace and Anders P. Ravn, editors, Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012, volume 94 of EPTCS, pages 1-10, 2012.
    [Bibtex]
    @inproceedings{DBLP:journals/corr/abs-1209-2237,
      author    = {Gregorio D{\'{i}}az and
                   Luis Llana and
                   Valent{\'{i}}n Valero Ruiz and
                   Jos{\'{e}} Antonio Mateo},
      editor    = {Gordon J. Pace and
                   Anders P. Ravn},
      title     = {Conformance Verification of Normative Specifications using {C-O} Diagrams},
      booktitle = {Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented
                   Software, {FLACOS} 2012, Bertinoro, Italy, 19 September 2012},
      series    = {{EPTCS}},
      volume    = {94},
      pages     = {1--10},
      year      = {2012},
      url       = {https://doi.org/10.4204/EPTCS.94.1},
      doi       = {10.4204/EPTCS.94.1},
      timestamp = {Fri, 02 Nov 2018 09:30:19 +0100},
      biburl    = {https://dblp.org/rec/journals/corr/abs-1209-2237.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rosa Filgueira, Malcolm P. Atkinson, Alberto Nuñez, and Javier Fernández. An Adaptive, Scalable, and Portable Technique for Speeding Up MPI-Based Applications. In Christos Kaklamanis, Theodore S. Papatheodorou, and Paul G. Spirakis, editors, Euro-Par 2012 Parallel Processing – 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, volume 7484 of Lecture Notes in Computer Science, pages 729-740. Springer, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/europar/FilgueiraANF12,
      author    = {Rosa Filgueira and
                   Malcolm P. Atkinson and
                   Alberto Nu{\~{n}}ez and
                   Javier Fern{\'{a}}ndez},
      editor    = {Christos Kaklamanis and
                   Theodore S. Papatheodorou and
                   Paul G. Spirakis},
      title     = {An Adaptive, Scalable, and Portable Technique for Speeding Up MPI-Based
                   Applications},
      booktitle = {Euro-Par 2012 Parallel Processing - 18th International Conference,
                   Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {7484},
      pages     = {729--740},
      publisher = {Springer},
      year      = {2012},
      url       = {https://doi.org/10.1007/978-3-642-32820-6\_72},
      doi       = {10.1007/978-3-642-32820-6\_72},
      timestamp = {Fri, 27 Dec 2019 21:26:53 +0100},
      biburl    = {https://dblp.org/rec/conf/europar/FilgueiraANF12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Luis Llana, Enrique Martin-Martin, and Cristóbal Pareja-Flores. FLOP, a free laboratory of programming. In Mikko-Jussi Laakso and Robert McCartney, editors, 12th Koli Calling International Conference on Computing Education Research, Koli Calling ’12, Koli, Finland, November 15-18, 2012, pages 93-99. ACM, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/kolicalling/LlanaMP12,
      author    = {Luis Llana and
                   Enrique Martin{-}Martin and
                   Crist{\'{o}}bal Pareja{-}Flores},
      editor    = {Mikko{-}Jussi Laakso and
                   Robert McCartney},
      title     = {FLOP, a free laboratory of programming},
      booktitle = {12th Koli Calling International Conference on Computing Education
                   Research, Koli Calling '12, Koli, Finland, November 15-18, 2012},
      pages     = {93--99},
      publisher = {{ACM}},
      year      = {2012},
      url       = {https://doi.org/10.1145/2401796.2401807},
      doi       = {10.1145/2401796.2401807},
      timestamp = {Tue, 06 Nov 2018 16:58:30 +0100},
      biburl    = {https://dblp.org/rec/conf/kolicalling/LlanaMP12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Nuñez, César Andrés, and Mercedes G. Merayo. MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. In Ngoc Thanh Nguyen, Kiem Hoang, and Piotr Jedrzejowicz, editors, Computational Collective Intelligence. Technologies and Applications – 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part I, volume 7653 of Lecture Notes in Computer Science, pages 436-445. Springer, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/iccci/NunezAM12,
      author    = {Alberto Nu{\~{n}}ez and
                   C{\'{e}}sar Andr{\'{e}}s and
                   Mercedes G. Merayo},
      editor    = {Ngoc Thanh Nguyen and
                   Kiem Hoang and
                   Piotr Jedrzejowicz},
      title     = {MAScloud: {A} Framework Based on Multi-Agent Systems for Optimizing
                   Cost in Cloud Computing},
      booktitle = {Computational Collective Intelligence. Technologies and Applications
                   - 4th International Conference, {ICCCI} 2012, Ho Chi Minh City, Vietnam,
                   November 28-30, 2012, Proceedings, Part {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {7653},
      pages     = {436--445},
      publisher = {Springer},
      year      = {2012},
      url       = {https://doi.org/10.1007/978-3-642-34630-9\_45},
      doi       = {10.1007/978-3-642-34630-9\_45},
      timestamp = {Fri, 27 Dec 2019 21:21:06 +0100},
      biburl    = {https://dblp.org/rec/conf/iccci/NunezAM12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2011

  • [DOI] Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, and Anna Ingólfsdóttir. Axiomatizing Weak Ready Simulation Semantics over BCCSP. In Antonio Cerone and Pekka Pihlajasaari, editors, Theoretical Aspects of Computing – ICTAC 2011 – 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings, volume 6916 of Lecture Notes in Computer Science, pages 7-24. Springer, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/ictac/AcetoFGI11,
      author    = {Luca Aceto and
                   David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Anna Ing{\'{o}}lfsd{\'{o}}ttir},
      editor    = {Antonio Cerone and
                   Pekka Pihlajasaari},
      title     = {Axiomatizing Weak Ready Simulation Semantics over {BCCSP}},
      booktitle = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                   Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                   Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {6916},
      pages     = {7--24},
      publisher = {Springer},
      year      = {2011},
      url       = {https://doi.org/10.1007/978-3-642-23283-1\_4},
      doi       = {10.1007/978-3-642-23283-1\_4},
      timestamp = {Tue, 14 May 2019 10:00:38 +0200},
      biburl    = {https://dblp.org/rec/conf/ictac/AcetoFGI11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] César Andrés, Luis Llana, and Manuel Núñez. Self-adaptive fuzzy-timed systems. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2011, New Orleans, LA, USA, 5-8 June, 2011, pages 115-122. IEEE, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/cec/AndresLN11,
      author    = {C{\'{e}}sar Andr{\'{e}}s and
                   Luis Llana and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Self-adaptive fuzzy-timed systems},
      booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
                   2011, New Orleans, LA, USA, 5-8 June, 2011},
      pages     = {115--122},
      publisher = {{IEEE}},
      year      = {2011},
      url       = {https://doi.org/10.1109/CEC.2011.5949607},
      doi       = {10.1109/CEC.2011.5949607},
      timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
      biburl    = {https://dblp.org/rec/conf/cec/AndresLN11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] César Andrés and Luis Llana. Compression Strategies for Passive Testing. In Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, pages 644-653. IEEE Computer Society, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/icst/AndresL11,
      author    = {C{\'{e}}sar Andr{\'{e}}s and
                   Luis Llana},
      title     = {Compression Strategies for Passive Testing},
      booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
                   and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
                   Proceedings},
      pages     = {644--653},
      publisher = {{IEEE} Computer Society},
      year      = {2011},
      url       = {https://doi.org/10.1109/ICSTW.2011.19},
      doi       = {10.1109/ICSTW.2011.19},
      timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
      biburl    = {https://dblp.org/rec/conf/icst/AndresL11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2010

  • [DOI] Javier F. Crespo, Alberto de la Encina, and Luis Llana. Fuzzy-Timed Automata. In John Hatcliff and Elena Zucca, editors, Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, volume 6117 of Lecture Notes in Computer Science, pages 140-154. Springer, 2010.
    [Bibtex]
    @inproceedings{DBLP:conf/forte/CrespoEL10,
      author    = {F. Javier Crespo and
                   Alberto de la Encina and
                   Luis Llana},
      editor    = {John Hatcliff and
                   Elena Zucca},
      title     = {Fuzzy-Timed Automata},
      booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
                   6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
                   International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
                   June 7-9, 2010. Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {6117},
      pages     = {140--154},
      publisher = {Springer},
      year      = {2010},
      url       = {https://doi.org/10.1007/978-3-642-13464-7\_12},
      doi       = {10.1007/978-3-642-13464-7\_12},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl    = {https://dblp.org/rec/conf/forte/CrespoEL10.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael García, Luis Llana, Constantino Malagón, and Jesús Pancorbo. Event Prediction in Network Monitoring Systems: Performing Sequential Pattern Mining in Osmius Monitoring Tool. In Petra Perner, editor, Advances in Data Mining. Applications and Theoretical Aspects, 10th Industrial Conference, ICDM 2010, Berlin, Germany, July 12-14, 2010. Proceedings, volume 6171 of Lecture Notes in Computer Science, pages 632-642. Springer, 2010.
    [Bibtex]
    @inproceedings{DBLP:conf/incdm/GarciaLMP10,
      author    = {Rafael Garc{\'{i}}a and
                   Luis Llana and
                   Constantino Malag{\'{o}}n and
                   Jes{\'{u}}s Pancorbo},
      editor    = {Petra Perner},
      title     = {Event Prediction in Network Monitoring Systems: Performing Sequential
                   Pattern Mining in Osmius Monitoring Tool},
      booktitle = {Advances in Data Mining. Applications and Theoretical Aspects, 10th
                   Industrial Conference, {ICDM} 2010, Berlin, Germany, July 12-14, 2010.
                   Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {6171},
      pages     = {632--642},
      publisher = {Springer},
      year      = {2010},
      url       = {https://doi.org/10.1007/978-3-642-14400-4\_49},
      doi       = {10.1007/978-3-642-14400-4\_49},
      timestamp = {Tue, 14 May 2019 10:00:51 +0200},
      biburl    = {https://dblp.org/rec/conf/incdm/GarciaLMP10.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2009

  • [DOI] David de Frutos-Escrig, Carlos Gregorio-Rodríguez, and Miguel Palomino. On the Unification of Process Semantics: Observational Semantics. In Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, and Frank D. Valencia, editors, SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Ml\’yn, Czech Republic, January 24-30, 2009. Proceedings, volume 5404 of Lecture Notes in Computer Science, pages 279-290. Springer, 2009.
    [Bibtex]
    @inproceedings{DBLP:conf/sofsem/Frutos-EscrigGP09,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Miguel Palomino},
      editor    = {Mogens Nielsen and
                   Anton{\'{i}}n Kucera and
                   Peter Bro Miltersen and
                   Catuscia Palamidessi and
                   Petr Tuma and
                   Frank D. Valencia},
      title     = {On the Unification of Process Semantics: Observational Semantics},
      booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
                   on Current Trends in Theory and Practice of Computer Science, Spindleruv
                   Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {5404},
      pages     = {279--290},
      publisher = {Springer},
      year      = {2009},
      url       = {https://doi.org/10.1007/978-3-540-95891-8\_27},
      doi       = {10.1007/978-3-540-95891-8\_27},
      timestamp = {Sat, 19 Oct 2019 20:01:22 +0200},
      biburl    = {https://dblp.org/rec/conf/sofsem/Frutos-EscrigGP09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] David de Frutos-Escrig, Carlos Gregorio-Rodríguez, and Miguel Palomino. On the Unification of Process Semantics: Equational Semantics. In Samson Abramsky, Michael W. Mislove, and Catuscia Palamidessi, editors, Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009, volume 249 of Electronic Notes in Theoretical Computer Science, pages 243-267. Elsevier, 2009.
    [Bibtex]
    @inproceedings{DBLP:journals/entcs/Frutos-EscrigGP09,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Miguel Palomino},
      editor    = {Samson Abramsky and
                   Michael W. Mislove and
                   Catuscia Palamidessi},
      title     = {On the Unification of Process Semantics: Equational Semantics},
      booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
                   Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
      series    = {Electronic Notes in Theoretical Computer Science},
      volume    = {249},
      pages     = {243--267},
      publisher = {Elsevier},
      year      = {2009},
      url       = {https://doi.org/10.1016/j.entcs.2009.07.093},
      doi       = {10.1016/j.entcs.2009.07.093},
      timestamp = {Mon, 13 Jan 2020 15:55:13 +0100},
      biburl    = {https://dblp.org/rec/journals/entcs/Frutos-EscrigGP09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2008

  • [DOI] David de Frutos-Escrig and Carlos Gregorio-Rodríguez. Universal Coinductive Characterisations of Process Semantics. In Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, and Luke C. -H. Ong, editors, Fifth IFIP International Conference On Theoretical Computer Science – TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy, volume 273 of IFIP, pages 397-412. Springer, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/ifipTCS/Frutos-EscrigG08,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez},
      editor    = {Giorgio Ausiello and
                   Juhani Karhum{\"{a}}ki and
                   Giancarlo Mauri and
                   C.{-}H. Luke Ong},
      title     = {Universal Coinductive Characterisations of Process Semantics},
      booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
                   - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
                   of Computer Science, September 7-10, 2008, Milano, Italy},
      series    = {{IFIP}},
      volume    = {273},
      pages     = {397--412},
      publisher = {Springer},
      year      = {2008},
      url       = {https://doi.org/10.1007/978-0-387-09680-3\_27},
      doi       = {10.1007/978-0-387-09680-3\_27},
      timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
      biburl    = {https://dblp.org/rec/conf/ifipTCS/Frutos-EscrigG08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2007

  • [DOI] David de Frutos-Escrig, Fernando Rosa-Velardo, and Carlos Gregorio-Rodríguez. New Bisimulation Semantics for Distributed Systems. In John Derrick and Jüri Vain, editors, Formal Techniques for Networked and Distributed Systems – FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, volume 4574 of Lecture Notes in Computer Science, pages 143-159. Springer, 2007.
    [Bibtex]
    @inproceedings{DBLP:conf/forte/Frutos-EscrigVG07,
      author    = {David de Frutos{-}Escrig and
                   Fernando Rosa{-}Velardo and
                   Carlos Gregorio{-}Rodr{\'{i}}guez},
      editor    = {John Derrick and
                   J{\"{u}}ri Vain},
      title     = {New Bisimulation Semantics for Distributed Systems},
      booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                   2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
                   June 27-29, 2007, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {4574},
      pages     = {143--159},
      publisher = {Springer},
      year      = {2007},
      url       = {https://doi.org/10.1007/978-3-540-73196-2\_10},
      doi       = {10.1007/978-3-540-73196-2\_10},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl    = {https://dblp.org/rec/conf/forte/Frutos-EscrigVG07.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2005

  • [DOI] David de Frutos-Escrig and Carlos Gregorio-Rodríguez. Bisimulations Up-to for the Linear Time Branching Time Spectrum. In Martín Abadi and Luca de Alfaro, editors, CONCUR 2005 – Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, volume 3653 of Lecture Notes in Computer Science, pages 278-292. Springer, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/concur/Frutos-EscrigG05,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez},
      editor    = {Mart{\'{i}}n Abadi and
                   Luca de Alfaro},
      title     = {Bisimulations Up-to for the Linear Time Branching Time Spectrum},
      booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
                   {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {3653},
      pages     = {278--292},
      publisher = {Springer},
      year      = {2005},
      url       = {https://doi.org/10.1007/11539452\_23},
      doi       = {10.1007/11539452\_23},
      timestamp = {Tue, 14 May 2019 10:00:43 +0200},
      biburl    = {https://dblp.org/rec/conf/concur/Frutos-EscrigG05.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2004

  • [DOI] David de Frutos-Escrig and Carlos Gregorio-Rodríguez. Preserving Contexts for Soft Conformance Relation. In Jens Grabowski and Brian Nielsen, editors, Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers, volume 3395 of Lecture Notes in Computer Science, pages 33-48. Springer, 2004.
    [Bibtex]
    @inproceedings{DBLP:conf/fates/Frutos-EscrigG04,
      author    = {David de Frutos{-}Escrig and
                   Carlos Gregorio{-}Rodr{\'{i}}guez},
      editor    = {Jens Grabowski and
                   Brian Nielsen},
      title     = {Preserving Contexts for Soft Conformance Relation},
      booktitle = {Formal Approaches to Software Testing, 4th International Workshop,
                   {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                   Papers},
      series    = {Lecture Notes in Computer Science},
      volume    = {3395},
      pages     = {33--48},
      publisher = {Springer},
      year      = {2004},
      url       = {https://doi.org/10.1007/978-3-540-31848-4\_3},
      doi       = {10.1007/978-3-540-31848-4\_3},
      timestamp = {Tue, 14 May 2019 10:00:49 +0200},
      biburl    = {https://dblp.org/rec/conf/fates/Frutos-EscrigG04.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2002

  • [DOI] Carlos Gregorio-Rodríguez and Pedro Palao-Gostanza. Ergotracer: An Internet User Behaviour Tracer. In Herwig Unger, Thomas Böhme, and Armin R. Mikler, editors, Innovative Internet Computing Systems, Second International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings, volume 2346 of Lecture Notes in Computer Science, pages 121-132. Springer, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/iics/RodriguezP02,
      author    = {Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Pedro Palao{-}Gostanza},
      editor    = {Herwig Unger and
                   Thomas B{\"{o}}hme and
                   Armin R. Mikler},
      title     = {Ergotracer: An Internet User Behaviour Tracer},
      booktitle = {Innovative Internet Computing Systems, Second International Workshop,
                   {IICS} 2002, K{\"{u}}hlungsborn, Germany, June 20-22, 2002, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {2346},
      pages     = {121--132},
      publisher = {Springer},
      year      = {2002},
      url       = {https://doi.org/10.1007/3-540-48080-3\_11},
      doi       = {10.1007/3-540-48080-3\_11},
      timestamp = {Tue, 14 May 2019 10:00:41 +0200},
      biburl    = {https://dblp.org/rec/conf/iics/RodriguezP02.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2001

  • [DOI] Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, and Ángel J. Velázquez-Iturbide. EXercita: automatic web publishing of programming exercises. In Sally Fincher, Bruce J. Klein, Fintan Culwin, and Michael McCracken, editors, Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2001, Canterbury, UK, June 25-27, 2001, pages 161-164. ACM, 2001.
    [Bibtex]
    @inproceedings{DBLP:conf/iticse/Gregorio-RodriguezDPPMV01,
      author    = {Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Luis Fernando Llana D{\'{i}}az and
                   Pedro Palao{-}Gostanza and
                   Crist{\'{o}}bal Pareja{-}Flores and
                   Raquel Mart{\'{i}}nez{-}Unanue and
                   J. {\'{A}}ngel Vel{\'{a}}zquez{-}Iturbide},
      editor    = {Sally Fincher and
                   Bruce J. Klein and
                   Fintan Culwin and
                   Michael McCracken},
      title     = {EXercita: automatic web publishing of programming exercises},
      booktitle = {Proceedings of the 6th Annual {SIGCSE} Conference on Innovation and
                   Technology in Computer Science Education, ITiCSE 2001, Canterbury,
                   UK, June 25-27, 2001},
      pages     = {161--164},
      publisher = {{ACM}},
      year      = {2001},
      url       = {https://doi.org/10.1145/377435.377673},
      doi       = {10.1145/377435.377673},
      timestamp = {Mon, 15 Jul 2019 08:05:35 +0200},
      biburl    = {https://dblp.org/rec/conf/iticse/Gregorio-RodriguezDPPMV01.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

1997

  • [DOI] Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, and Pedro Palao-Gostanza. Testing Semantics for a Probabilistic-Timed Process Algebra. In Miquel Bertran and Teodor Rus, editors, Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS’97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings, volume 1231 of Lecture Notes in Computer Science, pages 353-367. Springer, 1997.
    [Bibtex]
    @inproceedings{DBLP:conf/arts/Gregorio-RodrigrezDNP97,
      author    = {Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Luis Fernando Llana D{\'{i}}az and
                   Manuel N{\'{u}}{\~{n}}ez and
                   Pedro Palao{-}Gostanza},
      editor    = {Miquel Bertran and
                   Teodor Rus},
      title     = {Testing Semantics for a Probabilistic-Timed Process Algebra},
      booktitle = {Transformation-Based Reactive Systems Development, 4th International
                   {AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
                   Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {1231},
      pages     = {353--367},
      publisher = {Springer},
      year      = {1997},
      url       = {https://doi.org/10.1007/3-540-63010-4\_24},
      doi       = {10.1007/3-540-63010-4\_24},
      timestamp = {Tue, 14 May 2019 10:00:41 +0200},
      biburl    = {https://dblp.org/rec/conf/arts/Gregorio-RodrigrezDNP97.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }