Menu
Home
Research
Publications
Team
Teaching
Service
Opening

Jingshu Chen

Publications

  • A \underline{C}onfigurable \underline{Re}source \underline{Ma}nagement Recommendation Framework for Cloud Systems

    •    Justin Kur, Jingshu Chen, Qingyang Wang, Ji Xue and Jun Huang, accpted at the 16th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2023).


  • Bridging Resource Prediction and System Management via a Generic Performance Estimation Platform

    •    Justin Kur, Ji Xue, Jingshu Chen and Jun Huang, accpted at the 19th International Conference on Network and Service Management (CNSM 2023).


  • NIER: Scalable Industrial Control System Analysis via XAI-based Gray-Box Fuzzing

    •    Justin Kur, Jingshu Chen and Jun Huang, accpted at the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023).


  • Assessment of ChatGPT's Proficiency in Software Development.

    •    Dae-Kyoo Kim*, Jingshu Chen, Hua Ming, Lunjin Lu, presented at IEEE CPS: The 21st International Conference on Software Engineering Research & Practice (SERP) 2023.


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

    •    Yuxuan Wang, Jingshu Chen and Qingyang Wang, presented at The IEEE International Conference on Mobility: Operations, Services, and Technologies (MOST) 2023.


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

    •    Justin Kur, Jingshu Chen, Ji Xue and Jun Huang, presented at IEEE/ACM 15th International Conference on Utility and Cloud Computing (UCC) 2022.


  • Electromagnetic Fingerprinting of Memory Heartbeats: System and Applications.

    •    Cheng Shen, Jun Huang, Guangyu Sun, Jingshu Chen, published at Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 6(3): 138:1-138:23 (2022). Presented at UbiComp 2022.


  • Ensuring Average Recovery with Adversarial Scheduler.

    •     Jingshu Chen, Mohammad Roohitavaf and Sandeep S.Kulkarni, The International Conference on Principles of Distributed Systems (OPODIS) 2015.


  • Refinment of Probabilistic Stabilizing Programs Using Genetic Algorithms.

    •     Ling Zhu, Jingshu Chen and Sandeep S. Kulkarni,

        The Int'l Symposium on Stabilization, Safety and Security of Distributed System (SSS) 2015.


  • The Complexity of Adding Multitolerance.

    •     Jingshu Chen, Ali Ebnenasir and Sandeep S. Kulkarni,

        ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2014.


  • Analyzing Conflict Freedom for Multithreaded Programs With Time Annotations.

    •     Jingshu Chen, Marie Duflot and Stephan Merz,

        The 14th Int'l workshop on Automated Verification of Critical Systems (AVOCS) 2014.


  • Towards Scalable Model Checking of Self-Stabilizing Programs.

    •     Jingshu Chen and Sandeep S. Kulkarni,

        J. Parallel Distrib. Comput. 73(4): 400-410, 2013.


  • SMT-Based Model Checking for Stabilizing Programs.

    •     Jingshu Chen and Sandeep S. Kulkarni,

        The Int'l Conference on Distributed Computing and Networking (ICDCN) 2013.


  • MR4UM: A Framework for Adding Fault Tolerance to UML State Diagram.

    •     Jingshu Chen and Sandeep S. Kulkarni,

        Theoretical Computer Science, 2013.


  • Brief Announcement: Verification of Stabilizing Programs with SMT Solvers.

    •     Jingshu Chen and Sandeep S. Kulkarni,

        The Int'l Symposium on Stabilization, Safety and Security of Distributed System (SSS) 2012.


  • Application of Automated Revision for UML models: A Case Study.

    •     Jingshu Chen and Sandeep S. Kulkarni,

        The Int'l Conference on Distributed Computing and Networking Systems (ICDCN) 2012.


  • Effectiveness of Transition Systems to Model Faults.

    •     Jingshu Chen and Sandeep S. Kulkarni,

        The 2nd Internaltional Workshop on Logical Aspects of Fault-Tolerance (LAFT) 2011.


  • Complexity Analysis of Weak Multitolerance.

    •     Jingshu Chen and Sandeep S. Kulkarni,

        The International Conference on Distributed Computer System (ICDCS) 2010.


  • Effect of Fairness in Model Checking of Self-Stabilizing Programs.

    •     Jingshu Chen and Sandeep S. Kulkarni,

        The International Conference on Principles of Distributed Systems (OPODIS) 2010.


  • A Reflective Framework for Authentication in Grid Computing Environments.

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

        in GCC 2006.


  • A New Architecture of Data Access Middleware under Grid Environment.

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

        in APSCC 2006.


  • Application of Universal Relation in the Data Access Middleware under Grid Environment.

    •     Qingyang Wang, Deting Yang, Jingshu Chen, Xibing Gao, Baoping Yan,

        in CODATA 2006.