Search results for: Luca P. Carloni
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 526-541
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 491-506
Lecture Notes in Computer Science > Computer Aided Verification > Protocol Verification and Testing > 123-133
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2017 > 36 > 3 > 435 - 448
Proceedings of the IEEE > 2015 > 103 > 11 > 1952 - 1957
Proceedings of the IEEE > 2015 > 103 > 11 > 2133 - 2151