Riccardo Traverso

Riccardo Traverso

Ph.D. Student
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi
Fondazione Bruno Kessler (FBK), Trento

Address: Via Dodecaneso 35, 16146 Genova, Italy
Office: 309
Phone: +39 (010) 353 6710
E-mail: riccardo [dot] traverso [at] unige [dot] it

Teaching activities

Research interests

  • Automated Verification
  • (Symbolic) Model Checking
  • (In)Finite-State Systems
  • Parameterized Verification
  • Concurrent/Distributed Systems
  • Ad Hoc Networks
  • Artificial Intelligence
  • Programming Languages

Programmazione Concorrente e Algoritmi Distribuiti


International/National Conferences
  1. G. Delzanno, R. Traverso. Specification and Validation of Link Reversal Routing via Graph Transformations. In 20th International SPIN Symposium on Model Checking of Softwarevolume 7810 of Lecture Notes in Computer Science, pages 238–249, Springer, 2013. Manuscript in PDF. GROOVE model of the Gafni-Bertsekas LRR protocol: gafni-bertsekas-lrr.gps.
  2. G. Delzanno, R. Traverso. Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. In 7th International Conference on Language and Automata Theory and Applications (LATA), 2013.
    Technical Report here.
  3. G. Delzanno, A. Sangnier, R. Traverso, and G. Zavattaro. On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 18 of Leibniz International Proceedings in Informatics (LIPIcs), 2012.
    Technical Report HAL, Paris 7: hal-00740518.
  4. G. Delzanno and R. Traverso. A Formal Model of Asynchronous Broadcast Communication. In Italian Conference on Theoretical Computer Science, 2012.
  5. A. Solimando and R. Traverso. Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper). In Declarative Agent Languages and Technologies X, 10th International Workshop DALT 2012, volume 7784 of Lecture Notes in Artificial Intelligence, pages 203–207. Springer, 2013.
  6. P. Abdulla, G. Delzanno, O. Rezine, A. Sangnier, and R. Traverso. On the Verification of Timed Ad Hoc Networks. In Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, volume 6919 of Lecture Notes in Computer Science, pages 256–270. Springer, 2011.
    Technical Report here.
Technical reports
  1. G. Delzanno, A. Sangnier, R. Traverso. Parameterized Verification of Broadcast Networks of Register Automata (Technical Report), April 2013.
  2. G. Delzanno, R. Traverso. On the Coverability Problem for Asynchronous Broadcast Networks (Extended and Revised Version), November 2012.
  3. Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro: The Cost of Parameterized Reachability in Mobile Ad Hoc Networks. CoRR abs/1202.5850 (2012)
  4. P. Abdulla, G. Delzanno, O. Rezine, A. Sangnier, and R. Traverso. On the Verification of Timed Ad Hoc Networks DISI-TR-11-05. University of Genova (July 2011).

Comments are closed.