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 × Canada
1 × Germany
1 × Portugal
2 × USA
Collaborated with:
F.Mogavero A.Armando J.Mantovani F.Giunchiglia A.Murano D.Dell'Erba M.Panti L.Spalazzi S.Tacconi D.Carotenuto P.Spica
Talks about:
model (3) check (3) protocol (2) logic (2) substructur (1) prioriti (1) abstract (1) softwar (1) program (1) payment (1)

Person: Massimo Benerecetti

DBLP DBLP: Benerecetti:Massimo

Contributed to:

LICS 20132013
ASE 20072007
TACAS 20072007
CAiSE 20022002
TACAS 20002000
CAV (2) 20162016

Wrote 6 papers:

LICS-2013-BenerecettiMM #logic
Substructure Temporal Logic (MB, FM, AM), pp. 368–377.
ASE-2007-ArmandoBCMS #model checking
The eureka tool for software model checking (AA, MB, DC, JM, PS), pp. 541–542.
TACAS-2007-ArmandoBM #abstraction #array #linear #refinement #source code
Abstraction Refinement of Linear Programs with Arrays (AA, MB, JM), pp. 373–388.
CAiSE-2002-BenerecettiPST #model checking #multi #protocol #verification
Verification of Payment Protocols via MultiAgent Model Checking (MB, MP, LS, ST), pp. 311–327.
TACAS-2000-BenerecettiG #logic #model checking #protocol #security #using
Model Checking Security Protocols Using a Logic of Belief (MB, FG), pp. 519–534.
CAV-2016-BenerecettiDM #game studies
Solving Parity Games via Priority Promotion (MB, DD, FM), pp. 270–290.

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.