Traverso, Riccardo

Traverso, Riccardo  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.013 secondi).
Titolo Data di pubblicazione Autore(i) File
A Formal Model of Asynchronous Broadcast Communication 1-gen-2012 Delzanno, G.; Traverso, Riccardo
Adding Data Registers to Parameterized Networks with Broadcast 1-gen-2016 Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo
ALPS: An Action Language for Policy Specification and Automated Safety Analysis 1-gen-2014 Ranise S.; Traverso R.
Compiling NATO authorization policies for enforcement in the cloud and SDNs 1-gen-2015 Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks 1-gen-2013 Delzanno, G.; Traverso, Riccardo
Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) 1-gen-2012 Solimando, A.; Traverso, Riccardo
Graph- versus Vector-Based Analysis of a Consensus Protocol 1-gen-2014 Delzanno G.; Rensink A.; Traverso R.
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 1-gen-2015 Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccardo; Valenza, Andrea
Model Checking Paxos in Spin 1-gen-2014 Delzanno G.; Tatarek M.; Traverso R.
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks 1-gen-2012 Delzanno, G.; Sangnier, A.; Traverso, Riccardo; Zavattaro, G.
On the Verification of Timed Ad Hoc Networks 1-gen-2011 Abdulla, P.; Delzanno, G.; Rezine, O.; Sangnier, A.; Traverso, Riccardo
Parameterized model checking for security policy analysis 1-gen-2016 Ranise, Silvio; Truong, Anh; Traverso, Riccardo
Parameterized Verification of Broadcast Networks of Register Automata 1-gen-2013 Delzanno, G.; Sangnier, A.; Traverso, Riccardo
Parameterized verification of time-sensitive models of ad hoc network protocols 1-gen-2016 Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies 1-gen-2016 Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 1-gen-2015 Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
Specification and Validation of Link Reversal Routing via Graph Transformations 1-gen-2013 Delzanno, G.; Traverso, Riccardo