On the Verification of Timed Ad Hoc Networks. - Parosh Aziz Abdulla; Giorgio Delzanno; Othmane Rezine; Arnaud Sangnier; Riccardo Traverso (FORMATS, 2011)

Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper). - Alessandro Solimando; Riccardo Traverso (DALT, 2012)

On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. - Giorgio Delzanno; Arnaud Sangnier; Riccardo Traverso; Gianluigi Zavattaro (FSTTCS, 2012)

The Cost of Parameterized Reachability in Mobile Ad Hoc Networks - Giorgio Delzanno; Arnaud Sangnier; Riccardo Traverso; Gianluigi Zavattaro (CoRR, 2012)

Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. - Giorgio Delzanno; Riccardo Traverso (LATA, 2013)

Parameterized Verification of Broadcast Networks of Register Automata. - Giorgio Delzanno; Arnaud Sangnier; Riccardo Traverso (RP, 2013)

Specification and Validation of Link Reversal Routing via Graph Transformations. - Giorgio Delzanno; Riccardo Traverso (SPIN, 2013)

ALPS: An Action Language for Policy Specification and Automated Safety Analysis. - Silvio Ranise; Riccardo Traverso (STM, 2014)

Graph- versus Vector-Based Analysis of a Consensus Protocol. - Giorgio Delzanno; Arend Rensink; Riccardo Traverso (GRAPHITE, 2014)

Model Checking Paxos in Spin. - Giorgio Delzanno; Michele Tatarek; Riccardo Traverso (GandALF, 2014)

Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module. - Alessandro Armando; Gianluca Bocci; Gabriele Costa 001; Rocco Mammoliti; Alessio Merlo; Silvio Ranise; Riccardo Traverso; Andrea Valenza (MIST@CCS, 2015)

Compiling NATO authorization policies for enforcement in the cloud and SDNs. - Alessandro Armando; Silvio Ranise; Riccardo Traverso; Konrad S. Wrona (CNS, 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 (SACMAT, 2015)

SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies. - Alessandro Armando; Silvio Ranise; Riccardo Traverso; Konrad S. Wrona (ABAC@CODASPY, 2016)

Assisted content-based labelling and classification of documents. - Konrad S. Wrona; Sander Oudkerk; Alessandro Armando; Silvio Ranise; Riccardo Traverso; Lisa Ferrari; Richard McEvoy (ICMCIS, 2016)

Adding Data Registers to Parameterized Networks with Broadcast. - Giorgio Delzanno; Arnaud Sangnier; Riccardo Traverso (Fundam. Informaticae, 2016)

Parameterized model checking for security policy analysis. - Silvio Ranise; Anh Tuan Truong; Riccardo Traverso (Int. J. Softw. Tools Technol. Transf., 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)