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