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
Model Checking Linear Programs with Arrays
2005 Armando, A; Benerecetti, Massimo; Mantovani, J.
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.
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; N., Cuomo; Peron, Adriano
Model Checking Linear Programs with Arrays
2006 Alessandro, Armando; Benerecetti, Massimo; Jacopo, Mantovani
A LOGIC OF BELIEF AND TIME FOR MODEL CHECKING THE SSL/TLS INTERNET PROTOCOL
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
2002 Benerecetti, Massimo; A., Cimatti
VERIFICATION OF THE SSL/TLS PROTOCOL USING A MODEL CHECKABLE LOGIC OF BELIEF AND TIME
2002 Benerecetti, Massimo; M., Panti; L., Spalazzi; S., Tacconi
Verification of Payment Protocols via Multi-Agent Model Checking
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.
2008 Benerecetti, Massimo
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
Sviluppo e valutazione di tecniche di model checking per la verifica del software
2003 Benerecetti, Massimo
A Logic of Belief and a Model Checking Algorithm for Security Protocols
2000 Benerecetti, Massimo; Giunchiglia, F.
Towards Efficient Exact Synthesis for Linear Hybrid Systems
2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Timed protocols insecurity problem is NP-complete
2010 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Model Checking Multiagent Systems
1998 Benerecetti, Massimo; Giunchiglia, F.
Timed protocol insecurity problem is NP-complete
2013 Benerecetti, Massimo; Peron, Adriano
Validation of multiagent systems by symbolic model checking
2003 Benerecetti, Massimo; Alessandro, Cimatti
| 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 | |
| Model Checking Linear Programs with Arrays | 4.1 Articoli in Atti di convegno | 2005 | Armando, A; Benerecetti, Massimo; Mantovani, J. | |
| 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. | |
| Timed HLPSL for specification and verification of time sensitive protocols | 4.1 Articoli in Atti di convegno | 2006 | Benerecetti, Massimo; N., Cuomo; Peron, Adriano | |
| Model Checking Linear Programs with Arrays | 1.1 Articolo in rivista | 2006 | Alessandro, Armando; Benerecetti, Massimo; Jacopo, Mantovani | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 a Model Checking Algorithm for Security Protocols | 4.1 Articoli in Atti di convegno | 2000 | Benerecetti, Massimo; Giunchiglia, F. | |
| Towards Efficient Exact Synthesis for Linear Hybrid Systems | 4.1 Articoli in Atti di convegno | 2011 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
| Timed HLPSL for specification and verification of time sensitive protocols | 4.1 Articoli in Atti di convegno | 2006 | Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano | |
| Timed protocols insecurity problem is NP-complete | 4.1 Articoli in Atti di convegno | 2010 | Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano | |
| Model Checking Multiagent Systems | 1.1 Articolo in rivista | 1998 | Benerecetti, Massimo; Giunchiglia, F. | |
| Timed protocol insecurity problem is NP-complete | 1.1 Articolo in rivista | 2013 | Benerecetti, Massimo; Peron, Adriano | |
| Validation of multiagent systems by symbolic model checking | 4.1 Articoli in Atti di convegno | 2003 | Benerecetti, Massimo; Alessandro, Cimatti |