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
TPMC: A Model Checker for Time-Sensitive Security Protocols
2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
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
Model Checking Security Protocols Using a Logic of Belief
2000 Benerecetti, Massimo; Giunchiglia, F.
Timed protocols insecurity problem is NP-complete
2010 Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano
Reachability games for linear hybrid systems.
2012 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Validation of multiagent systems by symbolic model checking
2003 Benerecetti, Massimo; Alessandro, Cimatti
Formalizing Belief Reports. The approach and a Case Study
1998 Benerecetti, Massimo; P., Bouquet; C., Ghidini
Automatic synthesis of switching controllers for linear hybrid systems: Safety control
2013 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Abstraction Refinement of Linear Programs with Arrays
2007 Armando, A; Benerecetti, Massimo; Mantovani, J.
Contextual Reasoning Distilled
2000 Benerecetti, Massimo; Bouquet, P.; Ghidini, C.
Model Checking-Based Analysis of Multiagent Systems
2001 Benerecetti, Massimo; Fausto, Giunchiglia
Verifica automatica dei protocolli di sicurezza per Internet
2004 Benerecetti, Massimo
Verso una logica cognitiva per i linguaggi indicali
2004 Benerecetti, Massimo; Bouquet, P; Zanobini, S.
A Logic of Belief and a Model Checking Algorithm for Security Protocols
2000 Benerecetti, Massimo; Giunchiglia, F.
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
Soundness of Schema Matching Methods
2005 Benerecetti, Massimo; Bouquet, P. ZANOBINI S.
Analysis of Timed Recursive State Machines
2010 Benerecetti, Massimo; S., Minopoli; Peron, Adriano
Timed protocol insecurity problem is NP-complete
2013 Benerecetti, Massimo; Peron, Adriano
| 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 | |
| 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 | |
| Model Checking Security Protocols Using a Logic of Belief | 4.1 Articoli in Atti di convegno | 2000 | Benerecetti, Massimo; Giunchiglia, F. | |
| Timed protocols insecurity problem is NP-complete | 4.1 Articoli in Atti di convegno | 2010 | Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano | |
| Reachability games for linear hybrid systems. | 4.1 Articoli in Atti di convegno | 2012 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
| Validation of multiagent systems by symbolic model checking | 4.1 Articoli in Atti di convegno | 2003 | Benerecetti, Massimo; Alessandro, Cimatti | |
| Formalizing Belief Reports. The approach and a Case Study | 4.1 Articoli in Atti di convegno | 1998 | Benerecetti, Massimo; P., Bouquet; C., Ghidini | |
| Automatic synthesis of switching controllers for linear hybrid systems: Safety control | 1.1 Articolo in rivista | 2013 | 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. | |
| Contextual Reasoning Distilled | 1.1 Articolo in rivista | 2000 | Benerecetti, Massimo; Bouquet, P.; Ghidini, C. | |
| Model Checking-Based Analysis of Multiagent Systems | 4.1 Articoli in Atti di convegno | 2001 | Benerecetti, Massimo; Fausto, Giunchiglia | |
| Verifica automatica dei protocolli di sicurezza per Internet | 8.07 Progetti di Ricerca Finanziati | 2004 | Benerecetti, Massimo | |
| 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. | |
| 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. | |
| Analysis of Timed Recursive State Machines | 4.1 Articoli in Atti di convegno | 2010 | Benerecetti, Massimo; S., Minopoli; Peron, Adriano | |
| Timed protocol insecurity problem is NP-complete | 1.1 Articolo in rivista | 2013 | Benerecetti, Massimo; Peron, Adriano |