Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Yasser Shoukry"
download as .bib file
@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/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 = {Mon, 15 Jun 2020 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}
}
a service of 
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.
retrieved on 2024-08-03 16:57 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
