BENERECETTI, MASSIMO

BENERECETTI, MASSIMO  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 68 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) File
A Logic of Belief and a Model Checking Algorithm for Security Protocols 1-gen-2000 Benerecetti, Massimo; Giunchiglia, F.
A LOGIC OF BELIEF AND TIME FOR MODEL CHECKING THE SSL/TLS INTERNET PROTOCOL 1-gen-2002 Benerecetti, Massimo; M., Panti; L., Spalazzi; S., Tacconi
Abstraction Refinement of Linear Programs with Arrays 1-gen-2007 Armando, A; Benerecetti, Massimo; Mantovani, J.
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 1-gen-2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Analysis of Timed Recursive State Machines 1-gen-2010 Benerecetti, Massimo; S., Minopoli; Peron, Adriano
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control 1-gen-2017 Benerecetti, Massimo; Faella, Marco
Automatic synthesis of switching controllers for linear hybrid systems: Safety control 1-gen-2013 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Contextual Reasoning Distilled 1-gen-2000 Benerecetti, Massimo; Bouquet, P.; Ghidini, C.
Counterexample-guided abstraction refinement for linear programs with arrays 1-gen-2013 Alessandro, Armando; Benerecetti, Massimo; Jacopo, Mantovani
A delayed promotion policy for parity games 1-gen-2018 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
A Delayed Promotion Policy for Parity Games 1-gen-2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
A distributed architecture to integrate ontological knowledge into information extraction 1-gen-2016 Alicante, Anita; Benerecetti, Massimo; Corazza, Anna; Silvestri, Stefano
Distributed Context-aware Systems 1-gen-2001 Benerecetti, Massimo; Bouquet, P.; Bonifacio, M.
A Distributed Information Extraction System Integrating Ontological Knowledge and Probabilistic Classifiers 1-gen-2014 Anita, Alicante; Benerecetti, Massimo; Corazza, Anna; Stefano, Silvestri
Dynamic State Machines for Formalizing Railway Control System Specifications 1-gen-2015 Nardone, Roberto; Gentile, Ugo; Peron, Adriano; Benerecetti, Massimo; Vittorini, Valeria; Marrone, Stefano; De Guglielmo, Renato; Mazzocca, Nicola; Velardi, Luigi
Dynamic state machines for modelling railway control systems 1-gen-2017 Benerecetti, Massimo; DE GUGLIELMO, MARIA LUISA; Gentile, U.; Marrone, S.; Mazzocca, Nicola; Nardone, Roberto; Peron, Adriano; Velardi, L.; Vittorini, Valeria
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 1-gen-2021 Benerecetti, M.; Mogavero, F.; Peron, A.; Starace, L. L. L.
Formal specification of beliefs in multi-agent systems 1-gen-1997 Benerecetti, Massimo; Alessandro, Cimatti; Enrico, Giunchiglia; Fausto, Giunchiglia; Luciano, Serafini
Formal specification of beliefs in multi-agent systems 1-gen-1999 Benerecetti, Massimo; Giunchiglia, E.; Serafini, L.; Villafiorita, A.
Formalizing Belief Reports. The approach and a Case Study 1-gen-1998 Benerecetti, Massimo; P., Bouquet; C., Ghidini