Jingshu Chen - RankMe

28 papers A* 2A 1B 3C 4Misc 3Journal 8Unranked 7

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