Riccardo Traverso

According to our database, Riccardo Traverso authored at least 18 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Parameterized verification of time-sensitive models of ad hoc network protocols.

Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso

Theor. Comput. Sci., 2016

Parameterized model checking for security policy analysis.

Silvio Ranise, Anh Tuan Truong, Riccardo Traverso

Int. J. Softw. Tools Technol. Transf., 2016

Adding Data Registers to Parameterized Networks with Broadcast.

Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso

Fundam. Informaticae, 2016

Assisted content-based labelling and classification of documents.

Konrad S. Wrona, Sander Oudkerk, Alessandro Armando, Silvio Ranise, Riccardo Traverso, Lisa Ferrari, Richard McEvoy

Proceedings of the International Conference on Military Communications and Information Systems, 2016

SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies.

Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona

Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control, 2016

2015

A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies.

Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona

Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015

Compiling NATO authorization policies for enforcement in the cloud and SDNs.

Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona

Proceedings of the 2015 IEEE Conference on Communications and Network Security, 2015

Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module.

Alessandro Armando, Gianluca Bocci, Gabriele Costa, Rocco Mammoliti, Alessio Merlo, Silvio Ranise, Riccardo Traverso, Andrea Valenza

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

2014

Model Checking Paxos in Spin.

Giorgio Delzanno, Michele Tatarek, Riccardo Traverso

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Graph- versus Vector-Based Analysis of a Consensus Protocol.

Giorgio Delzanno, Arend Rensink, Riccardo Traverso

Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

ALPS: An Action Language for Policy Specification and Automated Safety Analysis.

Silvio Ranise, Riccardo Traverso

Proceedings of the Security and Trust Management - 10th International Workshop, 2014

2013

Specification and Validation of Link Reversal Routing via Graph Transformations.

Giorgio Delzanno, Riccardo Traverso

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Parameterized Verification of Broadcast Networks of Register Automata.

Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso

Proceedings of the Reachability Problems - 7th International Workshop, 2013

Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks.

Giorgio Delzanno, Riccardo Traverso

Proceedings of the Language and Automata Theory and Applications, 2013

2012

The Cost of Parameterized Reachability in Mobile Ad Hoc Networks

Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro

CoRR, 2012

On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks.

Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper).

Alessandro Solimando, Riccardo Traverso

Proceedings of the Declarative Agent Languages and Technologies X, 2012

2011

On the Verification of Timed Ad Hoc Networks.

Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011