Skip to content
- Directory
- About the SECS
- Departments
- Undergraduate Programs
- Master of Science Programs
- Doctoral Programs
- Research
- Continuing Education
- Career Services
- Student Resources
- Technology Office
- Academic Advising
- Faculty Resources
- International Programs
- Outreach Programs
- HTech Jobs of the Future
- Labs and Centers
- ABET
- Giving
- SECS Events
- SECS News
- SECS Program Assessment
School of Engineering and Computer Science
Engineering Center, Room 301
115 Library Drive
Rochester ,
MI
48309-4479
(location map)
Dean's Office: (248) 370-2217
Academic Advising: (248) 370-2201
secsadvising@oakland.edu
Jingshu Chen, Ph.D.
Assistant Professor https://jingshuchen.github.io |
Teaching
- Software Engineering and Practice
- Script Programming
- Advanced algorithm and Data Structure
- Sophomore Project
- Component based Software Development and Analysis
Research
- Software Reliability
- Formal Methods, Program Verification and Automatic Repair
- Learning based System Analysis and Management
- Distributed Algorithm for Edge Computing
Selected Publications
- Resolution Matters: Revisiting Prediction-Based Job Co-location in Public Clouds.
Justin Kur, Jingshu Chen, Ji Xue and Jun Huang, 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,
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 Kulkarni, The International Conference on Principles of Distributed Systems (OPODIS) 2015.
- Refinement of Probabilistic Stabilizing Programs Using Generic Algorithms. Ling Zhu, Jingshu Chen and Sandeep Kulkarni, The international Symposium on Stabilization, Safety and Security of Distributed System (SSS) 2015.
- The Complexity of Adding Multitolerance. Jingshu Chen, Ali Ebnenasir and Sandeep Kulkarni, ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2014
- Towards Scalable Model Checking of Self-Stabilizing Programs. Jingshu Chen and Sandeep S. Kulkarni, The Journal of Parallel and Distributed Computing, 73(4): 400-410, 2013.
- MR4UM: A Framework for Adding Fault Tolerance to UML State Diagram.Jingshu Chen and Sandeep S. Kulkarni, Theoretical Computer Science, 2013.
- Complexity Analysis of Weak Multitolerance. Jingshu Chen and Sandeep S. Kulkarni. The proceedings of International Conference on Distributed Computer System (ICDCS) 2010.