Qiwen Xu

According to our database, Qiwen Xu authored at least 40 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Embedding teacher scaffolding in a mobile technology supported collaborative learning environment in English reading class: students' learning outcomes, engagement, and attitudes.

Qiwen Xu, Daner Sun, Ying Zhan

Int. J. Mob. Learn. Organisation, 2023

2022

Modeling and Verifying PSO Memory Model Using CSP.

Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh

Mob. Networks Appl., 2022

A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm.

Xu Wang, Qiwen Xu

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

A process calculus BigrTiMo of mobile systems and its formal semantics.

Wanling Xie, Huibiao Zhu, Qiwen Xu

Formal Aspects Comput., 2021

A simple proof of three properties on Simpson's 4-slot Algorithm.

Xu Wang, Qiwen Xu

CoRR, 2021

Formal Modelling and Verification of the RTPS Behavior Module.

Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2020

Correction to "Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data".

Xueyuan Gong, Liansheng Liu, Simon Fong, Qiwen Xu, Tingxi Wen, Zhihua Liu

IEEE Access, 2020

2019

Convolutional neural network for breast cancer diagnosis using diffuse optical tomography.

Qiwen Xu, Xin Wang, Huabei Jiang

Vis. Comput. Ind. Biomed. Art, 2019

A mathematical analysis of improved EigenAnt algorithm.

Genwang Gou, Yongxin Zhao, Qin Li, Qiwen Xu

J. Exp. Theor. Artif. Intell., 2019

Comparative Research of Swam Intelligence Clustering Algorithms for Analyzing Medical Data.

Xueyuan Gong, Liansheng Liu, Simon Fong, Qiwen Xu, Tingxi Wen, Zhihua Liu

IEEE Access, 2019

Formalization and Verification of RTPS StatefulWriter Module Using CSP.

Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

2018

Assertional Reasoning for Concurrent and Communicating BPEL-like Programs.

Longfei Zhu, Qiwen Xu, Huibiao Zhu

Proceedings of the Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, 2018

2017

BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems.

Wanling Xie, Huibiao Zhu, Qiwen Xu

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Recent advances in metaheuristic algorithms: Does the Makara dragon exist?

Simon Fong, Xi Wang, Qiwen Xu, Raymond K. Wong, Jinan Fiaidhi, Sabah Mohammed

J. Supercomput., 2016

2015

A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems.

Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

2014

A Formal Model for a Hybrid Programming Language.

Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

2013

Formal Analysis of AODV Using Rely-Guarantee.

Xiaofeng Wu, Qiwen Xu, Huibiao Zhu

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Towards a Modeling Language for Cyber-Physical Systems.

Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.

Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2010

Rate monotonic scheduling re-analysed.

Qiwen Xu, Naijun Zhan

Inf. Process. Lett., 2010

2008

Formalising Scheduling Theories in Duration Calculus.

Qiwen Xu, Naijun Zhan

Nord. J. Comput., 2008

2004

Completeness of temporal logics over infinite intervals.

Hanpin Wang, Qiwen Xu

Discret. Appl. Math., 2004

Checking Interval Based Properties for Reactive Systems.

Yu Pei, Qiwen Xu

Proceedings of the Verification, 2004

2003

Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs.

Jifeng He, Qiwen Xu

Formal Aspects Comput., 2003

2000

An Operational Semantics of a Simulator Algorithm.

Jifeng He, Qiwen Xu

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

An Animatable Operational Semantics of the Verilog Hardware Description Language.

Jonathan P. Bowen, Jifeng He, Qiwen Xu

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Modeling and Verification of a Network Player System with DCValid.

Jianzhong Wang, Qiwen Xu, Huadong Ma

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999

A Formal Proof of the Rate Monotonic Scheduler.

Shuzhen Dong, Qiwen Xu, Naijun Zhan

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

1998

Refinement of Fair Action Systems.

Ralph-Johan Back, Qiwen Xu

Acta Informatica, 1998

Toward a theory of sequential hybrid programs.

Paritosh K. Pandya, H.-P. Wang, Qiwen Xu

Proceedings of the Programming Concepts and Methods, 1998

Towards a Formal Semantics of Verilog Using Duration Calculus.

Gerardo Schneider, Qiwen Xu

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs.

Qiwen Xu, Willem P. de Roever, Jifeng He

Formal Aspects Comput., 1997

Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus.

Qiwen Xu

Proceedings of the Hybrid and Real-Time Systems, 1997

Rigorous Design of a Fault Diagnosis and Isolation Algorithm.

Jianping Gao, Qiwen Xu

Proceedings of the Hybrid Systems V, 1997

Compositional Reasoning Using the Assumption-Commitment Paradigm.

Qiwen Xu, Swarup Mohalik

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1995

Hierarchical Design of a Chemical Concentration Control System.

Qiwen Xu, Weidong He

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Laws of Parallel Programming with Shared Variables.

Qiwen Xu, Jifeng He

Proceedings of the 6th Refinement Workshop, 1994

Layering of Real-Time Distributed Processes.

Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

On Unifying Assumption-Commitment Style Proof Rules for Concurrency.

Qiwen Xu, Antonio Cau, Pierre Collette

Proceedings of the CONCUR '94, 1994

1992

A case study in formally developing state-based parallel programs - the Dutch National Torus.

Qiwen Xu, Jifeng He

Proceedings of the 5th Refinement Workshop, 1992