A New Architecture of Data Access Middleware under Grid Environment. - Qingyang Wang 001; Jingshu Chen; Xibin Gao; Wei Zhou 011; Baoping Yan (APSCC, 2006)

A Reflective Framework for Authentication in Grid Computing Environments. - Jingshu Chen; Hong Wu; Qingyang Wang 001; Qingguan Wang; Xuebin Chi (GCC, 2006)

Complexity Analysis of Weak Multitolerance. - Jingshu Chen; Sandeep S. Kulkarni (ICDCS, 2010)

Effect of Fairness in Model Checking of Self-stabilizing Programs. - Jingshu Chen; Fuad Abujarad; Sandeep S. Kulkarni (OPODIS, 2010)

A parallel digital hardware generator of White Gaussian noise stressing on crest factor. - Ziya Xu; Jingshu Chen; Lu Xu 003; Wanyu Wang (APCC, 2012)

Application of Automated Revision for UML Models: A Case Study. - Jingshu Chen; Sandeep S. Kulkarni (ICDCN, 2012)

Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. - Jingshu Chen; Sandeep S. Kulkarni (SSS, 2012)

SMT-Based Model Checking for Stabilizing Programs, . - Jingshu Chen; Sandeep S. Kulkarni (ICDCN, 2013)

Visimu: a game for music color label collection. - Borui Wang; Jingshu Chen (UIST (Adjunct Volume), 2013)

Towards scalable model checking of self-stabilizing programs. - Jingshu Chen; Fuad Abujarad; Sandeep S. Kulkarni (J. Parallel Distributed Comput., 2013)

MR4UM: A framework for adding fault tolerance to UML state diagrams. - Jingshu Chen; Sandeep S. Kulkarni (Theor. Comput. Sci., 2013)

Twitch crowdsourcing: crowd contributions in short bursts of time. - Rajan Vaish; Keith Wyngarden; Jingshu Chen; Brandon Cheung; Michael S. Bernstein (CHI, 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)

The Complexity of Adding Multitolerance. - Jingshu Chen; Ali Ebnenasir; Sandeep S. Kulkarni (ACM Trans. Auton. Adapt. Syst., 2014)

Ensuring Average Recovery with Adversarial Scheduler. - Jingshu Chen; Mohammad Roohitavaf; Sandeep S. Kulkarni (OPODIS, 2015)

Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. - Ling Zhu 001; Jingshu Chen; Sandeep S. Kulkarni (SSS, 2015)

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)

Resolution Matters: Revisiting Prediction-Based Job Co-location in Public Clouds. - Justin Kur; Jingshu Chen; Ji Xue; Jun Huang 001 (UCC, 2022)

Electromagnetic Fingerprinting of Memory Heartbeats: System and Applications. - Cheng Shen; Jun Huang 001; Guangyu Sun; Jingshu Chen (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022)

Adjusted CBA-Wheat model for predicting aboveground biomass in winter wheat from hyperspectral data. - Jingshu Chen; Jiaye Yu; Shijun Wang; Meng Yang; Zhenhai Li (Agro-Geoinformatics, 2023)

Bridging Resource Prediction and System Management: A Case Study in Cloud Systems. - Justin Kur; Ji Xue; Jingshu Chen; Jun Huang 001 (CNSM, 2023)

Scalable Industrial Control System Analysis via XAI-Based Gray-Box Fuzzing. - Justin Kur; Jingshu Chen; Jun Huang 001 (ASE, 2023)

ForDeen: Towards Formal Design for Ensuring Reliable UAV-Assisted Multi-Access Edge Computing: A Scenario-Based Approach. - Yuxuan Wang; Charlie Wingate; Jingshu Chen (MOST, 2023)

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 (MOST, 2024)

Poster: Fuzzing for Command Injections in Medical Software with Large Language Models. - Yuxuan Wang; Qi Guan; Jingshu Chen (MOST, 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 (MOST, 2024)

Leveraging Large Language Models for Command Injection Vulnerability Analysis in Python: An Empirical Study on Popular Open-Source Projects. - Yuxuan Wang; Jingshu Chen; Qingyang Wang (CoRR, 2025)