Publications

Journal Publications:

2020

• 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

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

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

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

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

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

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

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

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

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

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

• 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

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

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

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

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

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

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

• 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

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

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

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

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

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

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

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

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

• 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

• 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

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

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

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

• 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

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

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

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

• 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

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

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

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

• 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

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

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

• 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

• 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

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

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

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

• 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

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

• 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

• 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

• 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

• 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

• 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

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

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

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

• 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

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

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

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

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

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

• 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

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

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

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

• 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

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

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

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

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

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

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

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

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

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

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

• 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

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

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

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

• 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

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

• 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

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

• 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

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

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

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

• 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

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

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

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

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

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

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

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

• 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

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

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

• 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

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

• 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

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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

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