Interests
- Formal methods for real-time and embedded distributed systems
- Coordination model for distributed systems
Publications
- "Interval-based Timing Constraints: Their Satisfactions and Applications", Yue Yu, Shangping Ren, and Ophir Frieder, IEEE Transactions on Computers, vol. 57, no. 3, pp. 418-432, 2008. [PDF] [BibTex]
- "The Role of Roles for Supporting Reconfigurability in Open Distributed and Embedded Systems", Shangping Ren, Yue Yu, Nianen Chen, Jeffrey Tsai, and Kevin Kwiat, ACM Transactions on Autonomous and Adaptive Systems, vol. 2, no. 3, 2007. [PDF] [BibTex]
- "A Coordination Model and Its Application in Distributed Voting to Improving Software System Attack-tolerance and Survivability in Open Hostile Environments", Shangping Ren, Yue Yu, and Kevin A. Kwiat, International Journal of Distributed Sensor Networks, volume 3, Issue 2, April 2007, pages 175 – 199.
- "Take Intelligent Risk and Optimize Decision Based on Time, Available Resources and Risk Tolerance Limits", Yue Yu, Shangping Ren, and Kevin A. Kwiat, Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2007.
- "Expected Time for Obtaining Dependable Data in Real-Time Environment", Yue Yu and Shangping Ren, Proceedings of the 15th IEEE International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 2007.
- "Prediction of Timing Constraint Violation for Real-Time Embedded Systems with Known Transient Hardware Fault Distribution Model", Yue Yu, Shangping Ren, and Ophir Frieder, Proceedings of the 27th IEEE Real-Time System Symposium, 2006.
- "Actors, Roles and Coordinators - A Coordination Model for Open Distributed Embedded Systems", Shangping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne Poirot, and Limin Shen, Proceedings of the 8th IFIP International Conference on Coordination Models and Languages, 2006 (LNCS Vol 4038, 2006).
Presentations