Search results for: Alfredo Pironti
Formal Aspects of Computing > 2018 > 30 > 2 > 279-317
IEEE Transactions on Automatic Control > 2016 > 61 > 11 > 3638 - 3643
Asian Journal of Control > 18 > 3 > 828 - 841
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Session 3. Policy Verification and Enforcement I > 79-95
Lecture Notes in Control and Information Sciences > Robust Control via Variable Structure and Lyapunov Techniques > 197-211
Fusion Engineering and Design > 2015 > 96-97 > C > 668-671
2015 IEEE Symposium on Security and Privacy > 535 - 552
2014 IEEE Symposium on Security and Privacy > 98 - 113
IET Control Theory & Applications > 2014 > 8 > 14 > 1429 - 1438
Formal Aspects of Computing > 2014 > 26 > 1 > 99-123
Formal Aspects of Computing > 2014 > 26 > 1 > 125-167
2013 IEEE Symposium on Security and Privacy > 445 - 459
The Journal of Systems & Software > 2012 > 85 > 4 > 835-849
IEEE Transactions on Plasma Science > 2012 > 40 > 8 > 2056 - 2064
IEEE Transactions on Automatic Control > 2012 > 57 > 12 > 3051 - 3063