Search results for: Ilaria Matteucci
Future Generation Computer Systems > 2018 > 80 > C > 505-518
Software Quality Journal > 2018 > 26 > 4 > 1223-1256
International Journal of Critical Infrastructure Protection > 2016 > 13 > C > 39-51
Lecture Notes in Computer Science > Architecting Dependable Systems VI > Part 2. Fault Tolerance and System Evaluation > 172-201
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Dependability Assurance > 393-416
Lecture Notes in Computer Science > Trust, Privacy and Security in Digital Business > Security Policies and Identity Management > 100-117
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Model Refinement and Program Transformation > 37-42
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Applications of Formal Approaches to Service-Oriented Computing > 221-236
International Journal of Information Security > 2015 > 14 > 4 > 319-334
Software Testing, Verification and Reliability > 22 > 8 > 563 - 582
Computers and Mathematics with Applications > 2012 > 63 > 2 > 518-524