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 × 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 DBLP: Chesani:Federico

Contributed to:

SAC 20132013
ICLP 20082008
PPDP 20062006
ICLP 20052005

Wrote 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.

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.