Travelled to:1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:A.Armando M.Benerecetti D.Carotenuto P.Spica D.A.Basin Y.Boichut Y.Chevalier L.Compagna J.Cuéllar P.H.Drielsma P.Héam O.Kouchnarenko S.Mödersheim D.v.Oheimb M.Rusinowitch J.Santiago M.Turuani L.Viganò L.Vigneron
Talks about:tool (2) protocol (1) internet (1) abstract (1) softwar (1) program (1) linear (1) eureka (1) avispa (1) applic (1)
Person: Jacopo Mantovani
DBLP: Mantovani:Jacopo
Contributed to:
2007
2007
2005Wrote 3 papers:
- 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.
- CAV-2005-ArmandoBBCCCDHKMMORSTVV #automation #internet #protocol #security #validation
- The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications (AA, DAB, YB, YC, LC, JC, PHD, PCH, OK, JM, SM, DvO, MR, JS, MT, LV, LV), pp. 281–285.