Yasser Shoukry
发表
Rajesh Gupta,
Rupak Majumdar,
Houssam Abbas,
2018,
EMSOFT.
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2019,
ArXiv.
Yasser Shoukry,
Haitham Khedr,
James Ferlez,
2020,
ArXiv.
Mani B. Srivastava,
Yasser Shoukry,
Newton Truong,
2015,
2015 American Control Conference (ACC).
Yasser Shoukry,
Walid F. Abdelfatah,
Sherif A. Hammad,
2009,
2009 4th International Design and Test Workshop (IDT).
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2014,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2016,
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
Paulo Tabuada,
Sanjit A. Seshia,
Alberto Sangiovanni-Vincentelli,
2016,
ICCPS 2016.
Paulo Tabuada,
Karl Henrik Johansson,
Mani B. Srivastava,
2013,
HiCoNS '13.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Yasser Shoukry,
M. Watheq El-Kharashi,
Sherif Hammad,
2011,
2011 Saudi International Electronics, Communications and Photonics Conference (SIECPC).
Paulo Tabuada,
Yasser Shoukry,
Suhas Diggavi,
2020,
Autom..
Yasser Shoukry,
Sherif Hammad,
M. Watheq El-Kharashi,
2015
.
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks
pdf
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
ArXiv.
Yasser Shoukry,
Sherif Hammad,
M. Watheq El-Kharashi,
2013,
Proceedings of the 2013 Forum on specification and Design Languages (FDL).
Yasser Shoukry,
Sherif Hammad,
M. Watheq El-Kharashi,
2010,
IEEE Embedded Systems Letters.
Suhas N. Diggavi,
Yasser Shoukry,
Shaunak Mishra,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Mani B. Srivastava,
Yasser Shoukry,
Salma Elmalaki,
2018,
CitiFog@SenSys.
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2015,
IEEE Transactions on Control of Network Systems.
Yasser Shoukry,
Nuno C. Martins,
MirSaleh Bahavarnia,
2020,
2020 American Control Conference (ACC).
Paulo Tabuada,
Mani B. Srivastava,
George J. Pappas,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement
pdf
Yasser Shoukry,
Wael Fatnassi,
Yasser Shoukry,
2021,
ADHS.
Mani Srivastava,
Yasser Shoukry,
Suhas Diggavi,
2015,
CCS.
Mani B. Srivastava,
Yasser Shoukry,
Supriyo Chakraborty,
2014,
NSDI.
Yasser Shoukry,
Sherif Hammad,
Hesham Shokry,
2011
.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2018,
Proceedings of the IEEE.
Pierluigi Nuzzo,
Yasser Shoukry,
Xiaowu Sun,
2019,
2019 International Conference on Robotics and Automation (ICRA).
Paulo Tabuada,
Aaron D. Ames,
Yasser Shoukry,
2017,
2017 American Control Conference (ACC).
Yasser Shoukry,
Hazem Abbas,
Sherif Hammad,
2011,
15th International Conference on System Theory, Control and Computing.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Yasser Shoukry,
M. Watheq El-Kharashi,
Sherif Hammad,
2010
.
Yasser Shoukry,
Haitham Khedr,
Xiaowu Sun,
2018,
HSCC.
Paulo Tabuada,
George J. Pappas,
Sanjit A. Seshia,
2018,
IEEE Transactions on Automatic Control.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Paulo Tabuada,
Yasser Shoukry,
Amr Alanwar,
2017,
2017 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN).
Mani Srivastava,
Yasser Shoukry,
Moustafa Alzantot,
2019,
2019 IEEE Security and Privacy Workshops (SPW).
Edward A. Lee,
Sanjit A. Seshia,
Yasser Shoukry,
2017
.
Yasser Shoukry,
Sherif Hammad,
M. Watheq El-Kharashi,
2013,
Comput. Electr. Eng..
Paulo Tabuada,
Rupak Majumdar,
Yasser Shoukry,
2012
.
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2015,
2015 IEEE International Symposium on Information Theory (ISIT).
Yasser Shoukry,
James Ferlez,
2020,
ArXiv.
Paulo Tabuada,
Rupak Majumdar,
Yasser Shoukry,
2012
.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2014,
ArXiv.
Attack Resilience and Recovery using Physical Challenge Response Authentication for Active Sensors Under Integrity Attacks
pdf
Suhas N. Diggavi,
Mani B. Srivastava,
Yasser Shoukry,
2016,
ArXiv.
Paulo Tabuada,
Yasser Shoukry,
P. Tabuada,
2013,
IEEE Transactions on Automatic Control.
Mani B. Srivastava,
Yasser Shoukry,
Paul D. Martin,
2014,
BuildSys@SenSys.
Yasser Shoukry,
Cody Fleming,
James Ferlez,
2020,
ArXiv.
Towards a socially responsible smart city: dynamic resource allocation for smarter community service
Vasumathi Raman,
Yasser Shoukry,
Min Kyung Lee,
2017,
BuildSys@SenSys.
Paulo Tabuada,
Rupak Majumdar,
Yasser Shoukry,
2012,
EMSOFT '12.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
2015 American Control Conference (ACC).
Paulo Tabuada,
Mani B. Srivastava,
Yasser Shoukry,
2013,
CHES.
Rupak Majumdar,
Rajesh Gupta,
Houssam Abbas,
2018,
2018 International Conference on Embedded Software (EMSOFT).
Paulo Tabuada,
Yasser Shoukry,
P. Tabuada,
2014,
53rd IEEE Conference on Decision and Control.
Yasser Shoukry,
Sherif Hammad,
Mohamed El-Shafie,
2010,
Proceedings of the 2010 American Control Conference.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2017,
HSCC.
Edward A. Lee,
Sanjit A. Seshia,
Yasser Shoukry,
2020,
ACM Trans. Cyber Phys. Syst..
Yasser Shoukry,
James Ferlez,
Yasser Shoukry,
2019,
HSCC.
Yasser Shoukry,
James Ferlez,
Xiaowu Sun,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Gang Qu,
Qian Wang,
Yasser Shoukry,
2018,
2018 Asian Hardware Oriented Security and Trust Symposium (AsianHOST).
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers
pdf
Yasser Shoukry,
James Ferlez,
Ulices Santa Cruz,
2021,
2022 IEEE 61st Conference on Decision and Control (CDC).
Yasser Shoukry,
Xiaowu Sun,
Yasser Shoukry,
2021,
ArXiv.
Yasser Shoukry,
Haitham Khedr,
James Ferlez,
2021,
HSCC.
Yasser Shoukry,
Wael Fatnassi,
Ulices Santa Cruz,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).
Yasser Shoukry,
Xiaowu Sun,
2021,
ArXiv.
Yasser Shoukry,
Haitham Khedr,
James Ferlez,
2020,
CAV.
Yasser Shoukry,
James Ferlez,
2021,
ArXiv.
Paulo Tabuada,
Yasser Shoukry,
P. Tabuada,
2021
.