top


Contact:

jingshuchen at gmail.com

Jingshu Chen

PhD, Michigan State University


My research lies generally in the area of software systems, with a focus on building reliable software systems and exploiting formal methods techniques to ensure the correctness of software systems.The ultimate goal of my research is to improve the reliability, availability and scalability of software defined systems.


PUBLICATIONS:


  • 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.


    contact via jingshuchen at gmail.com