Posts by yshoukry:

• Valen Yamamoto won the ACM SIGBED Student Research Competition. Ulices Santa Cruz is also a finalist. Posted on September 20, 2023 (September 20, 2023) by yshoukry in News
• New $2M NSF Grant from the S&CC Program! Posted on May 11, 2023 (May 11, 2023) by yshoukry in News
• Papers accepted in CDC 2023 Posted on February 26, 2023 (July 12, 2023) by yshoukry in News
• Papers accepted at HSCC and ICCPS (part of CPS-IoT Week) Posted on January 24, 2023 (January 24, 2023) by yshoukry in News
• FastBATLLNN is a Category Winner in the VNN-COMP’22! Posted on December 16, 2022 (December 16, 2022) by yshoukry in News
• Paper accepted in IEEE L-CSS Posted on December 16, 2022 (December 16, 2022) by yshoukry in News
• Paper accepted in AAAI 2023 Posted on November 20, 2022 (November 20, 2022) by yshoukry in News
• Dr. Xiaowu Sun successfully defended his Ph.D. dissertation Posted on November 18, 2022 (November 20, 2022) by yshoukry in News
• Two papers accepted in 2022 IEEE CDC Posted on July 15, 2022 (July 15, 2022) by yshoukry in News
• New NSF CPS-Medium Grant! Posted on April 3, 2022 (April 3, 2022) by yshoukry in News
• New Grant from C3.ai Digital Transformation Institute! Posted on March 24, 2022 (April 3, 2022) by yshoukry in News
• Paper Accepted in NASA Formal Methods Symposium 2022 Posted on March 15, 2022 (March 15, 2022) by yshoukry in News
• Paper accepted in HSCC 2022 Posted on January 17, 2022 (January 17, 2022) by yshoukry in News
• Two papers accepted in 2021 IEEE CDC Posted on August 6, 2021 (January 19, 2022) by yshoukry in News
• Prof. Shoukry receives the Early Career Award from the IEEE Technical Committee on Cyber-Physical Systems Posted on June 24, 2021 (June 24, 2021) by yshoukry in News
• Xiaowu Sun is a finalist in the ACM SIGBED SRC Student Competition @ CPS-IoT Week 2021! Posted on May 21, 2021 (May 21, 2021) by yshoukry in News
• Paper accepted in CAV 2021 Posted on April 20, 2021 (April 20, 2021) by yshoukry in News
• Paper accepted in ADHS 2021 Posted on February 25, 2021 (March 4, 2021) by yshoukry in News
• Paper Accepted in IEEE CDC Posted on July 15, 2020 (December 28, 2020) by yshoukry in News
• We are organizing an ARO workshop on “Assured Autonomy” Posted on July 1, 2020 (December 28, 2020) by yshoukry in News
• Paper Accepted in ACM TCPS Posted on January 23, 2020 (January 23, 2020) by yshoukry in News
• Paper Accepted in Automatica Posted on January 20, 2020 (January 20, 2020) by yshoukry in News
• Paper Accepted in IEEE TAC Posted on January 17, 2020 (January 17, 2020) by yshoukry in News
• Paper accepted in ACC 2020 Posted on January 17, 2020 by yshoukry in News
• Paper accepted in HSCC 2020 Posted on December 30, 2019 by yshoukry in News
• George Corcoran Memorial Award Posted on September 25, 2019 by yshoukry in News
• Press Coverage: ACM PL Blog Posted on September 25, 2019 by yshoukry in News
• Dr. James Ferlez joins RCPSL Posted on September 25, 2019 by yshoukry in News
• NSF CAREER Award! Posted on September 25, 2019 by yshoukry in News
• New Northrup Grumman-UMD Seed Project Posted on September 25, 2019 by yshoukry in News
• Talk on Resilient and Verifiable Autonomous CPS Posted on September 25, 2019 by yshoukry in News
• Paper accepted in SafeThings Posted on September 25, 2019 by yshoukry in News
• Paper accepted in ICRA Posted on September 25, 2019 by yshoukry in News
• Paper accepted in HSCC (CPS-IoT Week) Posted on September 25, 2019 by yshoukry in News
• RCPSL Students in the news! Posted on September 25, 2019 by yshoukry in News
• Co-Chairing ACM SafeThings TPC Posted on September 25, 2019 by yshoukry in News
• Talks on Resilient and Verifiable Autonomous CPS Posted on September 25, 2019 by yshoukry in News
• STEM Outreach: Tech + Research: Welcoming Women to Computing Research Posted on September 25, 2019 by yshoukry in News
• New NSF CPS Project Posted on September 25, 2019 by yshoukry in News
• Co-Organizing a Special Session at EMSOFT Posted on September 25, 2019 by yshoukry in News
• Debbie Tsai Graduated! Posted on September 25, 2019 by yshoukry in News
• Paper accepted in Proceedings of the IEEE Posted on September 25, 2019 by yshoukry in News
• Co-Chairing ACM SafeThings TPC Posted on September 25, 2019 by yshoukry in News
• Talk at the Laboratory For Telecommunication Sciences Posted on September 25, 2019 by yshoukry in News
• New Northrup Grumman-UMD Seed Project Posted on September 25, 2019 by yshoukry in News
• Paper accepted in ICCPS Posted on September 25, 2019 by yshoukry in News
• Press Coverage: IoT Privacy Forum Posted on September 25, 2019 by yshoukry in News
• Talk in the NIST IoT Cybersecurity Colloquium Posted on September 25, 2019 by yshoukry in News
• Paper Accepted in ACM BuildSys! Posted on September 25, 2019 by yshoukry in News
• First Day of Work! Posted on September 25, 2019 by yshoukry in News