• Log In
Skip to content
Embedded & Cyber-Physical Systems Lab

Embedded & Cyber-Physical Systems Lab

Autonomous and Intelligent Cyber-Physical Systems (Al Faruque's Lab)

Menu

  • Home
  • Research
  • People
  • Awards/Fundings
  • Publications
    • By Year
      • All Years
      • 2024
      • 2023
      • 2022
      • 2021
      • 2020
      • 2019
      • 2018
      • 2017
      • 2016
      • 2015
      • 2014
      • 2013
      • 2003 – 2012
    • By Type
      • Books
      • Published Book Chapters
      • Conferences
      • Journal Publications
      • Journals Guest Edited
      • Patents
      • ARXIV/Technical Reports/Other
      • Tutorials Presented
    • By Topic
      • Hardware Security
      • CPS & ES Security
      • Automotive and Transportation
      • Manufacturing Systems
      • SmartGrid
      • Mobile Health
      • Graph Learning for CPS
      • Hardware/Software Co-Design
      • Others
  • AICPS Tools/Datasets
  • Teaching
  • Gallery
  • News/Media

[New Grant from Siemens: 2024-2024] – Leveraging Large Language Models to Automate Verifiable Program Synthesis for Industrial Control Systems

[New Grant from Siemens: 2024-2024] – Leveraging Large Language Models to Automate Verifiable Program Synthesis for Industrial Control Systems
alfaruqu May 2, 2024May 2, 2024 Uncategorized
  • ← [New Grant from Air Force Research Laboratory (AFRL): 2024-2027] – From Coordination to Collaboration: Reinforcement Learning for Group Cognition Control
  • [SMARTCOMP 2024] Accepted Paper: Distributed Radiance Fields for Edge Video Compression and Metaverse Integration in Autonomous Driving →

Latest News

  • [DATE 2025]: Accepted Paper: Performance Implications of Multi-Chiplet Neural Processing Units on Autonomous Driving Perception November 14, 2024
  • [ACSAC 2024] A Fly on the Wall – Exploiting Acoustic Side-Channels in Differential Pressure Sensors August 20, 2024
  • Ph.D. #13: Dr. Mohanad Odema Defended his Dissertation. Congratulations and Good Luck. August 9, 2024
  • Welcome Dr. Bouzidi to our Lab as a postdoctoral researcher. August 1, 2024
  • [MICRO 2024] Accepted Paper: SCAR: Scheduling Multi-Model AI Workloads on Heterogeneous Multi-Chiplet Module Accelerators July 17, 2024
  • Ph.D. #12: Dr. Trier Mortlock Defended his Dissertation. Congratulations and Good Luck. May 31, 2024
  • [New Grant from DARPA: 2024-2027] “SENPAI: Strategic Exploration, Navigation, and Patching of Abstracted Integrations for Cyber-Physical Systems,” Broad Agency Announcement Faithful Integrated Reverse-Engineering and Exploitation (FIRE) May 27, 2024
  • [IEEE TII] Accepted Paper: Adaptive Data Fusion for State Estimation and Control of Power Grids Under Attack May 4, 2024
  • [SMARTCOMP 2024] Accepted Paper: Distributed Radiance Fields for Edge Video Compression and Metaverse Integration in Autonomous Driving May 2, 2024
  • [New Grant from Siemens: 2024-2024] – Leveraging Large Language Models to Automate Verifiable Program Synthesis for Industrial Control Systems May 2, 2024
  • [New Grant from Air Force Research Laboratory (AFRL): 2024-2027] – From Coordination to Collaboration: Reinforcement Learning for Group Cognition Control May 1, 2024
  • [DAC 2024] Accepted Paper: SMORE: Similarity-Based Hyperdimensional Domain Adaptation for Multi-Sensor Time Series Classification February 13, 2024

Contact Us

Professor Mohammad Al Faruque

Professor
Henry Samueli School of Engineering
Electrical Engineering  Computer Science
Computer Science (Courtesy Appointment)
Mechanical and Aerospace Engineering
(Courtesy Appointment)

University of California, Irvine
CA, USA 92697-2625

Contact Us

Professor Mohammad Al Faruque

Professor
Henry Samueli School of Engineering
Electrical Engineering  Computer Science
Computer Science (Courtesy Appointment)
Mechanical and Aerospace Engineering
(Courtesy Appointment)

University of California, Irvine
CA, USA 92697-2625

 


Phone: +1 (949) 824 1909

Fax: +1 (949) 824 3032/2321

Email: alfaruqu@uci.edu

Office Address: 3223 Engineering Hall, Irvine, CA  92697-2625

Lab Address: 5440  Engineering Hall, Irvine, CA

Item 1
Item 2
Item 3
Item 4

Copyright © 2024 Embedded & Cyber-Physical Systems Lab. Powered by WordPress. Theme: Spacious by ThemeGrill.