Traverso, Riccardo
Traverso, Riccardo
S&T Unit
A Formal Model of Asynchronous Broadcast Communication
2012-01-01 Delzanno, G.; Traverso, Riccardo
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
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, Silvio; Traverso, Riccardo
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, Riccardo
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, Riccardo
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
Specification and Validation of Link Reversal Routing via Graph Transformations
2013-01-01 Delzanno, G.; Traverso, Riccardo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Formal Model of Asynchronous Broadcast Communication | 1-gen-2012 | Delzanno, G.; Traverso, Riccardo | |
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 | |
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, Silvio; Traverso, Riccardo | |
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, Riccardo | |
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, Riccardo | |
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 | |
Specification and Validation of Link Reversal Routing via Graph Transformations | 1-gen-2013 | Delzanno, G.; Traverso, Riccardo |