Travelled to:1 × France
1 × Italy
1 × USA
Collaborated with:F.Giunchiglia M.Bozzano A.Cavallo M.Cifaldi L.Valacca A.Cimatti P.L.Pieraccini R.Sebastiani P.Traverso
Talks about:protocol (1) industri (1) communic (1) abstract (1) complex (1) checker (1) system (1) specif (1) safeti (1) improv (1)
Person: Adolfo Villafiorita
DBLP: Villafiorita:Adolfo
Contributed to:
20031999
1996Wrote 3 papers:
- FME-2003-BozzanoCCVV #assessment #case study #industrial #safety
- Improving Safety Assessment of Complex Systems: An Industrial Case Study (MB, AC, MC, LV, AV), pp. 208–222.
- 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.
- CADE-1996-GiunchigliaV #abstraction #named #proving
- ABSFOL: A Proof Checker with Abstraction (FG, AV), pp. 136–140.