Jingshu Chen

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 12

Top Topics

Top Venues

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

Publications

Yuxuan Wang, Jingshu Chen
Poster: Towards Constraint-Based Model Repair to Ensure Multiple Mission Objectives in UAV-Enabled MEC Systems for Disaster Response and Rescue. MOST (2024)
Yuxuan Wang, Brendan Makar, Jingshu Chen
Poster: VeriCharge: Towards A Formal Framework for Designing and Verifying Secure and Transparent Vehicle-to-Vehicle Transaction Platforms. MOST (2024)
Yuxuan Wang, Qi Guan, Jingshu Chen
Poster: Fuzzing for Command Injections in Medical Software with Large Language Models. MOST (2024)
Justin Kur, Jingshu Chen, Jun Huang
Scalable Industrial Control System Analysis via XAI-Based Gray-Box Fuzzing. ASE (2023)
Yuxuan Wang, Charlie Wingate, Jingshu Chen
ForDeen: Towards Formal Design for Ensuring Reliable UAV-Assisted Multi-Access Edge Computing: A Scenario-Based Approach. MOST (2023)
Jingshu Chen, Jiaye Yu, Shijun Wang, Meng Yang, Zhenhai Li
Adjusted CBA-Wheat model for predicting aboveground biomass in winter wheat from hyperspectral data. Agro-Geoinformatics (2023)
Justin Kur, Ji Xue, Jingshu Chen, Jun Huang
Bridging Resource Prediction and System Management: A Case Study in Cloud Systems. CNSM (2023)
Cheng Shen, Jun Huang, Guangyu Sun, Jingshu Chen
Electromagnetic Fingerprinting of Memory Heartbeats: System and Applications. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6 (3) (2022)
Justin Kur, Jingshu Chen, Ji Xue, Jun Huang
Resolution Matters: Revisiting Prediction-Based Job Co-location in Public Clouds. UCC (2022)
Amitoj Singh, Jingshu Chen, Lihao Zhang, Amin Rasekh, Ilana Golbin, Anand Rao
Independent Ethical Assessment of Text Classification Models: A Hate Speech Detection Case Study. CoRR (2021)
Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. SSS (2015)
Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni
Ensuring Average Recovery with Adversarial Scheduler. OPODIS (2015)
Jingshu Chen, Marie Duflot, Stephan Merz
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Jingshu Chen, Ali Ebnenasir, Sandeep S. Kulkarni
The Complexity of Adding Multitolerance. ACM Trans. Auton. Adapt. Syst. 9 (3) (2014)
Jingshu Chen, Marie Duflot, Stephan Merz
Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations. CoRR (2014)
Rajan Vaish, Keith Wyngarden, Jingshu Chen, Brandon Cheung, Michael S. Bernstein
Twitch crowdsourcing: crowd contributions in short bursts of time. CHI (2014)
Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni
Towards scalable model checking of self-stabilizing programs. J. Parallel Distributed Comput. 73 (4) (2013)
Borui Wang, Jingshu Chen
Visimu: a game for music color label collection. UIST (Adjunct Volume) (2013)
Jingshu Chen, Sandeep S. Kulkarni
MR4UM: A framework for adding fault tolerance to UML state diagrams. Theor. Comput. Sci. 496 (2013)
Jingshu Chen, Sandeep S. Kulkarni
. ICDCN (2013)
Ziya Xu, Jingshu Chen, Lu Xu, Wanyu Wang
A parallel digital hardware generator of White Gaussian noise stressing on crest factor. APCC (2012)
Jingshu Chen, Sandeep S. Kulkarni
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. SSS (2012)
Jingshu Chen, Sandeep S. Kulkarni
Application of Automated Revision for UML Models: A Case Study. ICDCN (2012)
Jingshu Chen, Sandeep S. Kulkarni
Complexity Analysis of Weak Multitolerance. ICDCS (2010)
Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni
Effect of Fairness in Model Checking of Self-stabilizing Programs. OPODIS (2010)
Qingyang Wang, Jingshu Chen, Xibin Gao, Wei Zhou, Baoping Yan
A New Architecture of Data Access Middleware under Grid Environment. APSCC (2006)
Jingshu Chen, Hong Wu, Qingyang Wang, Qingguan Wang, Xuebin Chi
A Reflective Framework for Authentication in Grid Computing Environments. GCC (2006)