Cyber-Physical Systems Design for Electric Vehicles. - Martin Lukasiewycz; Sebastian Steinhorst; Florian Sagstetter; Wanli Chang 001; Peter Waszecki; Matthias Kauer; Samarjit Chakraborty (DSD, 2012)

Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization. - Wanli Chang 001; Martin Lukasiewycz; Sebastian Steinhorst; Samarjit Chakraborty (CODES+ISSS, 2013)

System architecture and software design for electric vehicles. - Martin Lukasiewycz; Sebastian Steinhorst; Sidharta Andalam; Florian Sagstetter; Peter Waszecki; Wanli Chang 001; Matthias Kauer; Philipp Mundhenk; Shanker Shreejith; Suhaib A. Fahmy; Samarjit Chakraborty (DAC, 2013)

Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles. - Wanli Chang 001; Alma Pröbstl; Dip Goswami; Majid Zamani 001; Samarjit Chakraborty (RTSS, 2014)

Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles. - Wanli Chang 001; Alma Pröbstl; Dip Goswami; Majid Zamani 001; Samarjit Chakraborty (CPSNA, 2015)

Automated synthesis of cyber-physical systems from joint controller/architecture specifications. - Debayan Roy; Licong Zhang; Wanli Chang 001; Samarjit Chakraborty (FDL, 2016)

Model-based design of resource-efficient automotive control software. - Wanli Chang 001; Debayan Roy; Licong Zhang; Samarjit Chakraborty (ICCAD, 2016)

Multi-Objective Co-Optimization of FlexRay-Based Distributed Control Systems. - Debayan Roy; Licong Zhang; Wanli Chang 001; Dip Goswami; Samarjit Chakraborty (RTAS, 2016)

Automotive Cyber-Physical Systems: A Tutorial Introduction. - Samarjit Chakraborty; Mohammad Abdullah Al Faruque; Wanli Chang 001; Dip Goswami; Marilyn Wolf; Qi Zhu 002 (IEEE Des. Test, 2016)

Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems Approach. - Wanli Chang 001; Samarjit Chakraborty (Found. Trends Electron. Des. Autom., 2016)

Specification, Verification and Design of Evolving Automotive Software: Invited. - S. Ramesh 002; Birgit Vogel-Heuser; Wanli Chang 001; Debayan Roy; Licong Zhang; Samarjit Chakraborty (DAC, 2017)

Effectively utilizing elastic resources in networked control systems. - Michael Balszun; Debayan Roy; Licong Zhang; Wanli Chang 001; Samarjit Chakraborty (RTCSA, 2017)

Memory-Aware Embedded Control Systems Design. - Wanli Chang 001; Dip Goswami; Samarjit Chakraborty; Lei Ju 001; Chun Jason Xue; Sidharta Andalam (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Control/Architecture Codesign for Cyber-Physical Systems. - Wanli Chang 001; Licong Zhang; Debayan Roy; Samarjit Chakraborty (Handbook of Hardware/Software Codesign, 2017)

Cache-aware task scheduling for maximizing control performance. - Wanli Chang 001; Debayan Roy; Xiaobo Sharon Hu; Samarjit Chakraborty (DATE, 2018)

Semantics-Preserving Cosynthesis of Cyber-Physical Systems. - Debayan Roy; Licong Zhang; Wanli Chang 001; Sanjoy K. Mitter; Samarjit Chakraborty (Proc. IEEE, 2018)

OS-Aware Automotive Controller Design Using Non-Uniform Sampling. - Wanli Chang 001; Dip Goswami; Samarjit Chakraborty; Arne Hamann 001 (ACM Trans. Cyber Phys. Syst., 2018)

Tighter Dimensioning of Heterogeneous Multi-Resource Autonomous CPS with Control Performance Guarantees. - Debayan Roy; Wanli Chang 001; Sanjoy K. Mitter; Samarjit Chakraborty (DAC, 2019)

Thermal Sensing Using Micro-ring Resonators in Optical Network-on-Chip. - Weichen Liu; Mengquan Li; Wanli Chang 001; Chunhua Xiao; Yiyuan Xie; Nan Guan; Lei Jiang 001 (DATE, 2019)

Exploiting System Dynamics for Resource-Efficient Automotive CPS Design. - Leslie Maldonado; Wanli Chang 001; Debayan Roy; Anuradha Annaswamy; Dip Goswami; Samarjit Chakraborty (DATE, 2019)

From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper). - Wanli Chang 001; Shuai Zhao 004; Ran Wei; Andy J. Wellings; Alan Burns 001 (LCTES, 2019)

Special Issue on Emerging Trend and Techniques of Cyber Physical Systems. - Ramesh Chandra Poonia; Wanli Chang 001; Vaibhav Katewa; Xiao-Zhi Gao 001 (J. Syst. Archit., 2019)

A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design. - Xiaotian Dai 001; Wanli Chang 001; Shuai Zhao 004; Alan Burns 001 (ACM Trans. Embed. Comput. Syst., 2019)

Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support. - Shuai Zhao 004; Zhe Jiang 004; Xiaotian Dai 001; Iain Bate; Ibrahim Habli; Wanli Chang 001 (DAC, 2020)

TEVoT: Timing Error Modeling of Functional Units under Dynamic Voltage and Temperature Variations. - Xun Jiao 002; Dongning Ma; Wanli Chang 001; Yu Jiang 001 (DAC, 2020)

ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation. - Zhengxiong Luo 002; Feilong Zuo; Yuheng Shen; Xun Jiao 002; Wanli Chang 001; Yu Jiang 001 (DAC, 2020)

CPS-oriented Modeling and Control of Traffic Signals Using Adaptive Back Pressure. - Wanli Chang 001; Debayan Roy; Shuai Zhao 004; Anuradha Annaswamy; Samarjit Chakraborty (DATE, 2020)

Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks. - Xiaotian Dai 001; Shuai Zhao 004; Yu Jiang 001; Xun Jiao 002; Xiaobo Sharon Hu; Wanli Chang 001 (ICCAD, 2020)

Addressing Resource Contention and Timing Predictability for Multi-Core Architectures with Shared Memory Interconnects. - Haitong Wang; Neil C. Audsley; Wanli Chang 001 (RTAS, 2020)

DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency. - Shuai Zhao 004; Xiaotian Dai 001; Iain Bate; Alan Burns 001; Wanli Chang 001 (RTSS, 2020)

A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment. - Guoqi Xie; Haijie Gong; Yunbo Han; Samarjit Chakraborty; Wanli Chang 001 (RTSS, 2020)

EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking. - Jian Gao 008; Yiwen Xu; Yu Jiang 001; Zhe Liu 001; Wanli Chang 001; Xun Jiao 002; Jiaguang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Dynamic DAG Scheduling on Multiprocessor Systems: Reliability, Energy, and Makespan. - Jing Huang 012; Renfa Li; Xun Jiao 002; Yu Jiang 001; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

LEVAX: An Input-Aware Learning-Based Error Model of Voltage-Scaled Functional Units. - Xun Jiao 002; Dongning Ma; Wanli Chang 001; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Meshed Bluetree: Time-Predictable Multimemory Interconnect for Multicore Architectures. - Haitong Wang; Neil C. Audsley; Xiaobo Sharon Hu; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. - Wanli Chang 001; Ran Wei; Shuai Zhao 004; Andy J. Wellings; Jim Woodcock 001; Alan Burns 001 (ACM Trans. Embed. Comput. Syst., 2020)

Invited: Hardware/Software Co-Synthesis and Co-Optimization for Autonomous Systems. - Wanli Chang 001; Shuai Zhao 004; Simon Burton 001; Haitong Wang; Ting Chen 002; Nan Chen; Neil C. Audsley (DAC, 2021)

Reinforcement Learning-Assisted Cache Cleaning to Mitigate Long-Tail Latency in DM-SMR. - Yungang Pan; Zhiping Jia; Zhaoyan Shen; Bingzhe Li; Wanli Chang 001; Zili Shao (DAC, 2021)

Obfuscated Priority Assignment to CAN-FD Messages with Dependencies: A Swapping-based and Affix-Matching Approach. - Guoqi Xie; Debayan Roy; Yawen Zhang; Renfa Li; Wanli Chang 001 (DAC, 2021)

Training Acceleration for Deep Neural Networks: A Hybrid Parallelization Strategy. - Zihao Zeng; Chubo Liu; Zhuo Tang; Wanli Chang 001; Kenli Li 001 (DAC, 2021)

Efficient AUTOSAR-Compliant CAN-FD Frame Packing with Observed Optimality. - Wenhong Ma; Guoqi Xie; Renfa Li; Weichen Liu; Hai Helen Li; Wanli Chang 001 (DATE, 2021)

Robust Time-Sensitive Networking with Delay Bound Analyses. - Guoqi Xie; Xiangzhen Xiao; Hong Liu 006; Renfa Li; Wanli Chang 001 (ICCAD, 2021)

Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges. - Xiaotian Dai 001; Shuai Zhao 004; Iain Bate; Alan Burns 001; Xing Guo; Wanli Chang 001 (RTAS, 2021)

Partial order based non-preemptive communication scheduling towards real-time networks-on-chip. - Peng Chen 027; Hui Chen 016; Jun Zhou; Di Liu 002; Shiqing Li; Weichen Liu; Wanli Chang 001; Nan Guan (SAC, 2021)

Exploring planning and operations design space for EV charging stations. - Sangyoung Park; Alma Pröbstl; Wanli Chang 001; Anuradha Annaswamy; Samarjit Chakraborty (SAC, 2021)

Making smart contract development more secure and easier. - Meng Ren; Fuchen Ma; Zijing Yin; Ying Fu; Huizhong Li; Wanli Chang 001; Yu Jiang 001 (ESEC/SIGSOFT FSE, 2021)

Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources. - Shuai Zhao 004; Wanli Chang 001; Ran Wei; Weichen Liu; Nan Guan; Alan Burns 001; Andy J. Wellings (IEEE Trans. Computers, 2021)

A DVFS-Weakly Dependent Energy-Efficient Scheduling Approach for Deadline-Constrained Parallel Applications on Heterogeneous Systems. - Jing Huang 012; Renfa Li; Jiyao An; Haibo Zeng 001; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

Rtkaller: State-aware Task Generation for RTOS Fuzzing. - Yuheng Shen; Hao Sun 021; Yu Jiang 001; Heyuan Shi; Yixiao Yang; Wanli Chang 001 (ACM Trans. Embed. Comput. Syst., 2021)

ASDYS: Dynamic Scheduling Using Active Strategies for Multifunctional Mixed-Criticality Cyber-Physical Systems. - Yang Bai 007; Yizhi Huang; Guoqi Xie; Renfa Li; Wanli Chang 001 (IEEE Trans. Ind. Informatics, 2021)

Bi-Directional Timing-Power Optimisation on Heterogeneous Multi-Core Architectures. - Jing Huang 012; Renfa Li; Yehua Wei; Jiyao An; Wanli Chang 001 (IEEE Trans. Sustain. Comput., 2021)

HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Yu Jiang 001; Rui Wang 024; Wanli Chang 001; Jia-Guang Sun 001 (DAC, 2022)

Precise and scalable shared cache contention analysis for WCET estimation. - Wei Zhang 173; Mingsong Lv; Wanli Chang 001; Lei Ju 001 (DAC, 2022)

MSRP-FT: Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems. - Nan Chen; Shuai Zhao 004; Ian Gray; Alan Burns 001; Siyuan Ji; Wanli Chang 001 (RTAS, 2022)

Latency-driven Optimization of Switching Pipeline Design in Network Chips. - Jiale Chen; Xiaoqiang Wu; Debayan Roy; Hui Chen 016; Ping Xiang; Wenzhuo Zhang; Yuhong Feng; Wanli Chang 001 (RTSS, 2022)

Bounding the Response Time of DAG Tasks Using Long Paths. - Qingqiang He; Nan Guan; Mingsong Lv; Xu Jiang 004; Wanli Chang 001 (RTSS, 2022)

CT PUF: Configurable Tristate PUF Against Machine Learning Attacks for IoT Security. - Jiliang Zhang 002; Chaoqun Shen; Zhiyang Guo; Qiang Wu 015; Wanli Chang 001 (IEEE Internet Things J., 2022)

DEVoT: Dynamic Delay Modeling of Functional Units Under Voltage and Temperature Variations. - Dongning Ma; Xinqiao Zhang; Ke Huang 001; Yu Jiang 001; Wanli Chang 001; Xun Jiao 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Code Synthesis for Dataflow-Based Embedded Software Design. - Zhuo Su 005; Dongyan Wang; Yixiao Yang; Yu Jiang 001; Wanli Chang 001; Liming Fang 001; Wen Li; Jia-Guang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

MDD: A Unified Model-Driven Design Framework for Embedded Control Software. - Zhuo Su 005; Dongyan Wang; Yixiao Yang; Zehong Yu; Wanli Chang 001; Wen Li; Aiguo Cui; Yu Jiang 001; Jiaguang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

FLAM-PUF: A Response-Feedback-Based Lightweight Anti-Machine-Learning-Attack PUF. - Linjun Wu; Yupeng Hu 004; Kehuan Zhang; Wenjia Li; Xiaolin Xu 001; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Mercury: Instruction Pipeline Aware Code Generation for Simulink Models. - Zehong Yu; Zhuo Su 005; Yixiao Yang; Jie Liang 006; Yu Jiang 001; Aiguo Cui; Wanli Chang 001; Rui Wang 024 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Tool Integration for Automated Synthesis of Distributed Embedded Controllers. - Debayan Roy; Licong Zhang; Wanli Chang 001; Dip Goswami; Birgit Vogel-Heuser; Samarjit Chakraborty (ACM Trans. Cyber Phys. Syst., 2022)

A Survey of Blockchain Data Management Systems. - Qian Wei; Bingzhe Li; Wanli Chang 001; Zhiping Jia; Zhaoyan Shen; Zili Shao (ACM Trans. Embed. Comput. Syst., 2022)

HAIMA: A Hybrid SRAM and DRAM Accelerator-in-Memory Architecture for Transformer. - Yan Ding 004; Chubo Liu; Mingxing Duan; Wanli Chang 001; Keqin Li 001; Kenli Li 001 (DAC, 2023)

Fault Tolerance in Time-Sensitive Networking with Mixed-Critical Traffic. - Wenhong Ma; Xiangzhen Xiao; Guoqi Xie; Nan Guan; Yu Jiang 001; Wanli Chang 001 (DAC, 2023)

STCG: State-Aware Test Case Generation for Simulink Models. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Rui Wang 024; Wanli Chang 001; Aiguo Cui; Yu Jiang 001 (DAC, 2023)

Holistic WCRT Analysis for Global Fixed-Priority Preemptive Multiprocessor Scheduling. - Guoqi Xie; Chenglai Xiong; Wei Wu; Renfa Li; Wanli Chang 001 (DAC, 2023)

A Universal Method for Task Allocation on FP-FPS Multiprocessor Systems with Spin Locks. - Shuai Zhao 004; Nan Chen; Yinjie Fang; Zhao Li; Wanli Chang 001 (DAC, 2023)

Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment. - Nan Chen; Shuai Zhao 004; Ian Gray; Alan Burns 001; Siyuan Ji; Wanli Chang 001 (RTAS, 2023)

Brief Industry Paper: A DAG Generator with Full Topology Coverage. - Yinjie Fang; Shuai Zhao 004; Yili Guo; Wanli Chang 001 (RTSS, 2023)

RTISM: Real-Time Inter-VM Communication Based on Shared Memory for Mixed-Criticality Flows. - Zonghong Li; Guoqi Xie; Wenhong Ma; Xiongren Xiao; Yong Xie 003; Wei Ren 002; Wanli Chang 001 (RTSS, 2023)

Brief Industry Paper: Response Time Evaluation of Cross-Domain Communication in CAN-FD and TSN. - Wenhong Ma; Xiaoyi Huang; Dongsheng Wei; Renfa Li; Yunfei Zhang; Guoqi Xie; Wanli Chang 001 (RTSS, 2023)

Brief Industry Paper: Real-Time Image Dehazing for Automated Vehicles. - Yanjie Tan; Yifu Zhu; Zhaoyang Huang; Huailiang Tan; Wanli Chang 001 (RTSS, 2023)

Brief Industry Paper: Retention-Based Energy-Efficient Scheduling of Arbitrary-Deadline DAG Tasks on Multicore Platforms. - Xiangzhen Xiao; Weijie Wang; Wenhong Ma; Wanli Chang 001 (RTSS, 2023)

PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. - Zhuo Su 005; Dongyan Wang; Zehong Yu; Yixiao Yang; Yu Jiang 001; Rui Wang 024; Wanli Chang 001; Wen Li; Aiguo Cui; Jia-Guang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

A High-Flexibility CAN-TSN Gateway With a Low-Congestion TSN-to-CAN Scheduler. - Guoqi Xie; Yao Zhang; Nan Chen; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Test Case Generation for Simulink Models using Model Fuzzing and State Solving. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Wanli Chang 001; Bin Gu 006; Yu Jiang 001 (ASE, 2024)

Managing End-to-End Timing Jitters in ROS2 Computation Chains. - Hazem Abaza; Debayan Roy; Bohdan Trach; Wanli Chang 001; Selma Saidi; Antonios Motakis; Wei Ren 002; Yutao Liu (RTNS, 2024)

Priority Optimization for Autonomous Driving Systems to Meet End-to-End Latency Constraints. - Xisheng Li; Ye Ma; Yuting Chen; Jinghao Sun; Wanli Chang 001; Nan Guan; Liming Chen; Qingxu Deng (RTSS, 2024)

FRAP: A Flexible Resource Accessing Protocol for Multiprocessor Real-Time Systems. - Shuai Zhao 004; Hanzhi Xu; Nan Chen; Ruoxian Su; Wanli Chang 001 (RTSS, 2024)

Optimality-Guaranteed Design Space Pruning for CAN-FD Frame Packing. - Wenhong Ma; Guoqi Xie; Renfa Li; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

DAG-Order: An Order-Based Dynamic DAG Scheduling for Real-Time Networks-on-Chip. - Peng Chen 027; Hui Chen 016; Weichen Liu; Linbo Long; Wanli Chang 001; Nan Guan (ACM Trans. Archit. Code Optim., 2024)

The shape of a DAG: bounding the response time using long paths. - Qingqiang He; Nan Guan; Mingsong Lv; Xu Jiang 004; Wanli Chang 001 (Real Time Syst., 2024)

Parallel Fuzzing of IoT Messaging Protocols Through Collaborative Packet Generation. - Zhengxiong Luo 002; Junze Yu; Qingpeng Du; Yanyang Zhao; Feifan Wu; Heyuan Shi; Wanli Chang 001; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

ECG: Augmenting Embedded Operating System Fuzzing via LLM-Based Corpus Generation. - Qiang Zhang; Yuheng Shen; Jianzhong Liu; Yiru Xu; Heyuan Shi; Yu Jiang 001; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Rui Wang 024; Wanli Chang 001; Aiguo Cui; Yu Jiang 001 (IEEE Trans. Software Eng., 2024)

LightRIM: Light Runtime Integrity Measurement for Linux Kernels in Embedded Applications. - Yili Guo; Zhuoran Ma; Xiangyue Li; Jiajia Huang; Wanli Chang 001 (DAC, 2025)

Construction of DAG Models for Autonomous Systems. - Jing Huang 012; Kuan Jiang; Weijie Wang; Wei Liang; Wanli Chang 001 (DAC, 2025)

DROIDFUZZ: Proprietary Driver Fuzzing for Embedded Android Devices. - Jianzhong Liu; Yuheng Shen; Yifei Chu; Qiang Zhang; Heyuan Shi; Wanli Chang 001; Yu Jiang 001 (DAC, 2025)

ACIM-QMM: Efficient Analog Computing-in-Memory Accelerator for QC-MDPC McEliece Cryptosystem. - Pingdan Xiao; Zhengmiao Wei; Sichun Du; Wanli Chang 001; Qinghui Hong (DAC, 2025)

SUNFLOWER: Enhancing Linux Kernel Fuzzing via Exploit-Driven Seed Generation. - Qiang Zhang; Yuheng Shen; Jianzhong Liu; Yiru Xu; Heyuan Shi; Yu Jiang 001; Wanli Chang 001 (SEIP@ICSE, 2025)

Tight Inter-Core Cache Contention Analysis for WCET Estimation on Multicore Systems. - Shuai Zhao 004; Jieyu Jiang; Shenlin Cai; Yaowei Liang; Chen Jie; Yinjie Fang; Wei Zhang 173; Guoquan Zhang; Yaoyao Gu; Xiang Xiao; Wei Qin; Xiangzhen Ouyang; et al. (CoRR, 2025)

LIDS: A Lightweight Intrusion Detection System for Controller Area Network. - Zhangwei Yu; Yan Liu 032; Renfa Li; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

MobiPTP: Mobile Precision Time Protocol for Ubiquitous Communication Scenarios. - Zhongjia Wang; Guoqi Xie; Dongsheng Wei; Yunfei Zhang; Yixue Lei; Yuhang Jia; Mingsong Chen 001; Wanli Chang 001; Kenli Li 001 (IEEE Trans. Netw., 2025)