Riccardo Traverso

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 5

Top Topics

Action Language

Pspace Complete

Dynamic Analysis

Top Venues

Fundam. Informaticae

Int. J. Softw. Tools Technol. Transf.

Publications

Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
Parameterized verification of time-sensitive models of ad hoc network protocols. Theor. Comput. Sci. 612 (2016)
Konrad S. Wrona, Sander Oudkerk, Alessandro Armando, Silvio Ranise, Riccardo Traverso, Lisa Ferrari, Richard McEvoy
Assisted content-based labelling and classification of documents. ICMCIS (2016)
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso
Adding Data Registers to Parameterized Networks with Broadcast. Fundam. Informaticae 143 (3-4) (2016)
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies. ABAC@CODASPY (2016)
Silvio Ranise, Anh Tuan Truong, Riccardo Traverso
Parameterized model checking for security policy analysis. Int. J. Softw. Tools Technol. Transf. 18 (5) (2016)
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
Compiling NATO authorization policies for enforcement in the cloud and SDNs. CNS (2015)
Alessandro Armando, Gianluca Bocci, Gabriele Costa, Rocco Mammoliti, Alessio Merlo, Silvio Ranise, Riccardo Traverso, Andrea Valenza
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module. MIST@CCS (2015)
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies. SACMAT (2015)
Silvio Ranise, Riccardo Traverso
ALPS: An Action Language for Policy Specification and Automated Safety Analysis. STM (2014)
Giorgio Delzanno, Arend Rensink, Riccardo Traverso
Graph- versus Vector-Based Analysis of a Consensus Protocol. GRAPHITE (2014)
Giorgio Delzanno, Michele Tatarek, Riccardo Traverso
Model Checking Paxos in Spin. GandALF (2014)
Giorgio Delzanno, Riccardo Traverso
Specification and Validation of Link Reversal Routing via Graph Transformations. SPIN (2013)
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso
Parameterized Verification of Broadcast Networks of Register Automata. RP (2013)
Giorgio Delzanno, Riccardo Traverso
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. LATA (2013)
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks CoRR (2012)
Alessandro Solimando, Riccardo Traverso
Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper). DALT (2012)
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. FSTTCS (2012)
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
On the Verification of Timed Ad Hoc Networks. FORMATS (2011)