Yasser Shoukry
发表
Paulo Tabuada,
Rupak Majumdar,
Yasser Shoukry,
2012,
EMSOFT '12.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2014,
IEEE Transactions on Automatic Control.
A. Sangiovanni-Vincentelli,
S. Seshia,
P. Tabuada,
2015
.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2014,
ArXiv.
J. Hespanha,
A. Sangiovanni-Vincentelli,
S. Seshia,
2016
.
George J. Pappas,
A. Sangiovanni-Vincentelli,
S. Seshia,
2016
.
Yasser Shoukry,
Wael Fatnassi,
2022,
ACM Trans. Embed. Comput. Syst..
Yasser Shoukry,
Wael Fatnassi,
Haitham Khedr,
2022,
HSCC.
Yasser Shoukry,
James Ferlez,
2022,
IEEE Control Systems Letters.
Yasser Shoukry,
Xiaowu Sun,
2022,
IEEE Transactions on Robotics.
Yasser Shoukry,
Sherif Hammad,
M. Watheq El-Kharashi,
2013,
Comput. Electr. Eng..
Yasser Shoukry,
M. Watheq El-Kharashi,
Sherif Hammad,
2011,
2011 Saudi International Electronics, Communications and Photonics Conference (SIECPC).
Yasser Shoukry,
Sherif Hammad,
Hesham Shokry,
2011
.
Yasser Shoukry,
M. Watheq El-Kharashi,
Sherif Hammad,
2010
.
Yasser Shoukry,
Sherif Hammad,
M. Watheq El-Kharashi,
2010,
IEEE Embedded Systems Letters.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2018,
Proceedings of the IEEE.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2017,
HSCC.
Yasser Shoukry,
James Ferlez,
2020,
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control.
Yasser Shoukry,
James Ferlez,
Yasser Shoukry,
2019,
HSCC.
Rajesh Gupta,
Rupak Majumdar,
Houssam Abbas,
2018,
EMSOFT.
Rupak Majumdar,
Rajesh Gupta,
Houssam Abbas,
2018,
2018 International Conference on Embedded Software (EMSOFT).
Mani Srivastava,
Yasser Shoukry,
Suhas Diggavi,
2015,
CCS.
Paulo Tabuada,
Mani B. Srivastava,
Yasser Shoukry,
2013,
CHES.
Yasser Shoukry,
Haitham Khedr,
Xiaowu Sun,
2018,
HSCC.
Yasser Shoukry,
Cody Fleming,
James Ferlez,
2020,
ArXiv.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
George J. Pappas,
A. Sangiovanni-Vincentelli,
S. Seshia,
2016
.
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2015,
IEEE Transactions on Control of Network Systems.
Paulo Tabuada,
Yasser Shoukry,
P. Tabuada,
2013,
IEEE Transactions on Automatic Control.
Mani B. Srivastava,
Yasser Shoukry,
Supriyo Chakraborty,
2014,
NSDI.
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement
pdf
Yasser Shoukry,
Wael Fatnassi,
Yasser Shoukry,
2021,
ADHS.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
2015 American Control Conference (ACC).
Yasser Shoukry,
Sherif Hammad,
M. Watheq El-Kharashi,
2013,
Proceedings of the 2013 Forum on specification and Design Languages (FDL).
Paulo Tabuada,
Mani B. Srivastava,
George J. Pappas,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Yasser Shoukry,
Wael Fatnassi,
Ulices Santa Cruz,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).
Yasser Shoukry,
James Ferlez,
Xiaowu Sun,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Yasser Shoukry,
Hazem Abbas,
Sherif Hammad,
2011,
15th International Conference on System Theory, Control and Computing.
Mani B. Srivastava,
Yasser Shoukry,
Salma Elmalaki,
2018,
CitiFog@SenSys.
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,
Haitham Khedr,
James Ferlez,
2020,
CAV.
Suhas N. Diggavi,
Yasser Shoukry,
Shaunak Mishra,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Edward A. Lee,
Sanjit A. Seshia,
Yasser Shoukry,
2020,
ACM Trans. Cyber Phys. Syst..
Paulo Tabuada,
Yasser Shoukry,
Suhas Diggavi,
2020,
Autom..
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2019,
ArXiv.
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
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,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2016,
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
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.
Edward A. Lee,
Sanjit A. Seshia,
Yasser Shoukry,
2017
.
Yasser Shoukry,
Bo-Jhang Ho,
Mani Srivastava,
2022,
ArXiv.
Paulo Tabuada,
Yasser Shoukry,
P. Tabuada,
2014,
53rd IEEE Conference on Decision and Control.
M. Srivastava,
Supriyo Chakraborty,
P. Tabuada,
2017,
2017 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN).
Paulo Tabuada,
Karl Henrik Johansson,
Mani B. Srivastava,
2013,
HiCoNS '13.
Paulo Tabuada,
George J. Pappas,
Sanjit A. Seshia,
2018,
IEEE Transactions on Automatic Control.
Yasser Shoukry,
Xiaowu Sun,
2021,
2022 IEEE 61st Conference on Decision and Control (CDC).
Yasser Shoukry,
Sherif Hammad,
Mohamed El-Shafie,
2010,
Proceedings of the 2010 American Control Conference.
A. Sangiovanni-Vincentelli,
S. Seshia,
P. Tabuada,
2014,
IEEE Transactions on Automatic Control.
Yasser Shoukry,
Yanning Shen,
Momina Sajid,
2023,
2023 62nd IEEE Conference on Decision and Control (CDC).
Yasser Shoukry,
Nuno C. Martins,
MirSaleh Bahavarnia,
2020,
2020 American Control Conference (ACC).
Paulo Tabuada,
Suhas N. Diggavi,
Yasser Shoukry,
2015,
2015 IEEE International Symposium on Information Theory (ISIT).
Paulo Tabuada,
Yasser Shoukry,
P. Tabuada,
2021
.
Yasser Shoukry,
Haitham Khedr,
2023,
ArXiv.
Paulo Tabuada,
Alberto L. Sangiovanni-Vincentelli,
George J. Pappas,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Yasser Shoukry,
Mohanad Odema,
James Ferlez,
2023,
ICCPS.
Yasser Shoukry,
Haitham Khedr,
2022,
AAAI.
Yasser Shoukry,
Haitham Khedr,
James Ferlez,
2021,
HSCC.
Yasser Shoukry,
Xiaowu Sun,
Yasser Shoukry,
2021,
ArXiv.
Yasser Shoukry,
James Ferlez,
2020,
2021 60th IEEE Conference on Decision and Control (CDC).
Yasser Shoukry,
Haitham Khedr,
James Ferlez,
2020,
ArXiv.
Pierluigi Nuzzo,
Yasser Shoukry,
Xiaowu Sun,
2019,
2019 International Conference on Robotics and Automation (ICRA).