@article{GallardoMMP02,
  title = {A Tool for Abstraction in Model Checking},
  author = {María-del-Mar Gallardo and Jesús Martínez and Pedro Merino and Ernesto Pimentel},
  year = {2002},
  url = {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},
}

@inproceedings{LopezP97,
  title = {A Lazy Splitting System for Forum},
  author = {Pablo López and Ernesto Pimentel},
  year = {1997},
  tags = {laziness},
  researchr = {https://researchr.org/publication/LopezP97},
  cites = {0},
  citedby = {0},
  pages = {247-258},
  booktitle = {agp},
}

@article{PimentelJ09,
  title = {Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA 06)},
  author = {Ernesto Pimentel and Jean-Marie Jacquet},
  year = {2009},
  doi = {10.1016/j.scico.2008.09.017},
  url = {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},
}

@article{PastranaPK08,
  title = {Composition of Self-Adapting Components for Customizable Systems},
  author = {Jose Luis Pastrana and Ernesto Pimentel and Miguel Katrib},
  year = {2008},
  doi = {10.1093/comjnl/bxm094},
  url = {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},
}

@article{ManaLOPT04,
  title = {A framework for secure execution of software},
  author = {Antonio Mana and Javier Lopez and Juan J. Ortega and Ernesto Pimentel and José M. Troya},
  year = {2004},
  doi = {10.1007/s10207-004-0048-6},
  url = {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},
}

@article{AmaroPR07,
  title = {A Preliminary Comparative Study on the Expressive Power of Reo and Linda},
  author = {Silvia Amaro and Ernesto Pimentel and Ana M. Roldán},
  year = {2007},
  doi = {10.1016/j.entcs.2006.10.043},
  url = {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},
}

@inproceedings{DiazPT92,
  title = {A Declarative Environment for Distributed Programming},
  author = {Manuel Díaz and Ernesto Pimentel and José 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},
}

@article{AmaroPR05,
  title = {Coordinating Behavioral Descriptions of Components},
  author = {Silvia Amaro and Ernesto Pimentel and Ana M. Roldán},
  year = {2005},
  url = {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},
}

@article{AlvarezDLPT03:0,
  title = {An Object-oriented Methodology for Embedded Real-time Systems},
  author = {José M. Álvarez and Manuel Díaz and Luis Llopis and Ernesto Pimentel and José M. Troya},
  year = {2003},
  url = {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},
}

@inproceedings{Pimentel09,
  title = {Integración de software: métodos formales para coordinar y adaptar componentes y servicios},
  author = {Ernesto Pimentel},
  year = {2009},
  tags = {software components, software component},
  researchr = {https://researchr.org/publication/Pimentel09},
  cites = {0},
  citedby = {0},
  booktitle = {cibse},
}

@inproceedings{ValleMLPT02,
  title = {Secure Content Distribution for Digital Libraries},
  author = {Mariemma Inmaculada Yagüe del Valle and Antonio Mana and Javier Lopez and Ernesto Pimentel and José M. Troya},
  year = {2002},
  url = {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},
}

@inproceedings{CamaraMSCP10-0,
  title = {A Case Study in Model-Based Adaptation of Web Services},
  author = {Javier Cámara and José Antonio Martín and Gwen Salaün and Carlos Canal and Ernesto Pimentel},
  year = {2010},
  doi = {10.1007/978-3-642-16561-0_16},
  url = {http://dx.doi.org/10.1007/978-3-642-16561-0_16},
  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},
}

@inproceedings{Carrillo-CastellonMP94,
  title = {Eiffel-like Assertions and Private Methods in Smalltalk},
  author = {Manuela Carrillo-Castellon and Jesús García Molina and Ernesto Pimentel},
  year = {1994},
  tags = {Eiffel},
  researchr = {https://researchr.org/publication/Carrillo-CastellonMP94},
  cites = {0},
  citedby = {0},
  pages = {479-488},
  booktitle = {TOOLS},
}

@inproceedings{LopezP00:0,
  title = {Proof-Theoretic Foundation of Hypothetical Reasoning},
  author = {Pablo López and Ernesto Pimentel},
  year = {2000},
  researchr = {https://researchr.org/publication/LopezP00%3A0},
  cites = {0},
  citedby = {0},
  pages = {268-282},
  booktitle = {wflp},
}

@inproceedings{PimentelT93,
  title = {Compositionality Issues of Concurrent Object-Oriented Logic Languages},
  author = {Ernesto Pimentel and José 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},
}

@inproceedings{CuboCP08,
  title = {Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET},
  author = {Javier Cubo and Carlos Canal and Ernesto Pimentel},
  year = {2008},
  doi = {10.1109/MOMPES.2008.13},
  url = {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},
}

@article{CanalFPTV01,
  title = {Extending CORBA Interfaces with Protocols},
  author = {Carlos Canal and Lidia Fuentes and Ernesto Pimentel and José M. Troya and Antonio Vallecillo},
  year = {2001},
  url = {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},
}

@article{BrogiPGLP08,
  title = {A Service-Oriented Model for Embedded Peer-to-Peer Systems},
  author = {Antonio Brogi and Razvan Popescu and Francisco Gutiérrez and Pablo López and Ernesto Pimentel},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.096},
  url = {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},
}

@article{CanalPT01,
  title = {Compatibility and inheritance in software architectures},
  author = {Carlos Canal and Ernesto Pimentel and José 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},
}

@inproceedings{GallardoMMP02:0,
  title = {alpha SPIN: Extending SPIN with Abstraction},
  author = {María-del-Mar Gallardo and Jesús Martínez and Pedro Merino and Ernesto Pimentel},
  year = {2002},
  url = {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},
}

@article{GallardoMMP04,
  title = {aSPIN: A tool for abstract model checking},
  author = {María-del-Mar Gallardo and Jesús Martínez and Pedro Merino and Ernesto Pimentel},
  year = {2004},
  url = {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},
}

@inproceedings{CanalPT99,
  title = {Specification and Refinement of Dynamic Software Architectures},
  author = {Carlos Canal and Ernesto Pimentel and José M. Troya},
  year = {1999},
  tags = {software architecture, refinement, architecture},
  researchr = {https://researchr.org/publication/CanalPT99},
  cites = {0},
  citedby = {0},
  pages = {107-126},
  booktitle = {wicsa},
}

@inproceedings{KatribFP99,
  title = {Synchronizing Java Threads Using Assertions},
  author = {Miguel Katrib and Damian Fernandez and Ernesto Pimentel},
  year = {1999},
  doi = {10.1109/TOOLS.1999.796466},
  url = {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},
}

@article{DiazPT94,
  title = {DROL: A Distributed and Real-Time Object-Oriented Logic Environment},
  author = {Manuel Díaz and Ernesto Pimentel and José 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},
}

@inproceedings{NebroPT98,
  title = {Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages},
  author = {Antonio J. Nebro and Ernesto Pimentel and José M. Troya},
  year = {1998},
  url = {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},
}

@inproceedings{CanalFPT99,
  title = {Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software},
  author = {Carlos Canal and Lidia Fuentes and Ernesto Pimentel and José M. Troya},
  year = {1999},
  tags = {software components, software component},
  researchr = {https://researchr.org/publication/CanalFPT99},
  cites = {0},
  citedby = {0},
  pages = {443-454},
  booktitle = {jisbd},
}

@article{ValleMLPT03,
  title = {A secure solution for commercial digital libraries},
  author = {Mariemma Inmaculada Yagüe del Valle and Antonio Maña and Javier Lopez and Ernesto Pimentel and José M. Troya},
  year = {2003},
  doi = {10.1108/14684520310481418},
  url = {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},
}

@article{RoldanPB09,
  title = {Software composition with Linda},
  author = {Ana M. Roldán and Ernesto Pimentel and Antonio Brogi},
  year = {2009},
  doi = {10.1016/j.cl.2008.08.002},
  url = {http://dx.doi.org/10.1016/j.cl.2008.08.002},
  tags = {composition},
  researchr = {https://researchr.org/publication/RoldanPB09},
  cites = {0},
  citedby = {0},
  journal = {Comp. Lang., Syst. \& Struct.},
  volume = {35},
  number = {4},
  pages = {395-405},
}

@inproceedings{Pimentel93,
  title = {L2||O2: A Concurrent Object-oriented Logic Language},
  author = {Ernesto Pimentel},
  year = {1993},
  tags = {meta-model, logic, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Pimentel93},
  cites = {0},
  citedby = {0},
  pages = {665},
  booktitle = {SLP},
}

@inproceedings{ManaP01,
  title = {An Efficient Software Protection Scheme},
  author = {Antonio Mana and Ernesto Pimentel},
  year = {2001},
  researchr = {https://researchr.org/publication/ManaP01},
  cites = {0},
  citedby = {0},
  pages = {385-402},
  booktitle = {sec},
}

@inproceedings{AlvarezDLPT01,
  title = {Deriving hard real-time embedded systems implementations directly from SDL specifications},
  author = {José M. Álvarez and Manuel Díaz and Luis Llopis and Ernesto Pimentel and José M. Troya},
  year = {2001},
  doi = {10.1145/371636.371702},
  url = {http://doi.acm.org/10.1145/371636.371702},
  researchr = {https://researchr.org/publication/AlvarezDLPT01},
  cites = {0},
  citedby = {0},
  pages = {128-133},
  booktitle = {codes},
}

@article{BrogiP02,
  title = {Preface},
  author = {Antonio Brogi and Ernesto Pimentel},
  year = {2002},
  url = {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},
}

@inproceedings{PastranaPK07,
  title = {Un Perfil UML para la definición de Componentes Inteligentes},
  author = {Jose Luis Pastrana and Ernesto Pimentel and Miguel Katrib},
  year = {2007},
  tags = {UML},
  researchr = {https://researchr.org/publication/PastranaPK07},
  cites = {0},
  citedby = {0},
  pages = {415-438},
  booktitle = {cibse},
}

@article{AlpuenteGPV06,
  title = {Verifying Real-Time Properties of tccp Programs},
  author = {María Alpuente and María-del-Mar Gallardo and Ernesto Pimentel and Alicia Villanueva},
  year = {2006},
  url = {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},
}

@article{BrogiJP04,
  title = {Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003},
  author = {Antonio Brogi and Jean-Marie Jacquet and Ernesto Pimentel},
  year = {2004},
  doi = {10.1016/j.entcs.2004.04.029},
  url = {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},
}

@article{BrogiCP06a,
  title = {On the semantics of software adaptation},
  author = {Antonio Brogi and Carlos Canal and Ernesto Pimentel},
  year = {2006},
  doi = {10.1016/j.scico.2005.10.009},
  url = {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},
}

@inproceedings{BrogiCP04:1,
  title = {Measuring Component Adaptation},
  author = {Antonio Brogi and Carlos Canal and Ernesto Pimentel},
  year = {2004},
  url = {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},
}

@article{BrogiCP03,
  title = {Soft component adaptation},
  author = {Antonio Brogi and Carlos Canal and Ernesto Pimentel},
  year = {2003},
  url = {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},
}

@inproceedings{Pimentel05-0,
  title = {Adaptación Automática de Componentes de Software},
  author = {Ernesto Pimentel},
  year = {2005},
  tags = {software components, software component},
  researchr = {https://researchr.org/publication/Pimentel05-0},
  cites = {0},
  citedby = {0},
  pages = {15},
  booktitle = {cibse},
}

@article{GallardoMP04,
  title = {A generalized semantics of PROMELA for abstract model checking},
  author = {María-del-Mar Gallardo and Pedro Merino and Ernesto Pimentel},
  year = {2004},
  doi = {10.1007/s00165-004-0040-y},
  url = {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},
}

@article{AmaroPR06,
  title = {Reo Based Interaction Model},
  author = {Silvia Amaro and Ernesto Pimentel and Ana M. Roldán},
  year = {2006},
  doi = {10.1016/j.entcs.2006.05.012},
  url = {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},
}

@article{CanalFPTV03,
  title = {Adding Roles to CORBA Objects},
  author = {Carlos Canal and Lidia Fuentes and Ernesto Pimentel and José M. Troya and Antonio Vallecillo},
  year = {2003},
  url = {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},
}

@article{GallardoMP02:1,
  title = {Comparing Under and Over-Approximations of LTL Properties for Model Checking},
  author = {María-del-Mar Gallardo and Pedro Merino and Ernesto Pimentel},
  year = {2002},
  url = {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},
}

@inproceedings{OuederniSP11,
  title = {Measuring the compatibility of service interaction protocols},
  author = {Meriem Ouederni and Gwen Salaün and Ernesto Pimentel},
  year = {2011},
  doi = {10.1145/1982185.1982516},
  url = {http://doi.acm.org/10.1145/1982185.1982516},
  tags = {protocol},
  researchr = {https://researchr.org/publication/OuederniSP11},
  cites = {0},
  citedby = {0},
  pages = {1560-1567},
  booktitle = {SAC},
}

@inproceedings{PimentelR02,
  title = {Componentes Software en Linda, Un caso de estudio},
  author = {Ernesto Pimentel and Ana M. Roldán},
  year = {2002},
  tags = {software components, software component},
  researchr = {https://researchr.org/publication/PimentelR02},
  cites = {0},
  citedby = {0},
  pages = {363-374},
  booktitle = {jisbd},
}

@inproceedings{HodasLPSP02,
  title = {A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming},
  author = {Joshua S. Hodas and Pablo López and Jeffrey Polakow and Lubomira Stoilova and Ernesto Pimentel},
  year = {2002},
  url = {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},
}

@article{BrogiJKP06,
  title = {Preface},
  author = {Antonio Brogi and Jean-Marie Jacquet and Jeff Kramer and Ernesto Pimentel},
  year = {2006},
  doi = {10.1016/j.scico.2005.10.007},
  url = {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},
}

@article{AlvarezDLPT03,
  title = {Integrating Schedulability Analysis and Design Techniques in SD},
  author = {José M. Álvarez and Manuel Díaz and Luis Llopis and Ernesto Pimentel and José 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},
}

@inproceedings{GallardoMMP03:0,
  title = {Applying Data Abstraction to XML Formal Designs},
  author = {María-del-Mar Gallardo and Jesús Martínez and Pedro Merino and Ernesto Pimentel},
  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},
}

@article{GallardoMP02:0,
  title = {Debugging UML Designs with Model Checking},
  author = {María-del-Mar Gallardo and Pedro Merino and Ernesto Pimentel},
  year = {2002},
  url = {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},
}

@article{BrogiCCCP07,
  title = {Dynamic Contextual Adaptation},
  author = {Antonio Brogi and Javier Cámara and Carlos Canal and Javier Cubo and Ernesto Pimentel},
  year = {2007},
  doi = {10.1016/j.entcs.2007.03.005},
  url = {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},
}

@inproceedings{GallardoMMNP06,
  title = {PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols},
  author = {María-del-Mar Gallardo and Jesús Martínez and Pedro Merino and Pablo Nuñez and Ernesto Pimentel},
  year = {2006},
  tags = {XML, XML Schema, protocol, analysis},
  researchr = {https://researchr.org/publication/GallardoMMNP06},
  cites = {0},
  citedby = {0},
  pages = {57-66},
  booktitle = {vveis},
}

@inproceedings{DuranGLP08,
  title = {A formalization of the SMEPP model in Maude},
  author = {Francisco Durán and Francisco Gutiérrez and Pablo López and Ernesto Pimentel},
  year = {2008},
  doi = {10.1145/1594978.1595053},
  url = {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},
}

@article{RoldanPB03,
  title = {Safe Composition of Linda-based Components},
  author = {Ana M. Roldán and Ernesto Pimentel and Antonio Brogi},
  year = {2003},
  url = {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},
}

@article{MartinP09,
  title = {Dinapter: Automatic Adapter Specification for Software Composition},
  author = {José Antonio Martín and Ernesto Pimentel},
  year = {2009},
  doi = {10.1016/j.entcs.2009.07.066},
  url = {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},
}

@inproceedings{NebroPT97,
  title = {Applying Distributed Shared Memory Techniques for Implementing Distributed Objects},
  author = {Antonio J. Nebro and Ernesto Pimentel and José M. Troya},
  year = {1997},
  url = {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},
}

@inproceedings{OuederniSP10,
  title = {Quantifying Service Compatibility: A Step beyond the Boolean Approaches},
  author = {Meriem Ouederni and Gwen Salaün and Ernesto Pimentel},
  year = {2010},
  doi = {10.1007/978-3-642-17358-5_47},
  url = {http://dx.doi.org/10.1007/978-3-642-17358-5_47},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/OuederniSP10},
  cites = {0},
  citedby = {0},
  pages = {619-626},
  booktitle = {icsoc},
}

@article{CuboCP11,
  title = {Context-Aware Composition and Adaptation based on Model Transformation},
  author = {Javier Cubo and Carlos Canal and Ernesto Pimentel},
  year = {2011},
  url = {http://www.jucs.org/jucs_17_5/context_aware_composition_and},
  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},
}

@inproceedings{PastranaPK06,
  title = {Técnicas de Web Semántica para la Adaptación Dinámica de Componentes y Servicios},
  author = {Jose Luis Pastrana and Ernesto Pimentel and Miguel Katrib},
  year = {2006},
  researchr = {https://researchr.org/publication/PastranaPK06},
  cites = {0},
  citedby = {0},
  pages = {23-36},
  booktitle = {cibse},
}

@article{CuboSCPP08,
  title = {A Model-Based Approach to the Verification and Adaptation of WF/.NET Components},
  author = {Javier Cubo and Gwen Salaün and Carlos Canal and Ernesto Pimentel and Pascal Poizat},
  year = {2008},
  doi = {10.1016/j.entcs.2008.06.020},
  url = {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},
}

@article{BrogiCP04:0,
  title = {On the specification of software adaptation},
  author = {Antonio Brogi and Carlos Canal and Ernesto Pimentel},
  year = {2004},
  doi = {10.1016/j.entcs.2004.04.031},
  url = {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},
}

@article{BrogiCP06,
  title = {Component adaptation through flexible subservicing},
  author = {Antonio Brogi and Carlos Canal and Ernesto Pimentel},
  year = {2006},
  doi = {10.1016/j.scico.2005.07.012},
  url = {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},
}

@article{Molina-BravoP03,
  title = {Composing Programs in a Rewriting Logic for Declarative Programming},
  author = {Juan M. Molina-Bravo and Ernesto Pimentel},
  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},
}

@article{PastranaPK11,
  title = {QoS-enabled and self-adaptive connectors for Web Services composition and coordination},
  author = {Jose Luis Pastrana and Ernesto Pimentel and Miguel Katrib},
  year = {2011},
  doi = {10.1016/j.cl.2010.07.001},
  url = {http://dx.doi.org/10.1016/j.cl.2010.07.001},
  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},
}

@inproceedings{NebroPT97:0,
  title = {Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming},
  author = {Antonio J. Nebro and Ernesto Pimentel and José 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},
}

@article{MartinP09a,
  title = {Automatic Generation of Adaptation Contracts},
  author = {José Antonio Martín and Ernesto Pimentel},
  year = {2009},
  doi = {10.1016/j.entcs.2009.06.032},
  url = {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},
}

@article{LopezPHPS02,
  title = {Isolating Resource Consumption in Linear Logic Proof Search},
  author = {Pablo López and Ernesto Pimentel and Joshua S. Hodas and Jeffrey Polakow and Lubomira Stoilova},
  year = {2002},
  url = {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},
}

@article{MartinP11,
  title = {Contracts for security adaptation},
  author = {J. A. Martín and Ernesto Pimentel},
  year = {2011},
  doi = {10.1016/j.jlap.2010.07.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2010.07.001},
  tags = {contracts, security},
  researchr = {https://researchr.org/publication/MartinP11},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {80},
  number = {3-5},
  pages = {154-179},
}

@inproceedings{KatribPP05,
  title = {Adaptación y Reutilización de Componentes Distribuidos},
  author = {Miguel Katrib and Jose Luis Pastrana and Ernesto Pimentel},
  year = {2005},
  researchr = {https://researchr.org/publication/KatribPP05},
  cites = {0},
  citedby = {0},
  pages = {203-214},
  booktitle = {cibse},
}

@inproceedings{BrogiCP04,
  title = {Behavioural Types and Component Adaptation},
  author = {Antonio Brogi and Carlos Canal and Ernesto Pimentel},
  year = {2004},
  url = {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},
}

@inproceedings{CuboSCCP07,
  title = {Context-Based Adaptation of Component Behavioural Interfaces},
  author = {Javier Cubo and Gwen Salaün and Javier Cámara and Carlos Canal and Ernesto Pimentel},
  year = {2007},
  doi = {10.1007/978-3-540-72794-1_17},
  url = {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},
}

@inproceedings{DuranPT94,
  title = {Comunicacion entre objetos mediante la unificacion de canales logicos},
  author = {F. J. Duran and Ernesto Pimentel and José M. Troya},
  year = {1994},
  researchr = {https://researchr.org/publication/DuranPT94},
  cites = {0},
  citedby = {0},
  pages = {147-160},
  booktitle = {agp},
}

@article{BrogiCP07,
  title = {Behavioural Types for Service Integration: Achievements and Challenges},
  author = {Antonio Brogi and Carlos Canal and Ernesto Pimentel},
  year = {2007},
  doi = {10.1016/j.entcs.2006.10.045},
  url = {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},
}

@inproceedings{AlvarezDLPT00,
  title = {SDL and hard real time systems: new design and analyze techniques},
  author = {José M. Álvarez and Manuel Díaz and Luis Llopis and Ernesto Pimentel and José M. Troya},
  year = {2000},
  tags = {design},
  researchr = {https://researchr.org/publication/AlvarezDLPT00},
  cites = {0},
  citedby = {0},
  pages = {92-107},
  booktitle = {sam},
}

@inproceedings{BrogiGLPP08,
  title = {Modelado de sistemas P2P con control de excepciones},
  author = {Antonio Brogi and Francisco Gutiérrez and Pablo López and Ernesto Pimentel and Razvan Popescu},
  year = {2008},
  tags = {p2p},
  researchr = {https://researchr.org/publication/BrogiGLPP08},
  cites = {0},
  citedby = {0},
  pages = {31-44},
  booktitle = {cibse},
}

@article{AlpuenteGPV08,
  title = {An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation},
  author = {María Alpuente and María-del-Mar Gallardo and Ernesto Pimentel and Alicia Villanueva},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.072},
  url = {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},
}

@inproceedings{GallardoMP02,
  title = {Refinement of LTL Formulas for Abstract Model Checking},
  author = {María-del-Mar Gallardo and Pedro Merino and Ernesto Pimentel},
  year = {2002},
  url = {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},
}

@inproceedings{AlvarezDLPT00:0,
  title = {Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real},
  author = {José M. Álvarez and Manuel Díaz and Luis Llopis and Ernesto Pimentel and José M. Troya},
  year = {2000},
  researchr = {https://researchr.org/publication/AlvarezDLPT00%3A0},
  cites = {0},
  citedby = {0},
  pages = {229-240},
  booktitle = {jisbd},
}

@article{BrogiCPV04,
  title = {Formalizing Web Service Choreographies},
  author = {Antonio Brogi and Carlos Canal and Ernesto Pimentel and Antonio Vallecillo},
  year = {2004},
  doi = {10.1016/j.entcs.2004.05.007},
  url = {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},
}

@inproceedings{PimentelT92,
  title = {L2||O2: Operational and Declarative Semantics},
  author = {Ernesto Pimentel and José M. Troya},
  year = {1992},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/PimentelT92},
  cites = {0},
  citedby = {0},
  pages = {174-188},
  booktitle = {alpuk},
}

@article{GallardoMMNP07,
  title = {PiXL: Applying xml standards to support the integration of analysis tools for protocols},
  author = {María-del-Mar Gallardo and Jesús Martínez and Pedro Merino and Pablo Nuñez and Ernesto Pimentel},
  year = {2007},
  doi = {10.1016/j.scico.2006.08.006},
  url = {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},
}

@inproceedings{AlvarezDLPT99,
  title = {Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems},
  author = {José M. Álvarez and Manuel Díaz and Luis Llopis and Ernesto Pimentel and José M. Troya},
  year = {1999},
  tags = {analysis},
  researchr = {https://researchr.org/publication/AlvarezDLPT99},
  cites = {0},
  citedby = {0},
  pages = {241},
  booktitle = {sdl},
}

@article{Pimentel08,
  title = {Preface},
  author = {Ernesto Pimentel},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.071},
  url = {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},
}

@inproceedings{GallardoMMP03,
  title = {Abstract Model Checking and Refinement of Temporal Logic in aSPIN},
  author = {María-del-Mar Gallardo and Jesús Martínez and Pedro Merino and Ernesto Pimentel},
  year = {2003},
  url = {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},
}

@article{CamaraMSCP10,
  title = {Semi-Automatic Specification of Behavioural Service Adaptation Contracts},
  author = {Javier Cámara and José Antonio Martín and Gwen Salaün and Carlos Canal and Ernesto Pimentel},
  year = {2010},
  doi = {10.1016/j.entcs.2010.07.003},
  url = {http://dx.doi.org/10.1016/j.entcs.2010.07.003},
  tags = {contracts},
  researchr = {https://researchr.org/publication/CamaraMSCP10},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {264},
  number = {1},
  pages = {19-34},
}

@inproceedings{MolinaP97,
  title = {Modularity in Functional-Logic Programming},
  author = {Juan M. Molina-Bravo and Ernesto Pimentel},
  year = {1997},
  tags = {functional programming, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/MolinaP97},
  cites = {0},
  citedby = {0},
  pages = {183-197},
  booktitle = {ICLP},
}

@inproceedings{BravoP97,
  title = {Semantics for Modules in Functional-Logic Programming},
  author = {Juan M. Molina-Bravo and Ernesto Pimentel},
  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},
}

@article{BrogiJP07,
  title = {Preface},
  author = {Antonio Brogi and Jean-Marie Jacquet and Ernesto Pimentel},
  year = {2007},
  doi = {10.1016/j.entcs.2006.10.042},
  url = {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},
}

@inproceedings{CamaraMSCOCP09,
  title = {ITACA: An integrated toolbox for the automatic composition and adaptation of Web services},
  author = {Javier Cámara and Jose Antonio Martin and Gwen Salaün and Javier Cubo and Meriem Ouederni and Carlos Canal and Ernesto Pimentel},
  year = {2009},
  doi = {10.1109/ICSE.2009.5070572},
  url = {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},
}

@article{AlpuenteGPV05,
  title = {Abstract Model Checking of tccp programs},
  author = {María Alpuente and María-del-Mar Gallardo and Ernesto Pimentel and Alicia Villanueva},
  year = {2005},
  doi = {10.1016/j.entcs.2004.01.024},
  url = {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},
}

@article{HernandezPA05,
  title = {Report on the ninth conference on Software Engineering and Databases (JISBD 2004)},
  author = {Juan Hernández and Ernesto Pimentel and José Ambrosio Toval Álvarez},
  year = {2005},
  doi = {10.1145/1083784.1083797},
  url = {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},
}

@inproceedings{LopezP99,
  title = {Resource Management in Linear Logic Search Revisited},
  author = {Pablo López and Ernesto Pimentel},
  year = {1999},
  tags = {logic, search},
  researchr = {https://researchr.org/publication/LopezP99},
  cites = {0},
  citedby = {0},
  pages = {304-319},
  booktitle = {lpar},
}

@inproceedings{LopezP99:0,
  title = {Hypothetical Reasoning with Substructural Logics},
  author = {Pablo López and Ernesto Pimentel},
  year = {1999},
  tags = {logic},
  researchr = {https://researchr.org/publication/LopezP99%3A0},
  cites = {0},
  citedby = {0},
  pages = {485-496},
  booktitle = {agp},
}

@article{Carrillo-CastellonGPR96,
  title = {Design by Contract in Smalltalk},
  author = {Manuela Carrillo-Castellon and Jesús García Molina and Ernesto Pimentel and 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},
}

@inproceedings{LopezMPTV02,
  title = {Access Control Infrastructure for Digital Objects},
  author = {Javier Lopez and Antonio Mana and Ernesto Pimentel and José M. Troya and Mariemma Inmaculada Yagüe del Valle},
  year = {2002},
  url = {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},
}

@article{AlpuenteGPV05:0,
  title = {A semantic framework for the abstract model checking of tccp programs},
  author = {María Alpuente and María-del-Mar Gallardo and Ernesto Pimentel and Alicia Villanueva},
  year = {2005},
  doi = {10.1016/j.tcs.2005.08.009},
  url = {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},
}

@article{BrogiPR02,
  title = {Compatibility of Linda-based Component Interfaces},
  author = {Antonio Brogi and Ernesto Pimentel and Ana M. Roldán},
  year = {2002},
  url = {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},
}
@proceedings{jisbd:2003,
  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 = {Ernesto Pimentel and Nieves R. Brisaboa and Jaime Gómez},
  isbn = {84-688-3836-5},
}