Integrating Cyber Innovations with Physical World

Prof. Shangping Ren's Lab


Get Started

Our Team


Professor Shangping Ren
Professor Shangping Ren
Research Interest: Cyber-Physical Systems, Real-Time Scheduling and Cloud Computing
Email: sren@sdsu.edu
Professor Shangping Ren
Ph.D Douglas Lautner
Research Interest: Real-Time Wireless Sensing, Connectivity and Cyber-Physical Systems
Professor Shangping Ren
Ph.D Chunhui Guo
Research Interest: Real-Time Systems, Cyber Physical Systems
Email: cguo13@hawk.iit.edu
Professor Shangping Ren
Ph.D Zhicheng Fu
Research Interest: Real-Time Systems, Cyber Physical Systems
Email: zfu11@hawk.iit.edu
Professor Shangping Ren
Ph.D Elvis Fefey
Research Interest: Threading parallel runtimes, Distributed Systems, Real-Time Systems
Email: efefey@hawk.iit.edu
Professor Shangping Ren
Ph.D Zhenyu Zhang
Research Interest: Cloud Computing, Distributed Systems, Real-Time Systems, Cyber Physical Systems
Email: zzhang111@hawk.iit.edu

ALUMNI


Ph.D Hao Wu
Hao Wu (Ph.D)
Now at Southern Connecticut State University
Professor Shangping Ren
Xiayu Hua (Ph.D)
Now at Motorola Mobility
Zheng Li (Ph.D)
Now at Western Illinois University
Shuhui Li (Ph.D)
Now at Dalian University of Technology
Miao Song (Ph.D)
Now at Motorola Mobility
Li Wang (Ph.D)
Now at Groupon
Yue Yu (Ph.D)
Now at Chinese Academy of Sciences
Pierre-Etienne Poirot (MS)
Now at Atlassian
Huinan Ren (MS)
Now at Amazon

Our Research


Background

Dr. Shangping Ren is a Full Professor at the Department of Computer Science, Illinois Institute of Technology. She obtained her Ph.D in CS from UIUC in 1997. Before she joined IIT in 2003, she worked as a software engineer in industry for over five years. Her main research interest is in the areas of cyber-physical systems, real-time scheduling and cloud computing with focus on safety improvement of medical cyber-physical systems, software architecture and development, system reliability analysis under resource constraints, scheduling algorithm design for meeting reliability and deadline requirements, and resource optimization under cloud environment. She is one of the organizers for the first and second international workshop on Cyber-Physical Systems. The workshop now becomes the international conference on CPS. Her research is funded by NSF, Air Force Research Laboratory and Fermi National Accelerator Laboratory.


Positions

We have funded PhD positions for students who are interested in cyber-physical systems, real-time scheduling and cloud computing. Please contact us for more information. (Updated in 10/2016)


Founded Projects

  • 1. Executable Distributed Medical Best Practice Guidance (EMBG) System for End-to-End Emergency Care from Rural to Regional Center Hospitals. info
  • 2. CSR:Small:Collaborative Research: Application-Aware Many-Core Virtualization for Real-Time Embedded Computing. info
  • 3. CPS:Medium: Managing Loosely Coupled Networked Control Systems with External Disturbances. info
  • 4. CAREER: Behavior-Based Coordination for Open Distributed Real-Time and Embedded Applications (Funding Agent: National Science Foundation) info
  • 5. Support for Organizing First International Workshop on Physical Cyber Systems Funding Agent: National Science Foundation) info
  • 6. Modeling and Programming Distributed Adaptive Real-Time Embedded Systems (Funding Agent: National Science Foundation) info
  • 7. Research Experience for Undergraduates Supplement: Modeling and Programming Distributed Adaptive Real-Time Embedded Systems (Funding Agent: National Science Foundation) info
  • 8. A Self-Diagnosing, Configurable Distributed System for Testing Superconducting Accelerator Magnets (Funding Agent: Fermi National Accelerator Lab) info
  • 9. Achieving Adaptation in Open Distributed Time Critical Systems (Funding Agent: ERIF, IIT) info
  • 10. Low-power Sensing  with Bluetooth and RFID components for Moblie Platforms (Funding Agent: Motorola Mobility) info

Other Projects

The White Programming Language: Ambient intelligence for real-time systems (John Quigley)


Software Download

  • Y2U: A Tool for Transforming Yakindu Statecharts to UPPAAL Timed Automata. Download
  • ARC: Actor-Role-Coordinator Model. Download


Contact Information

Department of Computer Science, 5500 Campanile Drive, San Diego, CA 92182-7720.
Phone: 619-594-2361
Email: sren@sdsu.edu

Publications


Journals and Book Chapters

  • "Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models", Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Po-Liang Wu, and Lui Sha, ACM Transactions on Cyber-Physical Systems (TCPS), 2016. [Major Revision]
  • "Combating Software Aging: Use Two-Level Rejuvenation to Maximize Average Resource Performance and Minimize Task Deadline Miss Rate", Hao Wu, Chunhui Guo, Xiayu Hua, Igor Oliveira Lopes Freitas Faria, and Shangping Ren, Journal of Systems and Software (JSS), 2016. [Major Revision]
  • "Schedulability Analysis for Real-time Task Set on Resource with Performance Degradation and Dual-level Periodic Rejuvenations", Xiayu Hua, Chunhui Guo, Hao Wu, Douglas Lautner, and Shangping Ren, IEEE Transactions on Computers (TC), 2016. [PDF] [BibTex]
  • "Reliability Guaranteed Energy Minimization On Mixed-Criticality Systems", Zheng Li, Chunhui Guo, Xiayu Hua, and Shangping Ren, Journal of Systems and Software (JSS), Volume 112, Page 1-10, Feb 2016. [PDF] [BibTex]
  • "Periodic Resource Integration", Xiayu Hua, Zheng Li, Hao Wu, Chunhui Guo, and Shangping Ren, Journal of Systems and Software (JSS), Volume 110, Page 193-204, Dec 2015. [PDF] [BibTex]
  • "Best-Harmonically-Fit Periodic Task Assignment Algorithm on Multiple Periodic Resources", Chunhui Guo, Xiayu Hua, Hao Wu, Douglas Lautner, and Shangping Ren, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2015. [PDF] [BibTex]
  • "A Note on the EDF Preemption Behavior in 'Rate Monotonic vs. EDF: Judgment Day'", Adrien Brun, Chunhui Guo, and Shangping Ren, IEEE Embedded Systems Letters (ESL), Volume 7, Issue 3, 2015. [PDF] [BibTex]
  • "Resource and Instance Hour Minimization for Deadline Constrained DAG Applications Using Computer Clouds", Hao Wu, Xiayu Hua, Zheng Li and Shangping Ren, IEEE Transactions on Parallel and Distributed Systems, 2015 (To be published).
  • "Reference Model for Virtual Machine Launching Overhead", Hao Wu, Shangping Ren, Gabriele Garzoglioy, Steven Timmy, Gerard Bernabeuy, Seo-Young Nohz, IEEE Transactions on Cloud Computing, 2015 (To be published).
  • "Energy Efficient Fault-Tolerant Earliest Deadline First Scheduling for Hard Real-Time Systems", Qiushi Han, Linwei Niu, Shaolei Ren, Gang Quan, Shangping Ren, Real- Time Systems, 2015(To be published).
  • "Enhanced Fixed-Priority Real-Time Scheduling on Multi-core Platforms by Exploiting Task Period Relationship", Qiushi Han, Ming Fan, Shuo Liu, Gang Quan, Shangping Ren, Journal of Systems and Software (To be published).
  • "A 2-Approximation Algorithm for Scheduling Parallel and Time-Sensitive Applications to Maximize Total Accrued Utility Value", Shuhui Li, Miao Song, Pengjun Wan, and Shangping Ren, Parallel and Distributed Systems, IEEE Transactions on, Volumn PP, Issue 99, Augest 2015. [PDF][BibTex]
  • "Maintaining Real-Time Application Timing Similarity For Defect-Tolerant NoC-based Many-Core Systems", Zheng Li, Frank Lockom, and Shangping Ren, ACM Transactions on Embedded Computing Systems,Volume 13, Issue 2s, January 2014. [PDF][BibTex]
  • "Enhancing throughput of the Hadoop Distributed File System for interaction-intensive tasks",Xiayu Hua, Hao Wu, Zheng Li and Shangping Ren,Journal of Parallel and Distributed Computing, Elsevier, April 2014. [PDF][BibTex]
  • "Reliability Guaranteed Energy-Aware Frame-Based Task Set Execution Strategy for Hard Real-Time Systems", Zheng Li, Li Wang, Shuhui Li, and Shangping Ren, Journal of Software and System, Volume 86, Issue 12, December 2013.. [PDF][BibTex]
  • "Improving System Reliability Against Rational Attacks Under Given Resources", Li Wang, Shangping Ren, Bogdan Korel, Kevin Kwiat, and Eric Salerno, IEEE Transactions on Systems, Man, and Cybernetics: Systems, Volume 44, Issue 4, April 2013. [PDF][BibTex]
  • "Optimal Voting Strategy Against Random and Targeted Attacks", Li Wang, Zheng Li, Shangping Ren, and Kevin Kwiat, International Journal of Secure Software Engineering, Volume 4, Issue 4, April 2013.. [PDF][BibTex]
  • "Profit and Penalty Aware Scheduling for Real-Time On-line Services", Shuhui Li, Shangping Ren, Yue Yu, Xing Wang, Li Wang, Gang Quan, IEEE Transactions on Industrial Informatics, Volume 8, No. 1, February 2012. [PDF][BibTex]
  • "On-Line Real-Time Service-Oriented Task Scheduling using TUF", Shuo Liu, Gang Quan, and Shangping Ren, ISRN Journal of Software Engineering Vol 2012.[PDF][BibTex]
  • "Coordination Operators and their Composition under the Actor-Role-Coordinator (ARC) Model", Miao Song and Shangping Ren, ACM SIGBED Review Volume 8, Issue 1,March 2011. [PDF][BibTex]
  • "Model Feasible Interactions in Distributed Real-Time Systems", Yue Yu, Shangping Ren, and Miao Song, Festschrift Symposium for Carolyn Talcott, Lecture Notes in Computer Science, springer 2011
  • "A Metric for Quantifying Similarity between Timing Constraint Sets in Real-Time Systems", Yue Yu, Shangping Ren and Xiaobo Sharon Hu, ACM Transactions on Design Automation of Electronic Systems, Volume 16, No. 3, May, 2011.[PDF][BibTex]
  • "Comparing Three Coordination Models: Reo, ARC, and RRD", Carolyn Talcott, Marjan Sirjani, and Shangping Ren, Science of Computer Programming, Volume 76, Issue 1, January, 2011 (invited submission from FOCLASA'07 conference papers).[PDF][BibTex]
  • "Feasibility of Semiring-Based Timing Constraints: Their Satisfiability and Properties", Yue Yu, Shangping Ren and Ophir Frieder, ACM Transactions on Embedded Computing Systems, Volume 9, No. 4, 2010.[PDF][BibTex]
  • "Leakage-Aware Real-Time Scheduling For Maximal Temperature Minimization", Gang Quan and Shangping Ren, ACM SIGBED Review, Volume 7, No. 1, 2010.[PDF][BibTex]
  • "Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints", Yue Yu, Shangping Ren and Carolyn Talcott, Electronic Notes in Theoretical Computer Science, Volume 229, No. 2, 2009.[PDF][BibTex]
  • "A Role-Based Coordination Model and its Realization,Nianen Chen,Yue Yu,Shangping Ren, Informatica,vol. 32, no. 3, pp. 229--244, 2008. [PDF] [BibTex]
  • "Satisfaction Probabilities of Interval-based Timing Constraints",Yue Yu,Shangping Ren,Ophir Frieder, IEEE Transactions on Computers,vol. 57, no. 3, pp. 418--432, March,2008. [PDF] [BibTex]
  • "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]
  • "A Framework for Constructing Adaptive and Reconfigurable Systems", Pierre-Etienne Poirot, Jerzy Nogiec, and Shangping Ren, IEEE Transactions on Nuclear Science,vol.55,no.1,Feb 2008.[PDF][BibTex]
  • "Architecture Support for Behavior-based Adaptive Checkpointing", Nianen Chen and Shangping Ren, Journal of Software Engineering, vol. 3, Issue 6, 2007. [PDF] [BibTex]
  • "Toward an Architecture of a Component-Based System Supporting Separation of Non-Functional Concerns", Jerzy Nogiec, Kelley Trombly-Freytag, and Shangping Ren, International Journal of computer and Information Science and Engineering, vol. 1, no. 3, 2007. ISSN 1307-4164. [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.[PDF][BibTex]
  • "Adding Context into Access Control Model for Computer Security Policy", Shangping Ren, Jeffrey J.P. Tsai, and Ophir Frieder, chapter in the book “Advances in machine learning application in software engineering”, Idea Group Publishing, 2007, ISBN 159140942-X
  • "A Modular Approach for Programming Distributed Real-Time Systems", Shangping Ren, Gul A. Agha, and Masahiko Saito Journal of Parallel and Distributed Computing, vol. 36, no. 1, 1996 pp 4-12, 1996.[PDF] [BibTex]
  • "RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems", Shangping Ren and Gul A. Agha, ACM SIGPLSN Notices, vol. 30, no. 11, pp 50-59, November 1995. [PDF] [BibTex]

Conferences and Workshops

  • "Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems", Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, and Lui Sha, the 41st IEEE Computer Society Signature Conference on Computers, COMPSAC 2017.
  • "Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design", Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Yi-Zong Ou, and Lui Sha, the 30th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2017.
  • "Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study", Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, and Lui Sha, the 30th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2017.
  • "Modeling and Integrating Physical Environment Assumptions in Medical Cyber-Physical System Design", Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, and Lui Sha, DATE 2017.
  • "Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models", Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha, and Richard Berlin, the ACM/IEEE 7th International Conference on Cyber-Physical Systems, ICCPS 2016. [PDF] [BibTex] [Presentation] [Tool]
  • "Use Two-Level Rejuvenation to Combat Software Aging and Maximize Average Resource Performance", Chunhui Guo, Hao Wu, Xiayu Hua, Douglas Lautner, and Shangping Ren, the 12th IEEE International Conference on Embedded Software and Systems, ICESS 2015. [PDF] [BibTex] [Presentation]
  • "Sensor-Based Low Power Management For Mobile Platforms", Douglas Lautner, Scott DeBates, Jagat Shah, Miao Song, and Shangping Ren, the 12th IEEE International Conference on Embedded Software and Systems, ICESS 2015. [PDF][BibTex]
  • "Schedulability Analysis for Real-time Task Set on Resource with Performance Degradation and Periodic Rejuvenation", Xiayu Hua, Chunhui Guo, Hao Wu, Douglas Lautner, and Shangping Ren, the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015. [PDF] [BibTex]
  • "Maximize System Reliability for Long Lasting and Continuous Applications", Chunhui Guo, Hao Wu, Xiayu Hua, Shangping Ren, and Jerzy M. Nogiec, the 3rd World Conference on Information Systems and Technologies, WorldCIST 2015. [PDF] [BibTex] [Poster]
  • "Minimize Virtual Machine Launching Overhead on FermiCloud", Hao Wu, Shangping Ren, Steven Timmy, Gabriele Garzoglioy, Seo-Young Noh, the 7th Workshop on Many-Task Computing on Clouds, Grids, and Supercomputers, MTAGS 2014
  • "Power Minimization for Data Center with Guaranteed QoS", Shu Liu, Gang Quan, and Shangping Ren, the 18th Design, Automation and Test in Europe, DATE 2015.
  • "Delay-Impact-Based Local Deadline Assignment for Online Scheduling of Distributed Soft Real-Time Applications",Miao Song, Shuhui Li, Shangping Ren, Gang Quan, accepted by the 33rd IEEE International Performance Computing and Communications Conference, IPCCC 2014. [PDF][BibTex]
  • "Maximizing System's Total Accrued Utility Value for Parallel and Time-Sensitive Applications", Shuhui Li, Miao Song, Pengjun Wan, Shangping Ren, accepted by the 33rd IEEE International Performance Computing and Communications Conference, IPCCC 2014. [PDF][BibTex]
  • "Empirical Study of Energy Minimization Issues for Mixed-Criticality Systems with Reliability Constraints", Zheng Li, Xiayu Hua, Chunhui Guo, and Shangping Ren, IGCC Workshop on Low-Power Dependable Computing (LPDC), 2014. [PDF] [BibTex] [Presentation]
  • "Dynamic Reservation-Based Mixed-Criticality Task Set Scheduling", Zheng Li, Shangping Ren and Gang Quan, accepted by 11th IEEE International Conference on Embedded Software and Systems, ICESS 2014.
  • "Modeling Virtual Machine Launching Overhead under FermiCloud",Hao Wu, Shangping Ren,Gabriele Garzoglio, Steven Timm, Gerard Bernabeu,Seo-Young Noh, 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, 2014 [PDF]
  • "Scheduling periodic tasks on multiple periodic resources", Xiayu Hua, Zheng Li, Hao Wu and Shangping Ren, accepted by 4th International Conference on Advanced Communications and Computation, 2014.[PDF] [BibTex]
  • "Enhancing throughput of the Hadoop Distributed File System for interaction-intensive tasks", Xiayu Hua, Hao Wu, Zheng Li and Shangping Ren, accepted by 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2014.[PDF] [BibTex]
  • "Resource Minimization for Real-Time Applications Using Computer Clouds", Hao Wu, Xiayu Hua, Zheng Li and Shangping Ren 6th IEEE/ACM International Conference on Utility and Cloud Computing, 2013 [PDF]
  • "Automatic Cloud Bursting under FermiCloud", Hao Wu, Shangping Ren, Gabriele Garzoglio, Steven Timm, Gerard Bernabeu, Hyun Woo Kim, Keith Chadwick, Seo-Young Noh, Haeng-Jin jang, IEEE ICPADS Workshop on Cloud Services and Systems (CSS 2013), 2013 [PDF]
  • "Maximizing Online Service Profit for Time-Dependent Applications", Shuhui Li, Miao Song, Zheng Li, Shangping Ren, Gang Quan, Proceeding of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2013.[PDF][BibTex]
  • "Computation Efficiency Driven Job Removal Policies for Meeting End-to-End Deadlines in Distributed Real-Time Systems", Miao Song, Shuhui Li, Shangping Ren, Shengyan Hong and Xiaobo Sharon Hu, Proceeding of 16th IEEE International Symposium on object/component/service-oriented Real-time distributed computing, ISORC 2013. [PDF][BibTex]
  • "Energy Minimization for Checkpointing-Based Approach to Guaranteeing Real-Time Systems Reliability", ZhengLi, Li Wang, Shangping Ren and Gang Quan, Proceeding of 16th IEEE International Symposium on object/component/service-oriented Real-time distributed computing, ISORC 2013.
  • "Overall System Value Maximization for Resource Constrained Heterogeneous Real-time Systems", Li Wang, Zheng Li, Shangping Ren, and Gang Quan, In IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, 2012.[PDF] [BibTex]
  • "A Genetic Algorithm based Approach to Maximizing Real-Time System Value under Resource Constraints", Li Wang, Zheng Li, Miao Song, and Shangping Ren, In IEEE International Performance Computing and Communications Conference, 2012.[PDF] [BibTex]
  • "Minimizing Execution Cost for Applications with Deadline and Reliability Constraint in Utility Grid", Li Wang, Shangping Ren, Shuhui Li, and Gang Quan, In 24th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS), 2012.[PDF] [BibTex]
  • "Performance Comparisons of Parallel Power Flow Solvers on GPU System", Chunhui Guo, Baochen Jiang, Hao Yuan, Zhiqiang Yang, Li Wang, and Shangping, Proceedings of the 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2012. [PDF] [BibTex] [Presentation]
  • "Design of Cyber-Physical Interface for Automated Vital Signs Reading in Electronic Medical Records Systems", Eduardo Ojeda Mendez and Shangping Ren, Proceedings of the IEEE International Conference on Electro/Information Technology, EIT 2012. [PDF] [BibTex]
  • "Model-Driven Development with eUML-ARC", Kevin Marth and Shangping Ren, Proceedings of the 27th ACM Symposium On Applied Computing, SAC 2012. [PDF] [BibTex]
  • "Hungarian Algorithm Based Virtualization to Maintain Application Timing Similarity for Defect-Tolerant NoC", Frank Lockom, Zheng Li, Ke Yue, Soumia Ghalim, and Shangping Ren, Proceedings of 17th Asia and South Pacific Design Automation Conference ASP-DAC 2012. [PDF] [BibTex]
  • "Actor-eUML for Concurrent Programming", Kevin Marth and Shangping Ren, Proceedings of the Seventh International Workshop on Foundations and Practices of UML,FP-UML, 2011. [PDF] [BibTex]
  • "Improving Operation Time Bounded Mission Critical Systems' Attack-Survivability through Controlled Source-Code Transformation",Alban Vignaux, Arnaud Auguste, Bogdan Korel, Shangping Ren, and Kevin Kwiat Proceedings of the 4th International Conference on Security of Information and Networks, SIN 2011. [PDF] [BibTex]
  • "A Greedy Approach to Tolerate Defect Cores for Multimedia Applications", Ke Yue, Soumia Ghalim, Zheng Li, Frank Lockom, Shangping Ren, Lei Zhangy, and Xiaowei Li, Proceedings of the 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, ESTIMedia 2011. [PDF] [BibTex]
  • "Optimal Voting Strategy Against Rational Attacks", Li Wang, Zheng Li, Shangping Ren, and Kevin Kwiat, Proceedings of the Sixth International Conference on Risks and Security of Internet and Systems, CRiSIS 2011.[PDF] [BibTex]
  • "Temperature, Power, and Makespan Aware Dependent Task Scheduling for Data Centers", Zheng Li, Li Wang, Shangping Ren, Gang Quan, Proceedings of IEEE/ACM International Conference on Green Computing and Communications, 2011.[PDF] [BibTex]
  • "Optimal Resource Allocation for Protecting System Availability against Random Cyber Attacks",Li Wang, Shangping Ren, Ke Yue, and Kevin Kwiat Proceedings of IEEE Conference on Computer Research and Development, 2011. [PDF] [BibTex]
  • "An Adaptive Discrete Event Model for Cyber-Physical System", Ke Yue, Li Wang, Shangping Ren, Xufei Mao and Xiangyang Li, The Analytic Virtual Integration of Cyber-Physical Systems Workshop , 2010 [PDF] [BibTex]
  • "Optimal Resource Allocation to Improve Distributed System Reliability",Li Wang, Shangping Ren, Ke Yue, and Kevin Kwiat, Secure Knowledge Management, 2010 [PDF] [BibTex]
  • "Performance-asymmetry-aware topology virtualization for defect-tolerant NoC-based many-core processors",Lei Zhang,Yue Yu,Jianbo Dong,Yinhe Han, Shangping Ren,Xiaowei Li, DATE 2010: 1566-1571. [PDF] [BibTex]
  • " A concept lattice-based event model for Cyber-Physical Systems",Ying Tan, Mehmet C. Vuran, Steve Goddard,Yue Yu,Miao Song, Shangping Ren, Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, 2010: 50-60. [PDF] [BibTex]
  • " Improving complex distributed software system availability through information hiding",Li Wang,Yair Leiferman, Shangping Ren,Kevin A. Kwiat,Xiaowei Li,SAC 2010: 452-456. [PDF] [BibTex]
  • "Profit and penalty aware (PP-aware) scheduling for tasks with variable task execution time",Yue Yu, Shangping Ren,Nianen Chen,Xing Wang,SAC 2010: 334-339. [PDF] [BibTex]
  • "On-Line Scheduling of Real-Time Services for Cloud Computing", Shuo Liu,Gang Quan, Shangping Ren, SERVICES 2010: 459-464.[PDF] [BibTex]
  • "Feasibility of semiring-based timing constraints",Yue Yu, Shangping Ren,Ophir Frieder,ACM Trans. Embedded Comput. Syst. 9(4): (2010) [PDF] [BibTex]
  • " Real-Time Process Control in Producing Clean Air and Bio-Energy from Animal Waste", Yue Yu, Miao Song, Shangping Ren, Cindy Hood, Jun Zhu and Gang Quan, The 30th IEEE Real-Time Systems Symposium Work-In-Progress Proceedings, 2009:99-103. [PDF] [BibTex]
  • "A Metric for Judicious Relaxation of Timing Constraints in Soft Real-Time Systems",Yue Yu,Shangping Ren, Xiaobo Sharon Hu, Real-Time and Embedded Technology and Applications Symposium, IEEE,vol. 0, pp. 163-172, 2009. [PDF] [BibTex]
  • "Adaptive optimal checkpoint interval and its impact on system's overall quality in soft real-time applications",Nianen Chen,Shangping Ren, SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing,vol. 0, pp. 1015--1020, 2009. [PDF] [BibTex]
  • "Checkpoint Interval and System's Overall Quality for Message Logging-Based Rollback and Recovery in Distributed and Embedded Computing",Nianen Chen,Yue Yu,Shangping Ren, ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems,vol. 0, pp. 315--322, 2009. [PDF] [BibTex]
  • "Comparison of FieldBus Systems, CAN, TTCAN, FlexRay and LIN in Passenger Vehicles",Steve C. Talbot,Shangping Ren, The 2nd IEEE International Workshop on Cyber-Physical Systems in Conjunction with ICDCS,2009. [PDF] [BibTex]
  • "Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints",Yue Yu,Shangping Ren, Carolyn L. Talcott,Foundations of Coordination Languages and Software Architectures (FOCLASA'08),2008. [PDF] [BibTex]
  • "Developing Concurrent Applications on Emerging Multicore Platforms", Shangping Ren and Jerzy Nogiec, the First International Workshop on Frontiers in Complex, Intelligent and Software Intensive Systems (FCISIS-2008) in conjunction with IEEE International Conference on Complex, Intelligent and Software Intensive Systems (CICIS-2008) [PDF] [BibTex]
  • "A Non-Intrusive Approach to Enhance Legacy Embedded Control Systems with Cyber Protection Features", Shangping Ren and Kevin A. Kwiat, the 2nd International Workshop on Secure Software Engineering,in conjunction with IEEE ARES 2008 (The Third IEEE International Conference on Availability, Reliability and Security), [PDF] [Bibtex]
  • "Retrofitting Cyber Physical Systems for Survivability through External Coordination", Shangping Ren and Kevin A. Kwiat, the 41th Hawaii International Conference on System Sciences, HICSS 2008, [PDF][Bibtex]
  • "Comparing Three Coordination Models: Reo, ARC, and RRD", Carolyn Talcott, Marjan Sirjani, and Shangping Ren, Foundations of Coordination Languages and Software Architectures, 2007.
  • "A Workflow-based Non-intrusive Approach for Enhancing the Survivability of Critical Infrastructures in Cyber Environment", Kun Xiao, Nianen Chen, Shangping Ren, Limin Shen, Xianhe Sun, Kevin A. Kwiat, and Michael Macalik, Proceedings of International Conference on Software Engineering, Workshop on Software Engineering for Secure Systems, ICSEW 2007.[PDF][Bibtex]
  • "A Time and Interaction Model for Open Distributed Timing Computation", Limin Shen, Shangping Ren, and Feng Li, Proceedings of the 7th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP’07) LNCS 4494, Springer-Verlag Berlin Heidelberg, 2007.[PDF] [BibTex]
  • "Dynamic Composition of Web Service Based on Coordination Model", Limin Shen, Shangping Ren, and Feng Li, Proceedings of the Workshop on Emerging Trends of Web Technologies and Applications, WebEtrends’07.[PDF] [BibTex]
  • "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.[PDF] [BibTex]
  • "Extending the ARC Model with Generative Coordination", Kevin Marth and Shangping Ren, Proceedings of the 22nd ACM Symposium on Applied Computing, SAC 2007.[PDF] [BibTex]
  • "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, [PDF] [BibTex]
  • "Building a Coordination Framework to Support Behavior-based Adaptive Checkpointing for Open Distributed Embedded Systems", Nianen Chen and Shangping Ren, Proceedings of the 40th Hawaii International Conference on System Sciences, HICSS 2007.[PDF] [BibTex]
  • "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).[PDF] [BibTex]
  • "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.[PDF] [BibTex]
  • "Using a Role-based Coordination Model to Achieve Adaptive and Quantifiable Dependability for Open Distributed Embedded Systems", Nianen Chen and Shangping Ren, the Proceedings of the 20th International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Doctoral Symposium), ACM SIGPLAN, OOPSLA 2006.Shangping Ren, and Ophir Frieder, Proceedings of the 27th IEEE Real-Time System Symposium, 2006.[PDF] [BibTex]
  • "Separating functional and non-functional concerns through coordination: an application to reliability", Pierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, and Jeffery Tsai, the 30th IEEE Annual International Computer Software and Application Conference, 2006.[PDF] [BibTex]
  • "Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems", Shangping Ren, Limin Shen, and Jeffery Tsai, Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, 2006.Pierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, and Jeffery Tsai, the 30th IEEE Annual International Computer Software and Application Conference, 2006.[PDF] [BibTex]
  • "A Coordination Model for Improving Software System Attack-tolerance and Survivability in Open Hostile Environments", Kevin Kwiat and Shangping Ren, Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, 2006.[PDF] [BibTex]
  • "Providing Fault-Tolerance through a Distributed Coordination Model for Open Distributed Embedded Systems", Nianen Chen, Pierre-Etienne Poirot, and Shangping Ren, Proceedings of the 12th IEEE Real-Time Embedded Technology and Applications Symposium (Working-in-Progress), April, 2006.
  • "Analysis and Measurements of Software Flexibility Based on Flexible Points", Limin Shen and Shangping Ren, Proceedings of the third Software Measurement European Forum, 2006.
  • "A Dynamic Aspect Oriented Framework for Achieving Imprecise Computing in Real Time Applications and Aspect Weaving Benchmarks", Sebastien Vallon, Nianen Chen, and Shangping Ren, AOSD Workshop on Open Aspect Language, 2006.
  • "A Unified Object-Oriented Programming Language", Kevin Marth and Shangping Ren, MPOOL Workshop in OOPSLA'05.
  • "A Layered Architecture for Real-Time Open Distributed Systems", Nadeem Jamali and Shangping Ren, Proceedings of the 4th International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, 2005.[PDF] [BibTex]
  • "Delta Changes for OO Software Adaptation: Pervasive or Invasive?", Atef Bader, Shangping Ren, and Husein Armouti, Proceedings of the 38th Hawaii International Conference on System Sciences - Adaptive and Evolvable Software Systems: Techniques, Tools and Applications, 2005.[PDF] [BibTex]
  • "System Imposed and Application Compliant Adaptations", Shangping Ren, Mattox Beckman, and Tzilla Elrad, the 4th International Workshop on Distributed Auto-adaptive and Reconfigurable Systems, DARES'04, 2004.[PDF] [BibTex]
  • "A Modular Approach for Programming Embedded Systems", Shangping Ren and Gul A. Agha in Frits Vaandrager and Grzegorz Rozenberg (editors), Embedded Systems, Lecture Notes in Computer Science, vol. 1494, pp 170-207, Springer-Verlag, 1998.
  • "Specification of Real-Time Interaction Constraints", Brian Nielsen, Shangping Ren, and Gul A. Agha Proceedings of the First International Symposium on Object-Oriented Real-Time Computing, ISORC’98, pp 9-19, IEEE Computer Society, 1998.[PDF] [BibTex]
  • "Source Code Level Infeasibility Detection on Declarative Timing Constraints Specified with RTsynchronizers", Shangping Ren and Gul A. Agha ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, pp 1-10, 1997.[BibTex]
  • "Formalizing multimedia QoS Constraints Using Actors", Shangping Ren, Nalini Venkatasubramanian, and Gul A. Agha Proceedings of Second IFIP International Conference on Formal Methods for Open Object Based Distributed Systems, FMOODS’97, September 1997. [PDF] [BibTex]
  • "A Modular Approach for Programming Distributed Real-Time Systems", Shangping Ren, Gul A. Agha, and Masahiko Saito Journal of Parallel and Distributed Computing, vol. 36, no. 1, pp 4-12, 1996. Also published in School on Embedded Systems, European Educational Forum, pp 52-72, 1996.

Technical Reports

  • "Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study", Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, and Lui Sha, Department of Computer Science, Illinois Institute of Technology, Tech. Rep., 2016. [PDF]
  • "Modeling and Integrating Physical Environment Assumptions in Medical Cyber-Physical System Design", Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, and Lui Sha, Department of Computer Science, Illinois Institute of Technology, Tech. Rep., 2016. [PDF]
  • "Tech Report: Schedulability Analysis for Real-time Task Set on Resource with Performance Degradation and Periodic Rejuvenation", Xiayu Hua, Chunhui Guo, Hao Wu, Douglas Lautner and Shangping Ren, Department of Computer Science, Illinois Institute of Technology, Tech. Rep., 2015. [PDF]
  • "Tech Report: Best-Harmonically-Fit Periodic Task Assignment Algorithm on Multiple Periodic Resources", Chunhui Guo, Xiayu Hua, Hao Wu and Shangping Ren, Department of Computer Science, Illinois Institute of Technology, Tech. Rep., 2015. [PDF]
  • "Scheduling Periodic Tasks on Multiple Periodic Resources", Xiayu Hua, Zheng Li, Hao Wu and Shangping Ren, Department of Computer Science, Illinois Institute of Technology, Tech. Rep., 2014. [PDF]
  • "HORNET: A Highly Con gurable, Cycle-Level Multicore Simulator", Marko Zivkovic and Shangping Ren, Department of Computer Science, Illinois Institute of Technology, Tech. Rep., 2012. [PDF]
  • "Simulation Software - Capability Comparison", Marko Zivkovic and Shang ping Ren,Department of Computer Science, Illinois Institute of Technology, Tech. Rep., 2012.[PDF]
  • "Optimal Real-Time Application Execution Strategy for Meeting Reliability and Deadline Constraints with Minimal Energy Consumption on Uniprocessor", Zheng Li, Shangping Ren, Li Wang , Department of Computer Science, Illinois Institute of Technology, Tech. Rep., 2012. [PDF]
  • "A New Metric for Quantifying Similarity between Timing Constraint Sets in Soft Real-Time Systems", Yue Yu and Shangping Ren, Department of Computer Science, Illinois Institute of Technology, Tech. Rep., 2009. [PDF]