Qingguo Xu

According to our database, Qingguo Xu authored at least 23 papers between 2006 and 2024.

Collaborative distances:

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

2024

AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance.

Fei Zheng, Qingguo Xu, Zhou Lei, Huaikou Miao

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

Siesta: Synthesizing Proxy Applications for MPI Programs.

Jiyu Luo, Tao Yan, Qingguo Xu, Jingwei Sun, Guangzhong Sun

Proceedings of the IEEE International Conference on Cluster Computing, 2024

2023

Synthesizing Proxy Applications for MPI Programs.

Tao Yan, Qingguo Xu, Jiyu Luo, Jingwei Sun, Guangzhong Sun

CoRR, 2023

Scalable Tracing of MPI Events and Performance Metrics.

Tao Yan, Qingguo Xu, Jiyu Luo, Jingwei Sun, Guangzhong Sun

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2023

Optimizing Transformer Training Based on Computation and Accessing Memory Features with Deep Learning Processor.

Zhou Lei, Qin Fang, Jingfeng Qian, Shengbo Chen, Qingguo Xu, Ninghua Yang

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

2022

Multi-Layer Feature Fusion-Based Community Evolution Prediction.

Zhao Wang, Qingguo Xu, Weimin Li

Future Internet, 2022

2021

Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement.

Huiwen Luo, Koki Nagano, Han-Wei Kung, McLean Goldwhite, Qingguo Xu, Zejian Wang, Lingyu Wei, Liwen Hu, Hao Li

CoRR, 2021

Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement.

Huiwen Luo, Koki Nagano, Han-Wei Kung, Qingguo Xu, Zejian Wang, Lingyu Wei, Liwen Hu, Hao Li

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

2019

Mask-off: Synthesizing Face Images in the Presence of Head-mounted Displays.

Yajie Zhao, Qingguo Xu, Weikai Chen, Chao Du, Jun Xing, Xinyu Huang, Ruigang Yang

Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces, 2019

Text Classification Based on Improved Information Gain Algorithm and Convolutional Neural Network.

Mengjie Dong, Huahu Xu, Qingguo Xu

Proceedings of the Testbeds and Research Infrastructures for the Development of Networks and Communications, 2019

2016

Mask-off: Synthesizing Face Images in the Presence of Head-mounted Displays.

Yajie Zhao, Qingguo Xu, Xinyu Huang, Ruigang Yang

CoRR, 2016

Instant-Based and State-Based Analysis of Infinite Logical Clock.

Qingguo Xu, Huaikou Miao, Robert de Simone, Julien DeAntoni

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Divergence Detection for CCSL Specification via Clock Causality Chain.

Qingguo Xu, Robert de Simone, Julien DeAntoni

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

LittleHelper: An augmented reality glass application to assist individuals with autism in job interview.

Qingguo Xu, Sen-ching Samson Cheung, Neelkamal Soares

Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2015

2012

An Advanced Methodology for Measuring and Characterizing Software Aging.

Pengfei Zheng, Qingguo Xu, Yong Qi

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011

Modeling Predicate Abstraction of Timed Automata in PVS.

Xia Yin, Qingguo Xu, Kunliang Han

Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

2010

Modeling and Verifying Web Service Applications with Time Constraints.

Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu

Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

2009

Manipulating Clocks in Timed Automata Using PVS.

Qingguo Xu, Huaikou Miao

Proceedings of the 10th ACIS International Conference on Software Engineering, 2009

2008

Modeling and Refining the Service-Oriented Requirement.

Xiaoxia Cao, Huaikou Miao, Qingguo Xu

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Verifying Service-Oriented Requirements Using Model Checking.

Xiaoxia Cao, Huaikou Miao, Qingguo Xu

Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

2007

Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority.

Shengbo Chen, Huaikou Miao, Qingguo Xu

Proceedings of the Grid and Cooperative Computing, 2007

2006

Modeling Timed Automata Theory in PVS.

Qingguo Xu, Huaikou Miao

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS.

Qingguo Xu, Huaikou Miao

Proceedings of the IASTED International Conference on Software Engineering, 2006