Search results for: Riccardo Sisto
Formal Aspects of Computing > 2018 > 30 > 2 > 279-317
Journal of Network and Systems Management > 2018 > 26 > 1 > 222-249
Computer Standards & Interfaces > 2017 > 50 > C > 92-106
International Journal of Communication Systems > 30 > 3 > n/a - n/a
IEEE/ACM Transactions on Networking > 2016 > 24 > 3 > 1704 - 1717
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 135-149
Lecture Notes in Computer Science > Detection of Intrusions and Malware, and Vulnerability Assessment > Vulnerability Assessment and Exploit Analysis > 69-84
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Security and Cryptography > 284-298
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2003 > 224-239
IT Professional > 2016 > 18 > 2 > 35 - 41
Formal Aspects of Computing > 2014 > 26 > 1 > 99-123