Qixin Wang
Orcid: 0000-0002-1466-441XAffiliations:
- Hong Kong Polytechnic University, Hong Kong, SAR, China
According to our database1,
Qixin Wang
authored at least 62 papers
between 2003 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
A CAV Cooperative Lane Change Protocol With CTH Safety Guarantee on Dedicated Highways.
IEEE Trans. Mob. Comput., September, 2025
Phy-Taylor: Partially Physics-Knowledge-Enhanced Deep Neural Networks via NN Editing.
IEEE Trans. Neural Networks Learn. Syst., January, 2025
CoRR, January, 2025
A Test Oracle for Reinforcement Learning Software Based on Lyapunov Stability Control Theory.
Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025
2024
Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs.
CoRR, 2024
Enabling Online Fault Prediction in Adaptive Control: A Model Checker and Controller Co-Designed CPS Solution.
Proceedings of the 14th IEEE International Symposium on Industrial Embedded Systems, 2024
2023
A Reliable Wireless Protocol for Highway and Metered-Ramp CAV Collaborative Merging with Constant-Time-Headway Safety Guarantee.
ACM Trans. Cyber Phys. Syst., October, 2023
A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization.
Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023
2022
2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
IEEE CAA J. Autom. Sinica, 2020
Work-in-Progress Abstract: A Reliable Wireless Smart Vehicle Highway On-Ramp Merging Protocol with Constant Time Headway Safety Guarantee.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020
2019
Reconfigurable Battery Systems: A Survey on Hardware Architecture and Research Challenges.
ACM Trans. Design Autom. Electr. Syst., 2019
ACM Trans. Cyber Phys. Syst., 2019
Trans. Emerg. Telecommun. Technol., 2019
Proceedings of the 41st International Conference on Software Engineering, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2017
IEEE Trans. Ind. Informatics, 2017
A Multi-Quadcopter Cooperative Cyber-Physical System for Timely Air Pollution Localization.
ACM Trans. Embed. Comput. Syst., 2017
Efficient and balanced charging of reconfigurable battery with variable power supply.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017
2016
IEEE Trans. Multi Scale Comput. Syst., 2016
Toward Robust Relay Placement in 60 GHz mmWave Wireless Personal Area Networks with Directional Antenna.
IEEE Trans. Mob. Comput., 2016
CPS Oriented Control Design for Networked Surveillance Robots With Multiple Physical Constraints.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
ACM Trans. Auton. Adapt. Syst., 2016
Mob. Inf. Syst., 2016
Formation Control and Tracking for Co-operative Robots with Non-holonomic Constraints - Categories (2), (3).
J. Intell. Robotic Syst., 2016
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
2015
A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking.
IEEE Trans. Parallel Distributed Syst., 2015
Inter-cell Channel Time-Slot Scheduling for Multichannel Multiradio Cellular Fieldbuses.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Proceedings of the 11th International Conference on Mobile Ad-hoc and Sensor Networks, 2015
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015
2014
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., 2014
WiCop: Engineering WiFi Temporal White-Spaces for Safe Operations of Wireless Personal Area Networks in Medical Applications.
IEEE Trans. Mob. Comput., 2014
Self-tuned distributed monitoring of multi-channel wireless networks using Gibbs sampler.
Comput. Networks, 2014
WiP abstract: A framework on profiling cross-domain noise propagation in control CPS.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014
2013
Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound.
Real Time Syst., 2013
Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
2012
A Robust Reflector Placement Framework for 60GHz mmWave Wireless Personal Area Networks
CoRR, 2012
Curbing Aggregate Member Flow Burstiness to Bound End-to-End Delay in Networks of TDMA Crossbar Real-Time Switches.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012
Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012
From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP).
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012
2011
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.
SIGBED Rev., 2011
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., 2011
WiCop: Engineering WiFi Temporal White-Spaces for Safe Operations of Wireless Body Area Networks in Medical Applications.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011
2010
Adapting a Main-Stream Internet Switch Architecture for Multi-Hop Real-Time Industrial Networks.
IEEE Trans. Ind. Informatics, 2010
2008
Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization.
IEEE Trans. Mob. Comput., 2008
ORTEGA: An Efficient and Flexible Online Fault Tolerance Architecture for Real-Time Control Systems.
IEEE Trans. Ind. Informatics, 2008
Proceedings of the IEEE International Conference on Sensor Networks, 2008
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008
2007
Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm.
IEEE Trans. Mob. Comput., 2007
GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
2006
ACM Trans. Sens. Networks, 2006
Proceedings of the IEEE International Conference on Systems, 2006
2005
Building Robust Wireless LAN for Industrial Control with DSSS-CDMA Cellphone Network Paradigm.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005
Timing Performance Control in Web Server Systems Utilizing Server Internal State Information.
Proceedings of the Joint International Conference on Autonomic and Autonomous Systems 2005 / International Conference on Networking and Services 2005, 2005
2004
Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004
2003
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003
Proceedings of the Information Processing in Sensor Networks, 2003