Travelled to:1 × Canada
1 × India
1 × Israel
2 × France
Collaborated with:M.Pistore A.Marconi A.Cimatti A.Fuxman J.Mylopoulos P.L.Pieraccini R.Sebastiani A.Villafiorita F.Giunchiglia P.Pecchiari B.Pietra J.Profeta D.Romano B.Yu
Talks about:specif (2) servic (2) requir (2) protocol (1) composit (1) communic (1) specifi (1) softwar (1) provabl (1) correct (1)
Person: Paolo Traverso
DBLP: Traverso:Paolo
Facilitated 1 volumes:
EdContributed to:
2007
2006
20011999
1997Wrote 5 papers:
- ICSM-2007-TraversoP #exclamation
- Agree or Change! Making Services Evolve (PT, MP), pp. 2–3.
- SEFM-2006-MarconiPT #automation #composition #data flow #requirements #specification #web #web service
- Specifying Data-Flow Requirements for the Automated Composition of Web Services (AM, MP, PT), pp. 147–156.
- RE-2001-FuxmanMPT #model checking #requirements #specification
- Model Checking Early Requirements Specifications in Tropos (AF, JM, MP, PT), pp. 174–181.
- FM-v2-1999-CimattiPSTV #communication #protocol #specification #validation
- Formal Specification and Validation of a Vital Communication Protocol (AC, PLP, RS, PT, AV), pp. 1584–1604.
- CAV-1997-CimattiGPPPRTY #certification #embedded #safety #verification
- A Provably Correct Embedded Verifier for the Certification of Safety Critical Software (AC, FG, PP, BP, JP, DR, PT, BY), pp. 202–213.