Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "Yasser Shoukry"
@article{DBLP:journals/tecs/FatnassiS24, author = {Wael Fatnassi and Yasser Shoukry}, title = {PolyARBerNN: {A} Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {23}, number = {2}, pages = {22:1--22:26}, year = {2024}, url = {https://doi.org/10.1145/3632970}, doi = {10.1145/3632970}, timestamp = {Fri, 17 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/FatnassiS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/trob/SunS24, author = {Xiaowu Sun and Yasser Shoukry}, title = {Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks}, journal = {{IEEE} Trans. Robotics}, volume = {40}, pages = {2749--2768}, year = {2024}, url = {https://doi.org/10.1109/TRO.2024.3392079}, doi = {10.1109/TRO.2024.3392079}, timestamp = {Fri, 31 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/trob/SunS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KhedrS24, author = {Haitham Khedr and Yasser Shoukry}, editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan}, title = {DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation}, booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI} 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver, Canada}, pages = {21232--21240}, publisher = {{AAAI} Press}, year = {2024}, url = {https://doi.org/10.1609/aaai.v38i19.30117}, doi = {10.1609/AAAI.V38I19.30117}, timestamp = {Tue, 02 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KhedrS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/TsujioFS24, author = {Kohei Tsujio and Mohammad Abdullah Al Faruque and Yasser Shoukry}, title = {Rampo: {A} CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection}, booktitle = {15th {ACM/IEEE} International Conference on Cyber-Physical Systems, {ICCPS} 2024, Hong Kong, May 13-16, 2024}, pages = {45--54}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/ICCPS61052.2024.00011}, doi = {10.1109/ICCPS61052.2024.00011}, timestamp = {Thu, 18 Jul 2024 22:36:51 +0200}, biburl = {https://dblp.org/rec/conf/iccps/TsujioFS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-12642, author = {Kohei Tsujio and Mohammad Abdullah Al Faruque and Yasser Shoukry}, title = {Rampo: {A} CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection}, journal = {CoRR}, volume = {abs/2402.12642}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.12642}, doi = {10.48550/ARXIV.2402.12642}, eprinttype = {arXiv}, eprint = {2402.12642}, timestamp = {Thu, 21 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-12642.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2407-02083, author = {Jair Certorio and Nuno C. Martins and Kevin Chang and Pierluigi Nuzzo and Yasser Shoukry}, title = {Passivity Tools for Hybrid Learning Rules in Large Populations}, journal = {CoRR}, volume = {abs/2407.02083}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2407.02083}, doi = {10.48550/ARXIV.2407.02083}, eprinttype = {arXiv}, eprint = {2407.02083}, timestamp = {Mon, 26 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2407-02083.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csysl/FerlezS23, author = {James Ferlez and Yasser Shoukry}, title = {Polynomial-Time Reachability for {LTI} Systems With Two-Level Lattice Neural Network Controllers}, journal = {{IEEE} Control. Syst. Lett.}, volume = {7}, pages = {1105--1110}, year = {2023}, url = {https://doi.org/10.1109/LCSYS.2022.3231556}, doi = {10.1109/LCSYS.2022.3231556}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csysl/FerlezS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/KhedrS23, author = {Haitham Khedr and Yasser Shoukry}, editor = {Brian Williams and Yiling Chen and Jennifer Neville}, title = {CertiFair: {A} Framework for Certified Global Fairness of Neural Networks}, booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI} 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February 7-14, 2023}, pages = {8237--8245}, publisher = {{AAAI} Press}, year = {2023}, url = {https://doi.org/10.1609/aaai.v37i7.25994}, doi = {10.1609/AAAI.V37I7.25994}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/KhedrS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/CruzS23, author = {Ulices Santa Cruz and Yasser Shoukry}, title = {Certified Vision-Based State Estimation for Autonomous Landing Systems Using Reachability Analysis}, booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore, December 13-15, 2023}, pages = {6052--6057}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/CDC49753.2023.10384107}, doi = {10.1109/CDC49753.2023.10384107}, timestamp = {Mon, 29 Jan 2024 17:30:32 +0100}, biburl = {https://dblp.org/rec/conf/cdc/CruzS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/SajidSS23, author = {Momina Sajid and Yanning Shen and Yasser Shoukry}, title = {Model Extraction Attacks Against Reinforcement Learning Based Controllers}, booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore, December 13-15, 2023}, pages = {813--820}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/CDC49753.2023.10383661}, doi = {10.1109/CDC49753.2023.10383661}, timestamp = {Mon, 29 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cdc/SajidSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/OdemaFSF23, author = {Mohanad Odema and James Ferlez and Yasser Shoukry and Mohammad Abdullah Al Faruque}, title = {{SEO:} Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge}, booktitle = {60th {ACM/IEEE} Design Automation Conference, {DAC} 2023, San Francisco, CA, USA, July 9-13, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DAC56929.2023.10247751}, doi = {10.1109/DAC56929.2023.10247751}, timestamp = {Sun, 24 Sep 2023 13:31:06 +0200}, biburl = {https://dblp.org/rec/conf/dac/OdemaFSF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/FatnassiKYS23, author = {Wael Fatnassi and Haitham Khedr and Valen Yamamoto and Yasser Shoukry}, title = {{BERN-NN:} Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic}, booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12, 2023}, pages = {19:1--19:11}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3575870.3587126}, doi = {10.1145/3575870.3587126}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/FatnassiKYS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/OdemaFVSF23, author = {Mohanad Odema and James Ferlez and Goli Vaisi and Yasser Shoukry and Mohammad Abdullah Al Faruque}, editor = {Sayan Mitra and Nalini Venkatasubramanian and Abhishek Dubey and Lu Feng and Mahsa Ghasemi and Jonathan Sprinkle}, title = {EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency}, booktitle = {Proceedings of the {ACM/IEEE} 14th International Conference on Cyber-Physical Systems, {ICCPS} 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023}, pages = {187--198}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3576841.3585935}, doi = {10.1145/3576841.3585935}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccps/OdemaFVSF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-06572, author = {Mohanad Odema and James Ferlez and Goli Vaisi and Yasser Shoukry and Mohammad Abdullah Al Faruque}, title = {EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency}, journal = {CoRR}, volume = {abs/2302.06572}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.06572}, doi = {10.48550/ARXIV.2302.06572}, eprinttype = {arXiv}, eprint = {2302.06572}, timestamp = {Mon, 20 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-06572.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-12493, author = {Mohanad Odema and James Ferlez and Yasser Shoukry and Mohammad Abdullah Al Faruque}, title = {{SEO:} Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge}, journal = {CoRR}, volume = {abs/2302.12493}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.12493}, doi = {10.48550/ARXIV.2302.12493}, eprinttype = {arXiv}, eprint = {2302.12493}, timestamp = {Tue, 28 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-12493.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-13090, author = {Momina Sajid and Yanning Shen and Yasser Shoukry}, title = {Model Extraction Attacks Against Reinforcement Learning Based Controllers}, journal = {CoRR}, volume = {abs/2304.13090}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.13090}, doi = {10.48550/ARXIV.2304.13090}, eprinttype = {arXiv}, eprint = {2304.13090}, timestamp = {Wed, 03 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-13090.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-13508, author = {Haitham Khedr and Yasser Shoukry}, title = {DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation}, journal = {CoRR}, volume = {abs/2305.13508}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.13508}, doi = {10.48550/ARXIV.2305.13508}, eprinttype = {arXiv}, eprint = {2305.13508}, timestamp = {Mon, 05 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-13508.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2309-05167, author = {Ulices Santa Cruz and Yasser Shoukry}, title = {Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis}, journal = {CoRR}, volume = {abs/2309.05167}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2309.05167}, doi = {10.48550/ARXIV.2309.05167}, eprinttype = {arXiv}, eprint = {2309.05167}, timestamp = {Fri, 15 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2309-05167.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/CruzFS22, author = {Ulices Santa Cruz and James Ferlez and Yasser Shoukry}, title = {Safe-by-Repair: {A} Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers}, booktitle = {61st {IEEE} Conference on Decision and Control, {CDC} 2022, Cancun, Mexico, December 6-9, 2022}, pages = {3383--3388}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/CDC51059.2022.9993239}, doi = {10.1109/CDC51059.2022.9993239}, timestamp = {Wed, 18 Jan 2023 15:37:37 +0100}, biburl = {https://dblp.org/rec/conf/cdc/CruzFS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/SunS22, author = {Xiaowu Sun and Yasser Shoukry}, title = {NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems}, booktitle = {61st {IEEE} Conference on Decision and Control, {CDC} 2022, Cancun, Mexico, December 6-9, 2022}, pages = {2905--2910}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/CDC51059.2022.9993158}, doi = {10.1109/CDC51059.2022.9993158}, timestamp = {Wed, 18 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cdc/SunS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/FerlezKS22, author = {James Ferlez and Haitham Khedr and Yasser Shoukry}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Fast {BATLLNN:} Fast Box Analysis of Two-Level Lattice Neural Networks}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {23:1--23:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519533}, doi = {10.1145/3501710.3519533}, timestamp = {Thu, 07 Jul 2022 07:10:17 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/FerlezKS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/CruzS22, author = {Ulices Santa Cruz and Yasser Shoukry}, editor = {Jyotirmoy V. Deshmukh and Klaus Havelund and Ivan Perez}, title = {NNLander-VeriF: {A} Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing}, booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13260}, pages = {213--230}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-06773-0\_11}, doi = {10.1007/978-3-031-06773-0\_11}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nfm/CruzS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2202-01348, author = {Salma Elmalaki and Bo{-}Jhang Ho and Moustafa Alzantot and Yasser Shoukry and Mani B. Srivastava}, title = {VindiCo: Privacy Safeguard Against Adaptation Based Spyware in Human-in-the-Loop IoT}, journal = {CoRR}, volume = {abs/2202.01348}, year = {2022}, url = {https://arxiv.org/abs/2202.01348}, eprinttype = {arXiv}, eprint = {2202.01348}, timestamp = {Wed, 09 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-01348.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-15841, author = {Ulices Santa Cruz and Yasser Shoukry}, title = {NNLander-VeriF: {A} Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing}, journal = {CoRR}, volume = {abs/2203.15841}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.15841}, doi = {10.48550/ARXIV.2203.15841}, eprinttype = {arXiv}, eprint = {2203.15841}, timestamp = {Mon, 04 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-15841.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2204-05365, author = {Wael Fatnassi and Yasser Shoukry}, title = {PolyARBerNN: {A} Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities}, journal = {CoRR}, volume = {abs/2204.05365}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2204.05365}, doi = {10.48550/ARXIV.2204.05365}, eprinttype = {arXiv}, eprint = {2204.05365}, timestamp = {Tue, 19 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-05365.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-09927, author = {Haitham Khedr and Yasser Shoukry}, title = {CertiFair: {A} Framework for Certified Global Fairness of Neural Networks}, journal = {CoRR}, volume = {abs/2205.09927}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.09927}, doi = {10.48550/ARXIV.2205.09927}, eprinttype = {arXiv}, eprint = {2205.09927}, timestamp = {Mon, 23 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-09927.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-09400, author = {James Ferlez and Yasser Shoukry}, title = {Polynomial-Time Reachability for {LTI} Systems with Two-Level Lattice Neural Network Controllers}, journal = {CoRR}, volume = {abs/2209.09400}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.09400}, doi = {10.48550/ARXIV.2209.09400}, eprinttype = {arXiv}, eprint = {2209.09400}, timestamp = {Wed, 28 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-09400.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-05180, author = {Xiaowu Sun and Yasser Shoukry}, title = {Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks}, journal = {CoRR}, volume = {abs/2210.05180}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.05180}, doi = {10.48550/ARXIV.2210.05180}, eprinttype = {arXiv}, eprint = {2210.05180}, timestamp = {Thu, 13 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-05180.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2211-14438, author = {Wael Fatnassi and Haitham Khedr and Valen Yamamoto and Yasser Shoukry}, title = {{BERN-NN:} Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic}, journal = {CoRR}, volume = {abs/2211.14438}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2211.14438}, doi = {10.48550/ARXIV.2211.14438}, eprinttype = {arXiv}, eprint = {2211.14438}, timestamp = {Tue, 29 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-14438.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tac/AlexandruGSSTP21, author = {Andreea B. Alexandru and Konstantinos Gatsis and Yasser Shoukry and Sanjit A. Seshia and Paulo Tabuada and George J. Pappas}, title = {Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption}, journal = {{IEEE} Trans. Autom. Control.}, volume = {66}, number = {5}, pages = {2357--2364}, year = {2021}, url = {https://doi.org/10.1109/TAC.2020.3005920}, doi = {10.1109/TAC.2020.3005920}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tac/AlexandruGSSTP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adhs/FatnassiS21, author = {Wael Fatnassi and Yasser Shoukry}, editor = {Rapha{\"{e}}l M. Jungers and Necmiye Ozay and Alessandro Abate}, title = {PolyAR: {A} Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement}, booktitle = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS} 2021, Brussels, Belgium, July 7-9, 2021}, series = {IFAC-PapersOnLine}, volume = {54}, number = {5}, pages = {43--48}, publisher = {Elsevier}, year = {2021}, url = {https://doi.org/10.1016/j.ifacol.2021.08.472}, doi = {10.1016/J.IFACOL.2021.08.472}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adhs/FatnassiS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KhedrFS21, author = {Haitham Khedr and James Ferlez and Yasser Shoukry}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12759}, pages = {287--300}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81685-8\_13}, doi = {10.1007/978-3-030-81685-8\_13}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/KhedrFS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/FerlezS21, author = {James Ferlez and Yasser Shoukry}, title = {Bounding the Complexity of Formally Verifying Neural Networks: {A} Geometric Approach}, booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021}, pages = {5104--5109}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/CDC45484.2021.9683375}, doi = {10.1109/CDC45484.2021.9683375}, timestamp = {Tue, 17 May 2022 15:53:17 +0200}, biburl = {https://dblp.org/rec/conf/cdc/FerlezS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/SunFCS21, author = {Xiaowu Sun and Wael Fatnassi and Ulices Santa Cruz and Yasser Shoukry}, title = {Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach}, booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021}, pages = {2963--2968}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/CDC45484.2021.9683009}, doi = {10.1109/CDC45484.2021.9683009}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/SunFCS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-04655, author = {Wael Fatnassi and Yasser Shoukry}, title = {PolyAR: {A} Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement}, journal = {CoRR}, volume = {abs/2101.04655}, year = {2021}, url = {https://arxiv.org/abs/2101.04655}, eprinttype = {arXiv}, eprint = {2101.04655}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-04655.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2102-10806, author = {Xiaowu Sun and Yasser Shoukry}, title = {Provably Correct Training of Neural Network Controllers Using Reachability Analysis}, journal = {CoRR}, volume = {abs/2102.10806}, year = {2021}, url = {https://arxiv.org/abs/2102.10806}, eprinttype = {arXiv}, eprint = {2102.10806}, timestamp = {Wed, 24 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2102-10806.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-02788, author = {Ulices Santa Cruz and James Ferlez and Yasser Shoukry}, title = {Safe-by-Repair: {A} Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers}, journal = {CoRR}, volume = {abs/2104.02788}, year = {2021}, url = {https://arxiv.org/abs/2104.02788}, eprinttype = {arXiv}, eprint = {2104.02788}, timestamp = {Tue, 13 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-02788.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2109-01255, author = {Xiaowu Sun and Wael Fatnassi and Ulices Santa Cruz and Yasser Shoukry}, title = {Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach}, journal = {CoRR}, volume = {abs/2109.01255}, year = {2021}, url = {https://arxiv.org/abs/2109.01255}, eprinttype = {arXiv}, eprint = {2109.01255}, timestamp = {Mon, 20 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-01255.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2109-10298, author = {James Ferlez and Yasser Shoukry}, title = {Assured Neural Network Architectures for Control and Identification of Nonlinear Systems}, journal = {CoRR}, volume = {abs/2109.10298}, year = {2021}, url = {https://arxiv.org/abs/2109.10298}, eprinttype = {arXiv}, eprint = {2109.10298}, timestamp = {Mon, 27 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-10298.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-08853, author = {Xiaowu Sun and Yasser Shoukry}, title = {NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems}, journal = {CoRR}, volume = {abs/2111.08853}, year = {2021}, url = {https://arxiv.org/abs/2111.08853}, eprinttype = {arXiv}, eprint = {2111.08853}, timestamp = {Mon, 22 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-08853.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-09293, author = {James Ferlez and Haitham Khedr and Yasser Shoukry}, title = {Fast {BATLLNN:} Fast Box Analysis of Two-Level Lattice Neural Networks}, journal = {CoRR}, volume = {abs/2111.09293}, year = {2021}, url = {https://arxiv.org/abs/2111.09293}, eprinttype = {arXiv}, eprint = {2111.09293}, timestamp = {Mon, 22 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-09293.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/automatica/ShowkatbakhshSD20, author = {Mehrdad Showkatbakhsh and Yasser Shoukry and Suhas N. Diggavi and Paulo Tabuada}, title = {Securing state reconstruction under sensor and actuator attacks: Theory and design}, journal = {Autom.}, volume = {116}, pages = {108920}, year = {2020}, url = {https://doi.org/10.1016/j.automatica.2020.108920}, doi = {10.1016/J.AUTOMATICA.2020.108920}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/automatica/ShowkatbakhshSD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcps/WeberJLSLSS20, author = {Matthew Weber and Baihong Jin and Gil Lederman and Yasser Shoukry and Edward A. Lee and Sanjit Seshia and Alberto L. Sangiovanni{-}Vincentelli}, title = {Gordian: Formal Reasoning-based Outlier Detection for Secure Localization}, journal = {{ACM} Trans. Cyber Phys. Syst.}, volume = {4}, number = {4}, pages = {43:1--43:27}, year = {2020}, url = {https://doi.org/10.1145/3386568}, doi = {10.1145/3386568}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcps/WeberJLSLSS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/BahavarniaSM20, author = {MirSaleh Bahavarnia and Yasser Shoukry and Nuno C. Martins}, title = {Controller Synthesis subject to Logical and Structural Constraints: {A} Satisfiability Modulo Theories {(SMT)} Approach}, booktitle = {2020 American Control Conference, {ACC} 2020, Denver, CO, USA, July 1-3, 2020}, pages = {5281--5286}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.23919/ACC45564.2020.9147460}, doi = {10.23919/ACC45564.2020.9147460}, timestamp = {Sun, 08 Aug 2021 01:40:57 +0200}, biburl = {https://dblp.org/rec/conf/amcc/BahavarniaSM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/FerlezSS20, author = {James Ferlez and Xiaowu Sun and Yasser Shoukry}, title = {Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems}, booktitle = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island, South Korea, December 14-18, 2020}, pages = {2198--2203}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/CDC42340.2020.9304079}, doi = {10.1109/CDC42340.2020.9304079}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/FerlezSS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/FerlezS20, author = {James Ferlez and Yasser Shoukry}, editor = {Aaron D. Ames and Sanjit A. Seshia and Jyotirmoy Deshmukh}, title = {AReN: assured ReLU {NN} architecture for model predictive control of {LTI} systems}, booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020}, pages = {6:1--6:11}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3365365.3382213}, doi = {10.1145/3365365.3382213}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/FerlezS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-09628, author = {James Ferlez and Xiaowu Sun and Yasser Shoukry}, title = {Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems}, journal = {CoRR}, volume = {abs/2004.09628}, year = {2020}, url = {https://arxiv.org/abs/2004.09628}, eprinttype = {arXiv}, eprint = {2004.09628}, timestamp = {Tue, 28 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-09628.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-09564, author = {James Ferlez and Mahmoud Elnaggar and Yasser Shoukry and Cody H. Fleming}, title = {ShieldNN: {A} Provably Safe {NN} Filter for Unsafe {NN} Controllers}, journal = {CoRR}, volume = {abs/2006.09564}, year = {2020}, url = {https://arxiv.org/abs/2006.09564}, eprinttype = {arXiv}, eprint = {2006.09564}, timestamp = {Thu, 09 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-09564.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-10864, author = {Haitham Khedr and James Ferlez and Yasser Shoukry}, title = {Effective Formal Verification of Neural Networks using the Geometry of Linear Regions}, journal = {CoRR}, volume = {abs/2006.10864}, year = {2020}, url = {https://arxiv.org/abs/2006.10864}, eprinttype = {arXiv}, eprint = {2006.10864}, timestamp = {Tue, 23 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-10864.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-11761, author = {James Ferlez and Yasser Shoukry}, title = {Bounding the Complexity of Formally Verifying Neural Networks: {A} Geometric Approach}, journal = {CoRR}, volume = {abs/2012.11761}, year = {2020}, url = {https://arxiv.org/abs/2012.11761}, eprinttype = {arXiv}, eprint = {2012.11761}, timestamp = {Mon, 04 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-11761.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/SunKS19, author = {Xiaowu Sun and Haitham Khedr and Yasser Shoukry}, editor = {Necmiye Ozay and Pavithra Prabhakar}, title = {Formal verification of neural network controlled autonomous systems}, booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April 16-18, 2019}, pages = {147--156}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3302504.3311802}, doi = {10.1145/3302504.3311802}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/SunKS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/SunNMSN19, author = {Xiaowu Sun and Rohitkrishna Nambiar and Matthew Melhorn and Yasser Shoukry and Pierluigi Nuzzo}, title = {DoS-Resilient Multi-Robot Temporal Logic Motion Planning}, booktitle = {International Conference on Robotics and Automation, {ICRA} 2019, Montreal, QC, Canada, May 20-24, 2019}, pages = {6051--6057}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICRA.2019.8794477}, doi = {10.1109/ICRA.2019.8794477}, timestamp = {Wed, 07 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icra/SunNMSN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/ElmalakiHASS19, author = {Salma Elmalaki and Bo{-}Jhang Ho and Moustafa Alzantot and Yasser Shoukry and Mani B. Srivastava}, title = {SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT}, booktitle = {2019 {IEEE} Security and Privacy Workshops, {SP} Workshops 2019, San Francisco, CA, USA, May 19-23, 2019}, pages = {163--168}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/SPW.2019.00039}, doi = {10.1109/SPW.2019.00039}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sp/ElmalakiHASS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-01869, author = {Mehrdad Showkatbakhsh and Yasser Shoukry and Suhas N. Diggavi and Paulo Tabuada}, title = {Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design}, journal = {CoRR}, volume = {abs/1904.01869}, year = {2019}, url = {http://arxiv.org/abs/1904.01869}, eprinttype = {arXiv}, eprint = {1904.01869}, timestamp = {Fri, 26 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-01869.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-01608, author = {James Ferlez and Yasser Shoukry}, title = {AReN: Assured ReLU {NN} Architecture for Model Predictive Control of {LTI} Systems}, journal = {CoRR}, volume = {abs/1911.01608}, year = {2019}, url = {http://arxiv.org/abs/1911.01608}, eprinttype = {arXiv}, eprint = {1911.01608}, timestamp = {Mon, 11 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-01608.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pieee/ShoukryNSSPT18, author = {Yasser Shoukry and Pierluigi Nuzzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and George J. Pappas and Paulo Tabuada}, title = {{SMC:} Satisfiability Modulo Convex Programming}, journal = {Proc. {IEEE}}, volume = {106}, number = {9}, pages = {1655--1679}, year = {2018}, url = {https://doi.org/10.1109/JPROC.2018.2849003}, doi = {10.1109/JPROC.2018.2849003}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pieee/ShoukryNSSPT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcps/ShoukryCWNSSHT18, author = {Yasser Shoukry and Michelle Chong and Masashi Wakaiki and Pierluigi Nuzzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Jo{\~{a}}o Pedro Hespanha and Paulo Tabuada}, title = {SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks}, journal = {{ACM} Trans. Cyber Phys. Syst.}, volume = {2}, number = {1}, pages = {5:1--5:27}, year = {2018}, url = {https://doi.org/10.1145/3078621}, doi = {10.1145/3078621}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcps/ShoukryCWNSSHT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asianhost/WangQLSQ18, author = {Qian Wang and Yiming Qian and Zhaojun Lu and Yasser Shoukry and Gang Qu}, title = {A Delay based Plug-in-Monitor for Intrusion Detection in Controller Area Network}, booktitle = {Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2018, Hong Kong, China, December 17-18, 2018}, pages = {86--91}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/AsianHOST.2018.8607178}, doi = {10.1109/ASIANHOST.2018.8607178}, timestamp = {Tue, 14 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asianhost/WangQLSQ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/AbbasSSEFGMU18, author = {Houssam Abbas and Indranil Saha and Yasser Shoukry and R{\"{u}}diger Ehlers and Georgios Fainekos and Rajesh Gupta and Rupak Majumdar and Dogan Ulus}, editor = {Bj{\"{o}}rn B. Brandenburg and Sriram Sankaranarayanan}, title = {Embedded software for robotics: challenges and future directions: special session}, booktitle = {Proceedings of the International Conference on Embedded Software, {EMSOFT} 2018, Torino, Italy, September 30 - October 5, 2018}, pages = {10}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/EMSOFT.2018.8537236}, doi = {10.1109/EMSOFT.2018.8537236}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emsoft/AbbasSSEFGMU18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/ShoukryMLD18, author = {Yasser Shoukry and Shaunak Mishra and Zutian Luo and Suhas N. Diggavi}, editor = {Chris Gill and Bruno Sinopoli and Xue Liu and Paulo Tabuada}, title = {Sybil attack resilient traffic networks: a physics-based trust propagation approach}, booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018}, pages = {43--54}, publisher = {{IEEE} Computer Society / {ACM}}, year = {2018}, url = {https://doi.org/10.1109/ICCPS.2018.00013}, doi = {10.1109/ICCPS.2018.00013}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccps/ShoukryMLD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sensys/ElmalakiSS18, author = {Salma Elmalaki and Yasser Shoukry and Mani B. Srivastava}, editor = {Gowri Sankar Ramachandran and Bhaskar Krishnamachari and Sid Chi{-}Kin Chau and Yang Yang and Tung Fung}, title = {Internet of Personalized and Autonomous Things (IoPAT): Smart Homes Case Study}, booktitle = {Proceedings of the 1st {ACM} International Workshop on Smart Cities and Fog Computing, CitiFog@SenSys 2018, Shenzhen, China, November 4, 2018}, pages = {35--40}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3277893.3277901}, doi = {10.1145/3277893.3277901}, timestamp = {Mon, 23 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sensys/ElmalakiSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1809-02267, author = {Andreea B. Alexandru and Konstantinos Gatsis and Yasser Shoukry and Sanjit A. Seshia and Paulo Tabuada and George J. Pappas}, title = {Cloud-based Quadratic Optimization with Partially Homomorphic Encryption}, journal = {CoRR}, volume = {abs/1809.02267}, year = {2018}, url = {http://arxiv.org/abs/1809.02267}, eprinttype = {arXiv}, eprint = {1809.02267}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-02267.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1810-13072, author = {Xiaowu Sun and Haitham Khedr and Yasser Shoukry}, title = {Formal Verification of Neural Network Controlled Autonomous Systems}, journal = {CoRR}, volume = {abs/1810.13072}, year = {2018}, url = {http://arxiv.org/abs/1810.13072}, eprinttype = {arXiv}, eprint = {1810.13072}, timestamp = {Thu, 08 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-13072.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tac/ShoukryNPSST17, author = {Yasser Shoukry and Pierluigi Nuzzo and Alberto Puggelli and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Paulo Tabuada}, title = {Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: {A} Satisfiability Modulo Theory Approach}, journal = {{IEEE} Trans. Autom. Control.}, volume = {62}, number = {10}, pages = {4917--4932}, year = {2017}, url = {https://doi.org/10.1109/TAC.2017.2676679}, doi = {10.1109/TAC.2017.2676679}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tac/ShoukryNPSST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcns/MishraSKDT17, author = {Shaunak Mishra and Yasser Shoukry and Nikhil Karamchandani and Suhas N. Diggavi and Paulo Tabuada}, title = {Secure State Estimation Against Sensor Attacks in the Presence of Noise}, journal = {{IEEE} Trans. Control. Netw. Syst.}, volume = {4}, number = {1}, pages = {49--59}, year = {2017}, url = {https://doi.org/10.1109/TCNS.2016.2606880}, doi = {10.1109/TCNS.2016.2606880}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcns/MishraSKDT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/ShoukryTTMGA17, author = {Yasser Shoukry and Paulo Tabuada and Stephanie Tsuei and Mark B. Milam and Jessy W. Grizzle and Aaron D. Ames}, title = {Closed-form controlled invariant sets for pedestrian avoidance}, booktitle = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May 24-26, 2017}, pages = {1622--1628}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.23919/ACC.2017.7963185}, doi = {10.23919/ACC.2017.7963185}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amcc/ShoukryTTMGA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/ShoukryNBSSSPT17, author = {Yasser Shoukry and Pierluigi Nuzzo and Ayca Balkan and Indranil Saha and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and George J. Pappas and Paulo Tabuada}, title = {Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming}, booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017, Melbourne, Australia, December 12-15, 2017}, pages = {1132--1137}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/CDC.2017.8263808}, doi = {10.1109/CDC.2017.8263808}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/ShoukryNBSSSPT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/ShowkatbakhshSC17, author = {Mehrdad Showkatbakhsh and Yasser Shoukry and Robert H. Chen and Suhas N. Diggavi and Paulo Tabuada}, title = {An SMT-based approach to secure state estimation under sensor and actuator attacks}, booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017, Melbourne, Australia, December 12-15, 2017}, pages = {157--162}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/CDC.2017.8263659}, doi = {10.1109/CDC.2017.8263659}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/ShowkatbakhshSC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ShoukryNSSPT17, author = {Yasser Shoukry and Pierluigi Nuzzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and George J. Pappas and Paulo Tabuada}, editor = {Goran Frehse and Sayan Mitra}, title = {{SMC:} Satisfiability Modulo Convex Optimization}, booktitle = {Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017}, pages = {19--28}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3049797.3049819}, doi = {10.1145/3049797.3049819}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/ShoukryNSSPT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipsn/Al-AnwarSCBMTS17, author = {Amr Al{-}Anwar and Yasser Shoukry and Supriyo Chakraborty and Bharathan Balaji and Paul Martin and Paulo Tabuada and Mani B. Srivastava}, editor = {Pei Zhang and Prabal Dutta and Guoliang Xing}, title = {PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract}, booktitle = {Proceedings of the 16th {ACM/IEEE} International Conference on Information Processing in Sensor Networks, {IPSN} 2017, Pittsburgh, PA, USA, April 18-21, 2017}, pages = {257--258}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3055031.3055033}, doi = {10.1145/3055031.3055033}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ipsn/Al-AnwarSCBMTS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipsn/Al-AnwarSCMTS17, author = {Amr Al{-}Anwar and Yasser Shoukry and Supriyo Chakraborty and Paul Martin and Paulo Tabuada and Mani B. Srivastava}, editor = {Pei Zhang and Prabal Dutta and Guoliang Xing}, title = {PrOLoc: resilient localization with private observers using partial homomorphic encryption}, booktitle = {Proceedings of the 16th {ACM/IEEE} International Conference on Information Processing in Sensor Networks, {IPSN} 2017, Pittsburgh, PA, USA, April 18-21, 2017}, pages = {41--52}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3055031.3055080}, doi = {10.1145/3055031.3055080}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ipsn/Al-AnwarSCMTS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sensys/TsaiSLR17, author = {Huey{-}Ru (Debbie) Tsai and Yasser Shoukry and Min Kyung Lee and Vasumathi Raman}, editor = {Kamin Whitehouse and Prabal Dutta and Hae Young Noh}, title = {Towards a socially responsible smart city: dynamic resource allocation for smarter community service}, booktitle = {Proceedings of the 4th {ACM} International Conference on Systems for Energy-Efficient Built Environments, BuildSys 2017, Delft, The Netherlands, November 08-09, 2017}, pages = {13:1--13:4}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3137133.3137163}, doi = {10.1145/3137133.3137163}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sensys/TsaiSLR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tac/ShoukryT16, author = {Yasser Shoukry and Paulo Tabuada}, title = {Event-Triggered State Observers for Sparse Sensor Noise/Attacks}, journal = {{IEEE} Trans. Autom. Control.}, volume = {61}, number = {8}, pages = {2079--2091}, year = {2016}, url = {https://doi.org/10.1109/TAC.2015.2492159}, doi = {10.1109/TAC.2015.2492159}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tac/ShoukryT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/ShoukryGAPSST16, author = {Yasser Shoukry and Konstantinos Gatsis and Amr Al{-}Anwar and George J. Pappas and Sanjit A. Seshia and Mani B. Srivastava and Paulo Tabuada}, title = {Privacy-aware quadratic optimization using partially homomorphic encryption}, booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas, NV, USA, December 12-14, 2016}, pages = {5053--5058}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/CDC.2016.7799042}, doi = {10.1109/CDC.2016.7799042}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/ShoukryGAPSST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/ShoukryNSSSPT16, author = {Yasser Shoukry and Pierluigi Nuzzo and Indranil Saha and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and George J. Pappas and Paulo Tabuada}, title = {Scalable lazy SMT-based motion planning}, booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas, NV, USA, December 12-14, 2016}, pages = {6683--6688}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/CDC.2016.7799298}, doi = {10.1109/CDC.2016.7799298}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/ShoukryNSSSPT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/ShoukryCWNSSHT16, author = {Yasser Shoukry and Michelle Chong and Masashi Wakaiki and Pierluigi Nuzzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Jo{\~{a}}o Pedro Hespanha and Paulo Tabuada}, title = {SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks}, booktitle = {7th {ACM/IEEE} International Conference on Cyber-Physical Systems, {ICCPS} 2016, Vienna, Austria, April 11-14, 2016}, pages = {29:1--29:10}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ICCPS.2016.7479119}, doi = {10.1109/ICCPS.2016.7479119}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccps/ShoukryCWNSSHT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ShoukryMYDS16, author = {Yasser Shoukry and Paul Martin and Yair Yona and Suhas N. Diggavi and Mani B. Srivastava}, title = {Attack Resilience and Recovery using Physical Challenge Response Authentication for Active Sensors Under Integrity Attacks}, journal = {CoRR}, volume = {abs/1605.02062}, year = {2016}, url = {http://arxiv.org/abs/1605.02062}, eprinttype = {arXiv}, eprint = {1605.02062}, timestamp = {Tue, 23 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ShoukryMYDS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/basesearch/Sakr15, author = {Yasser Shoukry Sakr}, title = {Security and Privacy in Cyber-Physical Systems: Physical Attacks and Countermeasures}, school = {University of California, Los Angeles, {USA}}, year = {2015}, url = {http://www.escholarship.org/uc/item/8rh5c4b0}, timestamp = {Fri, 12 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/basesearch/Sakr15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/ShoukryPNSST15, author = {Yasser Shoukry and Alberto Puggelli and Pierluigi Nuzzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Paulo Tabuada}, title = {Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving}, booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3, 2015}, pages = {3818--3823}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ACC.2015.7171925}, doi = {10.1109/ACC.2015.7171925}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amcc/ShoukryPNSST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/TruongSS15, author = {Newton Truong and Yasser Shoukry and Mani B. Srivastava}, title = {Bio-inspired underwater electrolocation through adaptive system identification}, booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3, 2015}, pages = {4473--4478}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ACC.2015.7172033}, doi = {10.1109/ACC.2015.7172033}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amcc/TruongSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/ShoukryMYDS15, author = {Yasser Shoukry and Paul Martin and Yair Yona and Suhas N. Diggavi and Mani B. Srivastava}, editor = {Indrajit Ray and Ninghui Li and Christopher Kruegel}, title = {PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks}, booktitle = {Proceedings of the 22nd {ACM} {SIGSAC} Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015}, pages = {1004--1015}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2810103.2813679}, doi = {10.1145/2810103.2813679}, timestamp = {Tue, 23 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/ShoukryMYDS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/ShoukryNBSST15, author = {Yasser Shoukry and Pierluigi Nuzzo and Nicola Bezzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Paulo Tabuada}, title = {Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving}, booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka, Japan, December 15-18, 2015}, pages = {3804--3809}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/CDC.2015.7402810}, doi = {10.1109/CDC.2015.7402810}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/ShoukryNBSST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isit/MishraSKDT15, author = {Shaunak Mishra and Yasser Shoukry and Nikhil Karamchandani and Suhas N. Diggavi and Paulo Tabuada}, title = {Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise}, booktitle = {{IEEE} International Symposium on Information Theory, {ISIT} 2015, Hong Kong, China, June 14-19, 2015}, pages = {2929--2933}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ISIT.2015.7282993}, doi = {10.1109/ISIT.2015.7282993}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isit/MishraSKDT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MishraSKDT15, author = {Shaunak Mishra and Yasser Shoukry and Nikhil Karamchandani and Suhas N. Diggavi and Paulo Tabuada}, title = {Secure State Estimation: Optimal Guarantees against Sensor Attacks in the Presence of Noise}, journal = {CoRR}, volume = {abs/1504.05566}, year = {2015}, url = {http://arxiv.org/abs/1504.05566}, eprinttype = {arXiv}, eprint = {1504.05566}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MishraSKDT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MishraSKDT15a, author = {Shaunak Mishra and Yasser Shoukry and Nikhil Karamchandani and Suhas N. Diggavi and Paulo Tabuada}, title = {Secure State Estimation against Sensor Attacks in the Presence of Noise}, journal = {CoRR}, volume = {abs/1510.02462}, year = {2015}, url = {http://arxiv.org/abs/1510.02462}, eprinttype = {arXiv}, eprint = {1510.02462}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MishraSKDT15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ShoukryNBSST15, author = {Yasser Shoukry and Pierluigi Nuzzo and Nicola Bezzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Paulo Tabuada}, title = {A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks}, journal = {CoRR}, volume = {abs/1509.03262}, year = {2015}, url = {http://arxiv.org/abs/1509.03262}, eprinttype = {arXiv}, eprint = {1509.03262}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ShoukryNBSST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/Shoukry0TS15, author = {Yasser Shoukry and Paul D. Martin and Paulo Tabuada and Mani B. Srivastava}, title = {Non-invasive Spoofing Attacks for Anti-lock Braking Systems}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {419}, year = {2015}, url = {http://eprint.iacr.org/2015/419}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/Shoukry0TS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/ShoukryT14, author = {Yasser Shoukry and Paulo Tabuada}, title = {Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks}, booktitle = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles, CA, USA, December 15-17, 2014}, pages = {3548--3553}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/CDC.2014.7039940}, doi = {10.1109/CDC.2014.7039940}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/ShoukryT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nsdi/ChakrabortySRSMS14, author = {Supriyo Chakraborty and Chenguang Shen and Kasturi Rangan Raghavan and Yasser Shoukry and Matt Millar and Mani B. Srivastava}, editor = {Ratul Mahajan and Ion Stoica}, title = {ipShield: {A} Framework For Enforcing Context-Aware Privacy}, booktitle = {Proceedings of the 11th {USENIX} Symposium on Networked Systems Design and Implementation, {NSDI} 2014, Seattle, WA, USA, April 2-4, 2014}, pages = {143--156}, publisher = {{USENIX} Association}, year = {2014}, url = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/chakraborty}, timestamp = {Tue, 02 Feb 2021 08:05:43 +0100}, biburl = {https://dblp.org/rec/conf/nsdi/ChakrabortySRSMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sensys/0001SSOS14, author = {Paul D. Martin and Yasser Shoukry and Prashanth Swaminathan and Wentao Robin Ouyang and Mani B. Srivastava}, editor = {Mani Srivastava}, title = {Social spring: encounter-based path refinement for indoor tracking systems}, booktitle = {Proceedings of the 1st {ACM} Conference on Embedded Systems for Energy-Efficient Buildings, BuildSys 2014, Memphis, TN, USA, November 3-6, 2014}, pages = {156--159}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2674061.2674065}, doi = {10.1145/2674061.2674065}, timestamp = {Fri, 08 Jul 2022 23:03:27 +0200}, biburl = {https://dblp.org/rec/conf/sensys/0001SSOS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ShoukryNPSST14, author = {Yasser Shoukry and Pierluigi Nuzzo and Alberto Puggelli and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Paulo Tabuada}, title = {Secure State Estimation Under Sensor Attacks: {A} Satisfiability Modulo Theory Approach}, journal = {CoRR}, volume = {abs/1412.4324}, year = {2014}, url = {http://arxiv.org/abs/1412.4324}, eprinttype = {arXiv}, eprint = {1412.4324}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ShoukryNPSST14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cee/ShoukryEH13, author = {Yasser Shoukry and M. Watheq El{-}Kharashi and Sherif Hammad}, title = {An embedded implementation of the Generalized Predictive Control algorithm applied to automotive active suspension systems}, journal = {Comput. Electr. Eng.}, volume = {39}, number = {2}, pages = {512--529}, year = {2013}, url = {https://doi.org/10.1016/j.compeleceng.2012.09.006}, doi = {10.1016/J.COMPELECENG.2012.09.006}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cee/ShoukryEH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ches/ShoukryMTS13, author = {Yasser Shoukry and Paul D. Martin and Paulo Tabuada and Mani B. Srivastava}, editor = {Guido Bertoni and Jean{-}S{\'{e}}bastien Coron}, title = {Non-invasive Spoofing Attacks for Anti-lock Braking Systems}, booktitle = {Cryptographic Hardware and Embedded Systems - {CHES} 2013 - 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8086}, pages = {55--72}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40349-1\_4}, doi = {10.1007/978-3-642-40349-1\_4}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ches/ShoukryMTS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fdl/ShoukryKEBH13, author = {Yasser Shoukry and Ajay Kumar and M. Watheq El{-}Kharashi and Gahda Bahig and Sherif Hammad}, title = {Graph-based approach for software allocation in automotive networked embedded systems: {A} partition-and-map algorithm}, booktitle = {Proceedings of the 2013 Forum on specification and Design Languages, {FDL} 2013, Paris, France, September 24-26, 2013}, pages = {1--6}, publisher = {{IEEE}}, year = {2013}, url = {https://ieeexplore.ieee.org/document/6646653/}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fdl/ShoukryKEBH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicons/ShoukryATSJ13, author = {Yasser Shoukry and Jos{\'{e}} Araujo and Paulo Tabuada and Mani B. Srivastava and Karl Henrik Johansson}, editor = {Linda Bushnell and Larry Rohrbough and Saurabh Amin and Xenofon D. Koutsoukos}, title = {Minimax control for cyber-physical systems under network packet scheduling attacks}, booktitle = {2nd {ACM} International Conference on High Confidence Networked Systems (part of {CPS} Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11, 2013}, pages = {93--100}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2461446.2461460}, doi = {10.1145/2461446.2461460}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hicons/ShoukryATSJ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ShoukryT13, author = {Yasser Shoukry and Paulo Tabuada}, title = {Event-Triggered State Observers for Sparse Sensor Noise/Attacks}, journal = {CoRR}, volume = {abs/1309.3511}, year = {2013}, url = {http://arxiv.org/abs/1309.3511}, eprinttype = {arXiv}, eprint = {1309.3511}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ShoukryT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/TabuadaBCSM12, author = {Paulo Tabuada and Ayca Balkan and Sina Y. Caliskan and Yasser Shoukry and Rupak Majumdar}, editor = {Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr}, title = {Input-output robustness for discrete systems}, booktitle = {Proceedings of the 12th International Conference on Embedded Software, {EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012}, pages = {217--226}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2380356.2380396}, doi = {10.1145/2380356.2380396}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emsoft/TabuadaBCSM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/esl/ShoukryEH10, author = {Yasser Shoukry and M. Watheq El{-}Kharashi and Sherif Hammad}, title = {MPC-On-Chip: An Embedded {GPC} Coprocessor for Automotive Active Suspension Systems}, journal = {{IEEE} Embed. Syst. Lett.}, volume = {2}, number = {2}, pages = {31--34}, year = {2010}, url = {https://doi.org/10.1109/LES.2010.2051794}, doi = {10.1109/LES.2010.2051794}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/esl/ShoukryEH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/ShoukryEH10, author = {Yasser Shoukry and Mohamed H. El{-}Shafie and Sherif Hammad}, title = {Networked embedded generalized predictive controller for an active suspension system}, booktitle = {American Control Conference, {ACC} 2010, Baltimore, Maryland, USA, June 30 - July 2, 2010}, pages = {4570--4575}, publisher = {{IEEE}}, year = {2010}, url = {https://doi.org/10.1109/ACC.2010.5530876}, doi = {10.1109/ACC.2010.5530876}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amcc/ShoukryEH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.