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 × Cyprus
1 × Germany
1 × Greece
1 × Hungary
1 × Spain
1 × Switzerland
1 × United Kingdom
2 × The Netherlands
3 × Portugal
5 × Italy
Collaborated with:
R.D.Nicola F.Tiezzi D.Gorla M.Boreale M.Loreti A.Lapadula E.Tronci L.Bettini G.L.Ferrari A.Fantechi S.Gnesi F.Mazzanti N.Yoshida P.Crescenzi E.Moggi E.Gjondrekaj L.Cesari
Talks about:
observ (4) process (3) languag (3) global (3) comput (3) model (3) asynchron (2) calculus (2) program (2) control (2)

Person: Rosario Pugliese

DBLP DBLP: Pugliese:Rosario

Contributed to:

SAC 20122012
SAC 20102010
ICALP (2) 20092009
FASE 20082008
ESOP 20072007
ITiCSE 20062006
ICALP 20052005
SAC 20042004
ICALP 20032003
SAC 20022002
SAIG 20012001
SAC 20002000
FoSSaCS 19991999
LICS 19991999
FM-Trends 19981998
FoSSaCS 19981998
ICALP 19971997
FME 19961996

Wrote 19 papers:

SAC-2012-GjondrekajLPT #adaptation #coordination #modelling
Modeling adaptation with a tuple-based coordination language (EG, ML, RP, FT), pp. 1522–1527.
SAC-2010-CesariLPT #agile #development
A tool for rapid development of WS-BPEL applications (LC, AL, RP, FT), pp. 2438–2442.
ICALP-v2-2009-PuglieseTY #on the
On Observing Dynamic Prioritised Actions in SOC (RP, FT, NY), pp. 558–570.
FASE-2008-FantechiGLMPT #approach #model checking #specification #verification
A Model Checking Approach for Verifying COWS Specifications (AF, SG, AL, FM, RP, FT), pp. 230–245.
ESOP-2007-LapadulaPT #calculus #distributed #web #web service
A Calculus for Orchestration of Web Services (AL, RP, FT), pp. 33–47.
ITiCSE-2006-CrescenziLP #experience #java
Assessing CS1 java skills: a three-year experience (PC, ML, RP), p. 348.
ICALP-2005-NicolaGP #calculus
Basic Observables for a Calculus for Global Computing (RDN, DG, RP), pp. 1226–1238.
SAC-2004-GorlaP #data flow
Controlling data movement in global computing applications (DG, RP), pp. 1462–1467.
ICALP-2003-GorlaP #resource management
Resource Access and Mobility Control with Dynamic Privileges Acquisition (DG, RP), pp. 119–132.
SAC-2002-BettiniLP #framework
An infrastructure language for open nets (LB, ML, RP), pp. 373–377.
SAIG-2001-FerrariMP #metaprogramming #named
MetaKlaim: Meta-programming for Global Computing (GLF, EM, RP), pp. 183–198.
Structured Nets in KLAIM (LB, ML, RP), pp. 174–180.
FoSSaCS-1999-BorealeNP #formal method #testing
A Theory of “May” Testing for Asynchronous Languages (MB, RDN, RP), pp. 165–179.
LICS-1999-BorealeNP #encryption #process #proving
Proof Techniques for Cryptographic Processes (MB, RDN, RP), pp. 157–166.
FM-1998-FantechiGMPT #model checking
A Symbolic Model Checker for ACTL (AF, SG, FM, RP, ET), pp. 228–242.
FoSSaCS-1998-BorealeNP #process
Asynchronous Observations of Processes (MB, RDN, RP), pp. 95–109.
ICALP-1997-BorealeNP #process
Basic Observables for Processes (MB, RDN, RP), pp. 482–492.
FME-1996-PuglieseT #automation #verification
Automatic Verification of a Hydroelectric Power Plant (RP, ET), pp. 425–444.
TAPSOFT-1997-NicolaFP #locality #programming
Locality Based Linda: Programming with Explicit Localities (RDN, GLF, RP), pp. 712–726.

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.