TRAVERSO, RICCARDO
TRAVERSO, RICCARDO
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.003 secondi).
Adding Data Registers to Parameterized Networks with Broadcast
2016-01-01 Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo
Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell
2012-01-01 Solimando, Alessandro; Traverso, Riccardo
Mobile app security assessment with the maveric dynamic analysis module
2015-01-01 Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccardo; Valenza, Andrea
Specification and Validation of Link Reversal Routing via Graph Transformations
2013-01-01 Delzanno, Giorgio; Traverso, Riccardo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Adding Data Registers to Parameterized Networks with Broadcast | 1-gen-2016 | Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo | |
| Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell | 1-gen-2012 | Solimando, Alessandro; Traverso, Riccardo | |
| Mobile app security assessment with the maveric dynamic analysis module | 1-gen-2015 | Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccardo; Valenza, Andrea | |
| Specification and Validation of Link Reversal Routing via Graph Transformations | 1-gen-2013 | Delzanno, Giorgio; Traverso, Riccardo |