Academic Services
Academic Services
Intelligent Systems Technical Committee
IEEE Technical Committee on Cybernetics for Cyber-Physical Systems
SAE G-34 Artificial Intelligence in Aviation
SAE G-32 Cyber-Physical Systems Security
SAE G-31 Electronic Transactions for Aerospace Committee
SAE S18A Autonomy Working Group
SAE AS2C Architecture Analysis & Design Language (AADL) (past)
ANSI UASSC working group
Associate editor of IET Cyber-Physical Systems: Theory & Applications
Guest editor of IEEE Transaction on Sustainable Computing
Guest editor of ACM Transactions on Cyber-Physical Systems
Guest editor of Springer Design Automation for Embedded Systems
Guest editor of SAE International Journal of Aerospace
Design, Automation and Test in Europe (DATE)
IEEE Conference on Artificial Intelligence (IEEE CAI)
IEEE Conference on Assured Autonomy (ICAA)
Design Automation Conference (DAC)
IEEE Real-Time Systems Symposium (RTSS)
NASA Formal Methods (NFM)
IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT )
International Workshop on Numerical Software Verification (NSV)
International conference on Industrial Cyber-Physical Systems (ICPS)
ACM Symposium on Applied Computing (SAC)
International Conference on Computer-Aided Design (ICCAD)
Digital Avionics Systems Conference (DASC)
IEEE/ACM International Workshop on System-Level Interconnect Prediction (SLIP)
The Working IEEE/IFIP Conference on Software Architecture (WICSA) and CompArch
IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC)
Applied Verification for Continuous and Hybrid Systems (ARCH)
Cross-Layer Cyber-Physical Systems (CPSS) @INFOCOM
Analytic Virtual Integration of Cyber-Physical Systems (AVICPS)
U.S. DOT’s AI Assurance workshops (2023, 2024)
DAC’19 workshop on Design Automation for Cyber-Physical Systems (DACPS)
SLIP'18 ACM/IEEE System Level Interconnect Prediction Symposium (SLIP)
DAC’18 workshop on Design Automation for Cyber-Physical Systems (DACPS)
DAC’17 workshop on Design Automation for Cyber-Physical Systems (DACPS)
DAC’17 workshop on Autonomous Vehicles, Avionics, Transportation, and Robotics (AVATAR)
2016 Shonan seminar on software architecture for Cyber-Physical Systems
DASC'20 regular session on Safe & Secure Technologies
DAC’17 special session on Next-generation automotive and avionics safety: are you ready?
ICCAD’17 special session on Automotive EDA: Constructing the Intersection of Silicon Valley and Motor City
DAC’16 DAC special session on Environment-aware, reactive and secure automotive systems
DAC’15 DAC special session on Automotive architecture and networks jungle
Proceedings of IEEE
IEEE Transactions on Industrial Informatics (TII)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
Springer Software & Systems Modeling (SoSyM)
ACM Transactions on Cyber-Physical Systems (TCPS)
ACM Transaction on Embedded Computing (TECS)
Elsevier Journal of System Architecture (JSA)
Springer Journal on Frontier of Computer Science (FCS)
Springer Journal Design Automation for Embedded Systems (DAES)
Conferences: DAC, DATE, ICCAD, RTSS, ASP-DAC, ACM SAC, FORMATS, etc.