Journal Publications:
2021
-
![[DOI]](http://antares.sip.ucm.es/DTRS/wp-content/plugins/papercite/img/external.png)
Alfredo Ibias and Manuel Núñez. SqSelect: Automatic assessment of Failed Error Propagation in state-based systems. Expert Syst. Appl., 174:114748, 2021.
[Bibtex]@article{DBLP:journals/eswa/IbiasN21, author = {Alfredo Ibias and Manuel N{\'{u}}{\~{n}}ez}, title = {SqSelect: Automatic assessment of Failed Error Propagation in state-based systems}, journal = {Expert Syst. Appl.}, volume = {174}, pages = {114748}, year = {2021}, url = {https://doi.org/10.1016/j.eswa.2021.114748}, doi = {10.1016/j.eswa.2021.114748}, timestamp = {Fri, 28 May 2021 15:25:50 +0200}, biburl = {https://dblp.org/rec/journals/eswa/IbiasN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } - Alfredo Ibias, Manuel Núñez, and Robert M. Hierons. Using mutual information to test from Finite State Machines: Test suite selection. Inf. Softw. Technol., 132:106498, 2021.
[Bibtex]@article{DBLP:journals/infsof/IbiasNH21, author = {Alfredo Ibias and Manuel N{\'{u}}{\~{n}}ez and Robert M. Hierons}, title = {Using mutual information to test from Finite State Machines: Test suite selection}, journal = {Inf. Softw. Technol.}, volume = {132}, pages = {106498}, year = {2021}, url = {https://doi.org/10.1016/j.infsof.2020.106498}, doi = {10.1016/j.infsof.2020.106498}, timestamp = {Fri, 09 Apr 2021 18:22:00 +0200}, biburl = {https://dblp.org/rec/journals/infsof/IbiasNH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } - Alberto Núñez, Pablo C. Cañizares, Manuel Núñez, and Robert M. Hierons. TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems. IEEE Trans. Reliab., 70(1):261-284, 2021.
[Bibtex]@article{DBLP:journals/tr/NunezC0H21, author = {Alberto N{\'{u}}{\~{n}}ez and Pablo C. Ca{\~{n}}izares and Manuel N{\'{u}}{\~{n}}ez and Robert M. Hierons}, title = {TEA-Cloud: {A} Formal Framework for Testing Cloud Computing Systems}, journal = {{IEEE} Trans. Reliab.}, volume = {70}, number = {1}, pages = {261--284}, year = {2021}, url = {https://doi.org/10.1109/TR.2020.3011512}, doi = {10.1109/TR.2020.3011512}, timestamp = {Fri, 09 Apr 2021 18:24:53 +0200}, biburl = {https://dblp.org/rec/journals/tr/NunezC0H21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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} } - Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, and Mercedes G. Merayo. Systematic Engineering of Mutation Operators. J. Object Technol., 19(3):3:1–16, 2020.
[Bibtex]@article{DBLP:journals/jot/Gomez-AbajoGLM20, author = {Pablo G{\'{o}}mez{-}Abajo and Esther Guerra and Juan de Lara and Mercedes G. Merayo}, title = {Systematic Engineering of Mutation Operators}, journal = {J. Object Technol.}, volume = {19}, number = {3}, pages = {3:1--16}, year = {2020}, url = {https://doi.org/10.5381/jot.2020.19.3.a5}, doi = {10.5381/jot.2020.19.3.a5}, timestamp = {Fri, 09 Apr 2021 18:28:59 +0200}, biburl = {https://dblp.org/rec/journals/jot/Gomez-AbajoGLM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } - Raluca Lefticaru, Robert M. Hierons, and Manuel Núñez. Implementation relations and testing for cyclic systems with refusals and discrete time. J. Syst. Softw., 170:110738, 2020.
[Bibtex]@article{DBLP:journals/jss/LefticaruH020, author = {Raluca Lefticaru and Robert M. Hierons and Manuel N{\'{u}}{\~{n}}ez}, title = {Implementation relations and testing for cyclic systems with refusals and discrete time}, journal = {J. Syst. Softw.}, volume = {170}, pages = {110738}, year = {2020}, url = {https://doi.org/10.1016/j.jss.2020.110738}, doi = {10.1016/j.jss.2020.110738}, timestamp = {Tue, 29 Dec 2020 18:22:34 +0100}, biburl = {https://dblp.org/rec/journals/jss/LefticaruH020.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 = {Sat, 05 Sep 2020 17:43:24 +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. Interact. Learn. Environ., 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 = {Interact. Learn. Environ.}, 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 = {Tue, 29 Sep 2020 10:59:34 +0200}, 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 = {Fri, 19 Feb 2021 11:41:22 +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. Univers. Comput. Sci., 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. Univers. Comput. Sci.}, volume = {25}, number = {7}, pages = {740--763}, year = {2019}, url = {http://www.jucs.org/jucs\_25\_7/mobile\_applications\_for\_people}, timestamp = {Wed, 17 Feb 2021 08:58:55 +0100}, 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 = {Mon, 29 Mar 2021 08:55:22 +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 = {Sat, 05 Sep 2020 17:49:57 +0200}, 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 = {Sat, 05 Sep 2020 17:48:04 +0200}, 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, 05 Sep 2020 17:48:41 +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 = {Tue, 16 Feb 2021 15:58:15 +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 = {Sat, 05 Sep 2020 17:49:56 +0200}, biburl = {https://dblp.org/rec/journals/jss/HieronsN17.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 = {Tue, 16 Feb 2021 15:58:14 +0100}, biburl = {https://dblp.org/rec/journals/jlp/CamachoLN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
2015
- 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 = {Sat, 05 Sep 2020 17:48:15 +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 = {Wed, 17 Feb 2021 22:01:05 +0100}, 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. Univers. Comput. Sci., 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. Univers. Comput. Sci.}, 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 Feb 2021 08:58:51 +0100}, 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\(^\mbox2\): 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\({}^{\mbox{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} } - 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 = {Sat, 05 Sep 2020 17:52:02 +0200}, 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 = {Tue, 29 Dec 2020 18:20:42 +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
- 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 = {Fri, 12 Feb 2021 22:16:56 +0100}, 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 = {Tue, 16 Feb 2021 15:58:23 +0100}, 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 = {Fri, 12 Feb 2021 22:17:56 +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 = {Fri, 12 Feb 2021 22:19:35 +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 = {Fri, 12 Feb 2021 22:18:24 +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. Univers. Comput. Sci., 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. Univers. Comput. Sci.}, 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 Feb 2021 08:58:14 +0100}, 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 = {Fri, 12 Feb 2021 22:18:43 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Gregorio-RodriguezN99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
Conference Publications:
2020
- Miguel Benito-Parejo, Mercedes G. Merayo, and Manuel Núñez. An evolutionary technique for supporting the consensus process of group decision making. In 2020 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2020, Toronto, ON, Canada, October 11-14, 2020, pages 2201-2206. IEEE, 2020.
[Bibtex]@inproceedings{DBLP:conf/smc/Benito-ParejoMN20, author = {Miguel Benito{-}Parejo and Mercedes G. Merayo and Manuel N{\'{u}}{\~{n}}ez}, title = {An evolutionary technique for supporting the consensus process of group decision making}, booktitle = {2020 {IEEE} International Conference on Systems, Man, and Cybernetics, {SMC} 2020, Toronto, ON, Canada, October 11-14, 2020}, pages = {2201--2206}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/SMC42975.2020.9283361}, doi = {10.1109/SMC42975.2020.9283361}, timestamp = {Fri, 08 Jan 2021 11:20:40 +0100}, biburl = {https://dblp.org/rec/conf/smc/Benito-ParejoMN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } - Miguel Benito-Parejo and Mercedes G. Merayo. An evolutionary algorithm for selection of test cases. In IEEE Congress on Evolutionary Computation, CEC 2020, Glasgow, United Kingdom, July 19-24, 2020, pages 1-8. IEEE, 2020.
[Bibtex]@inproceedings{DBLP:conf/cec/Benito-ParejoM20, author = {Miguel Benito{-}Parejo and Mercedes G. Merayo}, title = {An evolutionary algorithm for selection of test cases}, booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2020, Glasgow, United Kingdom, July 19-24, 2020}, pages = {1--8}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/CEC48606.2020.9185773}, doi = {10.1109/CEC48606.2020.9185773}, timestamp = {Fri, 11 Sep 2020 15:04:23 +0200}, biburl = {https://dblp.org/rec/conf/cec/Benito-ParejoM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } - 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} } - Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, and Gordon J. Pace. Runtime Verification of Contracts with Themulus. In Frank S. de Boer and Antonio Cerone, editors, Software Engineering and Formal Methods – 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, volume 12310 of Lecture Notes in Computer Science, pages 231-246. Springer, 2020.
[Bibtex]@inproceedings{DBLP:conf/sefm/GarciaCCLP20, author = {Alberto Aranda Garc{\'{i}}a and Mar{\'{i}}a{-}Emilia Cambronero and Christian Colombo and Luis Llana and Gordon J. Pace}, editor = {Frank S. de Boer and Antonio Cerone}, title = {Runtime Verification of Contracts with Themulus}, booktitle = {Software Engineering and Formal Methods - 18th International Conference, {SEFM} 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12310}, pages = {231--246}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-58768-0\_13}, doi = {10.1007/978-3-030-58768-0\_13}, timestamp = {Mon, 14 Sep 2020 19:34:07 +0200}, biburl = {https://dblp.org/rec/conf/sefm/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} } - Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, and Mercedes G. Merayo. Seed Model Synthesis for Testing Model-Based Mutation Operators. In Nicolas Herbaut and Marcello La Rosa, editors, Advanced Information Systems Engineering – CAiSE Forum 2020, Grenoble, France, June 8-12, 2020, Proceedings, volume 386 of Lecture Notes in Business Information Processing, pages 64-76. Springer, 2020.
[Bibtex]@inproceedings{DBLP:conf/caise/Gomez-AbajoGLM20, author = {Pablo G{\'{o}}mez{-}Abajo and Esther Guerra and Juan de Lara and Mercedes G. Merayo}, editor = {Nicolas Herbaut and Marcello La Rosa}, title = {Seed Model Synthesis for Testing Model-Based Mutation Operators}, booktitle = {Advanced Information Systems Engineering - CAiSE Forum 2020, Grenoble, France, June 8-12, 2020, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {386}, pages = {64--76}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-58135-0\_6}, doi = {10.1007/978-3-030-58135-0\_6}, timestamp = {Fri, 09 Apr 2021 18:46:25 +0200}, biburl = {https://dblp.org/rec/conf/caise/Gomez-AbajoGLM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } - Alfredo Ibias and Luis Llana. Feature Selection using Evolutionary Computation Techniques for Software Product Line Testing. In IEEE Congress on Evolutionary Computation, CEC 2020, Glasgow, United Kingdom, July 19-24, 2020, pages 1-8. IEEE, 2020.
[Bibtex]@inproceedings{DBLP:conf/cec/IbiasL20, author = {Alfredo Ibias and Luis Llana}, title = {Feature Selection using Evolutionary Computation Techniques for Software Product Line Testing}, booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2020, Glasgow, United Kingdom, July 19-24, 2020}, pages = {1--8}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/CEC48606.2020.9185675}, doi = {10.1109/CEC48606.2020.9185675}, timestamp = {Fri, 19 Feb 2021 11:42:55 +0100}, biburl = {https://dblp.org/rec/conf/cec/IbiasL20.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 = {Fri, 19 Feb 2021 11:42:36 +0100}, biburl = {https://dblp.org/rec/conf/sac/Ibias020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } - Alfredo Ibias and Manuel Núñez. Using a swarm to detect hard-to-kill mutants. In 2020 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2020, Toronto, ON, Canada, October 11-14, 2020, pages 2190-2195. IEEE, 2020.
[Bibtex]@inproceedings{DBLP:conf/smc/IbiasN20, author = {Alfredo Ibias and Manuel N{\'{u}}{\~{n}}ez}, title = {Using a swarm to detect hard-to-kill mutants}, booktitle = {2020 {IEEE} International Conference on Systems, Man, and Cybernetics, {SMC} 2020, Toronto, ON, Canada, October 11-14, 2020}, pages = {2190--2195}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/SMC42975.2020.9282883}, doi = {10.1109/SMC42975.2020.9282883}, timestamp = {Fri, 19 Feb 2021 11:42:41 +0100}, biburl = {https://dblp.org/rec/conf/smc/IbiasN20.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 = {Fri, 19 Feb 2021 11:42:41 +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, 19 Feb 2021 11:42:12 +0100}, 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 = {Tue, 29 Dec 2020 18:34:14 +0100}, 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 = {Sat, 05 Sep 2020 18:04:33 +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 = {Wed, 10 Feb 2021 22:02:17 +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 = {Sat, 05 Sep 2020 18:00:08 +0200}, 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 = {Sat, 05 Sep 2020 17:56:24 +0200}, 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 = {Wed, 03 Feb 2021 08:31:32 +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} }
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 = {Sat, 05 Sep 2020 18:03:35 +0200}, 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 = {Sat, 05 Sep 2020 18:00:08 +0200}, 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 = {Sat, 05 Sep 2020 17:58:58 +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 = {Wed, 18 Nov 2020 08:45:00 +0100}, 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 = {Sat, 05 Sep 2020 18:00:09 +0200}, 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 = {Fri, 09 Apr 2021 18:40:15 +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 = {Sat, 05 Sep 2020 18:01:45 +0200}, 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 = {Wed, 12 May 2021 10:56:07 +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 = {Mon, 12 Apr 2021 14:40:35 +0200}, 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} } - 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, 08 Feb 2021 13:26:26 +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 = {Fri, 12 Mar 2021 14:14:34 +0100}, 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} }