BENERECETTI, MASSIMO
BENERECETTI, MASSIMO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
TPMC: A Model Checker for Time-Sensitive Security Protocols
2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
Integrazione di tecniche di astrazione e model checking per la verifica di sistemi a stati infiniti e sistemi aperti.
2008 Benerecetti, Massimo
Verifica automatica dei protocolli di sicurezza per Internet
2004 Benerecetti, Massimo
Model Checking-Based Analysis of Multiagent Systems
2001 Benerecetti, Massimo; Fausto, Giunchiglia
A Logic of Belief and a Model Checking Algorithm for Security Protocols
2000 Benerecetti, Massimo; Giunchiglia, F.
Sviluppo e valutazione di tecniche di model checking per la verifica del software
2003 Benerecetti, Massimo
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; N., Cuomo; Peron, Adriano
METAFOL: Program Tactics and Logic Tactics plus Reflection
1996 Benerecetti, Massimo; Spalazzi, L.
Verification of Payment Protocols via Multi-Agent Model Checking
2002 Benerecetti, Massimo; Panti, M.; Spalazzi, L.; Tacconi, S.
Distributed Context-aware Systems
2001 Benerecetti, Massimo; Bouquet, P.; Bonifacio, M.
Model Checking Multiagent Systems
1998 Benerecetti, Massimo; Giunchiglia, F.
The Eureka Tool for Software Model Checking
2007 Armando, A; Benerecetti, Massimo; Carotenuto, D; Mantovani, J; Spica, P.
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time
2002 Benerecetti, Massimo; Panti, M.; Spalazzi, L.; Tacconi, S.
SOUNDNESS OF SCHEMA MATCHING METHODS
2005 Benerecetti, Massimo; P., Bouquet; S., Zanobini
Sondness and completeness of semantic-based methods for schema matching
2004 Benerecetti, Massimo; P., Bouquet; S., Zanobini
The Dimensions Of Context Dependence
2008 Benerecetti, Massimo; P., Bouquet; C., Ghidini
TPMC: A model checker for time–sensitive security protocols
2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Formal specification of beliefs in multi-agent systems
1997 Benerecetti, Massimo; Alessandro, Cimatti; Enrico, Giunchiglia; Fausto, Giunchiglia; Luciano, Serafini
Formal specification of beliefs in multi-agent systems
1999 Benerecetti, Massimo; Giunchiglia, E.; Serafini, L.; Villafiorita, A.
Revisiting synthesis of switching controllers for Linear Hybrid systems
2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
| 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 | |
| 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 | |
| Verifica automatica dei protocolli di sicurezza per Internet | 8.07 Progetti di Ricerca Finanziati | 2004 | Benerecetti, Massimo | |
| Model Checking-Based Analysis of Multiagent Systems | 4.1 Articoli in Atti di convegno | 2001 | Benerecetti, Massimo; Fausto, Giunchiglia | |
| A Logic of Belief and a Model Checking Algorithm for Security Protocols | 4.1 Articoli in Atti di convegno | 2000 | Benerecetti, Massimo; Giunchiglia, F. | |
| Sviluppo e valutazione di tecniche di model checking per la verifica del software | 8.07 Progetti di Ricerca Finanziati | 2003 | Benerecetti, Massimo | |
| Timed HLPSL for specification and verification of time sensitive protocols | 4.1 Articoli in Atti di convegno | 2006 | Benerecetti, Massimo; N., Cuomo; Peron, Adriano | |
| METAFOL: Program Tactics and Logic Tactics plus Reflection | 1.1 Articolo in rivista | 1996 | Benerecetti, Massimo; Spalazzi, L. | |
| 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. | |
| Distributed Context-aware Systems | 1.1 Articolo in rivista | 2001 | Benerecetti, Massimo; Bouquet, P.; Bonifacio, M. | |
| Model Checking Multiagent Systems | 1.1 Articolo in rivista | 1998 | Benerecetti, Massimo; Giunchiglia, F. | |
| 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. | |
| 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 | |
| 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 | |
| TPMC: A model checker for time–sensitive security protocols | 1.1 Articolo in rivista | 2009 | 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 | |
| Formal specification of beliefs in multi-agent systems | 1.1 Articolo in rivista | 1999 | Benerecetti, Massimo; Giunchiglia, E.; Serafini, L.; Villafiorita, A. | |
| Revisiting synthesis of switching controllers for Linear Hybrid systems | 4.1 Articoli in Atti di convegno | 2011 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano |