Travelled to:1 × Belgium
1 × China
1 × Germany
1 × Spain
1 × Taiwan
1 × USA
1 × United Kingdom
2 × Canada
2 × France
Collaborated with:J.Cubo M.Ouederni G.Salaün M.Gallardo J.M.Molina-Bravo ∅ C.Canal J.Cámara P.Merino M.Katrib D.Fernandez J.M.Troya M.Carrillo-Castellon J.G.Molina M.Alpuente A.Villanueva J.S.Hodas P.López J.Polakow L.Stoilova J.A.Martín A.Brogi José Carrasco Francesco D'Andria E.D.Nitto M.Guerriero Diego Pérez Jacopo Soldani
Talks about:architectur (3) program (3) servic (3) logic (3) composit (2) abstract (2) automat (2) orient (2) compat (2) assert (2)
Person: Ernesto Pimentel
DBLP: Pimentel:Ernesto
Contributed to:
2014
2011
2011
2009
2005
2002
2002
1999
1999
1997199419932016Wrote 13 papers:
- FASE-2014-OuederniSCP #behaviour #named
- Comparator: A Tool for Quantifying Behavioural Compatibility (MO, GS, JC, EP), pp. 306–309.
- ECSA-2011-CuboP #architecture #automation #component #composition #framework #named
- DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures (JC, EP), pp. 388–404.
- SAC-2011-OuederniSP #interactive #protocol
- Measuring the compatibility of service interaction protocols (MO, GS, EP), pp. 1560–1567.
- ICSE-2009-CamaraMSCOCP #adaptation #automation #composition #named #web #web service
- ITACA: An integrated toolbox for the automatic composition and adaptation of Web services (JC, JAM, GS, JC, MO, CC, EP), pp. 627–630.
- QAPL-2004-AlpuenteGPV05 #model checking #source code
- Abstract Model Checking of tccp programs (MA, MdMG, EP, AV), pp. 19–36.
- CSL-2002-HodasLPSP #logic programming #proving #resource management
- A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming (JSH, PL, JP, LS, EP), pp. 167–182.
- SAS-2002-GallardoMP #ltl #model checking #refinement
- Refinement of LTL Formulas for Abstract Model Checking (MdMG, PM, EP), pp. 395–410.
- TOOLS-ASIA-1999-KatribFP #java #thread #using
- Synchronizing Java Threads Using Assertions (MK, DF, EP), pp. 51–60.
- WICSA-1999-CanalPT #architecture #refinement #specification
- Specification and Refinement of Dynamic Software Architectures (CC, EP, JMT), pp. 107–126.
- ICLP-1997-MolinaP #composition #functional #logic programming
- Modularity in Functional-Logic Programming (JMMB, EP), pp. 183–197.
- TOOLS-EUROPE-1994-Carrillo-CastellonMP #smalltalk
- Eiffel-like Assertions and Private Methods in Smalltalk (MCC, JGM, EP), pp. 479–488.
- ILPS-1993-Pimentel #concurrent #logic #object-oriented
- L2||O2: A Concurrent Object-oriented Logic Language (EP), p. 665.
- ECSA-2016-BrogiCCDNGPPS #architecture #multi #named
- SeaClouds: An Open Reference Architecture for Multi-cloud Governance (AB, JC, JC, FD, EDN, MG, DP, EP, JS), pp. 334–338.