On the complexity of parameterized reachability in reconfigurable broadcast networks G Delzanno, A Sangnier, R Traverso, G Zavattaro | 62 | 2012 |
On the verification of timed ad hoc networks PA Abdulla, G Delzanno, O Rezine, A Sangnier, R Traverso Formal Modeling and Analysis of Timed Systems: 9th International Conference …, 2011 | 38 | 2011 |
Parameterized verification of broadcast networks of register automata G Delzanno, A Sangnier, R Traverso International Workshop on Reachability Problems, 109-121, 2013 | 34 | 2013 |
Model checking paxos in spin G Delzanno, M Tatarek, R Traverso arXiv preprint arXiv:1408.5962, 2014 | 22 | 2014 |
Assisted content-based labelling and classification of documents K Wrona, S Oudkerk, A Armando, S Ranise, R Traverso, L Ferrari, ... 2016 International Conference on Military Communications and Information …, 2016 | 17 | 2016 |
SMT-based enforcement and analysis of NATO content-based protection and release policies A Armando, S Ranise, R Traverso, K Wrona Proceedings of the 2016 ACM International Workshop on Attribute Based Access …, 2016 | 15 | 2016 |
Decidability and complexity results for verification of asynchronous broadcast networks G Delzanno, R Traverso Language and Automata Theory and Applications: 7th International Conference …, 2013 | 15 | 2013 |
Compiling NATO authorization policies for enforcement in the cloud and SDNs A Armando, S Ranise, R Traverso, K Wrona 2015 IEEE Conference on Communications and Network Security (CNS), 741-742, 2015 | 12 | 2015 |
Parameterized verification of time-sensitive models of ad hoc network protocols PA Abdulla, G Delzanno, O Rezine, A Sangnier, R Traverso Theoretical Computer Science 612, 1-22, 2016 | 10 | 2016 |
ALPS: an action language for policy specification and automated safety analysis S Ranise, R Traverso International Workshop on Security and Trust Management, 146-161, 2014 | 7 | 2014 |
Parameterized model checking for security policy analysis S Ranise, A Truong, R Traverso International Journal on Software Tools for Technology Transfer 18 (5), 559-573, 2016 | 6 | 2016 |
Specification and validation of link reversal routing via graph transformations G Delzanno, R Traverso International SPIN Workshop on Model Checking of Software, 160-177, 2013 | 6 | 2013 |
Graph-versus vector-based analysis of a consensus protocol G Delzanno, A Rensink, R Traverso arXiv preprint arXiv:1407.7931, 2014 | 4 | 2014 |
Adding data registers to parameterized networks with broadcast G Delzanno, A Sangnier, R Traverso Fundamenta Informaticae 143 (3-4), 287-316, 2016 | 3 | 2016 |
Designing and implementing a framework for BDI-style communicating agents in Haskell A Solimando, R Traverso Declarative Agent Languages and Technologies X, 203-207, 2013 | 1 | 2013 |
On the coverability problem for asynchronous broadcast networks (extended and revised version) G Delzanno, R Traverso Tech. rep., TR-12-05, DIBRIS, University of Genova (November 2012), http …, 2012 | 1 | 2012 |
The cost of parameterized reachability in mobile ad hoc networks G Delzanno, A Sangnier, R Traverso, G Zavattaro arXiv preprint arXiv:1202.5850, 2012 | 1 | 2012 |
A Formal Model of Asynchronous Broadcast Communication G Delzanno, R Traverso Italian Conference on Theoretical Computer Science (ICTCS), 2012 | 1 | 2012 |
On the coverability problem for asynchronous broadcast networks G Delzanno, R Traverso Technical Report DISI-TR-12-05, Dip. Informatica e Scienze dell’Informazione, 2012 | 1 | 2012 |
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies A Armando, S Ranise, R Traverso, K Wrona Proceedings of the 20th ACM Symposium on Access Control Models and …, 2015 | | 2015 |