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: "Electronic Notes in Theoretical Computer Science" 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: "1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 97, Grado, Italy, June 16-19, 1997" editor: - name: "Moreno Falaschi" link: "https://researchr.org/alias/moreno-falaschi" - name: "Marisa Navarro" link: "https://researchr.org/alias/marisa-navarro" - name: "Alberto Policriti" link: "https://researchr.org/alias/alberto-policriti" 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: "Science of Computer Programming" 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: "Comput. J." 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: "Int. J. Inf. Sec." 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: "Electronic Notes in Theoretical Computer Science" 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: "Algorithms, Software, Architecture - Information Processing 92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992" editor: - name: "Jan van Leeuwen" link: "https://researchr.org/alias/jan-van-leeuwen" volume: "A-12" series: "IFIP Transactions" publisher: "North-Holland" isbn: "0-444-89747-X" 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: "J. UCS" 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: "Comput. J." 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: "Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), Medellín, Colombia, Abril 13-17, 2009" editor: - name: "Antonio Brogi" link: "https://researchr.org/alias/antonio-brogi" - name: "João Araújo" link: "https://researchr.org/alias/jo%C3%A3o-ara%C3%BAjo" - name: "Raquel Anaya" link: "https://researchr.org/alias/raquel-anaya" 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: "Digital Libraries: People, Knowledge, and Technology, 5th International Conference on Asian Digital Libraries, ICADL 2002 Singapore, December 11-14, 2002, Proceedings" editor: - name: "Ee-Peng Lim" link: "https://researchr.org/alias/ee-peng-lim" - name: "Schubert Foo" link: "https://researchr.org/alias/schubert-foo" - name: "Christopher S. G. Khoo" link: "https://researchr.org/alias/christopher-s.-g.-khoo" - name: "Hsinchun Chen" link: "https://researchr.org/alias/hsinchun-chen" - name: "Edward A. Fox" link: "http://fox.cs.vt.edu/" - name: "Shalini R. Urs" link: "https://researchr.org/alias/shalini-r.-urs" - name: "Costantino Thanos" link: "https://researchr.org/alias/costantino-thanos" volume: "2555" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00261-8" 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: "Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II" editor: - name: "Tiziana Margaria" link: "https://researchr.org/alias/tiziana-margaria" - name: "Bernhard Steffen" link: "https://researchr.org/alias/bernhard-steffen" volume: "6416" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16560-3" 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 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe" editor: - name: "Boris Magnusson" link: "https://researchr.org/alias/boris-magnusson" - name: "Bertrand Meyer" link: "http://se.ethz.ch/~meyer/" - name: "Jean-Marc Nerson" link: "https://researchr.org/alias/jean-marc-nerson" - name: "Jean-François Perrot" link: "https://researchr.org/alias/jean-fran%C3%A7ois-perrot" publisher: "Prentice Hall" isbn: "0-13-350539-1" 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: "9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000" editor: - name: "María Alpuente" link: "http://www.dsic.upv.es/~alpuente" 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 93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings" editor: - name: "Arndt Bode" link: "https://researchr.org/alias/arndt-bode" - name: "Mike Reeve" link: "https://researchr.org/alias/mike-reeve" - name: "Gottfried Wolf" link: "https://researchr.org/alias/gottfried-wolf" volume: "694" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-56891-3" 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: "Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings" editor: - name: "Ricardo Jorge Machado" link: "https://researchr.org/alias/ricardo-jorge-machado" - name: "João M. Fernandes" link: "https://researchr.org/alias/jo%C3%A3%C2%A3o-m.-fernandes" - name: "Flávio Rech Wagner" link: "https://researchr.org/alias/fl%C3%A3%C2%A1vio-rech-wagner" - name: "Rick Kazman" link: "https://researchr.org/alias/rick-kazman" publisher: "IEEE Computer Society" isbn: "0-7695-3104-0" 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: "Comput. J." 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: "Electronic Notes in Theoretical Computer Science" 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: "Science of Computer Programming" 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: "Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings" editor: - name: "Dragan Bosnacki" link: "https://researchr.org/alias/dragan-bosnacki" - name: "Stefan Leue" link: "https://researchr.org/alias/stefan-leue" volume: "2318" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43477-1" 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: "Software Architecture, TC2 First Working IFIP Conference on Software Architecture (WICSA1), 22-24 February 1999, San Antonio, Texas, USA" editor: - name: "Patrick Donohoe" link: "https://researchr.org/alias/patrick-donohoe" volume: "140" series: "IFIP Conference Proceedings" publisher: "Kluwer" isbn: "0-7923-8453-9" 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 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China" publisher: "IEEE Computer Society" isbn: "0-7695-0393-4" 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: "Comput. J." 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: "Computing in Object-Oriented Parallel Environments, Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998, Proceedings" editor: - name: "Denis Caromel" link: "https://researchr.org/alias/denis-caromel" - name: "R. R. Oldehoeft" link: "https://researchr.org/alias/r.-r.-oldehoeft" - name: "Marydell Tholburn" link: "https://researchr.org/alias/marydell-tholburn" volume: "1505" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-65387-2" 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: "IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 99), Cáceres, del 24 al 26 de noviembre de 1999" editor: - name: "Pere Botella" link: "https://researchr.org/alias/pere-botella" - name: "Juan Hernández" link: "https://researchr.org/alias/juan-hern%C3%A1ndez" - name: "Fèlix Saltor" link: "https://researchr.org/alias/f%C3%A8lix-saltor" publisher: "Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura" isbn: "84-699-0956-8" 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: "Online Information Review" 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: "Computer Languages, Systems \\& Structures" 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: "ILPS" 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: "Trusted Information: The New Decade Challenge, IFIP TC11 Sixteenth Annual Working Conference on Information Security (IFIP/Sec 01), June 11-13, 2001, Paris, France" editor: - name: "Michel Dupuy" link: "https://researchr.org/alias/michel-dupuy" - name: "Pierre Paradinas" link: "https://researchr.org/alias/pierre-paradinas" volume: "193" series: "IFIP Conference Proceedings" publisher: "Kluwer" isbn: "0-7923-7389-8" 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: "Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001" editor: - name: "Jan Madsen" link: "https://researchr.org/alias/jan-madsen" - name: "Jörg Henkel" link: "https://researchr.org/alias/j%C3%B6rg-henkel" - name: "Xiaobo Sharon Hu" link: "https://researchr.org/alias/xiaobo-sharon-hu" publisher: "ACM" isbn: "1-58113-364-2" 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: "Electronic Notes in Theoretical Computer Science" 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: "Memorias de la X Conferencia Iberoamericana de Software Engineering (CIbSE 2007), Isla de Marguerita, Venezuela, Mayo 7-11, 2007" editor: - name: "Francisca Losavio" link: "https://researchr.org/alias/francisca-losavio" - name: "Guilherme Horta Travassos" link: "https://researchr.org/alias/guilherme-horta-travassos" - name: "Vicente Pelechano" link: "https://researchr.org/alias/vicente-pelechano" - name: "Isabel Díaz" link: "https://researchr.org/alias/isabel-d%26iacute%3Baz" - name: "Alfredo Matteo" link: "https://researchr.org/alias/alfredo-matteo" isbn: "978-980-325-323-3" 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: "J. UCS" 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: "Electronic Notes in Theoretical Computer Science" 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: "Science of Computer Programming" 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 Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings" editor: - name: "Rocco De Nicola" link: "https://researchr.org/alias/rocco-de-nicola" - name: "Gian Luigi Ferrari" link: "https://researchr.org/alias/gian-luigi-ferrari" - name: "Greg Meredith" link: "https://researchr.org/alias/greg-meredith" volume: "2949" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-21044-X" 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: "Electronic Notes in Theoretical Computer Science" 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: "Memorias de la VIII Conferencia Iberoamericana de Software Engineering (CIbSE 2005), Valparaiso, Chile, Mayo 2-6, 2005" editor: - name: "Hernán Astudillo" link: "https://researchr.org/alias/hern%26aacute%3Bn-astudillo" - name: "Carla Taramasco" link: "https://researchr.org/alias/carla-taramasco" isbn: "956-7051-07-0" 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: "Formal Asp. Comput." 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: "Electronic Notes in Theoretical Computer Science" 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: "IEEE Trans. Software Eng." 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: "Electronic Notes in Theoretical Computer Science" 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: "Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011" editor: - name: "William C. Chu" link: "https://researchr.org/alias/william-c.-chu" - name: "W. Eric Wong" link: "https://researchr.org/alias/w.-eric-wong" - name: "Mathew J. Palakal" link: "https://researchr.org/alias/mathew-j.-palakal" - name: "Chih-Cheng Hung" link: "https://researchr.org/alias/chih-cheng-hung" publisher: "ACM" isbn: "978-1-4503-0113-8" 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: "VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 19-21 Noviembre 2002, El Escorial (Madrid)" editor: - name: "Matilde Celma" link: "https://researchr.org/alias/matilde-celma" - name: "Oscar Pastor" link: "https://researchr.org/alias/oscar-pastor" - name: "Natalia Juristo Juzgado" link: "https://researchr.org/alias/natalia-juristo-juzgado" - name: "Juan José Moreno-Navarro" link: "https://researchr.org/alias/juan-jos%C3%A9-moreno-navarro" isbn: "84-688-0206-9" 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: "Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings" editor: - name: "Julian C. Bradfield" link: "https://researchr.org/alias/julian-c.-bradfield" volume: "2471" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44240-5" 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: "Science of Computer Programming" 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: "Real-Time Systems" 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: "Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 03), October 16-18, 2003, Lübeck, Germany" editor: - name: "Walter Dosch" link: "https://researchr.org/alias/walter-dosch" - name: "Roger Y. Lee" link: "https://researchr.org/alias/roger-y.-lee" publisher: "ACIS" isbn: "0-9700776-7-X" 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: "Journal of Object Technology" 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: "Electronic Notes in Theoretical Computer Science" 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: "Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with " editor: - name: "Joseph Barjis" link: "https://researchr.org/alias/joseph-barjis" - name: "Ulrich Ultes-Nitsche" link: "https://researchr.org/alias/ulrich-ultes-nitsche" - name: "Juan Carlos Augusto" link: "https://researchr.org/alias/juan-carlos-augusto" publisher: "INSTICC Press" isbn: "978-972-8865-49-8" 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: "5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2008, July 21-25, 2008, Dublin, Ireland" editor: - name: "Vinny Cahill" link: "https://researchr.org/alias/vinny-cahill" publisher: "ACM" isbn: "978-963-9799-27-1" 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: "Electronic Notes in Theoretical Computer Science" 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: "Electronic Notes in Theoretical Computer Science" 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: "Object-Oriented Technology, ECOOP 97 Workshop Reader, ECOOP 97 Workshops, Jyväskylä, Finland, June 9-13, 1997" editor: - name: "Jan Bosch" link: "https://researchr.org/alias/jan-bosch" - name: "Stuart Mitchell" link: "https://researchr.org/alias/stuart-mitchell" volume: "1357" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-64039-8" 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: "Service-Oriented Computing - 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings" editor: - name: "Paul P. Maglio" link: "https://researchr.org/alias/paul-p.-maglio" - name: "Mathias Weske" link: "https://researchr.org/alias/mathias-weske" - name: "Jian Yang" link: "https://researchr.org/alias/jian-yang" - name: "Marcelo Fantinato" link: "https://researchr.org/alias/marcelo-fantinato" volume: "6470" series: "Lecture Notes in Computer Science" isbn: "978-3-642-17357-8" 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: "J. UCS" 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: "Memorias de la IX Conferenci a Iberoamericana de Software Engineering (CIbSE 2006), La Plata, Argentina, Abril 24-28, 2006" editor: - name: "Jaelson Castro" link: "https://researchr.org/alias/jaelson-castro" - name: "Luca Cernuzzi" link: "https://researchr.org/alias/luca-cernuzzi" - name: "Silvia E. Gordillo" link: "https://researchr.org/alias/silvia-e.-gordillo" isbn: "978-950-34-0360-0" 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: "Electronic Notes in Theoretical Computer Science" 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: "Electronic Notes in Theoretical Computer Science" 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: "Science of Computer Programming" 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: "Computer Languages, Systems \\& Structures" 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: "Euro-Par 97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings" editor: - name: "Christian Lengauer" link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/" - name: "Martin Griebl" link: "https://researchr.org/alias/martin-griebl" - name: "Sergei Gorlatch" link: "https://researchr.org/alias/sergei-gorlatch" volume: "1300" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-63440-1" 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: "Electronic Notes in Theoretical Computer Science" 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: "Electronic Notes in Theoretical Computer Science" 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: "Journal of Logic and Algebraic Programming" 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: "Memorias de la VIII Conferencia Iberoamericana de Software Engineering (CIbSE 2005), Valparaiso, Chile, Mayo 2-6, 2005" editor: - name: "Hernán Astudillo" link: "https://researchr.org/alias/hern%26aacute%3Bn-astudillo" - name: "Carla Taramasco" link: "https://researchr.org/alias/carla-taramasco" isbn: "956-7051-07-0" 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: "Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings" editor: - name: "Charles Rattray" link: "https://researchr.org/alias/charles-rattray" - name: "Savi Maharaj" link: "https://researchr.org/alias/savi-maharaj" - name: "Carron Shankland" link: "https://researchr.org/alias/carron-shankland" volume: "3116" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22381-9" 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 Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings" editor: - name: "Amy L. Murphy" link: "https://researchr.org/alias/amy-l.-murphy" - name: "Jan Vitek" link: "http://www.cs.purdue.edu/homes/jv" volume: "4467" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-72793-4" 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: "1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2" editor: - name: "María Alpuente" link: "http://www.dsic.upv.es/~alpuente" - name: "Roberto Barbuti" link: "https://researchr.org/alias/roberto-barbuti" - name: "Isidro Ramos" link: "https://researchr.org/alias/isidro-ramos" 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: "Electronic Notes in Theoretical Computer Science" 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 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000" editor: - name: "Edel Sherratt" link: "https://researchr.org/alias/edel-sherratt" publisher: "VERIMAG, IRISA, SDL Forum" 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: "Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), Recife, Pernambuco, Brasil, February 13-17, 2008" editor: - name: "Maria Lencastre" link: "https://researchr.org/alias/maria-lencastre" - name: "João Falcão e Cunha" link: "https://researchr.org/alias/jo%C3%A3o-falc%C3%A3o-e-cunha" - name: "Antonio Valecillo" link: "https://researchr.org/alias/antonio-valecillo" 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: "Electronic Notes in Theoretical Computer Science" 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: "Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings" editor: - name: "Manuel V. Hermenegildo" link: "https://researchr.org/alias/manuel-v.-hermenegildo" - name: "Germán Puebla" link: "https://researchr.org/alias/germ%C3%A1n-puebla" volume: "2477" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44235-9" 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: "V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 8, 9 y 10 de noviembre, Valladolid" editor: - name: "Carlos Delgado" link: "https://researchr.org/alias/carlos-delgado" - name: "Esperanza Marcos" link: "https://researchr.org/alias/esperanza-marcos" - name: "José Manuel Marqués Corral" link: "https://researchr.org/alias/jos%C3%A9-manuel-marqu%C3%A9s-corral" publisher: "Universidad de Valladolid, Departamento de Informática" isbn: "84-8448-065-8" 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: "Electronic Notes in Theoretical Computer Science" 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: "Science of Computer Programming" 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 99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings" editor: - name: "Rachida Dssouli" link: "https://researchr.org/alias/rachida-dssouli" - name: "Gregor von Bochmann" link: "https://researchr.org/alias/gregor-von-bochmann" - name: "Yair Lahav" link: "https://researchr.org/alias/yair-lahav" publisher: "Elsevier" 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: "Electronic Notes in Theoretical Computer Science" 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: "3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal" publisher: "IEEE Computer Society" isbn: "0-7695-1887-7" 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: "Electronic Notes in Theoretical Computer Science" 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: "1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 97, Grado, Italy, June 16-19, 1997" editor: - name: "Moreno Falaschi" link: "https://researchr.org/alias/moreno-falaschi" - name: "Marisa Navarro" link: "https://researchr.org/alias/marisa-navarro" - name: "Alberto Policriti" link: "https://researchr.org/alias/alberto-policriti" 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: "Electronic Notes in Theoretical Computer Science" 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: "31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings" publisher: "IEEE" isbn: "978-1-4244-3452-7" 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: "Electronic Notes in Theoretical Computer Science" 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 Record" 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: "Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings" editor: - name: "Harald Ganzinger" link: "https://researchr.org/alias/harald-ganzinger" - name: "David A. McAllester" link: "https://researchr.org/alias/david-a.-mcallester" - name: "Andrei Voronkov" link: "http://www.voronkov.com/" volume: "1705" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66492-0" 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: "1999 Joint Conference on Declarative Programming, AGP 99, L Aquila, Italy, September 6-9, 1999" editor: - name: "Maria Chiara Meo" link: "https://researchr.org/alias/maria-chiara-meo" - name: "Manuel Vilares Ferro" link: "https://researchr.org/alias/manuel-vilares-ferro" 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: "Information and Communications Security, 4th International Conference, ICICS 2002, Singapore, December 9-12, 2002, Proceedings" editor: - name: "Robert H. Deng" link: "https://researchr.org/alias/robert-h.-deng" - name: "Sihan Qing" link: "https://researchr.org/alias/sihan-qing" - name: "Feng Bao" link: "https://researchr.org/alias/feng-bao" - name: "Jianying Zhou" link: "https://researchr.org/alias/jianying-zhou" volume: "2513" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00164-6" 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: "Theoretical Computer Science" 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: "Electronic Notes in Theoretical Computer Science" 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"