publications:
- title: "A Tool for Abstraction in Model Checking"
  author:
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Jesús Martínez"
    link: "https://researchr.org/alias/jes%C3%BAs-mart%C3%ADnez"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/120/53/show/Products/notes/index.htt#003"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/120/53/show/Products/notes/index.htt#003"
  tags:
  - "model checking"
  - "meta-model"
  - "abstraction"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GallardoMMP02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "66"
  number: "2"
  pages: "17-32"
  kind: "article"
  key: "GallardoMMP02"
- title: "A Lazy Splitting System for Forum"
  author:
  - name: "Pablo López"
    link: "https://researchr.org/alias/pablo-l%C3%B3pez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "1997"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/LopezP97"
  cites: 0
  citedby: 0
  pages: "247-258"
  booktitle: "agp"
  kind: "inproceedings"
  key: "LopezP97"
- title: "Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA 06)"
  author:
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Jean-Marie Jacquet"
    link: "https://researchr.org/alias/jean-marie-jacquet"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.scico.2008.09.017"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2008.09.017"
  tags:
  - "software architecture"
  - "architecture"
  researchr: "https://researchr.org/publication/PimentelJ09"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "74"
  number: "9"
  pages: "669-670"
  kind: "article"
  key: "PimentelJ09"
- title: "Composition of Self-Adapting Components for Customizable Systems"
  author:
  - name: "Jose Luis Pastrana"
    link: "https://researchr.org/alias/jose-luis-pastrana"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Miguel Katrib"
    link: "https://researchr.org/alias/miguel-katrib"
  year: "2008"
  doi: "http://dx.doi.org/10.1093/comjnl/bxm094"
  links:
    doi: "http://dx.doi.org/10.1093/comjnl/bxm094"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/PastranaPK08"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "51"
  number: "4"
  pages: "481-496"
  kind: "article"
  key: "PastranaPK08"
- title: "A framework for secure execution of software"
  author:
  - name: "Antonio Mana"
    link: "https://researchr.org/alias/antonio-mana"
  - name: "Javier Lopez"
    link: "https://researchr.org/alias/javier-lopez"
  - name: "Juan J. Ortega"
    link: "https://researchr.org/alias/juan-j.-ortega"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/s10207-004-0048-6"
  links:
    doi: "http://dx.doi.org/10.1007/s10207-004-0048-6"
  researchr: "https://researchr.org/publication/ManaLOPT04"
  cites: 0
  citedby: 0
  journal: "ijisec"
  volume: "3"
  number: "2"
  pages: "99-112"
  kind: "article"
  key: "ManaLOPT04"
- title: "A Preliminary Comparative Study on the Expressive Power of Reo and Linda"
  author:
  - name: "Silvia Amaro"
    link: "https://researchr.org/alias/silvia-amaro"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Ana M. Roldán"
    link: "https://researchr.org/alias/ana-m.-rold%C3%A1n"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.043"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.043"
  researchr: "https://researchr.org/publication/AmaroPR07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "180"
  number: "2"
  pages: "3-19"
  kind: "article"
  key: "AmaroPR07"
- title: "A Declarative Environment for Distributed Programming"
  author:
  - name: "Manuel Díaz"
    link: "https://researchr.org/alias/manuel-d%C3%ADaz"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "1992"
  tags:
  - "meta programming"
  - "meta-model"
  - "programming"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DiazPT92"
  cites: 0
  citedby: 0
  pages: "163-169"
  booktitle: "ifip"
  kind: "inproceedings"
  key: "DiazPT92"
- title: "Coordinating Behavioral Descriptions of Components"
  author:
  - name: "Silvia Amaro"
    link: "https://researchr.org/alias/silvia-amaro"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Ana M. Roldán"
    link: "https://researchr.org/alias/ana-m.-rold%C3%A1n"
  year: "2005"
  doi: "http://www.jucs.org/jucs_11_10/coordinating_behavioral_descriptions_of"
  links:
    doi: "http://www.jucs.org/jucs_11_10/coordinating_behavioral_descriptions_of"
  researchr: "https://researchr.org/publication/AmaroPR05"
  cites: 0
  citedby: 0
  journal: "jucs"
  volume: "11"
  number: "10"
  pages: "1676-1694"
  kind: "article"
  key: "AmaroPR05"
- title: "An Object-oriented Methodology for Embedded Real-time Systems"
  author:
  - name: "José M. Álvarez"
    link: "https://researchr.org/alias/jos%C3%A9-m.-%C3%A1lvarez"
  - name: "Manuel Díaz"
    link: "https://researchr.org/alias/manuel-d%C3%ADaz"
  - name: "Luis Llopis"
    link: "https://researchr.org/alias/luis-llopis"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "2003"
  doi: "http://www3.oup.co.uk/computer_journal/hdb/Volume_46/Issue_02/460123.sgm.abs.html"
  links:
    doi: "http://www3.oup.co.uk/computer_journal/hdb/Volume_46/Issue_02/460123.sgm.abs.html"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/AlvarezDLPT03%3A0"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "46"
  number: "2"
  pages: "123-145"
  kind: "article"
  key: "AlvarezDLPT03:0"
- title: "Integración de software: métodos formales para coordinar y adaptar componentes y servicios"
  author:
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2009"
  tags:
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/Pimentel09"
  cites: 0
  citedby: 0
  booktitle: "cibse"
  kind: "inproceedings"
  key: "Pimentel09"
- title: "Secure Content Distribution for Digital Libraries"
  author:
  - name: "Mariemma Inmaculada Yagüe del Valle"
    link: "https://researchr.org/alias/mariemma-inmaculada-yag%C3%BCe-del-valle"
  - name: "Antonio Mana"
    link: "https://researchr.org/alias/antonio-mana"
  - name: "Javier Lopez"
    link: "https://researchr.org/alias/javier-lopez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2555/25550483.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2555/25550483.htm"
  tags:
  - "digital library"
  - "digital libraries"
  researchr: "https://researchr.org/publication/ValleMLPT02"
  cites: 0
  citedby: 0
  pages: "483-494"
  booktitle: "ICADL"
  kind: "inproceedings"
  key: "ValleMLPT02"
- title: "A Case Study in Model-Based Adaptation of Web Services"
  author:
  - name: "Javier Cámara"
    link: "https://researchr.org/alias/javier-c%C3%A1mara"
  - name: "José Antonio Martín"
    link: "https://researchr.org/alias/jos%C3%A9-antonio-mart%C3%ADn"
  - name: "Gwen Salaün"
    link: "https://researchr.org/alias/gwen-sala%C3%BCn"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16561-0_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16561-0_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/isola/CamaraMSCP10"
  tags:
  - "rule-based"
  - "case study"
  - "web service"
  - "web services"
  researchr: "https://researchr.org/publication/CamaraMSCP10-0"
  cites: 0
  citedby: 0
  pages: "112-126"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "CamaraMSCP10-0"
- title: "Eiffel-like Assertions and Private Methods in Smalltalk"
  author:
  - name: "Manuela Carrillo-Castellon"
    link: "https://researchr.org/alias/manuela-carrillo-castellon"
  - name: "Jesús García Molina"
    link: "https://researchr.org/alias/jes%C3%BAs-garc%C3%ADa-molina"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "1994"
  tags:
  - "Eiffel"
  researchr: "https://researchr.org/publication/Carrillo-CastellonMP94"
  cites: 0
  citedby: 0
  pages: "479-488"
  booktitle: "TOOLS"
  kind: "inproceedings"
  key: "Carrillo-CastellonMP94"
- title: "Proof-Theoretic Foundation of Hypothetical Reasoning"
  author:
  - name: "Pablo López"
    link: "https://researchr.org/alias/pablo-l%C3%B3pez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2000"
  researchr: "https://researchr.org/publication/LopezP00%3A0"
  cites: 0
  citedby: 0
  pages: "268-282"
  booktitle: "wflp"
  kind: "inproceedings"
  key: "LopezP00:0"
- title: "Compositionality Issues of Concurrent Object-Oriented Logic Languages"
  author:
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "1993"
  tags:
  - "meta-model"
  - "composition"
  - "logic"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/PimentelT93"
  cites: 0
  citedby: 0
  pages: "529-540"
  booktitle: "parle"
  kind: "inproceedings"
  key: "PimentelT93"
- title: "Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET"
  author:
  - name: "Javier Cubo"
    link: "https://researchr.org/alias/javier-cubo"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/MOMPES.2008.13"
  links:
    doi: "http://dx.doi.org/10.1109/MOMPES.2008.13"
  tags:
  - "rule-based"
  - "case study"
  - "composition"
  - "context-aware"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/CuboCP08"
  cites: 0
  citedby: 0
  pages: "3-13"
  booktitle: "MOMPES"
  kind: "inproceedings"
  key: "CuboCP08"
- title: "Extending CORBA Interfaces with Protocols"
  author:
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Lidia Fuentes"
    link: "https://researchr.org/alias/lidia-fuentes"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  year: "2001"
  doi: "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440448.sgm.abs.html"
  links:
    doi: "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440448.sgm.abs.html"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/CanalFPTV01"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "44"
  number: "5"
  pages: "448-462"
  kind: "article"
  key: "CanalFPTV01"
- title: "A Service-Oriented Model for Embedded Peer-to-Peer Systems"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Razvan Popescu"
    link: "https://researchr.org/alias/razvan-popescu"
  - name: "Francisco Gutiérrez"
    link: "https://researchr.org/alias/francisco-guti%C3%A9rrez"
  - name: "Pablo López"
    link: "https://researchr.org/alias/pablo-l%C3%B3pez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.096"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.096"
  tags:
  - "source-to-source"
  - "peer-to-peer"
  - "open-source"
  researchr: "https://researchr.org/publication/BrogiPGLP08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "194"
  number: "4"
  pages: "5-22"
  kind: "article"
  key: "BrogiPGLP08"
- title: "Compatibility and inheritance in software architectures"
  author:
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "2001"
  tags:
  - "software architecture"
  - "architecture"
  researchr: "https://researchr.org/publication/CanalPT01"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "41"
  number: "2"
  pages: "105-138"
  kind: "article"
  key: "CanalPT01"
- title: "alpha SPIN: Extending SPIN with Abstraction"
  author:
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Jesús Martínez"
    link: "https://researchr.org/alias/jes%C3%BAs-mart%C3%ADnez"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2318/23180254.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2318/23180254.htm"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/GallardoMMP02%3A0"
  cites: 0
  citedby: 0
  pages: "254-258"
  booktitle: "spin"
  kind: "inproceedings"
  key: "GallardoMMP02:0"
- title: "aSPIN: A tool for abstract model checking"
  author:
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Jesús Martínez"
    link: "https://researchr.org/alias/jes%C3%BAs-mart%C3%ADnez"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2004"
  doi: "http://www.springerlink.com/index/10.1007/s10009-003-0122-9"
  links:
    doi: "http://www.springerlink.com/index/10.1007/s10009-003-0122-9"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GallardoMMP04"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "5"
  number: "2-3"
  pages: "165-184"
  kind: "article"
  key: "GallardoMMP04"
- title: "Specification and Refinement of Dynamic Software Architectures"
  author:
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "1999"
  tags:
  - "software architecture"
  - "refinement"
  - "architecture"
  researchr: "https://researchr.org/publication/CanalPT99"
  cites: 0
  citedby: 0
  pages: "107-126"
  booktitle: "wicsa"
  kind: "inproceedings"
  key: "CanalPT99"
- title: "Synchronizing Java Threads Using Assertions"
  author:
  - name: "Miguel Katrib"
    link: "https://researchr.org/alias/miguel-katrib"
  - name: "Damian Fernandez"
    link: "https://researchr.org/alias/damian-fernandez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "1999"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.796466"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.796466"
  tags:
  - "Java"
  - "synchronization"
  researchr: "https://researchr.org/publication/KatribFP99"
  cites: 0
  citedby: 0
  pages: "51-60"
  booktitle: "TOOLS"
  kind: "inproceedings"
  key: "KatribFP99"
- title: "DROL: A Distributed and Real-Time Object-Oriented Logic Environment"
  author:
  - name: "Manuel Díaz"
    link: "https://researchr.org/alias/manuel-d%C3%ADaz"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "1994"
  tags:
  - "meta-model"
  - "logic"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DiazPT94"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "37"
  number: "5"
  pages: "407-421"
  kind: "article"
  key: "DiazPT94"
- title: "Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages"
  author:
  - name: "Antonio J. Nebro"
    link: "https://researchr.org/alias/antonio-j.-nebro"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1505/15050167.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1505/15050167.htm"
  researchr: "https://researchr.org/publication/NebroPT98"
  cites: 0
  citedby: 0
  pages: "167-174"
  booktitle: "iscope"
  kind: "inproceedings"
  key: "NebroPT98"
- title: "Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software"
  author:
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Lidia Fuentes"
    link: "https://researchr.org/alias/lidia-fuentes"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "1999"
  tags:
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/CanalFPT99"
  cites: 0
  citedby: 0
  pages: "443-454"
  booktitle: "jisbd"
  kind: "inproceedings"
  key: "CanalFPT99"
- title: "A secure solution for commercial digital libraries"
  author:
  - name: "Mariemma Inmaculada Yagüe del Valle"
    link: "https://researchr.org/alias/mariemma-inmaculada-yag%C3%A3%C2%BCe-del-valle"
  - name: "Antonio Maña"
    link: "https://researchr.org/alias/antonio-ma%C3%A3%C2%B1a"
  - name: "Javier Lopez"
    link: "https://researchr.org/alias/javier-lopez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A3%C2%A9-m.-troya"
  year: "2003"
  doi: "http://dx.doi.org/10.1108/14684520310481418"
  links:
    doi: "http://dx.doi.org/10.1108/14684520310481418"
  tags:
  - "digital library"
  - "digital libraries"
  researchr: "https://researchr.org/publication/ValleMLPT03"
  cites: 0
  citedby: 0
  journal: "oir"
  volume: "27"
  number: "3"
  pages: "147-159"
  kind: "article"
  key: "ValleMLPT03"
- title: "Software composition with Linda"
  author:
  - name: "Ana M. Roldán"
    link: "https://researchr.org/alias/ana-m.-rold%C3%A1n"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.cl.2008.08.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.cl.2008.08.002"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cl/RoldanPB09"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/RoldanPB09"
  cites: 0
  citedby: 0
  journal: "Comp. Lang., Syst. \\& Struct."
  volume: "35"
  number: "4"
  pages: "395-405"
  kind: "article"
  key: "RoldanPB09"
- title: "L2||O2: A Concurrent Object-oriented Logic Language"
  author:
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "1993"
  tags:
  - "meta-model"
  - "logic"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Pimentel93"
  cites: 0
  citedby: 0
  pages: "665"
  booktitle: "SLP"
  kind: "inproceedings"
  key: "Pimentel93"
- title: "An Efficient Software Protection Scheme"
  author:
  - name: "Antonio Mana"
    link: "https://researchr.org/alias/antonio-mana"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2001"
  researchr: "https://researchr.org/publication/ManaP01"
  cites: 0
  citedby: 0
  pages: "385-402"
  booktitle: "sec"
  kind: "inproceedings"
  key: "ManaP01"
- title: "Deriving hard real-time embedded systems implementations directly from SDL specifications"
  author:
  - name: "José M. Álvarez"
    link: "https://researchr.org/alias/jos%C3%A9-m.-%C3%A1lvarez"
  - name: "Manuel Díaz"
    link: "https://researchr.org/alias/manuel-d%C3%ADaz"
  - name: "Luis Llopis"
    link: "https://researchr.org/alias/luis-llopis"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/371636.371702"
  links:
    doi: "http://doi.acm.org/10.1145/371636.371702"
  researchr: "https://researchr.org/publication/AlvarezDLPT01"
  cites: 0
  citedby: 0
  pages: "128-133"
  booktitle: "codes"
  kind: "inproceedings"
  key: "AlvarezDLPT01"
- title: "Preface"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/120/50/show/Products/notes/index.htt#001"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/120/50/show/Products/notes/index.htt#001"
  researchr: "https://researchr.org/publication/BrogiP02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "66"
  number: "4"
  pages: "134"
  kind: "article"
  key: "BrogiP02"
- title: "Un Perfil UML para la definición de Componentes Inteligentes"
  author:
  - name: "Jose Luis Pastrana"
    link: "https://researchr.org/alias/jose-luis-pastrana"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Miguel Katrib"
    link: "https://researchr.org/alias/miguel-katrib"
  year: "2007"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cibse/PastranaPK07"
  tags:
  - "UML"
  researchr: "https://researchr.org/publication/PastranaPK07"
  cites: 0
  citedby: 0
  pages: "415-438"
  booktitle: "cibse"
  kind: "inproceedings"
  key: "PastranaPK07"
- title: "Verifying Real-Time Properties of tccp Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2006"
  doi: "http://www.jucs.org/jucs_12_11/verifying_real_time_properties"
  links:
    doi: "http://www.jucs.org/jucs_12_11/verifying_real_time_properties"
  tags:
  - "program verification"
  researchr: "https://researchr.org/publication/AlpuenteGPV06"
  cites: 0
  citedby: 0
  journal: "jucs"
  volume: "12"
  number: "11"
  pages: "1551-1573"
  kind: "article"
  key: "AlpuenteGPV06"
- title: "Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Jean-Marie Jacquet"
    link: "https://researchr.org/alias/jean-marie-jacquet"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.04.029"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.04.029"
  tags:
  - "software architecture"
  - "architecture"
  researchr: "https://researchr.org/publication/BrogiJP04"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "97"
  pages: "1-2"
  kind: "article"
  key: "BrogiJP04"
- title: "On the semantics of software adaptation"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.scico.2005.10.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2005.10.009"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BrogiCP06a"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "61"
  number: "2"
  pages: "136-151"
  kind: "article"
  key: "BrogiCP06a"
- title: "Measuring Component Adaptation"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2949&spage=71"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2949&spage=71"
  researchr: "https://researchr.org/publication/BrogiCP04%3A1"
  cites: 0
  citedby: 0
  pages: "71-86"
  booktitle: "coordination"
  kind: "inproceedings"
  key: "BrogiCP04:1"
- title: "Soft component adaptation"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/138/23/show/Products/notes/index.htt#002"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/138/23/show/Products/notes/index.htt#002"
  researchr: "https://researchr.org/publication/BrogiCP03"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "85"
  number: "3"
  pages: "1-16"
  kind: "article"
  key: "BrogiCP03"
- title: "Adaptación Automática de Componentes de Software"
  author:
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2005"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cibse/Pimentel05"
  tags:
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/Pimentel05-0"
  cites: 0
  citedby: 0
  pages: "15"
  booktitle: "cibse"
  kind: "inproceedings"
  key: "Pimentel05-0"
- title: "A generalized semantics of PROMELA for abstract model checking"
  author:
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/s00165-004-0040-y"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-004-0040-y"
  tags:
  - "semantics"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GallardoMP04"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "16"
  number: "3"
  pages: "166-193"
  kind: "article"
  key: "GallardoMP04"
- title: "Reo Based Interaction Model"
  author:
  - name: "Silvia Amaro"
    link: "https://researchr.org/alias/silvia-amaro"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Ana M. Roldán"
    link: "https://researchr.org/alias/ana-m.-rold%C3%A1n"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.05.012"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.05.012"
  tags:
  - "rule-based"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AmaroPR06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "160"
  pages: "3-14"
  kind: "article"
  key: "AmaroPR06"
- title: "Adding Roles to CORBA Objects"
  author:
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Lidia Fuentes"
    link: "https://researchr.org/alias/lidia-fuentes"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  year: "2003"
  doi: "http://www.computer.org/tse/ts2003/e0242abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts2003/e0242abs.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/CanalFPTV03"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "29"
  number: "3"
  pages: "242-260"
  kind: "article"
  key: "CanalFPTV03"
- title: "Comparing Under and Over-Approximations of LTL Properties for Model Checking"
  author:
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#010"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#010"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GallardoMP02%3A1"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "76"
  pages: "131-144"
  kind: "article"
  key: "GallardoMP02:1"
- title: "Measuring the compatibility of service interaction protocols"
  author:
  - name: "Meriem Ouederni"
    link: "https://researchr.org/alias/meriem-ouederni"
  - name: "Gwen Salaün"
    link: "https://researchr.org/alias/gwen-sala%C3%BCn"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1982185.1982516"
  links:
    doi: "http://doi.acm.org/10.1145/1982185.1982516"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sac/OuederniSP11"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/OuederniSP11"
  cites: 0
  citedby: 0
  pages: "1560-1567"
  booktitle: "SAC"
  kind: "inproceedings"
  key: "OuederniSP11"
- title: "Componentes Software en Linda, Un caso de estudio"
  author:
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Ana M. Roldán"
    link: "https://researchr.org/alias/ana-m.-rold%C3%A1n"
  year: "2002"
  tags:
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/PimentelR02"
  cites: 0
  citedby: 0
  pages: "363-374"
  booktitle: "jisbd"
  kind: "inproceedings"
  key: "PimentelR02"
- title: "A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming"
  author:
  - name: "Joshua S. Hodas"
    link: "https://researchr.org/alias/joshua-s.-hodas"
  - name: "Pablo López"
    link: "https://researchr.org/alias/pablo-l%C3%B3pez"
  - name: "Jeffrey Polakow"
    link: "https://researchr.org/alias/jeffrey-polakow"
  - name: "Lubomira Stoilova"
    link: "https://researchr.org/alias/lubomira-stoilova"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2471/24710167.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2471/24710167.htm"
  tags:
  - "tagging"
  - "logic programming"
  - "programming"
  - "logic"
  - "search"
  researchr: "https://researchr.org/publication/HodasLPSP02"
  cites: 0
  citedby: 0
  pages: "167-182"
  booktitle: "csl"
  kind: "inproceedings"
  key: "HodasLPSP02"
- title: "Preface"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Jean-Marie Jacquet"
    link: "https://researchr.org/alias/jean-marie-jacquet"
  - name: "Jeff Kramer"
    link: "https://researchr.org/alias/jeff-kramer"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.scico.2005.10.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2005.10.007"
  researchr: "https://researchr.org/publication/BrogiJKP06"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "61"
  number: "2"
  pages: "73-74"
  kind: "article"
  key: "BrogiJKP06"
- title: "Integrating Schedulability Analysis and Design Techniques in SD"
  author:
  - name: "José M. Álvarez"
    link: "https://researchr.org/alias/jos%C3%A9-m.-%C3%A1lvarez"
  - name: "Manuel Díaz"
    link: "https://researchr.org/alias/manuel-d%C3%ADaz"
  - name: "Luis Llopis"
    link: "https://researchr.org/alias/luis-llopis"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "2003"
  tags:
  - "analysis"
  - "design"
  researchr: "https://researchr.org/publication/AlvarezDLPT03"
  cites: 0
  citedby: 0
  journal: "rts"
  volume: "24"
  number: "3"
  pages: "267-302"
  kind: "article"
  key: "AlvarezDLPT03"
- title: "Applying Data Abstraction to XML Formal Designs"
  author:
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Jesús Martínez"
    link: "https://researchr.org/alias/jes%C3%BAs-mart%C3%ADnez"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2003"
  tags:
  - "XML"
  - "XML Schema"
  - "data-flow"
  - "abstraction"
  researchr: "https://researchr.org/publication/GallardoMMP03%3A0"
  cites: 0
  citedby: 0
  pages: "315-321"
  booktitle: "snpd"
  kind: "inproceedings"
  key: "GallardoMMP03:0"
- title: "Debugging UML Designs with Model Checking"
  author:
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2002"
  doi: "http://www.jot.fm/issues/issue_2002_07/article1"
  links:
    doi: "http://www.jot.fm/issues/issue_2002_07/article1"
  tags:
  - "model checking"
  - "meta-model"
  - "UML"
  - "debugging"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GallardoMP02%3A0"
  cites: 0
  citedby: 0
  journal: "jot"
  volume: "1"
  number: "2"
  pages: "101-117"
  kind: "article"
  key: "GallardoMP02:0"
- title: "Dynamic Contextual Adaptation"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Javier Cámara"
    link: "http://www.javicamara.com"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Javier Cubo"
    link: "https://researchr.org/alias/javier-cubo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.03.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.03.005"
  researchr: "https://researchr.org/publication/BrogiCCCP07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "175"
  number: "2"
  pages: "81-95"
  kind: "article"
  key: "BrogiCCCP07"
- title: "PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols"
  author:
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Jesús Martínez"
    link: "https://researchr.org/alias/jes%C3%BAs-mart%C3%ADnez"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  - name: "Pablo Nuñez"
    link: "https://researchr.org/alias/pablo-nu%C3%B1ez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2006"
  tags:
  - "XML"
  - "XML Schema"
  - "protocol"
  - "analysis"
  researchr: "https://researchr.org/publication/GallardoMMNP06"
  cites: 0
  citedby: 0
  pages: "57-66"
  booktitle: "vveis"
  kind: "inproceedings"
  key: "GallardoMMNP06"
- title: "A formalization of the SMEPP model in Maude"
  author:
  - name: "Francisco Durán"
    link: "https://researchr.org/alias/francisco-dur%C3%A3%C2%A1n"
  - name: "Francisco Gutiérrez"
    link: "https://researchr.org/alias/francisco-guti%C3%A3%C2%A9rrez"
  - name: "Pablo López"
    link: "https://researchr.org/alias/pablo-l%C3%A3%C2%B3pez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1594978.1595053"
  links:
    doi: "http://doi.acm.org/10.1145/1594978.1595053"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/DuranGLP08"
  cites: 0
  citedby: 0
  booktitle: "mobiquitous"
  kind: "inproceedings"
  key: "DuranGLP08"
- title: "Safe Composition of Linda-based Components"
  author:
  - name: "Ana M. Roldán"
    link: "https://researchr.org/alias/ana-m.-rold%C3%A1n"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/50/show/Products/notes/index.htt#018"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/50/show/Products/notes/index.htt#018"
  tags:
  - "rule-based"
  - "composition"
  - "safe composition"
  researchr: "https://researchr.org/publication/RoldanPB03"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "82"
  number: "6"
  pages: "180-189"
  kind: "article"
  key: "RoldanPB03"
- title: "Dinapter: Automatic Adapter Specification for Software Composition"
  author:
  - name: "José Antonio Martín"
    link: "https://researchr.org/alias/jos%C3%A3%C2%A9-antonio-mart%C3%A3%C2%ADn"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.066"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.066"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/MartinP09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "248"
  pages: "161-171"
  kind: "article"
  key: "MartinP09"
- title: "Applying Distributed Shared Memory Techniques for Implementing Distributed Objects"
  author:
  - name: "Antonio J. Nebro"
    link: "https://researchr.org/alias/antonio-j.-nebro"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1357/13570499.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1357/13570499.htm"
  researchr: "https://researchr.org/publication/NebroPT97"
  cites: 0
  citedby: 0
  pages: "499-506"
  booktitle: "ECOOPW"
  kind: "inproceedings"
  key: "NebroPT97"
- title: "Quantifying Service Compatibility: A Step beyond the Boolean Approaches"
  author:
  - name: "Meriem Ouederni"
    link: "https://researchr.org/alias/meriem-ouederni"
  - name: "Gwen Salaün"
    link: "https://researchr.org/alias/gwen-sala%C3%BCn"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-17358-5_47"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17358-5_47"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsoc/OuederniSP10"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/OuederniSP10"
  cites: 0
  citedby: 0
  pages: "619-626"
  booktitle: "icsoc"
  kind: "inproceedings"
  key: "OuederniSP10"
- title: "Context-Aware Composition and Adaptation based on Model Transformation"
  author:
  - name: "Javier Cubo"
    link: "https://researchr.org/alias/javier-cubo"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2011"
  doi: "http://www.jucs.org/jucs_17_5/context_aware_composition_and"
  links:
    doi: "http://www.jucs.org/jucs_17_5/context_aware_composition_and"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jucs/CuboCP11"
  tags:
  - "model-to-model transformation"
  - "rule-based"
  - "meta-model"
  - "composition"
  - "source-to-source"
  - "model transformation"
  - "context-aware"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/CuboCP11"
  cites: 0
  citedby: 0
  journal: "jucs"
  volume: "17"
  number: "5"
  pages: "777-806"
  kind: "article"
  key: "CuboCP11"
- title: "Técnicas de Web Semántica para la Adaptación Dinámica de Componentes y Servicios"
  author:
  - name: "Jose Luis Pastrana"
    link: "https://researchr.org/alias/jose-luis-pastrana"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Miguel Katrib"
    link: "https://researchr.org/alias/miguel-katrib"
  year: "2006"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cibse/PastranaPK06"
  researchr: "https://researchr.org/publication/PastranaPK06"
  cites: 0
  citedby: 0
  pages: "23-36"
  booktitle: "cibse"
  kind: "inproceedings"
  key: "PastranaPK06"
- title: "A Model-Based Approach to the Verification and Adaptation of WF/.NET Components"
  author:
  - name: "Javier Cubo"
    link: "https://researchr.org/alias/javier-cubo"
  - name: "Gwen Salaün"
    link: "https://researchr.org/alias/gwen-sala%C3%BCn"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Pascal Poizat"
    link: "https://researchr.org/alias/pascal-poizat"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.020"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.020"
  tags:
  - "rule-based"
  - "Pascal"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/CuboSCPP08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "215"
  pages: "39-55"
  kind: "article"
  key: "CuboSCPP08"
- title: "On the specification of software adaptation"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.04.031"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.04.031"
  researchr: "https://researchr.org/publication/BrogiCP04%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "97"
  pages: "47-65"
  kind: "article"
  key: "BrogiCP04:0"
- title: "Component adaptation through flexible subservicing"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.scico.2005.07.012"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2005.07.012"
  researchr: "https://researchr.org/publication/BrogiCP06"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "63"
  number: "1"
  pages: "39-56"
  kind: "article"
  key: "BrogiCP06"
- title: "Composing Programs in a Rewriting Logic for Declarative Programming"
  author:
  - name: "Juan M. Molina-Bravo"
    link: "https://researchr.org/alias/juan-m.-molina-bravo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2003"
  tags:
  - "graph-rewriting"
  - "logic programming"
  - "programming"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/Molina-BravoP03"
  cites: 0
  citedby: 0
  journal: "tplp"
  volume: "3"
  number: "2"
  pages: "189-221"
  kind: "article"
  key: "Molina-BravoP03"
- title: "QoS-enabled and self-adaptive connectors for Web Services composition and coordination"
  author:
  - name: "Jose Luis Pastrana"
    link: "https://researchr.org/alias/jose-luis-pastrana"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Miguel Katrib"
    link: "https://researchr.org/alias/miguel-katrib"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.cl.2010.07.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.cl.2010.07.001"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cl/PastranaPK11"
  tags:
  - "web service"
  - "composition"
  - "web services"
  researchr: "https://researchr.org/publication/PastranaPK11"
  cites: 0
  citedby: 0
  journal: "Comp. Lang., Syst. \\& Struct."
  volume: "37"
  number: "1"
  pages: "2-23"
  kind: "article"
  key: "PastranaPK11"
- title: "Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming"
  author:
  - name: "Antonio J. Nebro"
    link: "https://researchr.org/alias/antonio-j.-nebro"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "1997"
  tags:
  - "object-oriented programming"
  - "object-role modeling"
  - "consistency"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/NebroPT97%3A0"
  cites: 0
  citedby: 0
  pages: "567-571"
  booktitle: "europar"
  kind: "inproceedings"
  key: "NebroPT97:0"
- title: "Automatic Generation of Adaptation Contracts"
  author:
  - name: "José Antonio Martín"
    link: "https://researchr.org/alias/jos%C3%A3%C2%A9-antonio-mart%C3%A3%C2%ADn"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.06.032"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.06.032"
  tags:
  - "contracts"
  researchr: "https://researchr.org/publication/MartinP09a"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "229"
  number: "2"
  pages: "115-131"
  kind: "article"
  key: "MartinP09a"
- title: "Isolating Resource Consumption in Linear Logic Proof Search"
  author:
  - name: "Pablo López"
    link: "https://researchr.org/alias/pablo-l%C3%B3pez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Joshua S. Hodas"
    link: "https://researchr.org/alias/joshua-s.-hodas"
  - name: "Jeffrey Polakow"
    link: "https://researchr.org/alias/jeffrey-polakow"
  - name: "Lubomira Stoilova"
    link: "https://researchr.org/alias/lubomira-stoilova"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/125/50/show/Products/notes/index.htt#002"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/125/50/show/Products/notes/index.htt#002"
  tags:
  - "logic"
  - "search"
  researchr: "https://researchr.org/publication/LopezPHPS02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "70"
  number: "2"
  pages: "1-10"
  kind: "article"
  key: "LopezPHPS02"
- title: "Contracts for security adaptation"
  author:
  - name: "J. A. Martín"
    link: "https://researchr.org/alias/j.-a.-mart%C3%ADn"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.jlap.2010.07.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2010.07.001"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jlp/MartinP11"
  tags:
  - "contracts"
  - "security"
  researchr: "https://researchr.org/publication/MartinP11"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "80"
  number: "3-5"
  pages: "154-179"
  kind: "article"
  key: "MartinP11"
- title: "Adaptación y Reutilización de Componentes Distribuidos"
  author:
  - name: "Miguel Katrib"
    link: "https://researchr.org/alias/miguel-katrib"
  - name: "Jose Luis Pastrana"
    link: "https://researchr.org/alias/jose-luis-pastrana"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2005"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cibse/KatribPP05"
  researchr: "https://researchr.org/publication/KatribPP05"
  cites: 0
  citedby: 0
  pages: "203-214"
  booktitle: "cibse"
  kind: "inproceedings"
  key: "KatribPP05"
- title: "Behavioural Types and Component Adaptation"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=42"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=42"
  researchr: "https://researchr.org/publication/BrogiCP04"
  cites: 0
  citedby: 0
  pages: "42-56"
  booktitle: "amast"
  kind: "inproceedings"
  key: "BrogiCP04"
- title: "Context-Based Adaptation of Component Behavioural Interfaces"
  author:
  - name: "Javier Cubo"
    link: "https://researchr.org/alias/javier-cubo"
  - name: "Gwen Salaün"
    link: "https://researchr.org/alias/gwen-sala%C3%BCn"
  - name: "Javier Cámara"
    link: "http://www.javicamara.com"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72794-1_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-72794-1_17"
  tags:
  - "rule-based"
  - "context-aware"
  researchr: "https://researchr.org/publication/CuboSCCP07"
  cites: 0
  citedby: 0
  pages: "305-323"
  booktitle: "coordination"
  kind: "inproceedings"
  key: "CuboSCCP07"
- title: "Comunicacion entre objetos mediante la unificacion de canales logicos"
  author:
  - name: "F. J. Duran"
    link: "https://researchr.org/alias/f.-j.-duran"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "1994"
  researchr: "https://researchr.org/publication/DuranPT94"
  cites: 0
  citedby: 0
  pages: "147-160"
  booktitle: "agp"
  kind: "inproceedings"
  key: "DuranPT94"
- title: "Behavioural Types for Service Integration: Achievements and Challenges"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.045"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.045"
  researchr: "https://researchr.org/publication/BrogiCP07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "180"
  number: "2"
  pages: "41-54"
  kind: "article"
  key: "BrogiCP07"
- title: "SDL and hard real time systems: new design and analyze techniques"
  author:
  - name: "José M. Álvarez"
    link: "https://researchr.org/alias/jos%C3%A9-m.-%C3%A1lvarez"
  - name: "Manuel Díaz"
    link: "https://researchr.org/alias/manuel-d%C3%ADaz"
  - name: "Luis Llopis"
    link: "https://researchr.org/alias/luis-llopis"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "2000"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/AlvarezDLPT00"
  cites: 0
  citedby: 0
  pages: "92-107"
  booktitle: "sam"
  kind: "inproceedings"
  key: "AlvarezDLPT00"
- title: "Modelado de sistemas P2P con control de excepciones"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Francisco Gutiérrez"
    link: "https://researchr.org/alias/francisco-guti%C3%A9rrez"
  - name: "Pablo López"
    link: "https://researchr.org/alias/pablo-l%C3%B3pez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Razvan Popescu"
    link: "https://researchr.org/alias/razvan-popescu"
  year: "2008"
  tags:
  - "p2p"
  researchr: "https://researchr.org/publication/BrogiGLPP08"
  cites: 0
  citedby: 0
  pages: "31-44"
  booktitle: "cibse"
  kind: "inproceedings"
  key: "BrogiGLPP08"
- title: "An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.072"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.072"
  tags:
  - "model-to-model transformation"
  - "rule-based"
  - "transformation language"
  - "points-to analysis"
  - "analysis"
  - "source-to-source"
  - "model transformation"
  - "peer-to-peer"
  - "open-source"
  - "transformation"
  researchr: "https://researchr.org/publication/AlpuenteGPV08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "206"
  pages: "3-21"
  kind: "article"
  key: "AlpuenteGPV08"
- title: "Refinement of LTL Formulas for Abstract Model Checking"
  author:
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2477/24770395.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2477/24770395.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "refinement"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GallardoMP02"
  cites: 0
  citedby: 0
  pages: "395-410"
  booktitle: "SAS"
  kind: "inproceedings"
  key: "GallardoMP02"
- title: "Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real"
  author:
  - name: "José M. Álvarez"
    link: "https://researchr.org/alias/jos%C3%A9-m.-%C3%A1lvarez"
  - name: "Manuel Díaz"
    link: "https://researchr.org/alias/manuel-d%C3%ADaz"
  - name: "Luis Llopis"
    link: "https://researchr.org/alias/luis-llopis"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "2000"
  researchr: "https://researchr.org/publication/AlvarezDLPT00%3A0"
  cites: 0
  citedby: 0
  pages: "229-240"
  booktitle: "jisbd"
  kind: "inproceedings"
  key: "AlvarezDLPT00:0"
- title: "Formalizing Web Service Choreographies"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.05.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.05.007"
  tags:
  - "web service"
  researchr: "https://researchr.org/publication/BrogiCPV04"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "105"
  pages: "73-94"
  kind: "article"
  key: "BrogiCPV04"
- title: "L2||O2: Operational and Declarative Semantics"
  author:
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "1992"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/PimentelT92"
  cites: 0
  citedby: 0
  pages: "174-188"
  booktitle: "alpuk"
  kind: "inproceedings"
  key: "PimentelT92"
- title: "PiXL: Applying xml standards to support the integration of analysis tools for protocols"
  author:
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Jesús Martínez"
    link: "https://researchr.org/alias/jes%C3%BAs-mart%C3%ADnez"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  - name: "Pablo Nuñez"
    link: "https://researchr.org/alias/pablo-nu%C3%B1ez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2006.08.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2006.08.006"
  tags:
  - "XML"
  - "XML Schema"
  - "protocol"
  - "analysis"
  researchr: "https://researchr.org/publication/GallardoMMNP07"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "65"
  number: "1"
  pages: "57-69"
  kind: "article"
  key: "GallardoMMNP07"
- title: "Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems"
  author:
  - name: "José M. Álvarez"
    link: "https://researchr.org/alias/jos%C3%A9-m.-%C3%A1lvarez"
  - name: "Manuel Díaz"
    link: "https://researchr.org/alias/manuel-d%C3%ADaz"
  - name: "Luis Llopis"
    link: "https://researchr.org/alias/luis-llopis"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  year: "1999"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/AlvarezDLPT99"
  cites: 0
  citedby: 0
  pages: "241"
  booktitle: "sdl"
  kind: "inproceedings"
  key: "AlvarezDLPT99"
- title: "Preface"
  author:
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.071"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.071"
  researchr: "https://researchr.org/publication/Pimentel08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "206"
  pages: "1-2"
  kind: "article"
  key: "Pimentel08"
- title: "Abstract Model Checking and Refinement of Temporal Logic in aSPIN"
  author:
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Jesús Martínez"
    link: "https://researchr.org/alias/jes%C3%BAs-mart%C3%ADnez"
  - name: "Pedro Merino"
    link: "https://researchr.org/alias/pedro-merino"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870245.pdf"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870245.pdf"
  tags:
  - "model checking"
  - "meta-model"
  - "refinement"
  - "logic"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GallardoMMP03"
  cites: 0
  citedby: 0
  pages: "245-246"
  booktitle: "acsd"
  kind: "inproceedings"
  key: "GallardoMMP03"
- title: "Semi-Automatic Specification of Behavioural Service Adaptation Contracts"
  author:
  - name: "Javier Cámara"
    link: "https://researchr.org/alias/javier-c%C3%A1mara"
  - name: "José Antonio Martín"
    link: "https://researchr.org/alias/jos%C3%A9-antonio-mart%C3%ADn"
  - name: "Gwen Salaün"
    link: "https://researchr.org/alias/gwen-sala%C3%BCn"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2010.07.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2010.07.003"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/CamaraMSCP10"
  tags:
  - "contracts"
  researchr: "https://researchr.org/publication/CamaraMSCP10"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "264"
  number: "1"
  pages: "19-34"
  kind: "article"
  key: "CamaraMSCP10"
- title: "Modularity in Functional-Logic Programming"
  author:
  - name: "Juan M. Molina-Bravo"
    link: "https://researchr.org/alias/juan-m.-molina-bravo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "1997"
  tags:
  - "functional programming"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/MolinaP97"
  cites: 0
  citedby: 0
  pages: "183-197"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "MolinaP97"
- title: "Semantics for Modules in Functional-Logic Programming"
  author:
  - name: "Juan M. Molina-Bravo"
    link: "https://researchr.org/alias/juan-m.-molina-bravo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "1997"
  tags:
  - "semantics"
  - "functional programming"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/BravoP97"
  cites: 0
  citedby: 0
  pages: "259-270"
  booktitle: "agp"
  kind: "inproceedings"
  key: "BravoP97"
- title: "Preface"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Jean-Marie Jacquet"
    link: "https://researchr.org/alias/jean-marie-jacquet"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.042"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.042"
  researchr: "https://researchr.org/publication/BrogiJP07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "180"
  number: "2"
  pages: "1-2"
  kind: "article"
  key: "BrogiJP07"
- title: "ITACA: An integrated toolbox for the automatic composition and adaptation of Web services"
  author:
  - name: "Javier Cámara"
    link: "http://www.javicamara.com"
  - name: "Jose Antonio Martin"
    link: "https://researchr.org/alias/jose-antonio-martin"
  - name: "Gwen Salaün"
    link: "https://researchr.org/alias/gwen-sala%C3%BCn"
  - name: "Javier Cubo"
    link: "https://researchr.org/alias/javier-cubo"
  - name: "Meriem Ouederni"
    link: "https://researchr.org/alias/meriem-ouederni"
  - name: "Carlos Canal"
    link: "https://researchr.org/alias/carlos-canal"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE.2009.5070572"
  links:
    doi: "http://dx.doi.org/10.1109/ICSE.2009.5070572"
  tags:
  - "web service"
  - "composition"
  - "web services"
  researchr: "https://researchr.org/publication/CamaraMSCOCP09"
  cites: 0
  citedby: 0
  pages: "627-630"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "CamaraMSCOCP09"
- title: "Abstract Model Checking of tccp programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.01.024"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.01.024"
  tags:
  - "meta programming"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AlpuenteGPV05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "112"
  pages: "19-36"
  kind: "article"
  key: "AlpuenteGPV05"
- title: "Report on the ninth conference on Software Engineering and Databases (JISBD 2004)"
  author:
  - name: "Juan Hernández"
    link: "https://researchr.org/alias/juan-hern%C3%A1ndez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José Ambrosio Toval Álvarez"
    link: "https://researchr.org/alias/jos%C3%A9-ambrosio-toval-%C3%A1lvarez"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1083784.1083797"
  links:
    doi: "http://doi.acm.org/10.1145/1083784.1083797"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/HernandezPA05"
  cites: 0
  citedby: 0
  journal: "SIGMOD"
  volume: "34"
  number: "2"
  pages: "59-61"
  kind: "article"
  key: "HernandezPA05"
- title: "Resource Management in Linear Logic Search Revisited"
  author:
  - name: "Pablo López"
    link: "https://researchr.org/alias/pablo-l%C3%B3pez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "1999"
  tags:
  - "logic"
  - "search"
  researchr: "https://researchr.org/publication/LopezP99"
  cites: 0
  citedby: 0
  pages: "304-319"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "LopezP99"
- title: "Hypothetical Reasoning with Substructural Logics"
  author:
  - name: "Pablo López"
    link: "https://researchr.org/alias/pablo-l%C3%B3pez"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  year: "1999"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/LopezP99%3A0"
  cites: 0
  citedby: 0
  pages: "485-496"
  booktitle: "agp"
  kind: "inproceedings"
  key: "LopezP99:0"
- title: "Design by Contract in Smalltalk"
  author:
  - name: "Manuela Carrillo-Castellon"
    link: "https://researchr.org/alias/manuela-carrillo-castellon"
  - name: "Jesús García Molina"
    link: "https://researchr.org/alias/jes%C3%BAs-garc%C3%ADa-molina"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Israel Repiso"
    link: "https://researchr.org/alias/israel-repiso"
  year: "1996"
  tags:
  - "contracts"
  - "design"
  researchr: "https://researchr.org/publication/Carrillo-CastellonGPR96"
  cites: 0
  citedby: 0
  journal: "joop"
  volume: "9"
  number: "7"
  pages: "23-28"
  kind: "article"
  key: "Carrillo-CastellonGPR96"
- title: "Access Control Infrastructure for Digital Objects"
  author:
  - name: "Javier Lopez"
    link: "https://researchr.org/alias/javier-lopez"
  - name: "Antonio Mana"
    link: "https://researchr.org/alias/antonio-mana"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "José M. Troya"
    link: "https://researchr.org/alias/jos%C3%A9-m.-troya"
  - name: "Mariemma Inmaculada Yagüe del Valle"
    link: "https://researchr.org/alias/mariemma-inmaculada-yag%C3%BCe-del-valle"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2513/25130399.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2513/25130399.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "access control"
  - "meta-objects"
  researchr: "https://researchr.org/publication/LopezMPTV02"
  cites: 0
  citedby: 0
  pages: "399-410"
  booktitle: "icics"
  kind: "inproceedings"
  key: "LopezMPTV02"
- title: "A semantic framework for the abstract model checking of tccp programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "María-del-Mar Gallardo"
    link: "https://researchr.org/alias/mar%C3%ADa-del-mar-gallardo"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Alicia Villanueva"
    link: "https://researchr.org/alias/alicia-villanueva"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.08.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2005.08.009"
  tags:
  - "meta programming"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AlpuenteGPV05%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "346"
  number: "1"
  pages: "58-95"
  kind: "article"
  key: "AlpuenteGPV05:0"
- title: "Compatibility of Linda-based Component Interfaces"
  author:
  - name: "Antonio Brogi"
    link: "https://researchr.org/alias/antonio-brogi"
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Ana M. Roldán"
    link: "https://researchr.org/alias/ana-m.-rold%C3%A1n"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/120/50/show/Products/notes/index.htt#007"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/120/50/show/Products/notes/index.htt#007"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/BrogiPR02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "66"
  number: "4"
  pages: "82-96"
  kind: "article"
  key: "BrogiPR02"
- title: "VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante"
  year: "2003"
  researchr: "https://researchr.org/publication/jisbd%3A2003"
  cites: 0
  citedby: 0
  booktitle: "VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante"
  conference: "jisbd"
  editor:
  - name: "Ernesto Pimentel"
    link: "http://www.lcc.uma.es/~ernesto/"
  - name: "Nieves R. Brisaboa"
    link: "https://researchr.org/alias/nieves-r.-brisaboa"
  - name: "Jaime Gómez"
    link: "https://researchr.org/alias/jaime-g%C3%B3mez"
  isbn: "84-688-3836-5"
  kind: "proceedings"
  key: "jisbd:2003"