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
Formal specification of beliefs in multi-agent systems
1999 Benerecetti, Massimo; Giunchiglia, E.; Serafini, L.; Villafiorita, A.
Model Checking Multiagent Systems
1998 Benerecetti, Massimo; Giunchiglia, F.
Distributed Context-aware Systems
2001 Benerecetti, Massimo; Bouquet, P.; Bonifacio, M.
SOUNDNESS OF SCHEMA MATCHING METHODS
2005 Benerecetti, Massimo; P., Bouquet; S., Zanobini
METAFOL: Program Tactics and Logic Tactics plus Reflection
1996 Benerecetti, Massimo; Spalazzi, L.
Formalizing Belief Reports. The approach and a Case Study
1998 Benerecetti, Massimo; P., Bouquet; C., Ghidini
Reachability games for linear hybrid systems.
2012 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Model Checking Linear Programs with Arrays
2006 Alessandro, Armando; Benerecetti, Massimo; Jacopo, Mantovani
Substructure Temporal Logic
2013 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; N., Cuomo; Peron, Adriano
Timed protocol insecurity problem is NP-complete
2013 Benerecetti, Massimo; Peron, Adriano
Towards Efficient Exact Synthesis for Linear Hybrid Systems
2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Contextual Reasoning Distilled
2000 Benerecetti, Massimo; Bouquet, P.; Ghidini, C.
Soundness of Schema Matching Methods
2005 Benerecetti, Massimo; Bouquet, P. ZANOBINI S.
TPMC: A model checker for time–sensitive security protocols
2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Verification of Payment Protocols via Multi-Agent Model Checking
2002 Benerecetti, Massimo; Panti, M.; Spalazzi, L.; Tacconi, S.
Analysis of Timed Recursive State Machines
2010 Benerecetti, Massimo; S., Minopoli; Peron, Adriano
Timed protocols insecurity problem is NP-complete
2010 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
| 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 | |
| Formal specification of beliefs in multi-agent systems | 1.1 Articolo in rivista | 1999 | Benerecetti, Massimo; Giunchiglia, E.; Serafini, L.; Villafiorita, A. | |
| Model Checking Multiagent Systems | 1.1 Articolo in rivista | 1998 | Benerecetti, Massimo; Giunchiglia, F. | |
| Distributed Context-aware Systems | 1.1 Articolo in rivista | 2001 | Benerecetti, Massimo; Bouquet, P.; Bonifacio, M. | |
| SOUNDNESS OF SCHEMA MATCHING METHODS | 4.1 Articoli in Atti di convegno | 2005 | Benerecetti, Massimo; P., Bouquet; S., Zanobini | |
| METAFOL: Program Tactics and Logic Tactics plus Reflection | 1.1 Articolo in rivista | 1996 | Benerecetti, Massimo; Spalazzi, L. | |
| Formalizing Belief Reports. The approach and a Case Study | 4.1 Articoli in Atti di convegno | 1998 | Benerecetti, Massimo; P., Bouquet; C., Ghidini | |
| Reachability games for linear hybrid systems. | 4.1 Articoli in Atti di convegno | 2012 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
| Model Checking Linear Programs with Arrays | 1.1 Articolo in rivista | 2006 | Alessandro, Armando; Benerecetti, Massimo; Jacopo, Mantovani | |
| Substructure Temporal Logic | 4.1 Articoli in Atti di convegno | 2013 | Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello | |
| 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 HLPSL for specification and verification of time sensitive protocols | 4.1 Articoli in Atti di convegno | 2006 | Benerecetti, Massimo; N., Cuomo; Peron, Adriano | |
| Timed protocol insecurity problem is NP-complete | 1.1 Articolo in rivista | 2013 | Benerecetti, Massimo; Peron, Adriano | |
| Towards Efficient Exact Synthesis for Linear Hybrid Systems | 4.1 Articoli in Atti di convegno | 2011 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
| Contextual Reasoning Distilled | 1.1 Articolo in rivista | 2000 | Benerecetti, Massimo; Bouquet, P.; Ghidini, C. | |
| Soundness of Schema Matching Methods | 4.1 Articoli in Atti di convegno | 2005 | Benerecetti, Massimo; Bouquet, P. ZANOBINI S. | |
| TPMC: A model checker for time–sensitive security protocols | 1.1 Articolo in rivista | 2009 | Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano | |
| 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. | |
| Analysis of Timed Recursive State Machines | 4.1 Articoli in Atti di convegno | 2010 | Benerecetti, Massimo; S., Minopoli; Peron, Adriano | |
| Timed protocols insecurity problem is NP-complete | 4.1 Articoli in Atti di convegno | 2010 | Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano |