Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Shoukry, Yasser
add a person with the name Shoukry, Yasser
 

Other publications of authors with the same name

Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving., , , , , and . CDC, page 3804-3809. IEEE, (2015)MPC-On-Chip: An Embedded GPC Coprocessor for Automotive Active Suspension Systems., , and . Embedded Systems Letters, 2 (2): 31-34 (2010)ipShield: A Framework For Enforcing Context-Aware Privacy., , , , , and . NSDI, page 143-156. USENIX Association, (2014)SMC: Satisfiability Modulo Convex Optimization., , , , , and . HSCC, page 19-28. ACM, (2017)Event-Triggered State Observers for Sparse Sensor Noise/Attacks., and . CoRR, (2013)Sybil attack resilient traffic networks: a physics-based trust propagation approach., , , and . ICCPS, page 43-54. IEEE Computer Society / ACM, (2018)SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks., , , , , , , and . ICCPS, page 29:1-29:10. IEEE Computer Society, (2016)AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems., and . CoRR, (2019)Graph-based approach for software allocation in automotive networked embedded systems: A partition-and-map algorithm., , , , and . FDL, page 1-6. IEEE, (2013)Formal Verification of Neural Network Controlled Autonomous Systems., , and . CoRR, (2018)