Qixin Wang

62 papers A* 4A 10B 4Journal 34Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
A CAV Cooperative Lane Change Protocol With CTH Safety Guarantee on Dedicated Highways.
IEEE Trans. Mob. Comput.
Xueli Fan, Jieming Chen, Qixin Wang, Edward Chung
2025 A* conf
A Test Oracle for Reinforcement Learning Software Based on Lyapunov Stability Control Theory.
ICSE
Shiyu Zhang, Haoyang Song, Qixin Wang, Henghua Shen, Yu Pei
2025 J jnl
Online Fault Tolerance Strategy for Abrupt Reachability Constraint Changes.
CoRR
Henghua Shen, Qixin Wang
2025 J jnl
Phy-Taylor: Partially Physics-Knowledge-Enhanced Deep Neural Networks via NN Editing.
IEEE Trans. Neural Networks Learn. Syst.
Yanbing Mao, Yuliang Gu, Lui Sha, Huajie Shao, Qixin Wang, Tarek F. Abdelzaher
2024 — conf
Enabling Online Fault Prediction in Adaptive Control: A Model Checker and Controller Co-Designed CPS Solution.
SIES
Yao Chen, Xueli Fan, Qixin Wang, Nan Guan, Shuai Li, Zili Shao
2024 J jnl
Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs.
CoRR
Shiyu Zhang, Haoyang Song, Qixin Wang, Yu Pei
2023 B conf
A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization.
RTCSA
Shiyu Zhang, Wenxia Liu, Qixin Wang, Lei Bu, Yu Pei
2023 J jnl
A Reliable Wireless Protocol for Highway and Metered-Ramp CAV Collaborative Merging with Constant-Time-Headway Safety Guarantee.
ACM Trans. Cyber Phys. Syst.
Xueli Fan, Qixin Wang, Jie Liu
2023 J jnl
Program Repair With Repeated Learning.
IEEE Trans. Software Eng.
Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, Carlo A. Furia
2022 J jnl
Phy-Taylor: Physics-Model-Based Deep Neural Networks.
CoRR
Yanbing Mao, Lui Sha, Huajie Shao, Yuliang Gu, Qixin Wang, Tarek F. Abdelzaher
2020 J jnl
Scenario-Based Online Reachability Validation for CPS Fault Prediction.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Lei Bu, Qixin Wang, Xinyue Ren, Shaopeng Xing, Xuandong Li
2020 J jnl
Which is the best PID variant for pneumatic soft robots an experimental study.
IEEE CAA J. Autom. Sinica
Ameer Hamza Khan, Zili Shao, Shuai Li, Qixin Wang, Nan Guan
2020 — conf
Work-in-Progress Abstract: A Reliable Wireless Smart Vehicle Highway On-Ramp Merging Protocol with Constant Time Headway Safety Guarantee.
ICCPS
Xueli Fan, Qixin Wang, Jie Liu
2019 A* conf
A system identification based Oracle for control-CPS software fault localization.
ICSE
Zhijian He, Yao Chen, Enyan Huang, Qixin Wang, Yu Pei, Haidong Yuan
2019 J jnl
Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS.
ACM Trans. Cyber Phys. Syst.
Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng
2019 A conf
Incremental Online Verification of Dynamic Cyber-Physical Systems.
DATE
Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li
2019 J jnl
Real-time Internet of things and cyber-physical systems.
Trans. Emerg. Telecommun. Technol.
Kyung-Joon Park, Kyungtae Kang, Qixin Wang, Dongeun Lee
2019 J jnl
Reconfigurable Battery Systems: A Survey on Hardware Architecture and Research Challenges.
ACM Trans. Design Autom. Electr. Syst.
Shaheer Muhammad, Muhammad Usman Rafique, Shuai Li, Zili Shao, Qixin Wang, Xue Liu
2017 J jnl
A Multi-Quadcopter Cooperative Cyber-Physical System for Timely Air Pollution Localization.
ACM Trans. Embed. Comput. Syst.
Zhaoyan Shen, Zhijian He, Shuai Li, Qixin Wang, Zili Shao
2017 J jnl
A Robust Algorithm for State-of-Charge Estimation With Gain Optimization.
IEEE Trans. Ind. Informatics
Shaheer Muhammad, Muhammad Usman Rafique, Shuai Li, Zili Shao, Qixin Wang, Nan Guan
2017 B conf
Efficient and balanced charging of reconfigurable battery with variable power supply.
RTCSA
Shaheer Muhammad, Nan Guan, Shuai Li, Qixin Wang, Zili Shao
2016 J jnl
A Real-Time Flash Translation Layer for NAND Flash Memory Storage Systems.
IEEE Trans. Multi Scale Comput. Syst.
Yi Wang, Zhiwei Qin, Renhai Chen, Zili Shao, Qixin Wang, Shuai Li, Laurence T. Yang
2016 J jnl
Advanced Technologies for Mobile IoT and Cyber-Physical Systems.
Mob. Inf. Syst.
Kyungtae Kang, Kyung-Joon Park, Qixin Wang, Wenyao Xu
2016 J jnl
CPS Oriented Control Design for Networked Surveillance Robots With Multiple Physical Constraints.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Muhammad Umer Khan, Shuai Li, Qixin Wang, Zili Shao
2016 J jnl
Distributed Multirobot Formation and Tracking Control in Cluttered Environments.
ACM Trans. Auton. Adapt. Syst.
Muhammad Umer Khan, Shuai Li, Qixin Wang, Zili Shao
2016 — conf
Distributed reconfigurable Battery System Management Architectures.
ASP-DAC
Sebastian Steinhorst, Zili Shao, Samarjit Chakraborty, Matthias Kauer, Shuai Li, Martin Lukasiewycz, Swaminathan Narayanaswamy, Muhammad Usman Rafique, Qixin Wang
2016 J jnl
Formation Control and Tracking for Co-operative Robots with Non-holonomic Constraints - Categories (2), (3).
J. Intell. Robotic Syst.
Muhammad Umer Khan, Shuai Li, Qixin Wang, Zili Shao
2016 J jnl
Toward Robust Relay Placement in 60 GHz mmWave Wireless Personal Area Networks with Directional Antenna.
IEEE Trans. Mob. Comput.
Guanbo Zheng, Cunqing Hua, Rong Zheng, Qixin Wang
2015 J jnl
A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking.
IEEE Trans. Parallel Distributed Syst.
Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Neeraj Suri
2015 — conf
A quadcopter swarm for active monitoring of smog propagation.
ICCPS
Zhijian He, Shuai Li, Zhaoyan Shen, Muhammad Umer Khan, Zili Shao, Qixin Wang
2015 — conf
Ard-mu-Copter: A Simple Open Source Quadcopter Platform.
MSN
Zhijian He, Yanming Chen, Zhaoyan Shen, Enyan Huang, Shuai Li, Zili Shao, Qixin Wang
2015 A conf
Inter-cell Channel Time-Slot Scheduling for Multichannel Multiradio Cellular Fieldbuses.
RTSS
Aiping Tan, Qixin Wang, Nan Guan, Qingxu Deng, Xiaobo Sharon Hu
2015 J jnl
Medical-Grade Quality of Service for Real-Time Mobile Healthcare.
Computer
Kyungtae Kang, Qixin Wang, Junbeom Hur, Kyung-Joon Park, Lui Sha
2014 J jnl
From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations.
IEEE Trans. Parallel Distributed Syst.
Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu
2014 J jnl
Self-tuned distributed monitoring of multi-channel wireless networks using Gibbs sampler.
Comput. Networks
Yufei Wang, Rong Zheng, Qixin Wang
2014 J jnl
WiCop: Engineering WiFi Temporal White-Spaces for Safe Operations of Wireless Personal Area Networks in Medical Applications.
IEEE Trans. Mob. Comput.
Yufei Wang, Qixin Wang, Guanbo Zheng, Zheng Zeng, Rong Zheng, Qian Zhang
2014 — conf
WiP abstract: A framework on profiling cross-domain noise propagation in control CPS.
ICCPS
Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng
2013 J jnl
Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound.
Real Time Syst.
Kyungtae Kang, Kyung-Joon Park, Lui Sha, Qixin Wang
2013 A conf
Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach.
DSN
Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Rong Zheng, Neeraj Suri
2012 J jnl
A Robust Reflector Placement Framework for 60GHz mmWave Wireless Personal Area Networks
CoRR
Guanbo Zheng, Cunqing Hua, Rong Zheng, Qixin Wang
2012 A* conf
Analysis of TDMA crossbar real-time switch design for AFDX networks.
INFOCOM
Lei Rao, Qixin Wang, Xue Liu, Yufei Wang
2012 A conf
Curbing Aggregate Member Flow Burstiness to Bound End-to-End Delay in Networks of TDMA Crossbar Real-Time Switches.
RTSS
Qixin Wang, Yufei Wang, Rong Zheng, Xue Liu
2012 — conf
From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP).
ICCPS
Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu
2011 A* conf
A real-time multicast routing scheme for multi-hop switched fieldbuses.
INFOCOM
Lixiong Chen, Xue Liu, Qixin Wang, Yufei Wang
2011 J jnl
Evaluating the IEEE 802.15.6 2.4GHz WBAN Proposal on Medical Multi-Parameter Monitoring under WiFi/Bluetooth Interference.
Int. J. E Health Medical Commun.
Yufei Wang, Qixin Wang
2011 J jnl
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.
SIGBED Rev.
Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li
2011 A conf
WiCop: Engineering WiFi Temporal White-Spaces for Safe Operations of Wireless Body Area Networks in Medical Applications.
RTSS
Yufei Wang, Qixin Wang, Zheng Zeng, Guanbo Zheng, Rong Zheng
2010 J jnl
Adapting a Main-Stream Internet Switch Architecture for Multi-Hop Real-Time Industrial Networks.
IEEE Trans. Ind. Informatics
Qixin Wang, Sathish Gopalakrishnan
2008 A conf
A Switch Design for Real-Time Industrial Networks.
IEEE Real-Time and Embedded Technology and Applications Symposium
Qixin Wang, Sathish Gopalakrishnan, Xue Liu, Lui Sha
2008 — conf
Cyber-Physical Systems: A New Frontier.
SUTC
Lui Sha, Sathish Gopalakrishnan, Xue Liu, Qixin Wang
2008 J jnl
Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization.
IEEE Trans. Mob. Comput.
Qixin Wang, Rong Zheng, Ajay Tirumala, Xue Liu, Lui Sha
2008 J jnl
ORTEGA: An Efficient and Flexible Online Fault Tolerance Architecture for Real-Time Control Systems.
IEEE Trans. Ind. Informatics
Xue Liu, Qixin Wang, Sathish Gopalakrishnan, Wenbo He, Lui Sha, Hui Ding, Kihwal Lee
2008 B conf
ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems.
ECRTS
Xue Liu, Hui Ding, Kihwal Lee, Qixin Wang, Lui Sha
2007 J jnl
Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm.
IEEE Trans. Mob. Comput.
Qixin Wang, Xue Liu, Weiqun Chen, Lui Sha, Marco Caccamo
2007 A conf
GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications.
RTSS
Qixin Wang, Xue Liu, Jennifer C. Hou, Lui Sha
2006 B conf
I-Living: An Open System Architecture for Assisted Living.
SMC
Qixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. AlShebli, Marco Caccamo, Carl A. Gunter, Elsa L. Gunter, Jennifer C. Hou, Karrie Karahalios, Lui Sha
2006 J jnl
Optimal real-time sampling rate assignment for wireless sensor networks.
ACM Trans. Sens. Networks
Xue Liu, Qixin Wang, Wenbo He, Marco Caccamo, Lui Sha
2005 A conf
Building Robust Wireless LAN for Industrial Control with DSSS-CDMA Cellphone Network Paradigm.
RTSS
Qixin Wang, Xue Liu, Weiqun Chen, Wenbo He, Marco Caccamo
2005 — conf
Timing Performance Control in Web Server Systems Utilizing Server Internal State Information.
ICAS/ICNS
Xue Liu, Rong Zheng, Jin Heo, Qixin Wang, Lui Sha
2004 A conf
Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors.
RTSS
Qixin Wang, Rong Zheng, Ajay Tirumala, Xue Liu, Lui Sha
2003 — conf
Acoustic Target Tracking Using Tiny Wireless Sensor Devices.
IPSN
Qixin Wang, Wei-Peng Chen, Rong Zheng, Kihwal Lee, Lui Sha
2003 A conf
Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks.
RTSS
Xue Liu, Qixin Wang, Lui Sha, Wenbo He