IRIS

BENERECETTI, MASSIMO

BENERECETTI, MASSIMO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 81 (tempo di esecuzione: 0.042 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
The Dimensions Of Context Dependence 2.1 Contributo in volume (Capitolo o Saggio) 2008 Benerecetti, Massimo; P., Bouquet; C., Ghidini
Abstraction Refinement of Linear Programs with Arrays 4.1 Articoli in Atti di convegno 2007 Armando, A; Benerecetti, Massimo; Mantovani, J.
Contextual Reasoning Distilled 1.1 Articolo in rivista 2000 Benerecetti, Massimo; Bouquet, P.; Ghidini, C.
Validation of Multiagent Systems by Symbolic Model Checking 4.1 Articoli in Atti di convegno 2003 Benerecetti, Massimo; Cimatti, A.
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.
Counterexample-guided abstraction refinement for linear programs with arrays 1.1 Articolo in rivista 2013 Alessandro, Armando; Benerecetti, Massimo; Jacopo, Mantovani
Tracking differentiable trajectories across polyhedra boundaries 4.1 Articoli in Atti di convegno 2013 Benerecetti, Massimo; Faella, Marco
Revisiting synthesis of switching controllers for Linear Hybrid systems 4.1 Articoli in Atti di convegno 2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Model Checking-Based Analysis of Multiagent Systems 4.1 Articoli in Atti di convegno 2001 Benerecetti, Massimo; Fausto, Giunchiglia
Verso una logica cognitiva per i linguaggi indicali 1.1 Articolo in rivista 2004 Benerecetti, Massimo; Bouquet, P; Zanobini, S.
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.
Verifica automatica dei protocolli di sicurezza per Internet 8.07 Progetti di Ricerca Finanziati 2004 Benerecetti, Massimo
Timed protocols insecurity problem is NP-complete 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
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.
METAFOL: Program Tactics and Logic Tactics plus Reflection 1.1 Articolo in rivista 1996 Benerecetti, Massimo; Spalazzi, L.
SOUNDNESS OF SCHEMA MATCHING METHODS 4.1 Articoli in Atti di convegno 2005 Benerecetti, Massimo; P., Bouquet; S., Zanobini
Towards Efficient Exact Synthesis for Linear Hybrid Systems 4.1 Articoli in Atti di convegno 2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano