Search results for: Cinzia Bernardeschi
Journal of Computer Virology and Hacking Techniques > 2018 > 14 > 4 > 269-289
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 420-430
Integration, the VLSI Journal > 2016 > 55 > C > 85-97
Information Processing Letters > 2016 > 116 > 6 > 409-415
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Formal Methods > 346-359
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 105-119
Lecture Notes in Computer Science > On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops > Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES) > 425-436
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Security and Protocols > 1-15
Journal of Computer Science and Technology > 2015 > 30 > 2 > 373-390
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2014 > 33 > 9 > 1342 - 1355
IEEE Transactions on Industrial Informatics > 2014 > 10 > 2 > 1003 - 1011
Journal of Systems Architecture > 2013 > 59 > 10 Part D > 1243-1254