Resultados

Journal Publications:

2021

  • [DOI] Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, and Alexandra Silva. Actor-based model checking for Software-Defined Networks. J. Log. Algebraic Methods Program., 118:100617, 2021.
    [Bibtex]
    @article{DBLP:journals/jlap/AlbertGIRSS21,
      author    = {Elvira Albert and
                   Miguel G{\'{o}}mez{-}Zamalloa and
                   Miguel Isabel and
                   Albert Rubio and
                   Matteo Sammartino and
                   Alexandra Silva},
      title     = {Actor-based model checking for Software-Defined Networks},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {118},
      pages     = {100617},
      year      = {2021},
      url       = {https://doi.org/10.1016/j.jlamp.2020.100617},
      doi       = {10.1016/j.jlamp.2020.100617},
      timestamp = {Tue, 29 Dec 2020 18:19:04 +0100},
      biburl    = {https://dblp.org/rec/journals/jlap/AlbertGIRSS21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit. A unified framework for declarative debugging and testing. Inf. Softw. Technol., 129:106427, 2021.
    [Bibtex]
    @article{DBLP:journals/infsof/CaballeroMRT21,
      author    = {Rafael Caballero and
                   Enrique Martin{-}Martin and
                   Adri{\'{a}}n Riesco and
                   Salvador Tamarit},
      title     = {A unified framework for declarative debugging and testing},
      journal   = {Inf. Softw. Technol.},
      volume    = {129},
      pages     = {106427},
      year      = {2021},
      url       = {https://doi.org/10.1016/j.infsof.2020.106427},
      doi       = {10.1016/j.infsof.2020.106427},
      timestamp = {Tue, 01 Dec 2020 09:10:37 +0100},
      biburl    = {https://dblp.org/rec/journals/infsof/CaballeroMRT21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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 = {Wed, 27 Jan 2021 08:31:41 +0100},
      biburl    = {https://dblp.org/rec/journals/infsof/IbiasNH21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2020

  • [DOI] Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, and Enrique Martin-Martin. A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell. Fundam. Informaticae, 177(3-4):203-234, 2020.
    [Bibtex]
    @article{DBLP:journals/fuin/AlbertBBM20,
      author    = {Elvira Albert and
                   Nikolaos Bezirgiannis and
                   Frank S. de Boer and
                   Enrique Martin{-}Martin},
      title     = {A Formal, Resource Consumption-Preserving Translation from Actors
                   with Cooperative Scheduling to Haskell},
      journal   = {Fundam. Informaticae},
      volume    = {177},
      number    = {3-4},
      pages     = {203--234},
      year      = {2020},
      url       = {https://doi.org/10.3233/FI-2020-1988},
      doi       = {10.3233/FI-2020-1988},
      timestamp = {Mon, 21 Dec 2020 16:59:17 +0100},
      biburl    = {https://dblp.org/rec/journals/fuin/AlbertBBM20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Elvira Albert, Samir Genaim, Raúl Gutiérrez, and Enrique Martin-Martin. A Transformational Approach to Resource Analysis with Typed-norms Inference. Theory Pract. Log. Program., 20(3):310-357, 2020.
    [Bibtex]
    @article{DBLP:journals/tplp/AlbertGGM20,
      author    = {Elvira Albert and
                   Samir Genaim and
                   Ra{\'{u}}l Guti{\'{e}}rrez and
                   Enrique Martin{-}Martin},
      title     = {A Transformational Approach to Resource Analysis with Typed-norms
                   Inference},
      journal   = {Theory Pract. Log. Program.},
      volume    = {20},
      number    = {3},
      pages     = {310--357},
      year      = {2020},
      url       = {https://doi.org/10.1017/S1471068419000401},
      doi       = {10.1017/S1471068419000401},
      timestamp = {Mon, 15 Jun 2020 16:49:34 +0200},
      biburl    = {https://dblp.org/rec/journals/tplp/AlbertGGM20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, and Mooly Sagiv. Taming callbacks for smart contract modularity. Proc. ACM Program. Lang., 4(OOPSLA):209:1–209:30, 2020.
    [Bibtex]
    @article{DBLP:journals/pacmpl/AlbertGRRRS20,
      author    = {Elvira Albert and
                   Shelly Grossman and
                   Noam Rinetzky and
                   Clara Rodr{\'{i}}guez{-}N{\'{u}}{\~{n}}ez and
                   Albert Rubio and
                   Mooly Sagiv},
      title     = {Taming callbacks for smart contract modularity},
      journal   = {Proc. {ACM} Program. Lang.},
      volume    = {4},
      number    = {{OOPSLA}},
      pages     = {209:1--209:30},
      year      = {2020},
      url       = {https://doi.org/10.1145/3428277},
      doi       = {10.1145/3428277},
      timestamp = {Fri, 11 Dec 2020 14:27:07 +0100},
      biburl    = {https://dblp.org/rec/journals/pacmpl/AlbertGRRRS20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Jean-Michel Bruel, Beno^it Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, and Hans Vangheluwe. Comparing and classifying model transformation reuse approaches across metamodels. Softw. Syst. Model., 19(2):441-465, 2020.
    [Bibtex]
    @article{DBLP:journals/sosym/BruelCGJKLMSV20,
      author    = {Jean{-}Michel Bruel and
                   Beno{\^{\i}}t Combemale and
                   Esther Guerra and
                   Jean{-}Marc J{\'{e}}z{\'{e}}quel and
                   J{\"{o}}rg Kienzle and
                   Juan de Lara and
                   Gunter Mussbacher and
                   Eugene Syriani and
                   Hans Vangheluwe},
      title     = {Comparing and classifying model transformation reuse approaches across
                   metamodels},
      journal   = {Softw. Syst. Model.},
      volume    = {19},
      number    = {2},
      pages     = {441--465},
      year      = {2020},
      url       = {https://doi.org/10.1007/s10270-019-00762-9},
      doi       = {10.1007/s10270-019-00762-9},
      timestamp = {Fri, 18 Sep 2020 11:19:43 +0200},
      biburl    = {https://dblp.org/rec/journals/sosym/BruelCGJKLMSV20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo C. Cañizares, Alberto Núñez, Juan de Lara, and Luis Llana. MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems. J. Syst. Softw., 163:110522, 2020.
    [Bibtex]
    @article{DBLP:journals/jss/CanizaresNLL20,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Juan de Lara and
                   Luis Llana},
      title     = {MT-EA4Cloud: {A} Methodology For testing and optimising energy-aware
                   cloud systems},
      journal   = {J. Syst. Softw.},
      volume    = {163},
      pages     = {110522},
      year      = {2020},
      url       = {https://doi.org/10.1016/j.jss.2020.110522},
      doi       = {10.1016/j.jss.2020.110522},
      timestamp = {Fri, 27 Mar 2020 08:40:14 +0100},
      biburl    = {https://dblp.org/rec/journals/jss/CanizaresNLL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Abel Gómez, Xabier Mendialdua, Konstantinos Barmpis, Gábor Bergmann, Jordi Cabot, Xabier De Carlos, Csaba Debreceni, Antonio Garmendia, Dimitrios S. Kolovos, and Juan de Lara. Scalable modeling technologies in the wild: an experience report on wind turbines control applications development. Softw. Syst. Model., 19(5):1229-1261, 2020.
    [Bibtex]
    @article{DBLP:journals/sosym/GomezMBBCCDGKL20,
      author    = {Abel G{\'{o}}mez and
                   Xabier Mendialdua and
                   Konstantinos Barmpis and
                   G{\'{a}}bor Bergmann and
                   Jordi Cabot and
                   Xabier De Carlos and
                   Csaba Debreceni and
                   Antonio Garmendia and
                   Dimitrios S. Kolovos and
                   Juan de Lara},
      title     = {Scalable modeling technologies in the wild: an experience report on
                   wind turbines control applications development},
      journal   = {Softw. Syst. Model.},
      volume    = {19},
      number    = {5},
      pages     = {1229--1261},
      year      = {2020},
      url       = {https://doi.org/10.1007/s10270-020-00776-8},
      doi       = {10.1007/s10270-020-00776-8},
      timestamp = {Mon, 21 Sep 2020 16:49:31 +0200},
      biburl    = {https://dblp.org/rec/journals/sosym/GomezMBBCCDGKL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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 = {Tue, 03 Nov 2020 08:17:34 +0100},
      biburl    = {https://dblp.org/rec/journals/jot/Gomez-AbajoGLM20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Santiago P. Jácome-Guerrero and Juan de Lara. TOTEM: Reconciling multi-level modelling with standard two-level modelling. Comput. Stand. Interfaces, 69:103390, 2020.
    [Bibtex]
    @article{DBLP:journals/csi/Jacome-Guerrero20,
      author    = {Santiago P. J{\'{a}}come{-}Guerrero and
                   Juan de Lara},
      title     = {{TOTEM}: Reconciling multi-level modelling with standard two-level
                   modelling},
      journal   = {Comput. Stand. Interfaces},
      volume    = {69},
      pages     = {103390},
      year      = {2020},
      url       = {https://doi.org/10.1016/j.csi.2019.103390},
      doi       = {10.1016/j.csi.2019.103390},
      timestamp = {Thu, 20 Feb 2020 11:31:44 +0100},
      biburl    = {https://dblp.org/rec/journals/csi/Jacome-Guerrero20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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}
    }
  • [DOI] Sira Vegas, Patricia Riofrío, Esperanza Marcos, and Natalia Juristo. On (Mis)perceptions of testing effectiveness: an empirical study. Empir. Softw. Eng., 25(4):2844-2896, 2020.
    [Bibtex]
    @article{DBLP:journals/ese/VegasRMJ20,
      author    = {Sira Vegas and
                   Patricia Riofr{\'{i}}o and
                   Esperanza Marcos and
                   Natalia Juristo},
      title     = {On (Mis)perceptions of testing effectiveness: an empirical study},
      journal   = {Empir. Softw. Eng.},
      volume    = {25},
      number    = {4},
      pages     = {2844--2896},
      year      = {2020},
      url       = {https://doi.org/10.1007/s10664-020-09805-y},
      doi       = {10.1007/s10664-020-09805-y},
      timestamp = {Tue, 25 Aug 2020 16:58:44 +0200},
      biburl    = {https://dblp.org/rec/journals/ese/VegasRMJ20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2019

  • [DOI] Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, and Anna Ingólfsdóttir. Logical characterisations, rule formats and compositionality for input-output conformance simulation. J. Log. Algebraic Methods Program., 106:78-106, 2019.
    [Bibtex]
    @article{DBLP:journals/jlp/AcetoFGI19,
      author    = {Luca Aceto and
                   Ignacio F{\'{a}}bregas and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Anna Ing{\'{o}}lfsd{\'{o}}ttir},
      title     = {Logical characterisations, rule formats and compositionality for input-output
                   conformance simulation},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {106},
      pages     = {78--106},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.jlamp.2019.04.005},
      doi       = {10.1016/j.jlamp.2019.04.005},
      timestamp = {Sat, 22 Feb 2020 19:18:07 +0100},
      biburl    = {https://dblp.org/rec/journals/jlp/AcetoFGI19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Elvira Albert, Jesús Correas, and Guillermo Román-Díez. Peak resource analysis of concurrent distributed systems. J. Syst. Softw., 149:35-62, 2019.
    [Bibtex]
    @article{DBLP:journals/jss/AlbertCR19,
      author    = {Elvira Albert and
                   Jes{\'{u}}s Correas and
                   Guillermo Rom{\'{a}}n{-}D{\'{i}}ez},
      title     = {Peak resource analysis of concurrent distributed systems},
      journal   = {J. Syst. Softw.},
      volume    = {149},
      pages     = {35--62},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.jss.2018.11.018},
      doi       = {10.1016/j.jss.2018.11.018},
      timestamp = {Mon, 24 Feb 2020 15:59:41 +0100},
      biburl    = {https://dblp.org/rec/journals/jss/AlbertCR19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, and Albert Rubio. Resource Analysis driven by (Conditional) Termination Proofs. Theory Pract. Log. Program., 19(5-6):722-739, 2019.
    [Bibtex]
    @article{DBLP:journals/tplp/AlbertBBMR19,
      author    = {Elvira Albert and
                   Miquel Bofill and
                   Cristina Borralleras and
                   Enrique Martin{-}Martin and
                   Albert Rubio},
      title     = {Resource Analysis driven by (Conditional) Termination Proofs},
      journal   = {Theory Pract. Log. Program.},
      volume    = {19},
      number    = {5-6},
      pages     = {722--739},
      year      = {2019},
      url       = {https://doi.org/10.1017/S1471068419000152},
      doi       = {10.1017/S1471068419000152},
      timestamp = {Thu, 13 Feb 2020 14:39:37 +0100},
      biburl    = {https://dblp.org/rec/journals/tplp/AlbertBBMR19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ainhoa Aldave, Juan M. Vara, David Granada, and Esperanza Marcos. Leveraging creativity in requirements elicitation within agile software development: A systematic literature review. J. Syst. Softw., 157, 2019.
    [Bibtex]
    @article{DBLP:journals/jss/AldaveVGM19,
      author    = {Ainhoa Aldave and
                   Juan M. Vara and
                   David Granada and
                   Esperanza Marcos},
      title     = {Leveraging creativity in requirements elicitation within agile software
                   development: {A} systematic literature review},
      journal   = {J. Syst. Softw.},
      volume    = {157},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.jss.2019.110396},
      doi       = {10.1016/j.jss.2019.110396},
      timestamp = {Mon, 24 Feb 2020 15:59:07 +0100},
      biburl    = {https://dblp.org/rec/journals/jss/AldaveVGM19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, and Valentín Valero. Improving cloud architectures using UML profiles and M2T transformation techniques. J. Supercomput., 75(12):8012-8058, 2019.
    [Bibtex]
    @article{DBLP:journals/tjs/BernalCNCV19,
      author    = {Adrian Bernal and
                   Mar{\'{i}}a{-}Emilia Cambronero and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Pablo C. Ca{\~{n}}izares and
                   Valent{\'{i}}n Valero},
      title     = {Improving cloud architectures using {UML} profiles and {M2T} transformation
                   techniques},
      journal   = {J. Supercomput.},
      volume    = {75},
      number    = {12},
      pages     = {8012--8058},
      year      = {2019},
      url       = {https://doi.org/10.1007/s11227-019-02980-w},
      doi       = {10.1007/s11227-019-02980-w},
      timestamp = {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}
    }
  • [DOI] Adrian Bernal, María-Emilia Cambronero, Valentín Valero Ruiz, Alberto Nuñez, and Pablo C. Cañizares. A Framework for Modeling Cloud Infrastructures and User Interactions. IEEE Access, 7:43269-43285, 2019.
    [Bibtex]
    @article{DBLP:journals/access/BernalCRNC19,
      author    = {Adrian Bernal and
                   Mar{\'{i}}a{-}Emilia Cambronero and
                   Valent{\'{i}}n Valero Ruiz and
                   Alberto Nu{\~{n}}ez and
                   Pablo C. Ca{\~{n}}izares},
      title     = {A Framework for Modeling Cloud Infrastructures and User Interactions},
      journal   = {{IEEE} Access},
      volume    = {7},
      pages     = {43269--43285},
      year      = {2019},
      url       = {https://doi.org/10.1109/ACCESS.2019.2907180},
      doi       = {10.1109/ACCESS.2019.2907180},
      timestamp = {Fri, 27 Dec 2019 21:13:17 +0100},
      biburl    = {https://dblp.org/rec/journals/access/BernalCRNC19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, and Albert Rubio. Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. ACM Trans. Comput. Log., 20(4):25:1–25:36, 2019.
    [Bibtex]
    @article{DBLP:journals/tocl/BorrallerasLROR19,
      author    = {Cristina Borralleras and
                   Daniel Larraz and
                   Enric Rodr{\'{i}}guez{-}Carbonell and
                   Albert Oliveras and
                   Albert Rubio},
      title     = {Incomplete {SMT} Techniques for Solving Non-Linear Formulas over the
                   Integers},
      journal   = {{ACM} Trans. Comput. Log.},
      volume    = {20},
      number    = {4},
      pages     = {25:1--25:36},
      year      = {2019},
      url       = {https://doi.org/10.1145/3340923},
      doi       = {10.1145/3340923},
      timestamp = {Wed, 18 Sep 2019 08:27:28 +0200},
      biburl    = {https://dblp.org/rec/journals/tocl/BorrallerasLROR19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Jose Luis Brita-Paja, Carlos Gregorio-Rodríguez, Luis Llana, Cristóbal Pareja, and Adrián Riesco. Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study. Interactive Learning Environments, 27(1):15-32, 2019.
    [Bibtex]
    @article{DBLP:journals/ile/Brita-PajaGLPR19,
      author    = {Jose Luis Brita{-}Paja and
                   Carlos Gregorio{-}Rodr{\'{i}}guez and
                   Luis Llana and
                   Crist{\'{o}}bal Pareja and
                   Adri{\'{a}}n Riesco},
      title     = {Introducing MOOC-like methodologies in a face-to-face undergraduate
                   course: a detailed case study},
      journal   = {Interactive Learning Environments},
      volume    = {27},
      number    = {1},
      pages     = {15--32},
      year      = {2019},
      url       = {https://doi.org/10.1080/10494820.2018.1451345},
      doi       = {10.1080/10494820.2018.1451345},
      timestamp = {Fri, 27 Dec 2019 21:17:11 +0100},
      biburl    = {https://dblp.org/rec/journals/ile/Brita-PajaGLPR19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit. A core Erlang semantics for declarative debugging. J. Log. Algebraic Methods Program., 107:1-37, 2019.
    [Bibtex]
    @article{DBLP:journals/jlap/CaballeroMRT19,
      author    = {Rafael Caballero and
                   Enrique Martin{-}Martin and
                   Adri{\'{a}}n Riesco and
                   Salvador Tamarit},
      title     = {A core Erlang semantics for declarative debugging},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {107},
      pages     = {1--37},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.jlamp.2019.05.002},
      doi       = {10.1016/j.jlamp.2019.05.002},
      timestamp = {Sat, 22 Feb 2020 19:18:14 +0100},
      biburl    = {https://dblp.org/rec/journals/jlap/CaballeroMRT19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Iván Calvo, Mercedes G. Merayo, and Manuel Núñez. A methodology to analyze heart data using fuzzy automata. J. Intell. Fuzzy Syst., 37(6):7389-7399, 2019.
    [Bibtex]
    @article{DBLP:journals/jifs/CalvoMN19,
      author    = {Iv{\'{a}}n Calvo and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {A methodology to analyze heart data using fuzzy automata},
      journal   = {J. Intell. Fuzzy Syst.},
      volume    = {37},
      number    = {6},
      pages     = {7389--7399},
      year      = {2019},
      url       = {https://doi.org/10.3233/JIFS-179348},
      doi       = {10.3233/JIFS-179348},
      timestamp = {Sat, 25 Apr 2020 13:53:20 +0200},
      biburl    = {https://dblp.org/rec/journals/jifs/CalvoMN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Carlos Camacho, Luis Llana, Alberto Núñez, and Mario Bravetti. Probabilistic software product lines. J. Log. Algebraic Methods Program., 107:54-78, 2019.
    [Bibtex]
    @article{DBLP:journals/jlap/CamachoLNB19,
      author    = {Carlos Camacho and
                   Luis Llana and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Mario Bravetti},
      title     = {Probabilistic software product lines},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {107},
      pages     = {54--78},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.jlamp.2019.05.007},
      doi       = {10.1016/j.jlamp.2019.05.007},
      timestamp = {Sat, 22 Feb 2020 19:18:14 +0100},
      biburl    = {https://dblp.org/rec/journals/jlap/CamachoLNB19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo C. Cañizares, Alberto Núñez, and Juan de Lara. An expert system for checking the correctness of memory systems using simulation and metamorphic testing. Expert Syst. Appl., 132:44-62, 2019.
    [Bibtex]
    @article{DBLP:journals/eswa/CanizaresNL19,
      author    = {Pablo C. Ca{\~{n}}izares and
                   Alberto N{\'{u}}{\~{n}}ez and
                   Juan de Lara},
      title     = {An expert system for checking the correctness of memory systems using
                   simulation and metamorphic testing},
      journal   = {Expert Syst. Appl.},
      volume    = {132},
      pages     = {44--62},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.eswa.2019.04.070},
      doi       = {10.1016/j.eswa.2019.04.070},
      timestamp = {Fri, 27 Dec 2019 21:10:47 +0100},
      biburl    = {https://dblp.org/rec/journals/eswa/CanizaresNL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Jesús J. Doménech, John P. Gallagher, and Samir Genaim. Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. Theory Pract. Log. Program., 19(5-6):990-1005, 2019.
    [Bibtex]
    @article{DBLP:journals/tplp/DomenechGG19,
      author    = {Jes{\'{u}}s J. Dom{\'{e}}nech and
                   John P. Gallagher and
                   Samir Genaim},
      title     = {Control-Flow Refinement by Partial Evaluation, and its Application
                   to Termination and Cost Analysis},
      journal   = {Theory Pract. Log. Program.},
      volume    = {19},
      number    = {5-6},
      pages     = {990--1005},
      year      = {2019},
      url       = {https://doi.org/10.1017/S1471068419000310},
      doi       = {10.1017/S1471068419000310},
      timestamp = {Thu, 13 Feb 2020 14:39:32 +0100},
      biburl    = {https://dblp.org/rec/journals/tplp/DomenechGG19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Cristina Valentina Espinosa, Enrique Martin-Martin, Adrián Riesco, and Juan Rodríguez-Hortalá. FlinkCheck: Property-Based Testing for Apache Flink. IEEE Access, 7:150369-150382, 2019.
    [Bibtex]
    @article{DBLP:journals/access/EspinosaMRR19,
      author    = {Cristina Valentina Espinosa and
                   Enrique Martin{-}Martin and
                   Adri{\'{a}}n Riesco and
                   Juan Rodr{\'{i}}guez{-}Hortal{\'{a}}},
      title     = {FlinkCheck: Property-Based Testing for Apache Flink},
      journal   = {{IEEE} Access},
      volume    = {7},
      pages     = {150369--150382},
      year      = {2019},
      url       = {https://doi.org/10.1109/ACCESS.2019.2947361},
      doi       = {10.1109/ACCESS.2019.2947361},
      timestamp = {Thu, 19 Dec 2019 09:25:34 +0100},
      biburl    = {https://dblp.org/rec/journals/access/EspinosaMRR19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Antonio Garmendia, Esther Guerra, Juan de Lara, Antonio García-Domínguez, and Dimitris S. Kolovos. Scaling-up domain-specific modelling languages through modularity services. Inf. Softw. Technol., 115:97-118, 2019.
    [Bibtex]
    @article{DBLP:journals/infsof/GarmendiaGLGK19,
      author    = {Antonio Garmendia and
                   Esther Guerra and
                   Juan de Lara and
                   Antonio Garc{\'{i}}a{-}Dom{\'{i}}nguez and
                   Dimitris S. Kolovos},
      title     = {Scaling-up domain-specific modelling languages through modularity
                   services},
      journal   = {Inf. Softw. Technol.},
      volume    = {115},
      pages     = {97--118},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.infsof.2019.05.010},
      doi       = {10.1016/j.infsof.2019.05.010},
      timestamp = {Thu, 20 Feb 2020 13:21:14 +0100},
      biburl    = {https://dblp.org/rec/journals/infsof/GarmendiaGLGK19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alfredo Ibias, Robert M. Hierons, and Manuel Núñez. Using Squeeziness to test component-based systems defined as Finite State Machines. Inf. Softw. Technol., 112:132-147, 2019.
    [Bibtex]
    @article{DBLP:journals/infsof/IbiasHN19,
      author    = {Alfredo Ibias and
                   Robert M. Hierons and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Using Squeeziness to test component-based systems defined as Finite
                   State Machines},
      journal   = {Inf. Softw. Technol.},
      volume    = {112},
      pages     = {132--147},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.infsof.2019.04.012},
      doi       = {10.1016/j.infsof.2019.04.012},
      timestamp = {Thu, 20 Feb 2020 13:21:17 +0100},
      biburl    = {https://dblp.org/rec/journals/infsof/IbiasHN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Juan de Lara, Esther Guerra, Davide Di Ruscio, Juri Di Rocco, Jesús Sánchez Cuadrado, Ludovico Iovino, and Alfonso Pierantonio. Automated Reuse of Model Transformations through Typing Requirements Models. ACM Trans. Softw. Eng. Methodol., 28(4):21:1–21:62, 2019.
    [Bibtex]
    @article{DBLP:journals/tosem/LaraGRRCIP19,
      author    = {Juan de Lara and
                   Esther Guerra and
                   Davide Di Ruscio and
                   Juri Di Rocco and
                   Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
                   Ludovico Iovino and
                   Alfonso Pierantonio},
      title     = {Automated Reuse of Model Transformations through Typing Requirements
                   Models},
      journal   = {{ACM} Trans. Softw. Eng. Methodol.},
      volume    = {28},
      number    = {4},
      pages     = {21:1--21:62},
      year      = {2019},
      url       = {https://doi.org/10.1145/3340108},
      doi       = {10.1145/3340108},
      timestamp = {Mon, 15 Jun 2020 16:50:30 +0200},
      biburl    = {https://dblp.org/rec/journals/tosem/LaraGRRCIP19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Jesús J. López-Fernández, Antonio Garmendia, Esther Guerra, and Juan de Lara. An example is worth a thousand words: Creating graphical modelling environments by example. Softw. Syst. Model., 18(2):961-993, 2019.
    [Bibtex]
    @article{DBLP:journals/sosym/Lopez-Fernandez19,
      author    = {Jes{\'{u}}s J. L{\'{o}}pez{-}Fern{\'{a}}ndez and
                   Antonio Garmendia and
                   Esther Guerra and
                   Juan de Lara},
      title     = {An example is worth a thousand words: Creating graphical modelling
                   environments by example},
      journal   = {Softw. Syst. Model.},
      volume    = {18},
      number    = {2},
      pages     = {961--993},
      year      = {2019},
      url       = {https://doi.org/10.1007/s10270-017-0632-7},
      doi       = {10.1007/s10270-017-0632-7},
      timestamp = {Fri, 18 Sep 2020 11:19:32 +0200},
      biburl    = {https://dblp.org/rec/journals/sosym/Lopez-Fernandez19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Sonia Estévez Martín, María-Emilia Cambronero, Yolanda García-Ruiz, and Luis Llana. Mobile Applications for People with Parkinson’s Disease: A Systematic Search in App Stores and Content Review. J. UCS, 25(7):740-763, 2019.
    [Bibtex]
    @article{DBLP:journals/jucs/MartinCGL19,
      author    = {Sonia Est{\'{e}}vez Mart{\'{i}}n and
                   Mar{\'{i}}a{-}Emilia Cambronero and
                   Yolanda Garc{\'{i}}a{-}Ruiz and
                   Luis Llana},
      title     = {Mobile Applications for People with Parkinson's Disease: {A} Systematic
                   Search in App Stores and Content Review},
      journal   = {J. {UCS}},
      volume    = {25},
      number    = {7},
      pages     = {740--763},
      year      = {2019},
      url       = {http://www.jucs.org/jucs\_25\_7/mobile\_applications\_for\_people},
      timestamp = {Fri, 23 Aug 2019 17:01:30 +0200},
      biburl    = {https://dblp.org/rec/journals/jucs/MartinCGL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, and Ngoc Thanh Nguyen. An overview on consensus-based approaches to processing collective inconsistency and knowledge integration. Wiley Interdiscip. Rev. Data Min. Knowl. Discov., 9(4), 2019.
    [Bibtex]
    @article{DBLP:journals/widm/NguyenTMN19,
      author    = {Van Du Nguyen and
                   Hai Bang Truong and
                   Mercedes G. Merayo and
                   Ngoc Thanh Nguyen},
      title     = {An overview on consensus-based approaches to processing collective
                   inconsistency and knowledge integration},
      journal   = {Wiley Interdiscip. Rev. Data Min. Knowl. Discov.},
      volume    = {9},
      number    = {4},
      year      = {2019},
      url       = {https://doi.org/10.1002/widm.1311},
      doi       = {10.1002/widm.1311},
      timestamp = {Fri, 05 Jul 2019 15:58:25 +0200},
      biburl    = {https://dblp.org/rec/journals/widm/NguyenTMN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, and Ngoc Thanh Nguyen. Toward evaluating the level of crowd wisdom using interval estimates. J. Intell. Fuzzy Syst., 37(6):7279-7289, 2019.
    [Bibtex]
    @article{DBLP:journals/jifs/NguyenTMN19,
      author    = {Van Du Nguyen and
                   Hai Bang Truong and
                   Mercedes G. Merayo and
                   Ngoc Thanh Nguyen},
      title     = {Toward evaluating the level of crowd wisdom using interval estimates},
      journal   = {J. Intell. Fuzzy Syst.},
      volume    = {37},
      number    = {6},
      pages     = {7279--7289},
      year      = {2019},
      url       = {https://doi.org/10.3233/JIFS-179338},
      doi       = {10.3233/JIFS-179338},
      timestamp = {Sat, 25 Apr 2020 13:52:52 +0200},
      biburl    = {https://dblp.org/rec/journals/jifs/NguyenTMN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Núñez, Carolina Mañoso, Angel Pérez de Madrid, and Simon Pickin. SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degrees. Comput. Appl. Eng. Educ., 27(5):1126-1138, 2019.
    [Bibtex]
    @article{DBLP:journals/caee/NunezMMP19,
      author    = {Alberto N{\'{u}}{\~{n}}ez and
                   Carolina Ma{\~{n}}oso and
                   Angel P{\'{e}}rez de Madrid and
                   Simon Pickin},
      title     = {{SIMCAN:} {A} simulator to improve the learning of distributed and
                   high-performance computing systems in engineering degrees},
      journal   = {Comput. Appl. Eng. Educ.},
      volume    = {27},
      number    = {5},
      pages     = {1126--1138},
      year      = {2019},
      url       = {https://doi.org/10.1002/cae.22141},
      doi       = {10.1002/cae.22141},
      timestamp = {Thu, 06 Aug 2020 13:48:29 +0200},
      biburl    = {https://dblp.org/rec/journals/caee/NunezMMP19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sara Pérez-Soler, Mario González-Jiménez, Esther Guerra, and Juan de Lara. Towards Conversational Syntax for Domain-Specific Languages using Chatbots. J. Object Technol., 18(2):5:1–21, 2019.
    [Bibtex]
    @article{DBLP:journals/jot/Perez-SolerGGL19,
      author    = {Sara P{\'{e}}rez{-}Soler and
                   Mario Gonz{\'{a}}lez{-}Jim{\'{e}}nez and
                   Esther Guerra and
                   Juan de Lara},
      title     = {Towards Conversational Syntax for Domain-Specific Languages using
                   Chatbots},
      journal   = {J. Object Technol.},
      volume    = {18},
      number    = {2},
      pages     = {5:1--21},
      year      = {2019},
      url       = {https://doi.org/10.5381/jot.2019.18.2.a5},
      doi       = {10.5381/jot.2019.18.2.a5},
      timestamp = {Sat, 25 Apr 2020 13:55:43 +0200},
      biburl    = {https://dblp.org/rec/journals/jot/Perez-SolerGGL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ranci Ren, John W. Castro, Silvia Teresita Acuña, and Juan de Lara. Evaluation Techniques for Chatbot Usability: A Systematic Mapping Study. Int. J. Softw. Eng. Knowl. Eng., 29(11&12):1673-1702, 2019.
    [Bibtex]
    @article{DBLP:journals/ijseke/RenCAL19,
      author    = {Ranci Ren and
                   John W. Castro and
                   Silvia Teresita Acu{\~{n}}a and
                   Juan de Lara},
      title     = {Evaluation Techniques for Chatbot Usability: {A} Systematic Mapping
                   Study},
      journal   = {Int. J. Softw. Eng. Knowl. Eng.},
      volume    = {29},
      number    = {11{\&}12},
      pages     = {1673--1702},
      year      = {2019},
      url       = {https://doi.org/10.1142/S0218194019400163},
      doi       = {10.1142/S0218194019400163},
      timestamp = {Wed, 22 Jul 2020 22:06:47 +0200},
      biburl    = {https://dblp.org/rec/journals/ijseke/RenCAL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ángel Mora Segura and Juan de Lara. Extremo: An Eclipse plugin for modelling and meta-modelling assistance. Sci. Comput. Program., 180:71-80, 2019.
    [Bibtex]
    @article{DBLP:journals/scp/SeguraL19,
      author    = {{\'{A}}ngel Mora Segura and
                   Juan de Lara},
      title     = {Extremo: An Eclipse plugin for modelling and meta-modelling assistance},
      journal   = {Sci. Comput. Program.},
      volume    = {180},
      pages     = {71--80},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.scico.2019.05.003},
      doi       = {10.1016/j.scico.2019.05.003},
      timestamp = {Thu, 08 Aug 2019 11:05:14 +0200},
      biburl    = {https://dblp.org/rec/journals/scp/SeguraL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

Conference Publications:

2020

  • [DOI] Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, and Albert Rubio. Smart, and also Reliable and Gas-Efficient, Contracts. In 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020, page 2. IEEE, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/icst/AlbertCGRR20,
      author    = {Elvira Albert and
                   Jes{\'{u}}s Correas and
                   Pablo Gordillo and
                   Guillermo Rom{\'{a}}n{-}D{\'{i}}ez and
                   Albert Rubio},
      title     = {Smart, and also Reliable and Gas-Efficient, Contracts},
      booktitle = {13th {IEEE} International Conference on Software Testing, Validation
                   and Verification, {ICST} 2020, Porto, Portugal, October 24-28, 2020},
      pages     = {2},
      publisher = {{IEEE}},
      year      = {2020},
      url       = {https://doi.org/10.1109/ICST46399.2020.00010},
      doi       = {10.1109/ICST46399.2020.00010},
      timestamp = {Wed, 12 Aug 2020 12:59:51 +0200},
      biburl    = {https://dblp.org/rec/conf/icst/AlbertCGRR20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Elvira Albert, Pablo Gordillo, Albert Rubio, and Maria Anna Schett. Synthesis of Super-Optimized Smart Contracts Using Max-SMT. In Shuvendu K. Lahiri and Chao Wang, editors, Computer Aided Verification – 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, volume 12224 of Lecture Notes in Computer Science, pages 177-200. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/cav/AlbertGRS20,
      author    = {Elvira Albert and
                   Pablo Gordillo and
                   Albert Rubio and
                   Maria Anna Schett},
      editor    = {Shuvendu K. Lahiri and
                   Chao Wang},
      title     = {Synthesis of Super-Optimized Smart Contracts Using Max-SMT},
      booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
                   2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {12224},
      pages     = {177--200},
      publisher = {Springer},
      year      = {2020},
      url       = {https://doi.org/10.1007/978-3-030-53288-8\_10},
      doi       = {10.1007/978-3-030-53288-8\_10},
      timestamp = {Wed, 12 Aug 2020 15:15:43 +0200},
      biburl    = {https://dblp.org/rec/conf/cav/AlbertGRS20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, and Albert Rubio. GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. In Armin Biere and David Parker, editors, Tools and Algorithms for the Construction and Analysis of Systems – 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, volume 12079 of Lecture Notes in Computer Science, pages 118-125. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/tacas/AlbertCGRR20,
      author    = {Elvira Albert and
                   Jes{\'{u}}s Correas and
                   Pablo Gordillo and
                   Guillermo Rom{\'{a}}n{-}D{\'{i}}ez and
                   Albert Rubio},
      editor    = {Armin Biere and
                   David Parker},
      title     = {{GASOL:} Gas Analysis and Optimization for Ethereum Smart Contracts},
      booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
                   - 26th International Conference, {TACAS} 2020, Held as Part of the
                   European Joint Conferences on Theory and Practice of Software, {ETAPS}
                   2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
      series    = {Lecture Notes in Computer Science},
      volume    = {12079},
      pages     = {118--125},
      publisher = {Springer},
      year      = {2020},
      url       = {https://doi.org/10.1007/978-3-030-45237-7\_7},
      doi       = {10.1007/978-3-030-45237-7\_7},
      timestamp = {Tue, 16 Jun 2020 17:17:59 +0200},
      biburl    = {https://dblp.org/rec/conf/tacas/AlbertCGRR20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Lissette Almonte, Iván Cantador, Esther Guerra, and Juan de Lara. Towards automating the construction of recommender systems for low-code development platforms. In Esther Guerra and Ludovico Iovino, editors, MODELS ’20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings, pages 66:1–66:10. ACM, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/models/AlmonteCGL20,
      author    = {Lissette Almonte and
                   Iv{\'{a}}n Cantador and
                   Esther Guerra and
                   Juan de Lara},
      editor    = {Esther Guerra and
                   Ludovico Iovino},
      title     = {Towards automating the construction of recommender systems for low-code
                   development platforms},
      booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
                   Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
                   2020, Companion Proceedings},
      pages     = {66:1--66:10},
      publisher = {{ACM}},
      year      = {2020},
      url       = {https://doi.org/10.1145/3417990.3420200},
      doi       = {10.1145/3417990.3420200},
      timestamp = {Thu, 29 Oct 2020 13:29:50 +0100},
      biburl    = {https://dblp.org/rec/conf/models/AlmonteCGL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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}
    }
  • [DOI] 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}
    }
  • [DOI] Francisco Pérez J. Blanco, Juan M. Vara, Cristian Gómez, Valeria de Castro, and Esperanza Marcos. Model-Based Tool Support for Service Design. In Heike Wehrheim and Jordi Cabot, editors, Fundamental Approaches to Software Engineering – 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, volume 12076 of Lecture Notes in Computer Science, pages 266-272. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/fase/BlancoVGCM20,
      author    = {Francisco J. P{\'{e}}rez Blanco and
                   Juan M. Vara and
                   Cristian G{\'{o}}mez and
                   Valeria de Castro and
                   Esperanza Marcos},
      editor    = {Heike Wehrheim and
                   Jordi Cabot},
      title     = {Model-Based Tool Support for Service Design},
      booktitle = {Fundamental Approaches to Software Engineering - 23rd International
                   Conference, {FASE} 2020, Held as Part of the European Joint Conferences
                   on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,
                   April 25-30, 2020, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {12076},
      pages     = {266--272},
      publisher = {Springer},
      year      = {2020},
      url       = {https://doi.org/10.1007/978-3-030-45234-6\_13},
      doi       = {10.1007/978-3-030-45234-6\_13},
      timestamp = {Tue, 21 Apr 2020 12:41:14 +0200},
      biburl    = {https://dblp.org/rec/conf/fase/BlancoVGCM20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sergio Bravo-Santos, Esther Guerra, and Juan de Lara. Testing Chatbots with Charm. In Martin J. Shepperd, Fernando Brito e Abreu, Alberto Rodrigues da Silva, and Ricardo Pérez-Castillo, editors, Quality of Information and Communications Technology – 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings, volume 1266 of Communications in Computer and Information Science, pages 426-438. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/quatic/Bravo-SantosGL20,
      author    = {Sergio Bravo{-}Santos and
                   Esther Guerra and
                   Juan de Lara},
      editor    = {Martin J. Shepperd and
                   Fernando Brito e Abreu and
                   Alberto Rodrigues da Silva and
                   Ricardo P{\'{e}}rez{-}Castillo},
      title     = {Testing Chatbots with Charm},
      booktitle = {Quality of Information and Communications Technology - 13th International
                   Conference, {QUATIC} 2020, Faro, Portugal, September 9-11, 2020, Proceedings},
      series    = {Communications in Computer and Information Science},
      volume    = {1266},
      pages     = {426--438},
      publisher = {Springer},
      year      = {2020},
      url       = {https://doi.org/10.1007/978-3-030-58793-2\_34},
      doi       = {10.1007/978-3-030-58793-2\_34},
      timestamp = {Tue, 15 Sep 2020 17:20:05 +0200},
      biburl    = {https://dblp.org/rec/conf/quatic/Bravo-SantosGL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Léa. Brunschwig, Esther Guerra, and Juan de Lara. Towards access control for collaborative modelling apps. In Esther Guerra and Ludovico Iovino, editors, MODELS ’20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings, pages 67:1–67:10. ACM, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/models/BrunschwigGL20,
      author    = {L{\'{e}}a Brunschwig and
                   Esther Guerra and
                   Juan de Lara},
      editor    = {Esther Guerra and
                   Ludovico Iovino},
      title     = {Towards access control for collaborative modelling apps},
      booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
                   Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
                   2020, Companion Proceedings},
      pages     = {67:1--67:10},
      publisher = {{ACM}},
      year      = {2020},
      url       = {https://doi.org/10.1145/3417990.3420201},
      doi       = {10.1145/3417990.3420201},
      timestamp = {Thu, 29 Oct 2020 13:29:50 +0100},
      biburl    = {https://dblp.org/rec/conf/models/BrunschwigGL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Iván Calvo, Mercedes G. Merayo, and Manuel Núñez. A Trading Framework Based on Fuzzy Moore Machines. In Ngoc Thanh Nguyen, Kietikul Jearanaitanakij, Ali Selamat, Bogdan Trawinski, and Suphamit Chittayasothorn, editors, Intelligent Information and Database Systems – 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part I, volume 12033 of Lecture Notes in Computer Science, pages 123-134. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/aciids/CalvoM020,
      author    = {Iv{\'{a}}n Calvo and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Ngoc Thanh Nguyen and
                   Kietikul Jearanaitanakij and
                   Ali Selamat and
                   Bogdan Trawinski and
                   Suphamit Chittayasothorn},
      title     = {A Trading Framework Based on Fuzzy Moore Machines},
      booktitle = {Intelligent Information and Database Systems - 12th Asian Conference,
                   {ACIIDS} 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part
                   {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {12033},
      pages     = {123--134},
      publisher = {Springer},
      year      = {2020},
      url       = {https://doi.org/10.1007/978-3-030-41964-6\_11},
      doi       = {10.1007/978-3-030-41964-6\_11},
      timestamp = {Fri, 27 Mar 2020 08:56:37 +0100},
      biburl    = {https://dblp.org/rec/conf/aciids/CalvoM020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, and Gordon J. Pace. Themulus: A Timed Contract-calculus. In Slimane Hammoudi, Luís Ferreira Pires, and Bran Selic, editors, Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, pages 193-204. SCITEPRESS, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/modelsward/GarciaCCLP20,
      author    = {Alberto Aranda Garc{\'{i}}a and
                   Mar{\'{i}}a{-}Emilia Cambronero and
                   Christian Colombo and
                   Luis Llana and
                   Gordon J. Pace},
      editor    = {Slimane Hammoudi and
                   Lu{\'{i}}s Ferreira Pires and
                   Bran Selic},
      title     = {Themulus: {A} Timed Contract-calculus},
      booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering
                   and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
                   25-27, 2020},
      pages     = {193--204},
      publisher = {{SCITEPRESS}},
      year      = {2020},
      url       = {https://doi.org/10.5220/0008878001930204},
      doi       = {10.5220/0008878001930204},
      timestamp = {Thu, 16 Apr 2020 15:49:58 +0200},
      biburl    = {https://dblp.org/rec/conf/modelsward/GarciaCCLP20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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}
    }
  • [DOI] Antonio Garmendia, Manuel Wimmer, Alexandra Mazak-Huemer, Esther Guerra, and Juan de Lara. Modelling Production System Families with AutomationML. In 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020, pages 1057-1060. IEEE, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/etfa/GarmendiaWMGL20,
      author    = {Antonio Garmendia and
                   Manuel Wimmer and
                   Alexandra Mazak{-}Huemer and
                   Esther Guerra and
                   Juan de Lara},
      title     = {Modelling Production System Families with AutomationML},
      booktitle = {25th {IEEE} International Conference on Emerging Technologies and
                   Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11,
                   2020},
      pages     = {1057--1060},
      publisher = {{IEEE}},
      year      = {2020},
      url       = {https://doi.org/10.1109/ETFA46521.2020.9211894},
      doi       = {10.1109/ETFA46521.2020.9211894},
      timestamp = {Thu, 15 Oct 2020 11:22:58 +0200},
      biburl    = {https://dblp.org/rec/conf/etfa/GarmendiaWMGL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, and Juan de Lara. Automated variability injection for graphical modelling languages. In Martin Erwig and Jeff Gray, editors, GPCE ’20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020, pages 15-21. ACM, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/gpce/GarmendiaWGGL20,
      author    = {Antonio Garmendia and
                   Manuel Wimmer and
                   Esther Guerra and
                   Elena G{\'{o}}mez{-}Mart{\'{i}}nez and
                   Juan de Lara},
      editor    = {Martin Erwig and
                   Jeff Gray},
      title     = {Automated variability injection for graphical modelling languages},
      booktitle = {{GPCE} '20: Proceedings of the 19th {ACM} {SIGPLAN} International
                   Conference on Generative Programming: Concepts and Experiences, Virtual
                   Event, USA, November 16-17, 2020},
      pages     = {15--21},
      publisher = {{ACM}},
      year      = {2020},
      url       = {https://doi.org/10.1145/3425898.3426957},
      doi       = {10.1145/3425898.3426957},
      timestamp = {Tue, 15 Dec 2020 14:38:27 +0100},
      biburl    = {https://dblp.org/rec/conf/gpce/GarmendiaWGGL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Lorena Gutiérrez-Madroñal, Inmaculada Medina-Bulo, and Mercedes G. Merayo. Mutation Operators for Google Query Language. In Pawel Sitek, Marcin Pietranik, Marek Krótkiewicz, and Chutimet Srinilta, editors, Intelligent Information and Database Systems – 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020, Companion Proceedings, volume 1178 of Communications in Computer and Information Science, pages 354-365. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/aciids/Gutierrez-Madronal20,
      author    = {Lorena Guti{\'{e}}rrez{-}Madro{\~{n}}al and
                   Inmaculada Medina{-}Bulo and
                   Mercedes G. Merayo},
      editor    = {Pawel Sitek and
                   Marcin Pietranik and
                   Marek Kr{\'{o}}tkiewicz and
                   Chutimet Srinilta},
      title     = {Mutation Operators for Google Query Language},
      booktitle = {Intelligent Information and Database Systems - 12th Asian Conference,
                   {ACIIDS} 2020, Phuket, Thailand, March 23-26, 2020, Companion Proceedings},
      series    = {Communications in Computer and Information Science},
      volume    = {1178},
      pages     = {354--365},
      publisher = {Springer},
      year      = {2020},
      url       = {https://doi.org/10.1007/978-981-15-3380-8\_31},
      doi       = {10.1007/978-981-15-3380-8\_31},
      timestamp = {Fri, 27 Mar 2020 08:56:37 +0100},
      biburl    = {https://dblp.org/rec/conf/aciids/Gutierrez-Madronal20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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 = {Tue, 15 Sep 2020 17:42:58 +0200},
      biburl    = {https://dblp.org/rec/conf/caise/Gomez-AbajoGLM20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alfredo Ibias and Manuel Núñez. Estimating fault masking using squeeziness based on Rényi’s entropy. In Chih-Cheng Hung, Tomás Cern’y, Dongwan Shin, and Alessio Bechini, editors, SAC ’20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 – April 3, 2020, pages 1936-1943. ACM, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/sac/Ibias020,
      author    = {Alfredo Ibias and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Chih{-}Cheng Hung and
                   Tom{\'{a}}s Cern{\'{y}} and
                   Dongwan Shin and
                   Alessio Bechini},
      title     = {Estimating fault masking using squeeziness based on R{\'{e}}nyi's
                   entropy},
      booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
                   event, [Brno, Czech Republic], March 30 - April 3, 2020},
      pages     = {1936--1943},
      publisher = {{ACM}},
      year      = {2020},
      url       = {https://doi.org/10.1145/3341105.3373920},
      doi       = {10.1145/3341105.3373920},
      timestamp = {Thu, 02 Apr 2020 17:08:04 +0200},
      biburl    = {https://dblp.org/rec/conf/sac/Ibias020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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, 08 Jan 2021 11:20:51 +0100},
      biburl    = {https://dblp.org/rec/conf/smc/IbiasN20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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, 11 Sep 2020 15:04:20 +0200},
      biburl    = {https://dblp.org/rec/conf/cec/IbiasL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Juan de Lara and Esther Guerra. Multi-level Model Product Lines – Open and Closed Variability for Modelling Language Families. In Heike Wehrheim and Jordi Cabot, editors, Fundamental Approaches to Software Engineering – 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, volume 12076 of Lecture Notes in Computer Science, pages 161-181. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/fase/LaraG20,
      author    = {Juan de Lara and
                   Esther Guerra},
      editor    = {Heike Wehrheim and
                   Jordi Cabot},
      title     = {Multi-level Model Product Lines - Open and Closed Variability for
                   Modelling Language Families},
      booktitle = {Fundamental Approaches to Software Engineering - 23rd International
                   Conference, {FASE} 2020, Held as Part of the European Joint Conferences
                   on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,
                   April 25-30, 2020, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {12076},
      pages     = {161--181},
      publisher = {Springer},
      year      = {2020},
      url       = {https://doi.org/10.1007/978-3-030-45234-6\_8},
      doi       = {10.1007/978-3-030-45234-6\_8},
      timestamp = {Tue, 21 Apr 2020 12:41:14 +0200},
      biburl    = {https://dblp.org/rec/conf/fase/LaraG20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Roberto Hens Pato, David Granada, Juan M. Vara, and Esperanza Marcos. Lean kanban in an industrial context: a success story. In Gregg Rothermel and Doo-Hwan Bae, editors, ICSE ’20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June – 19 July, 2020, pages 282-283. ACM, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/icse/PatoGVM20,
      author    = {Roberto Hens Pato and
                   David Granada and
                   Juan M. Vara and
                   Esperanza Marcos},
      editor    = {Gregg Rothermel and
                   Doo{-}Hwan Bae},
      title     = {Lean kanban in an industrial context: a success story},
      booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
                   Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020},
      pages     = {282--283},
      publisher = {{ACM}},
      year      = {2020},
      url       = {https://doi.org/10.1145/3377812.3390904},
      doi       = {10.1145/3377812.3390904},
      timestamp = {Mon, 07 Dec 2020 14:56:32 +0100},
      biburl    = {https://dblp.org/rec/conf/icse/PatoGVM20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sara Pérez-Soler, Esther Guerra, and Juan de Lara. Model-Driven Chatbot Development. In Gillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle, and Heinrich C. Mayr, editors, Conceptual Modeling – 39th International Conference, ER 2020, Vienna, Austria, November 3-6, 2020, Proceedings, volume 12400 of Lecture Notes in Computer Science, pages 207-222. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/er/Perez-SolerGL20,
      author    = {Sara P{\'{e}}rez{-}Soler and
                   Esther Guerra and
                   Juan de Lara},
      editor    = {Gillian Dobbie and
                   Ulrich Frank and
                   Gerti Kappel and
                   Stephen W. Liddle and
                   Heinrich C. Mayr},
      title     = {Model-Driven Chatbot Development},
      booktitle = {Conceptual Modeling - 39th International Conference, {ER} 2020, Vienna,
                   Austria, November 3-6, 2020, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {12400},
      pages     = {207--222},
      publisher = {Springer},
      year      = {2020},
      url       = {https://doi.org/10.1007/978-3-030-62522-1\_15},
      doi       = {10.1007/978-3-030-62522-1\_15},
      timestamp = {Sat, 14 Nov 2020 00:57:11 +0100},
      biburl    = {https://dblp.org/rec/conf/er/Perez-SolerGL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sara Pérez-Soler, Gwendal Daniel, Jordi Cabot, Esther Guerra, and Juan de Lara. Towards Automating the Synthesis of Chatbots for Conversational Model Query. In Selmin Nurcan, Iris Reinhartz-Berger, Pnina Soffer, and Jelena Zdravkovic, editors, Enterprise, Business-Process and Information Systems Modeling – 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8-9, 2020, Proceedings, volume 387 of Lecture Notes in Business Information Processing, pages 257-265. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/caise/Perez-SolerDCGL20,
      author    = {Sara P{\'{e}}rez{-}Soler and
                   Gwendal Daniel and
                   Jordi Cabot and
                   Esther Guerra and
                   Juan de Lara},
      editor    = {Selmin Nurcan and
                   Iris Reinhartz{-}Berger and
                   Pnina Soffer and
                   Jelena Zdravkovic},
      title     = {Towards Automating the Synthesis of Chatbots for Conversational Model
                   Query},
      booktitle = {Enterprise, Business-Process and Information Systems Modeling - 21st
                   International Conference, {BPMDS} 2020, 25th International Conference,
                   {EMMSAD} 2020, Held at CAiSE 2020, Grenoble, France, June 8-9, 2020,
                   Proceedings},
      series    = {Lecture Notes in Business Information Processing},
      volume    = {387},
      pages     = {257--265},
      publisher = {Springer},
      year      = {2020},
      url       = {https://doi.org/10.1007/978-3-030-49418-6\_17},
      doi       = {10.1007/978-3-030-49418-6\_17},
      timestamp = {Tue, 02 Jun 2020 17:49:38 +0200},
      biburl    = {https://dblp.org/rec/conf/caise/Perez-SolerDCGL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Fatima Rani, Pablo Diez, Enrique Chavarriaga, Esther Guerra, and Juan de Lara. Automated migration of EuGENia graphical editors to the web. In Esther Guerra and Ludovico Iovino, editors, MODELS ’20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings, pages 71:1–71:7. ACM, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/models/RaniDCGL20,
      author    = {Fatima Rani and
                   Pablo Diez and
                   Enrique Chavarriaga and
                   Esther Guerra and
                   Juan de Lara},
      editor    = {Esther Guerra and
                   Ludovico Iovino},
      title     = {Automated migration of EuGENia graphical editors to the web},
      booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
                   Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
                   2020, Companion Proceedings},
      pages     = {71:1--71:7},
      publisher = {{ACM}},
      year      = {2020},
      url       = {https://doi.org/10.1145/3417990.3420205},
      doi       = {10.1145/3417990.3420205},
      timestamp = {Thu, 29 Oct 2020 13:29:50 +0100},
      biburl    = {https://dblp.org/rec/conf/models/RaniDCGL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ranci Ren, John W. Castro, Adrián Santos, Sara Pérez-Soler, Silvia Teresita Acuña, and Juan de Lara. Collaborative Modelling: Chatbots or On-Line Tools? An Experimental Study. In Jingyue Li, Letizia Jaccheri, Torgeir Dingsøyr, and Ruzanna Chitchyan, editors, EASE ’20: Evaluation and Assessment in Software Engineering, Trondheim, Norway, April 15-17, 2020, pages 260-269. ACM, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/ease/RenCSPAL20,
      author    = {Ranci Ren and
                   John W. Castro and
                   Adri{\'{a}}n Santos and
                   Sara P{\'{e}}rez{-}Soler and
                   Silvia Teresita Acu{\~{n}}a and
                   Juan de Lara},
      editor    = {Jingyue Li and
                   Letizia Jaccheri and
                   Torgeir Dings{\o}yr and
                   Ruzanna Chitchyan},
      title     = {Collaborative Modelling: Chatbots or On-Line Tools? An Experimental
                   Study},
      booktitle = {{EASE} '20: Evaluation and Assessment in Software Engineering, Trondheim,
                   Norway, April 15-17, 2020},
      pages     = {260--269},
      publisher = {{ACM}},
      year      = {2020},
      url       = {https://doi.org/10.1145/3383219.3383246},
      doi       = {10.1145/3383219.3383246},
      timestamp = {Wed, 06 May 2020 15:01:55 +0200},
      biburl    = {https://dblp.org/rec/conf/ease/RenCSPAL20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alberto Sebastián-Lombraña, Esther Guerra, and Juan de Lara. Positioning-Based Domain-Specific Modelling through Mobile Devices. In 46th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2020, Portoroz, Slovenia, August 26-28, 2020, pages 150-157. IEEE, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/euromicro/Sebastian-Lombrana20,
      author    = {Alberto Sebasti{\'{a}}n{-}Lombra{\~{n}}a and
                   Esther Guerra and
                   Juan de Lara},
      title     = {Positioning-Based Domain-Specific Modelling through Mobile Devices},
      booktitle = {46th Euromicro Conference on Software Engineering and Advanced Applications,
                   {SEAA} 2020, Portoroz, Slovenia, August 26-28, 2020},
      pages     = {150--157},
      publisher = {{IEEE}},
      year      = {2020},
      url       = {https://doi.org/10.1109/SEAA51224.2020.00033},
      doi       = {10.1109/SEAA51224.2020.00033},
      timestamp = {Wed, 21 Oct 2020 13:22:40 +0200},
      biburl    = {https://dblp.org/rec/conf/euromicro/Sebastian-Lombrana20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2019

  • [DOI] Elvira Albert, Pablo Gordillo, Albert Rubio, and Ilya Sergey. Running on Fumes – Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. In Pierre Ganty and Mohamed Kaâniche, editors, Verification and Evaluation of Computer and Communication Systems – 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, volume 11847 of Lecture Notes in Computer Science, pages 63-78. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/vecos/AlbertGRS19,
      author    = {Elvira Albert and
                   Pablo Gordillo and
                   Albert Rubio and
                   Ilya Sergey},
      editor    = {Pierre Ganty and
                   Mohamed Ka{\^{a}}niche},
      title     = {Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum
                   Smart Contracts Using Static Resource Analysis},
      booktitle = {Verification and Evaluation of Computer and Communication Systems
                   - 13th International Conference, VECoS 2019, Porto, Portugal, October
                   9, 2019, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {11847},
      pages     = {63--78},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-35092-5\_5},
      doi       = {10.1007/978-3-030-35092-5\_5},
      timestamp = {Fri, 27 Mar 2020 09:01:43 +0100},
      biburl    = {https://dblp.org/rec/conf/vecos/AlbertGRS19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, and Albert Rubio. SAFEVM: a safety verifier for Ethereum smart contracts. In Dongmei Zhang and Anders Møller, editors, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019, pages 386-389. ACM, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/issta/AlbertCGRR19,
      author    = {Elvira Albert and
                   Jes{\'{u}}s Correas and
                   Pablo Gordillo and
                   Guillermo Rom{\'{a}}n{-}D{\'{i}}ez and
                   Albert Rubio},
      editor    = {Dongmei Zhang and
                   Anders M{\o}ller},
      title     = {{SAFEVM:} a safety verifier for Ethereum smart contracts},
      booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
                   Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
                   15-19, 2019},
      pages     = {386--389},
      publisher = {{ACM}},
      year      = {2019},
      url       = {https://doi.org/10.1145/3293882.3338999},
      doi       = {10.1145/3293882.3338999},
      timestamp = {Sat, 19 Oct 2019 20:09:43 +0200},
      biburl    = {https://dblp.org/rec/conf/issta/AlbertCGRR19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, and Peter J. Stuckey. Optimal context-sensitive dynamic partial order reduction with observers. In Dongmei Zhang and Anders Møller, editors, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019, pages 352-362. ACM, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/issta/AlbertBGIS19,
      author    = {Elvira Albert and
                   Maria Garcia de la Banda and
                   Miguel G{\'{o}}mez{-}Zamalloa and
                   Miguel Isabel and
                   Peter J. Stuckey},
      editor    = {Dongmei Zhang and
                   Anders M{\o}ller},
      title     = {Optimal context-sensitive dynamic partial order reduction with observers},
      booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
                   Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
                   15-19, 2019},
      pages     = {352--362},
      publisher = {{ACM}},
      year      = {2019},
      url       = {https://doi.org/10.1145/3293882.3330565},
      doi       = {10.1145/3293882.3330565},
      timestamp = {Fri, 27 Mar 2020 08:50:43 +0100},
      biburl    = {https://dblp.org/rec/conf/issta/AlbertBGIS19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Amir M. Ben-Amram, Jesús J. Doménech, and Samir Genaim. Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets. In Bor-Yuh Evan Chang, editor, Static Analysis – 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, volume 11822 of Lecture Notes in Computer Science, pages 459-480. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/sas/Ben-AmramDG19,
      author    = {Amir M. Ben{-}Amram and
                   Jes{\'{u}}s J. Dom{\'{e}}nech and
                   Samir Genaim},
      editor    = {Bor{-}Yuh Evan Chang},
      title     = {Multiphase-Linear Ranking Functions and Their Relation to Recurrent
                   Sets},
      booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                   Portugal, October 8-11, 2019, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {11822},
      pages     = {459--480},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-32304-2\_22},
      doi       = {10.1007/978-3-030-32304-2\_22},
      timestamp = {Mon, 07 Oct 2019 12:38:12 +0200},
      biburl    = {https://dblp.org/rec/conf/sas/Ben-AmramDG19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, and Manuel Núñez. Using Genetic Algorithms to Generate Test Suites for FSMs. In Ignacio Rojas, Gonzalo Joya, and Andreu Català, editors, Advances in Computational Intelligence – 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I, volume 11506 of Lecture Notes in Computer Science, pages 741-752. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/iwann/Benito-ParejoMM19,
      author    = {Miguel Benito{-}Parejo and
                   Inmaculada Medina{-}Bulo and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Ignacio Rojas and
                   Gonzalo Joya and
                   Andreu Catal{\`{a}}},
      title     = {Using Genetic Algorithms to Generate Test Suites for FSMs},
      booktitle = {Advances in Computational Intelligence - 15th International Work-Conference
                   on Artificial Neural Networks, {IWANN} 2019, Gran Canaria, Spain,
                   June 12-14, 2019, Proceedings, Part {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {11506},
      pages     = {741--752},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-20521-8\_61},
      doi       = {10.1007/978-3-030-20521-8\_61},
      timestamp = {Fri, 05 Jul 2019 09:41:12 +0200},
      biburl    = {https://dblp.org/rec/conf/iwann/Benito-ParejoMM19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Iván Calvo, Mercedes G. Merayo, Manuel Núñez, and Francisco Palomo-Lozano. Conformance Relations for Fuzzy Automata. In Ignacio Rojas, Gonzalo Joya, and Andreu Català, editors, Advances in Computational Intelligence – 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I, volume 11506 of Lecture Notes in Computer Science, pages 753-765. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/iwann/CalvoM0P19,
      author    = {Iv{\'{a}}n Calvo and
                   Mercedes G. Merayo and
                   Manuel N{\'{u}}{\~{n}}ez and
                   Francisco Palomo{-}Lozano},
      editor    = {Ignacio Rojas and
                   Gonzalo Joya and
                   Andreu Catal{\`{a}}},
      title     = {Conformance Relations for Fuzzy Automata},
      booktitle = {Advances in Computational Intelligence - 15th International Work-Conference
                   on Artificial Neural Networks, {IWANN} 2019, Gran Canaria, Spain,
                   June 12-14, 2019, Proceedings, Part {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {11506},
      pages     = {753--765},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-20521-8\_62},
      doi       = {10.1007/978-3-030-20521-8\_62},
      timestamp = {Fri, 05 Jul 2019 09:41:12 +0200},
      biburl    = {https://dblp.org/rec/conf/iwann/CalvoM0P19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, and Akihisa Yamada. The Termination and Complexity Competition. In Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems – 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, volume 11429 of Lecture Notes in Computer Science, pages 156-166. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/tacas/GieslRSWY19,
      author    = {J{\"{u}}rgen Giesl and
                   Albert Rubio and
                   Christian Sternagel and
                   Johannes Waldmann and
                   Akihisa Yamada},
      editor    = {Dirk Beyer and
                   Marieke Huisman and
                   Fabrice Kordon and
                   Bernhard Steffen},
      title     = {The Termination and Complexity Competition},
      booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
                   - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
                   Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
      series    = {Lecture Notes in Computer Science},
      volume    = {11429},
      pages     = {156--166},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-17502-3\_10},
      doi       = {10.1007/978-3-030-17502-3\_10},
      timestamp = {Sat, 05 Sep 2020 18:01:53 +0200},
      biburl    = {https://dblp.org/rec/conf/tacas/GieslRSWY19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] David Griñán, Alfredo Ibias, and Manuel Núñez. Grammar-based Tree Swarm Optimization. In 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019, pages 76-81. IEEE, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/smc/GrinanIN19,
      author    = {David Gri{\~{n}}{\'{a}}n and
                   Alfredo Ibias and
                   Manuel N{\'{u}}{\~{n}}ez},
      title     = {Grammar-based Tree Swarm Optimization},
      booktitle = {2019 {IEEE} International Conference on Systems, Man and Cybernetics,
                   {SMC} 2019, Bari, Italy, October 6-9, 2019},
      pages     = {76--81},
      publisher = {{IEEE}},
      year      = {2019},
      url       = {https://doi.org/10.1109/SMC.2019.8914268},
      doi       = {10.1109/SMC.2019.8914268},
      timestamp = {Sat, 07 Dec 2019 20:19:11 +0100},
      biburl    = {https://dblp.org/rec/conf/smc/GrinanIN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Esther Guerra, Jesús Sánchez Cuadrado, and Juan de Lara. Towards Effective Mutation Testing for ATL. In Marouane Kessentini, Tao Yue, Alexander Pretschner, Sebastian Voss, and Loli Burgueño, editors, 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019, pages 78-88. IEEE, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/models/GuerraCL19,
      author    = {Esther Guerra and
                   Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
                   Juan de Lara},
      editor    = {Marouane Kessentini and
                   Tao Yue and
                   Alexander Pretschner and
                   Sebastian Voss and
                   Loli Burgue{\~{n}}o},
      title     = {Towards Effective Mutation Testing for {ATL}},
      booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
                   Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20,
                   2019},
      pages     = {78--88},
      publisher = {{IEEE}},
      year      = {2019},
      url       = {https://doi.org/10.1109/MODELS.2019.00-13},
      doi       = {10.1109/MODELS.2019.00-13},
      timestamp = {Mon, 02 Dec 2019 08:27:36 +0100},
      biburl    = {https://dblp.org/rec/conf/models/GuerraCL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, and Mercedes G. Merayo. Mutation testing for DSLs (tool demo). In Jeff Gray, Matti Rossi, Jonathan Sprinkle, and Juha-Pekka Tolvanen, editors, Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, DSMatSPLASH 2019, Athens, Greece, October 20, 2019, pages 60-62. ACM, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/oopsla/Gomez-AbajoGLM19,
      author    = {Pablo G{\'{o}}mez{-}Abajo and
                   Esther Guerra and
                   Juan de Lara and
                   Mercedes G. Merayo},
      editor    = {Jeff Gray and
                   Matti Rossi and
                   Jonathan Sprinkle and
                   Juha{-}Pekka Tolvanen},
      title     = {Mutation testing for DSLs (tool demo)},
      booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Workshop on
                   Domain-Specific Modeling, DSMatSPLASH 2019, Athens, Greece, October
                   20, 2019},
      pages     = {60--62},
      publisher = {{ACM}},
      year      = {2019},
      url       = {https://doi.org/10.1145/3358501.3361234},
      doi       = {10.1145/3358501.3361234},
      timestamp = {Mon, 15 Jun 2020 17:07:36 +0200},
      biburl    = {https://dblp.org/rec/conf/oopsla/Gomez-AbajoGLM19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Elena Gómez-Martínez, Juan de Lara, and Esther Guerra. Towards Extensible Structural Analysis of Petri Net Product Lines. In Daniel Moldt, Ekkart Kindler, and Manuel Wimmer, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019, volume 2424 of CEUR Workshop Proceedings, pages 37-46. CEUR-WS.org, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/apn/Gomez-MartinezL19,
      author    = {Elena G{\'{o}}mez{-}Mart{\'{i}}nez and
                   Juan de Lara and
                   Esther Guerra},
      editor    = {Daniel Moldt and
                   Ekkart Kindler and
                   Manuel Wimmer},
      title     = {Towards Extensible Structural Analysis of Petri Net Product Lines},
      booktitle = {Proceedings of the International Workshop on Petri Nets and Software
                   Engineering {(PNSE} 2019), co-located with the 40th International
                   Conference on Application and Theory of Petri Nets and Concurrency
                   Petri Nets 2019 and the 19th International Conference on Application
                   of Concurrency to System Design {ACSD} 2019 and the 1st {IEEE} International
                   Conference on Process Mining Process Mining 2019, Aachen, Germany,
                   June 23-28, 2019},
      series    = {{CEUR} Workshop Proceedings},
      volume    = {2424},
      pages     = {37--46},
      publisher = {CEUR-WS.org},
      year      = {2019},
      url       = {http://ceur-ws.org/Vol-2424/paper3.pdf},
      timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
      biburl    = {https://dblp.org/rec/conf/apn/Gomez-MartinezL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Elena Gómez-Martínez, Francisco Pérez Blanco, Juan de Lara, Juan Manuel Vara, and Esperanza Marcos. Formal support of process chain networks using model-driven engineering and Petri nets. In Chih-Cheng Hung and George A. Papadopoulos, editors, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019, pages 98-100. ACM, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/sac/Gomez-MartinezB19,
      author    = {Elena G{\'{o}}mez{-}Mart{\'{i}}nez and
                   Francisco P{\'{e}}rez Blanco and
                   Juan de Lara and
                   Juan Manuel Vara and
                   Esperanza Marcos},
      editor    = {Chih{-}Cheng Hung and
                   George A. Papadopoulos},
      title     = {Formal support of process chain networks using model-driven engineering
                   and Petri nets},
      booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
                   {SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
      pages     = {98--100},
      publisher = {{ACM}},
      year      = {2019},
      url       = {https://doi.org/10.1145/3297280.3299752},
      doi       = {10.1145/3297280.3299752},
      timestamp = {Sun, 02 Jun 2019 21:18:38 +0200},
      biburl    = {https://dblp.org/rec/conf/sac/Gomez-MartinezB19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Alfredo Ibias, David Griñán, and Manuel Núñez. GPTSG: A Genetic Programming Test Suite Generator Using Information Theory Measures. In Ignacio Rojas, Gonzalo Joya, and Andreu Català, editors, Advances in Computational Intelligence – 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I, volume 11506 of Lecture Notes in Computer Science, pages 716-728. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/iwann/IbiasG019,
      author    = {Alfredo Ibias and
                   David Gri{\~{n}}{\'{a}}n and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Ignacio Rojas and
                   Gonzalo Joya and
                   Andreu Catal{\`{a}}},
      title     = {{GPTSG:} {A} Genetic Programming Test Suite Generator Using Information
                   Theory Measures},
      booktitle = {Advances in Computational Intelligence - 15th International Work-Conference
                   on Artificial Neural Networks, {IWANN} 2019, Gran Canaria, Spain,
                   June 12-14, 2019, Proceedings, Part {I}},
      series    = {Lecture Notes in Computer Science},
      volume    = {11506},
      pages     = {716--728},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-20521-8\_59},
      doi       = {10.1007/978-3-030-20521-8\_59},
      timestamp = {Fri, 05 Jul 2019 09:41:12 +0200},
      biburl    = {https://dblp.org/rec/conf/iwann/IbiasG019.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Raluca Lefticaru, Robert M. Hierons, and Manuel Núñez. An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. In Peter Csaba Ölveczky and Gwen Salaün, editors, Software Engineering and Formal Methods – 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, volume 11724 of Lecture Notes in Computer Science, pages 393-409. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/sefm/LefticaruHN19,
      author    = {Raluca Lefticaru and
                   Robert M. Hierons and
                   Manuel N{\'{u}}{\~{n}}ez},
      editor    = {Peter Csaba {\"{O}}lveczky and
                   Gwen Sala{\"{u}}n},
      title     = {An Implementation Relation for Cyclic Systems with Refusals and Discrete
                   Time},
      booktitle = {Software Engineering and Formal Methods - 17th International Conference,
                   {SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {11724},
      pages     = {393--409},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-30446-1\_21},
      doi       = {10.1007/978-3-030-30446-1\_21},
      timestamp = {Sat, 05 Sep 2020 18:01:23 +0200},
      biburl    = {https://dblp.org/rec/conf/sefm/LefticaruHN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sara Pérez-Soler, Esther Guerra, and Juan de Lara. Flexible Modelling using Conversational Agents. In Loli Burgueño, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jörg Kienzle, Markus Völter, Sébastien Gérard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, and Gerti Kappel, editors, 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019, pages 478-482. IEEE, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/models/Perez-SolerGL19,
      author    = {Sara P{\'{e}}rez{-}Soler and
                   Esther Guerra and
                   Juan de Lara},
      editor    = {Loli Burgue{\~{n}}o and
                   Alexander Pretschner and
                   Sebastian Voss and
                   Michel Chaudron and
                   J{\"{o}}rg Kienzle and
                   Markus V{\"{o}}lter and
                   S{\'{e}}bastien G{\'{e}}rard and
                   Mansooreh Zahedi and
                   Erwan Bousse and
                   Arend Rensink and
                   Fiona Polack and
                   Gregor Engels and
                   Gerti Kappel},
      title     = {Flexible Modelling using Conversational Agents},
      booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
                   Languages and Systems Companion, {MODELS} Companion 2019, Munich,
                   Germany, September 15-20, 2019},
      pages     = {478--482},
      publisher = {{IEEE}},
      year      = {2019},
      url       = {https://doi.org/10.1109/MODELS-C.2019.00076},
      doi       = {10.1109/MODELS-C.2019.00076},
      timestamp = {Mon, 02 Dec 2019 08:27:36 +0100},
      biburl    = {https://dblp.org/rec/conf/models/Perez-SolerGL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ranci Ren, John W. Castro, Silvia Teresita Acuña, and Juan de Lara. Usability of Chatbots: A Systematic Mapping Study. In Angelo Perkusich, editor, The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019, pages 479-617. KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/seke/RenCAL19,
      author    = {Ranci Ren and
                   John W. Castro and
                   Silvia Teresita Acu{\~{n}}a and
                   Juan de Lara},
      editor    = {Angelo Perkusich},
      title     = {Usability of Chatbots: {A} Systematic Mapping Study},
      booktitle = {The 31st International Conference on Software Engineering and Knowledge
                   Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12,
                   2019},
      pages     = {479--617},
      publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
      year      = {2019},
      url       = {https://doi.org/10.18293/SEKE2019-029},
      doi       = {10.18293/SEKE2019-029},
      timestamp = {Wed, 14 Aug 2019 09:30:44 +0200},
      biburl    = {https://dblp.org/rec/conf/seke/RenCAL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Massimo Tisi, Jean-Marie Mottu, Dimitrios S. Kolovos, Juan de Lara, Esther Guerra, Davide Di Ruscio, Alfonso Pierantonio, and Manuel Wimmer. Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms. In Alessandra Bagnato, Hugo Brunelière, Loli Burgueño, Romina Eramo, and Abel Gómez, editors, STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15 – 19, 2019, volume 2405 of CEUR Workshop Proceedings, pages 73-78. CEUR-WS.org, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/staf/TisiMKLGRPW19,
      author    = {Massimo Tisi and
                   Jean{-}Marie Mottu and
                   Dimitrios S. Kolovos and
                   Juan de Lara and
                   Esther Guerra and
                   Davide Di Ruscio and
                   Alfonso Pierantonio and
                   Manuel Wimmer},
      editor    = {Alessandra Bagnato and
                   Hugo Bruneli{\`{e}}re and
                   Loli Burgue{\~{n}}o and
                   Romina Eramo and
                   Abel G{\'{o}}mez},
      title     = {Lowcomote: Training the Next Generation of Experts in Scalable Low-Code
                   Engineering Platforms},
      booktitle = {{STAF} 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher
                   Community Event, 2nd International Workshop on Model-Driven Engineering
                   for Design-Runtime Interaction in Complex Systems, and 1st Research
                   Project Showcase Workshop co-located with Software Technologies: Applications
                   and Foundations {(STAF} 2019), Eindhoven, The Netherlands, July 15
                   - 19, 2019},
      series    = {{CEUR} Workshop Proceedings},
      volume    = {2405},
      pages     = {73--78},
      publisher = {CEUR-WS.org},
      year      = {2019},
      url       = {http://ceur-ws.org/Vol-2405/13\_paper.pdf},
      timestamp = {Wed, 12 Feb 2020 16:45:00 +0100},
      biburl    = {https://dblp.org/rec/conf/staf/TisiMKLGRPW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Manouchehr Zadahmad, Eugene Syriani, Omar Alam, Esther Guerra, and Juan de Lara. Domain-specific model differencing in visual concrete syntax. In Oscar Nierstrasz, Jeff Gray, and Bruno C. S. d. Oliveira, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2019, Athens, Greece, October 20-22, 2019, pages 100-112. ACM, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/sle/ZadahmadSAGL19,
      author    = {Manouchehr Zadahmad and
                   Eugene Syriani and
                   Omar Alam and
                   Esther Guerra and
                   Juan de Lara},
      editor    = {Oscar Nierstrasz and
                   Jeff Gray and
                   Bruno C. d. S. Oliveira},
      title     = {Domain-specific model differencing in visual concrete syntax},
      booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
                   Software Language Engineering, {SLE} 2019, Athens, Greece, October
                   20-22, 2019},
      pages     = {100--112},
      publisher = {{ACM}},
      year      = {2019},
      url       = {https://doi.org/10.1145/3357766.3359537},
      doi       = {10.1145/3357766.3359537},
      timestamp = {Fri, 27 Mar 2020 08:46:04 +0100},
      biburl    = {https://dblp.org/rec/conf/sle/ZadahmadSAGL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

Book Chapters:

Books Edited:

2020

  • Elvira Albert and Laura Kovács, editors. LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020, volume 73 of EPiC Series in ComputingEasyChair, 2020.
    [Bibtex]
    @proceedings{DBLP:conf/lpar/2020,
      editor    = {Elvira Albert and
                   Laura Kov{\'{a}}cs},
      title     = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
                   Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
                   2020},
      series    = {EPiC Series in Computing},
      volume    = {73},
      publisher = {EasyChair},
      year      = {2020},
      url       = {https://easychair.org/publications/volume/LPAR23},
      timestamp = {Fri, 29 May 2020 11:58:52 +0200},
      biburl    = {https://dblp.org/rec/conf/lpar/2020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Esther Guerra and Ludovico Iovino, editors. MODELS ’20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion ProceedingsACM, 2020.
    [Bibtex]
    @proceedings{DBLP:conf/models/2020c,
      editor    = {Esther Guerra and
                   Ludovico Iovino},
      title     = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
                   Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
                   2020, Companion Proceedings},
      publisher = {{ACM}},
      year      = {2020},
      url       = {https://doi.org/10.1145/3417990},
      doi       = {10.1145/3417990},
      isbn      = {978-1-4503-8135-2},
      timestamp = {Thu, 29 Oct 2020 13:10:06 +0100},
      biburl    = {https://dblp.org/rec/conf/models/2020c.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Eugene Syriani, Houari A. Sahraoui, Juan de Lara, and Silvia Abrah~ao, editors. MoDELS ’20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020ACM, 2020.
    [Bibtex]
    @proceedings{DBLP:conf/models/2020,
      editor    = {Eugene Syriani and
                   Houari A. Sahraoui and
                   Juan de Lara and
                   Silvia Abrah{\~{a}}o},
      title     = {MoDELS '20: {ACM/IEEE} 23rd International Conference on Model Driven
                   Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
                   2020},
      publisher = {{ACM}},
      year      = {2020},
      url       = {https://doi.org/10.1145/3365438},
      doi       = {10.1145/3365438},
      isbn      = {978-1-4503-7019-6},
      timestamp = {Thu, 24 Sep 2020 13:32:12 +0200},
      biburl    = {https://dblp.org/rec/conf/models/2020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ralf Lämmel, Laurence Tratt, and Juan de Lara, editors. Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020ACM, 2020.
    [Bibtex]
    @proceedings{DBLP:conf/sle/2020,
      editor    = {Ralf L{\"{a}}mmel and
                   Laurence Tratt and
                   Juan de Lara},
      title     = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
                   Software Language Engineering, {SLE} 2020, Virtual Event, USA, November
                   16-17, 2020},
      publisher = {{ACM}},
      year      = {2020},
      url       = {https://doi.org/10.1145/3426425},
      doi       = {10.1145/3426425},
      isbn      = {978-1-4503-8176-5},
      timestamp = {Thu, 10 Dec 2020 12:02:20 +0100},
      biburl    = {https://dblp.org/rec/conf/sle/2020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2019

  • [DOI] Esther Guerra and Fernando Orejas, editors. Graph Transformation – 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, volume 11629 of Lecture Notes in Computer ScienceSpringer, 2019.
    [Bibtex]
    @proceedings{DBLP:conf/gg/2019,
      editor    = {Esther Guerra and
                   Fernando Orejas},
      title     = {Graph Transformation - 12th International Conference, {ICGT} 2019,
                   Held as Part of {STAF} 2019, Eindhoven, The Netherlands, July 15-16,
                   2019, Proceedings},
      series    = {Lecture Notes in Computer Science},
      volume    = {11629},
      publisher = {Springer},
      year      = {2019},
      url       = {https://doi.org/10.1007/978-3-030-23611-3},
      doi       = {10.1007/978-3-030-23611-3},
      isbn      = {978-3-030-23610-6},
      timestamp = {Mon, 01 Jul 2019 14:24:31 +0200},
      biburl    = {https://dblp.org/rec/conf/gg/2019.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

Books:

Guest Editors in Special Issues:

2020

  • [DOI] Esther Guerra and Fernando Orejas. Preface to the special issue on the 12th International Conference on Graph Transformation. J. Log. Algebraic Methods Program., 115:100576, 2020.
    [Bibtex]
    @periodical{DBLP:journals/jlap/GuerraO20,
      author    = {Esther Guerra and
                   Fernando Orejas},
      title     = {Preface to the special issue on the 12th International Conference
                   on Graph Transformation},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {115},
      pages     = {100576},
      year      = {2020},
      url       = {https://doi.org/10.1016/j.jlamp.2020.100576},
      doi       = {10.1016/j.jlamp.2020.100576},
      timestamp = {Tue, 28 Jul 2020 14:03:43 +0200},
      biburl    = {https://dblp.org/rec/journals/jlap/GuerraO20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Inmaculada Medina-Bulo, Mercedes G. Merayo, and Robert M. Hierons. Guest Editorial: Special Section on ICTSS. Inf. Softw. Technol., 118, 2020.
    [Bibtex]
    @periodical{DBLP:journals/infsof/Medina-BuloMH20,
      author    = {Inmaculada Medina{-}Bulo and
                   Mercedes G. Merayo and
                   Robert M. Hierons},
      title     = {Guest Editorial: Special Section on {ICTSS}},
      journal   = {Inf. Softw. Technol.},
      volume    = {118},
      year      = {2020},
      url       = {https://doi.org/10.1016/j.infsof.2019.106222},
      doi       = {10.1016/j.infsof.2019.106222},
      timestamp = {Sat, 05 Sep 2020 17:44:36 +0200},
      biburl    = {https://dblp.org/rec/journals/infsof/Medina-BuloMH20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2019

  • [DOI] Detlef Plump and Juan de Lara. Preface to the special issue on the 10th International Conference on Graph Transformation. J. Log. Algebraic Methods Program., 104:174-175, 2019.
    [Bibtex]
    @periodical{DBLP:journals/jlp/PlumpL19,
      author    = {Detlef Plump and
                   Juan de Lara},
      title     = {Preface to the special issue on the 10th International Conference
                   on Graph Transformation},
      journal   = {J. Log. Algebraic Methods Program.},
      volume    = {104},
      pages     = {174--175},
      year      = {2019},
      url       = {https://doi.org/10.1016/j.jlamp.2019.02.002},
      doi       = {10.1016/j.jlamp.2019.02.002},
      timestamp = {Sat, 22 Feb 2020 19:18:10 +0100},
      biburl    = {https://dblp.org/rec/journals/jlp/PlumpL19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

Ph.D. Dissertations:

2020

  • Pablo Gordillo Alguacil. Static Analysis of Concurrent and Distributed Systems: Concurrent Objects and Ethereum Bytecode. PhD thesis, Universidad Complutense de Madrid, 2020.
    [Bibtex]
    @phdthesis{PabloGAPhd,
      author = {Pablo Gordillo Alguacil},
      title = {Static Analysis of Concurrent and Distributed Systems: Concurrent Objects and Ethereum Bytecode},
      year = {2020},
      school = {Universidad Complutense de Madrid},
      advisor = {Elvira Albert and Samir Genaim}
    }
  • Pablo Cerro Cañizares. Modelado y validación de sistemas cloud utilizando ingeniería dirigida por modelos, testing metamórfico y de mutación. PhD thesis, Universidad Complutense de Madrid, 2020.
    [Bibtex]
    @phdthesis{PabloCCPhd,
      author = {Pablo Cerro Cañizares},
      title = {Modelado y validación de sistemas cloud utilizando ingeniería dirigida por modelos, testing metamórfico y de mutación},
      year = {2020},
      school = {Universidad Complutense de Madrid},
      advisor = {Alberto Núñez and Juan de Lara}
    }
  • Pablo Gómez-Abajo. Un lenguaje de dominio específico para mutación de modelos. PhD thesis, Universidad Autónoma de Madrid, 2020.
    [Bibtex]
    @phdthesis{PabloGPhd,
      author = {Pablo Gómez-Abajo},
      title = {Un lenguaje de dominio específico para mutación de modelos},
      year = {2020},
      school = {Universidad Autónoma de Madrid},
      advisor = {Esther Guerra Sánchez and Mercedes García Merayo}
    }

2019

  • Lucrecia Llerena Guevara. Procedimiento formalizado para la incorporación de técnicas de usabilidad en el proceso de desarrollo Open Source Software. PhD thesis, Universidad Autónoma de Madrid, 2019.
    [Bibtex]
    @phdthesis{LucreciaPhd,
      author = {Lucrecia Llerena Guevara},
      title = {Procedimiento formalizado para la incorporación de técnicas de usabilidad en el proceso de desarrollo Open Source Software},
      year = {2019},
      school = {Universidad Autónoma de Madrid},
      advisor = {Silvia Teresita Acuña Castillo}
    }
  • Santiago P. Jacome­-Guerrero. Propuesta de mecanismos de personalización de meta­modelos en la Ingeniería Dirigida por Modelos. PhD thesis, Universidad Autónoma de Madrid, 2019.
    [Bibtex]
    @phdthesis{SantiagoPhd,
      author = {Santiago P. Jacome­-Guerrero},
      title = {Propuesta de mecanismos de personalización de meta­modelos en la Ingeniería Dirigida por Modelos},
      year = {2019},
      school = {Universidad Autónoma de Madrid},
      advisor = {Juan de Lara}
    }
  • Antonio Garmendia Jorge. Engineering Scalable Modelling Languages. PhD thesis, Universidad Autónoma de Madrid, 2019.
    [Bibtex]
    @phdthesis{AntonioPhd,
      author = {Antonio Garmendia Jorge},
      title = {Engineering Scalable Modelling Languages},
      year = {2019},
      school = {Universidad Autónoma de Madrid},
      advisor = {Esther Guerra and Juan de Lara}
    }

Workshop Publications:

Newsletters:

Technical Reports:

2020

  • Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, and Alexandra Silva. Actor-Based Model Checking for SDN Networks. Technical Report, 2020.
    [Bibtex]
    @techreport{DBLP:journals/corr/abs-2001-10022,
      author    = {Elvira Albert and
                   Miguel G{\'{o}}mez{-}Zamalloa and
                   Miguel Isabel and
                   Albert Rubio and
                   Matteo Sammartino and
                   Alexandra Silva},
      title     = {Actor-Based Model Checking for {SDN} Networks},
      journal   = {CoRR},
      volume    = {abs/2001.10022},
      year      = {2020},
      url       = {https://arxiv.org/abs/2001.10022},
      archivePrefix = {arXiv},
      eprint    = {2001.10022},
      timestamp = {Thu, 30 Jan 2020 18:46:36 +0100},
      biburl    = {https://dblp.org/rec/journals/corr/abs-2001-10022.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, and Albert Rubio. Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph. Technical Report, 2020.
    [Bibtex]
    @techreport{DBLP:journals/corr/abs-2004-14437,
      author    = {Elvira Albert and
                   Jes{\'{u}}s Correas and
                   Pablo Gordillo and
                   Guillermo Rom{\'{a}}n{-}D{\'{i}}ez and
                   Albert Rubio},
      title     = {Analyzing Smart Contracts: From {EVM} to a sound Control-Flow Graph},
      journal   = {CoRR},
      volume    = {abs/2004.14437},
      year      = {2020},
      url       = {https://arxiv.org/abs/2004.14437},
      archivePrefix = {arXiv},
      eprint    = {2004.14437},
      timestamp = {Sun, 03 May 2020 17:39:04 +0200},
      biburl    = {https://dblp.org/rec/journals/corr/abs-2004-14437.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Cristina Borralleras, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, and Albert Rubio. Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. Technical Report, 2020.
    [Bibtex]
    @techreport{DBLP:journals/corr/abs-2008-13601,
      author    = {Cristina Borralleras and
                   Daniel Larraz and
                   Albert Oliveras and
                   Enric Rodr{\'{i}}guez{-}Carbonell and
                   Albert Rubio},
      title     = {Incomplete {SMT} Techniques for Solving Non-Linear Formulas over the
                   Integers},
      journal   = {CoRR},
      volume    = {abs/2008.13601},
      year      = {2020},
      url       = {https://arxiv.org/abs/2008.13601},
      archivePrefix = {arXiv},
      eprint    = {2008.13601},
      timestamp = {Wed, 16 Sep 2020 11:20:03 +0200},
      biburl    = {https://dblp.org/rec/journals/corr/abs-2008-13601.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2019

  • Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, and Albert Rubio. SAFEVM: A Safety Verifier for Ethereum Smart Contracts. Technical Report, 2019.
    [Bibtex]
    @techreport{DBLP:journals/corr/abs-1906-04984,
      author    = {Elvira Albert and
                   Jes{\'{u}}s Correas and
                   Pablo Gordillo and
                   Guillermo Rom{\'{a}}n{-}D{\'{i}}ez and
                   Albert Rubio},
      title     = {{SAFEVM:} {A} Safety Verifier for Ethereum Smart Contracts},
      journal   = {CoRR},
      volume    = {abs/1906.04984},
      year      = {2019},
      url       = {http://arxiv.org/abs/1906.04984},
      archivePrefix = {arXiv},
      eprint    = {1906.04984},
      timestamp = {Fri, 14 Jun 2019 09:38:24 +0200},
      biburl    = {https://dblp.org/rec/journals/corr/abs-1906-04984.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, and Albert Rubio. Resource Analysis driven by (Conditional) Termination Proofs. Technical Report, 2019.
    [Bibtex]
    @techreport{DBLP:journals/corr/abs-1907-10096,
      author    = {Elvira Albert and
                   Miquel Bofill and
                   Cristina Borralleras and
                   Enrique Martin{-}Martin and
                   Albert Rubio},
      title     = {Resource Analysis driven by (Conditional) Termination Proofs},
      journal   = {CoRR},
      volume    = {abs/1907.10096},
      year      = {2019},
      url       = {http://arxiv.org/abs/1907.10096},
      archivePrefix = {arXiv},
      eprint    = {1907.10096},
      timestamp = {Thu, 01 Aug 2019 08:59:33 +0200},
      biburl    = {https://dblp.org/rec/journals/corr/abs-1907-10096.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Elvira Albert, Samir Genaim, Raúl Gutiérrez, and Enrique Martin-Martin. A Transformational Approach to Resource Analysis with Typed-norms Inference. Technical Report, 2019.
    [Bibtex]
    @techreport{DBLP:journals/corr/abs-1908-02078,
      author    = {Elvira Albert and
                   Samir Genaim and
                   Ra{\'{u}}l Guti{\'{e}}rrez and
                   Enrique Martin{-}Martin},
      title     = {A Transformational Approach to Resource Analysis with Typed-norms
                   Inference},
      journal   = {CoRR},
      volume    = {abs/1908.02078},
      year      = {2019},
      url       = {http://arxiv.org/abs/1908.02078},
      archivePrefix = {arXiv},
      eprint    = {1908.02078},
      timestamp = {Fri, 09 Aug 2019 12:15:56 +0200},
      biburl    = {https://dblp.org/rec/journals/corr/abs-1908-02078.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, and Albert Rubio. GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. Technical Report, 2019.
    [Bibtex]
    @techreport{DBLP:journals/corr/abs-1912-11929,
      author    = {Elvira Albert and
                   Jes{\'{u}}s Correas and
                   Pablo Gordillo and
                   Guillermo Rom{\'{a}}n{-}D{\'{i}}ez and
                   Albert Rubio},
      title     = {{GASOL:} Gas Analysis and Optimization for Ethereum Smart Contracts},
      journal   = {CoRR},
      volume    = {abs/1912.11929},
      year      = {2019},
      url       = {http://arxiv.org/abs/1912.11929},
      archivePrefix = {arXiv},
      eprint    = {1912.11929},
      timestamp = {Fri, 03 Jan 2020 16:10:45 +0100},
      biburl    = {https://dblp.org/rec/journals/corr/abs-1912-11929.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Ainhoa Aldave, Juan M. Vara, David Granada, and Esperanza Marcos. Leveraging creativity in requirements elicitation within agile software development: a systematic literature review. Technical Report, 2019.
    [Bibtex]
    @techreport{DBLP:journals/corr/abs-1908-07783,
      author    = {Ainhoa Aldave and
                   Juan M. Vara and
                   David Granada and
                   Esperanza Marcos},
      title     = {Leveraging creativity in requirements elicitation within agile software
                   development: a systematic literature review},
      journal   = {CoRR},
      volume    = {abs/1908.07783},
      year      = {2019},
      url       = {http://arxiv.org/abs/1908.07783},
      archivePrefix = {arXiv},
      eprint    = {1908.07783},
      timestamp = {Mon, 26 Aug 2019 13:20:40 +0200},
      biburl    = {https://dblp.org/rec/journals/corr/abs-1908-07783.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Jesús J. Doménech, John P. Gallagher, and Samir Genaim. Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. Technical Report, 2019.
    [Bibtex]
    @techreport{DBLP:journals/corr/abs-1907-12345,
      author    = {Jes{\'{u}}s J. Dom{\'{e}}nech and
                   John P. Gallagher and
                   Samir Genaim},
      title     = {Control-Flow Refinement by Partial Evaluation, and its Application
                   to Termination and Cost Analysis},
      journal   = {CoRR},
      volume    = {abs/1907.12345},
      year      = {2019},
      url       = {http://arxiv.org/abs/1907.12345},
      archivePrefix = {arXiv},
      eprint    = {1907.12345},
      timestamp = {Thu, 01 Aug 2019 08:59:33 +0200},
      biburl    = {https://dblp.org/rec/journals/corr/abs-1907-12345.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }