IRIS

BENERECETTI, MASSIMO

BENERECETTI, MASSIMO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 81 (tempo di esecuzione: 0.03 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
TPMC: A model checker for time–sensitive security protocols 1.1 Articolo in rivista 2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
TPMC: A Model Checker for Time-Sensitive Security Protocols 4.1 Articoli in Atti di convegno 2007 Benerecetti, Massimo; Cuomo, N; 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
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.
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.
Validation of Multiagent Systems by Symbolic Model Checking 4.1 Articoli in Atti di convegno 2003 Benerecetti, Massimo; Cimatti, A.
Sondness and completeness of semantic-based methods for schema matching 4.1 Articoli in Atti di convegno 2004 Benerecetti, Massimo; P., Bouquet; S., Zanobini
The Dimensions Of Context Dependence 2.1 Contributo in volume (Capitolo o Saggio) 2008 Benerecetti, Massimo; P., Bouquet; C., Ghidini
Revisiting synthesis of switching controllers for Linear Hybrid systems 4.1 Articoli in Atti di convegno 2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Abstraction Refinement of Linear Programs with Arrays 4.1 Articoli in Atti di convegno 2007 Armando, A; Benerecetti, Massimo; Mantovani, J.
Formal specification of beliefs in multi-agent systems 1.1 Articolo in rivista 1999 Benerecetti, Massimo; Giunchiglia, E.; Serafini, L.; Villafiorita, A.
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 1.1 Articolo in rivista 2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Soundness of Schema Matching Methods 4.1 Articoli in Atti di convegno 2005 Benerecetti, Massimo; Bouquet, P. ZANOBINI S.
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
Model Checking Linear Programs with Arrays 1.1 Articolo in rivista 2006 Alessandro, Armando; Benerecetti, Massimo; Jacopo, Mantovani
Timed HLPSL for specification and verification of time sensitive protocols 4.1 Articoli in Atti di convegno 2006 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
A Logic of Belief and a Model Checking Algorithm for Security Protocols 4.1 Articoli in Atti di convegno 2000 Benerecetti, Massimo; Giunchiglia, F.
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
Automatic synthesis of switching controllers for linear hybrid systems: Safety control 1.1 Articolo in rivista 2013 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano