BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pimentel:Ernesto

Contributed to:

FASE 20142014
ECSA 20112011
SAC 20112011
ICSE 20092009
QAPL 20042005
CSL 20022002
SAS 20022002
TOOLS Asia 19991999
WICSA 19991999
ICLP 19971997
TOOLS Europe 19941994
ILPS 19931993
ECSA 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.