BENERECETTI, MASSIMO
BENERECETTI, MASSIMO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
TPMC: A model checker for time–sensitive security protocols
2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Model Checking-Based Analysis of Multiagent Systems
2001 Benerecetti, Massimo; Fausto, Giunchiglia
TPMC: A Model Checker for Time-Sensitive Security Protocols
2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
Formal specification of beliefs in multi-agent systems
1997 Benerecetti, Massimo; Alessandro, Cimatti; Enrico, Giunchiglia; Fausto, Giunchiglia; Luciano, Serafini
Modeling and using context
1999 P., Bouquet; L., Serafini; P., Brézillion; Benerecetti, Massimo; F. C. a. s. t. e. l. l. a. n., I.
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
Verifica automatica dei protocolli di sicurezza per Internet
2004 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.
SOUNDNESS OF SCHEMA MATCHING METHODS
2005 Benerecetti, Massimo; P., Bouquet; S., Zanobini
The Eureka Tool for Software Model Checking
2007 Armando, A; Benerecetti, Massimo; Carotenuto, D; Mantovani, J; Spica, P.
Verification of Payment Protocols via Multi-Agent Model Checking
2002 Benerecetti, Massimo; Panti, M.; Spalazzi, L.; Tacconi, S.
Sondness and completeness of semantic-based methods for schema matching
2004 Benerecetti, Massimo; P., Bouquet; S., Zanobini
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications
2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
VALIDATION OF MULTIAGENT SYSTEMS BY SYMBOLIC MODEL CHECKING. IN F. GIUNCHIGLIA, J. ODELL, G. WEISS (EDS.): AGENT-ORIENTED SOFTWARE ENGINEERING III
2002 Benerecetti, Massimo; A., Cimatti
A LOGIC OF BELIEF AND TIME FOR MODEL CHECKING THE SSL/TLS INTERNET PROTOCOL
2002 Benerecetti, Massimo; M., Panti; L., Spalazzi; S., Tacconi
The Dimensions Of Context Dependence
2008 Benerecetti, Massimo; P., Bouquet; C., Ghidini
Verso una logica cognitiva per i linguaggi indicali
2004 Benerecetti, Massimo; Bouquet, P; Zanobini, S.
VERIFICATION OF PAYMENT PROTOCOLS VIA MULTIAGENT MODEL CHECKING
2006 Benerecetti, Massimo; M., Panti; L., Spalazzi; S., Tacconi
| 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 | |
| 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 | |
| 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. | |
| 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 | |
| Verifica automatica dei protocolli di sicurezza per Internet | 8.07 Progetti di Ricerca Finanziati | 2004 | 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. | |
| SOUNDNESS OF SCHEMA MATCHING METHODS | 4.1 Articoli in Atti di convegno | 2005 | Benerecetti, Massimo; P., Bouquet; S., Zanobini | |
| 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 Payment Protocols via Multi-Agent Model Checking | 4.1 Articoli in Atti di convegno | 2002 | Benerecetti, Massimo; Panti, M.; Spalazzi, L.; Tacconi, S. | |
| Sondness and completeness of semantic-based methods for schema matching | 4.1 Articoli in Atti di convegno | 2004 | Benerecetti, Massimo; P., Bouquet; S., Zanobini | |
| 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 | |
| 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 | |
| The Dimensions Of Context Dependence | 2.1 Contributo in volume (Capitolo o Saggio) | 2008 | Benerecetti, Massimo; P., Bouquet; C., Ghidini | |
| Verso una logica cognitiva per i linguaggi indicali | 1.1 Articolo in rivista | 2004 | Benerecetti, Massimo; Bouquet, P; Zanobini, S. | |
| 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 |