IRIS

BENERECETTI, MASSIMO

BENERECETTI, MASSIMO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 81 (tempo di esecuzione: 0.046 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
TPMC: A Model Checker for Time-Sensitive Security Protocols 4.1 Articoli in Atti di convegno 2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
VALIDATION OF MULTIAGENT SYSTEMS BY SYMBOLIC MODEL CHECKING. IN F. GIUNCHIGLIA, J. ODELL, G. WEISS (EDS.): AGENT-ORIENTED SOFTWARE ENGINEERING III 2.1 Contributo in volume (Capitolo o Saggio) 2002 Benerecetti, Massimo; A., Cimatti
A LOGIC OF BELIEF AND TIME FOR MODEL CHECKING THE SSL/TLS INTERNET PROTOCOL 4.1 Articoli in Atti di convegno 2002 Benerecetti, Massimo; M., Panti; L., Spalazzi; S., Tacconi
Abstraction Refinement of Linear Programs with Arrays 4.1 Articoli in Atti di convegno 2007 Armando, A; Benerecetti, Massimo; Mantovani, J.
Model Checking Linear Programs with Arrays 4.1 Articoli in Atti di convegno 2005 Armando, A; Benerecetti, Massimo; Mantovani, J.
Modeling and using context 7.1 Curatore o Editor di Libri Scientifici 1999 P., Bouquet; L., Serafini; P., Brézillion; Benerecetti, Massimo; F. C. a. s. t. e. l. l. a. n., I.
Timed protocols insecurity problem is NP-complete 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano
Validation of multiagent systems by symbolic model checking 4.1 Articoli in Atti di convegno 2003 Benerecetti, Massimo; Alessandro, Cimatti
Model Checking Multiagent Systems 1.1 Articolo in rivista 1998 Benerecetti, Massimo; Giunchiglia, F.
Distributed Context-aware Systems 1.1 Articolo in rivista 2001 Benerecetti, Massimo; Bouquet, P.; Bonifacio, M.
Soundness of Schema Matching Methods 4.1 Articoli in Atti di convegno 2005 Benerecetti, Massimo; Bouquet, P. ZANOBINI S.
Substructure Temporal Logic 4.1 Articoli in Atti di convegno 2013 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
Verification of Payment Protocols via Multi-Agent Model Checking 4.1 Articoli in Atti di convegno 2002 Benerecetti, Massimo; Panti, M.; Spalazzi, L.; Tacconi, S.
Integrazione di tecniche di astrazione e model checking per la verifica di sistemi a stati infiniti e sistemi aperti. 8.07 Progetti di Ricerca Finanziati 2008 Benerecetti, Massimo
Verso una logica cognitiva per i linguaggi indicali 1.1 Articolo in rivista 2004 Benerecetti, Massimo; Bouquet, P; Zanobini, S.
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective 4.1 Articoli in Atti di convegno 2001 Benerecetti, Massimo; Paolo, Bouquet; Chiara, Ghidini
The Eureka Tool for Software Model Checking 4.1 Articoli in Atti di convegno 2007 Armando, A; Benerecetti, Massimo; Carotenuto, D; Mantovani, J; Spica, P.
Analysis of Timed Recursive State Machines 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; S., Minopoli; Peron, Adriano
VERIFICATION OF THE SSL/TLS PROTOCOL USING A MODEL CHECKABLE LOGIC OF BELIEF AND TIME 4.1 Articoli in Atti di convegno 2002 Benerecetti, Massimo; M., Panti; L., Spalazzi; S., Tacconi
Formalizing Belief Reports. The approach and a Case Study 4.1 Articoli in Atti di convegno 1998 Benerecetti, Massimo; P., Bouquet; C., Ghidini