Riccardo Traverso

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