Jingshu Chen

According to our database, Jingshu Chen authored at least 26 papers between 2006 and 2024.

Collaborative distances:

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

2024

Poster: VeriCharge: Towards A Formal Framework for Designing and Verifying Secure and Transparent Vehicle-to-Vehicle Transaction Platforms.

Yuxuan Wang, Brendan Makar, Jingshu Chen

Proceedings of the IEEE International Conference on Mobility, 2024

Poster: Fuzzing for Command Injections in Medical Software with Large Language Models.

Yuxuan Wang, Qi Guan, Jingshu Chen

Proceedings of the IEEE International Conference on Mobility, 2024

Poster: Towards Constraint-Based Model Repair to Ensure Multiple Mission Objectives in UAV-Enabled MEC Systems for Disaster Response and Rescue.

Yuxuan Wang, Jingshu Chen

Proceedings of the IEEE International Conference on Mobility, 2024

2023

ForDeen: Towards Formal Design for Ensuring Reliable UAV-Assisted Multi-Access Edge Computing: A Scenario-Based Approach.

Yuxuan Wang, Charlie Wingate, Jingshu Chen

Proceedings of the IEEE International Conference on Mobility, 2023

Scalable Industrial Control System Analysis via XAI-Based Gray-Box Fuzzing.

Justin Kur, Jingshu Chen, Jun Huang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Bridging Resource Prediction and System Management: A Case Study in Cloud Systems.

Justin Kur, Ji Xue, Jingshu Chen, Jun Huang

Proceedings of the 19th International Conference on Network and Service Management, 2023

Adjusted CBA-Wheat model for predicting aboveground biomass in winter wheat from hyperspectral data.

Jingshu Chen, Jiaye Yu, Shijun Wang, Meng Yang, Zhenhai Li

Proceedings of the 11th International Conference on Agro-Geoinformatics, 2023

2022

Electromagnetic Fingerprinting of Memory Heartbeats: System and Applications.

Cheng Shen, Jun Huang, Guangyu Sun, Jingshu Chen

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

Resolution Matters: Revisiting Prediction-Based Job Co-location in Public Clouds.

Justin Kur, Jingshu Chen, Ji Xue, Jun Huang

Proceedings of the 15th IEEE/ACM International Conference on Utility and Cloud Computing, 2022

2021

Independent Ethical Assessment of Text Classification Models: A Hate Speech Detection Case Study.

Amitoj Singh, Jingshu Chen, Lihao Zhang, Amin Rasekh, Ilana Golbin, Anand S. Rao

CoRR, 2021

2015

Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms.

Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Ensuring Average Recovery with Adversarial Scheduler.

Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

2014

The Complexity of Adding Multitolerance.

Jingshu Chen, Ali Ebnenasir, Sandeep S. Kulkarni

ACM Trans. Auton. Adapt. Syst., 2014

Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations.

Jingshu Chen, Marie Duflot, Stephan Merz

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Twitch crowdsourcing: crowd contributions in short bursts of time.

Rajan Vaish, Keith Wyngarden, Jingshu Chen, Brandon Cheung, Michael S. Bernstein

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

2013

MR4UM: A framework for adding fault tolerance to UML state diagrams.

Jingshu Chen, Sandeep S. Kulkarni

Theor. Comput. Sci., 2013

Towards scalable model checking of self-stabilizing programs.

Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni

J. Parallel Distributed Comput., 2013

Visimu: a game for music color label collection.

Borui Wang, Jingshu Chen

Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

SMT-Based Model Checking for Stabilizing Programs^,.

Jingshu Chen, Sandeep S. Kulkarni

Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013

2012

Brief Announcement: Verification of Stabilizing Programs with SMT Solvers.

Jingshu Chen, Sandeep S. Kulkarni

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Application of Automated Revision for UML Models: A Case Study.

Jingshu Chen, Sandeep S. Kulkarni

Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

A parallel digital hardware generator of White Gaussian noise stressing on crest factor.

Ziya Xu, Jingshu Chen, Lu Xu, Wanyu Wang

Proceedings of the 18th Asia-Pacific Conference on Communications, 2012

2010

Effect of Fairness in Model Checking of Self-stabilizing Programs.

Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Complexity Analysis of Weak Multitolerance.

Jingshu Chen, Sandeep S. Kulkarni

Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010

2006

A Reflective Framework for Authentication in Grid Computing Environments.

Jingshu Chen, Hong Wu, Qingyang Wang, Qingguan Wang, Xuebin Chi

Proceedings of the Grid and Cooperative Computing, 2006

A New Architecture of Data Access Middleware under Grid Environment.

Qingyang Wang, Jingshu Chen, Xibin Gao, Wei Zhou, Baoping Yan

Proceedings of The 1st IEEE Asia-Pacific Services Computing Conference, 2006