Travelled to:1 × Portugal
1 × Spain
2 × Italy
Collaborated with:M.Montali P.Mello ∅ M.Alberti M.Gavanelli E.Lamma F.M.Maggi P.Torroni
Talks about:verif (3) declar (2) constraint (1) framework (1) protocol (1) interact (1) program (1) toward (1) specif (1) servic (1)
Person: Federico Chesani
DBLP: Chesani:Federico
Contributed to:
2013
2008
20062005Wrote 4 papers:
- SAC-2013-MontaliCMM #constraints #towards
- Towards data-aware constraints in declare (MM, FC, PM, FMM), pp. 1391–1396.
- ICLP-2008-MontaliTACGLM #declarative #logic programming #specification #using #verification
- Verification from Declarative Specifications Using Logic Programming (MM, PT, MA, FC, MG, EL, PM), pp. 440–454.
- PPDP-2006-AlbertiGLCMM #abduction #framework #verification #web #web service
- An abductive framework for a-priori verification of web services (MA, MG, EL, FC, PM, MM), pp. 39–50.
- ICLP-2005-Chesani #formal method #interactive #protocol #verification
- Formalization and Verification of Interaction Protocols (FC), pp. 437–438.