Travelled to:1 × Hungary
1 × Portugal
1 × Switzerland
Collaborated with:R.Pugliese F.Tiezzi L.Cesari A.Fantechi S.Gnesi F.Mazzanti
Talks about:orchestr (1) calculus (1) approach (1) develop (1) verifi (1) specif (1) servic (1) applic (1) rapid (1) model (1)
Person: Alessandro Lapadula
DBLP: Lapadula:Alessandro
Contributed to:
2010
2008
2007Wrote 3 papers:
- SAC-2010-CesariLPT #agile #development
- A tool for rapid development of WS-BPEL applications (LC, AL, RP, FT), pp. 2438–2442.
- 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.