BENERECETTI, MASSIMO

BENERECETTI, MASSIMO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 76 (tempo di esecuzione: 0.144 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Model Checking-Based Analysis of Multiagent Systems 4.1 Articoli in Atti di convegno 2001 Benerecetti, Massimo; Fausto, Giunchiglia
TPMC: A Model Checker for Time-Sensitive Security Protocols 4.1 Articoli in Atti di convegno 2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
TPMC: A model checker for time–sensitive security protocols 1.1 Articolo in rivista 2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Verifica automatica dei protocolli di sicurezza per Internet 8.07 Progetti di Ricerca Finanziati 2004 Benerecetti, Massimo
Model Checking Linear Programs with Arrays 4.1 Articoli in Atti di convegno 2005 Armando, A; Benerecetti, Massimo; Mantovani, J.
VERIFICATION OF PAYMENT PROTOCOLS VIA MULTIAGENT MODEL CHECKING 2.1 Contributo in volume (Capitolo o Saggio) 2006 Benerecetti, Massimo; M., Panti; L., Spalazzi; S., Tacconi
Sviluppo e valutazione di tecniche di model checking per la verifica del software 8.07 Progetti di Ricerca Finanziati 2003 Benerecetti, Massimo
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
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
Model Checking Linear Programs with Arrays 1.1 Articolo in rivista 2006 Alessandro, Armando; Benerecetti, Massimo; Jacopo, Mantovani
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; Panti, M.; Spalazzi, L.; Tacconi, S.
SOUNDNESS OF SCHEMA MATCHING METHODS 4.1 Articoli in Atti di convegno 2005 Benerecetti, Massimo; P., Bouquet; S., Zanobini
Contextual Reasoning Distilled 1.1 Articolo in rivista 2000 Benerecetti, Massimo; Bouquet, P.; Ghidini, C.
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.
Formal specification of beliefs in multi-agent systems 1.1 Articolo in rivista 1999 Benerecetti, Massimo; Giunchiglia, E.; Serafini, L.; Villafiorita, A.
Timed HLPSL for specification and verification of time sensitive protocols 4.1 Articoli in Atti di convegno 2006 Benerecetti, Massimo; N., Cuomo; Peron, Adriano
Timed HLPSL for specification and verification of time sensitive protocols 4.1 Articoli in Atti di convegno 2006 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Formal specification of beliefs in multi-agent systems 2.1 Contributo in volume (Capitolo o Saggio) 1997 Benerecetti, Massimo; Alessandro, Cimatti; Enrico, Giunchiglia; Fausto, Giunchiglia; Luciano, Serafini
The Dimensions Of Context Dependence 2.1 Contributo in volume (Capitolo o Saggio) 2008 Benerecetti, Massimo; P., Bouquet; C., Ghidini
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.