|
Jacopo Mantovani
Publications : Papers, Reports, etc.
Journal Papers Conference Proceedings - A. Armando, M. Benerecetti, D. Carotenuto, J. Mantovani, P. Spica
The Eureka Tool for Software Model Checking,
In the proceedings of the 22nd IEEE/ACM ASE Conference, Atlanta, Georgia, USA.
[pdf] - A. Armando, M. Benerecetti, J. Mantovani,
Abstraction Refinement of Linear Programs with Arrays,
In the proceedings of the 13th TACAS Conference, Braga, Portugal.
LNCS 4424, Springer Verlag.
[pdf] - A. Armando, J. Mantovani, L. Platania
Bounded Model Checking of Software using SMT Solvers instead of SAT Solvers.
In the proceedings of the 13th SPIN workshop, Vienna (A).
LNCS 3925, Springer Verlag.
[pdf][ps][DBLP bibtex] - A. Armando, M. Benerecetti, J. Mantovani,
Model Checking Linear Programs with Arrays.
In the proceedings of SoftMC 2005 International Workshop on Software Model Checking, Edinburgh (UK)
ENTCS Volume 144, Issue 3
[pdf][DBLP bibtex] - A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, J. Cuellar, P. Hankes Drielsma, P.C. Heám, O. Kouchnarenko, J. Mantovani, S. Moedersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, L. Vigneron,
The Avispa Tool for the automated validation of internet security protocols and applications.
In Proceedings of CAV 2005, International Conference on Computer Aided Verification
LNCS 3576, Springer Verlag
[ps] [DBLP bibtex] - A. Armando, C. Castellini, J. Mantovani,
Software Model Checking using Linear Constraints.
ICFEM 2004, International Conference on Formal Engineering Methods, Seattle (USA)
LNCS Volume 3308, Springer Verlag.
[pdf][ps] [DBLP bibtex] - Y. Chevalier, L. Compagna, J. Cuellar, P. Hankes Drielsma, J. Mantovani, S. Moedersheim, L. Vigneron,
A High-Level Protocol Specification Language for Industrial Security-Sensitive Protocols.
In Proceedings of SAPS 2004, Workshop on Specification and Automated Processing of Security Requirements.
Oesterreichische Computer Gesellschaft (Austrian Computer Society), Volume 180 of the
This e-mail address is being protected from spam bots, you need JavaScript enabled to view it
series.
|
