default search action
Shangping Ren
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j38]Fatemeh Asgarinejad, Anthony Thomas, Ryan Hildebrant, Zhenyu Zhang, Shangping Ren, Tajana Rosing, Baris Aksanli:
Optimized Early Prediction of Business Processes with Hyperdimensional Computing. Inf. 15(8): 490 (2024) - 2023
- [c92]Ryan Hildebrant, Stephan A. Fahrenkrog-Petersen, Matthias Weidlich, Shangping Ren:
PMDG: Privacy for Multi-perspective Process Mining Through Data Generalization. CAiSE 2023: 506-521 - [i7]Ryan Hildebrant, Stephan A. Fahrenkrog-Petersen, Matthias Weidlich, Shangping Ren:
PMDG: Privacy for Multi-Perspective Process Mining through Data Generalization. CoRR abs/2305.00960 (2023) - 2022
- [j37]Zhenyu Zhang, Caleb Johnson, Nalini Venkatasubramanian, Shangping Ren:
Process scenario discovery from event logs based on activity and timing information. J. Syst. Archit. 125: 102435 (2022) - [c91]Zhenyu Zhang, Junjie Zhu, Ryan Hildebrant, Nalini Venkatasubramanian, Shangping Ren:
Using Domain Knowledge to Assist Process Scenario Discoveries. COMPSAC 2022: 280-288 - 2021
- [j36]Ryan Hildebrant, Zhenyu Zhang, Shangping Ren:
A Generalizable Approach for Determining The Sensitivity of A Trace within An Event Log. EMISA Forum 41(1): 35-36 (2021) - [c90]Wenyu Peng, Zhenyu Zhang, Ryan Hildebrant, Shangping Ren:
Empirical Studies of Three Commonly Used Process Mining Algorithms. SMC 2021: 2492-2499 - [c89]Zhenyu Zhang, Ryan Hildebrant, Fatemeh Asgarinejad, Nalini Venkatasubramanian, Shangping Ren:
Improving Process Discovery Results by Filtering Out Outliers from Event Logs with Hidden Markov Models. CBI (1) 2021: 171-180 - 2020
- [j35]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
A framework for supporting the development of verifiably safe medical best practice guideline systems. J. Syst. Archit. 104: 101693 (2020) - [j34]Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha:
UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. ACM Trans. Cyber Phys. Syst. 4(3): 24:1-24:25 (2020) - [c88]Zhenyu Zhang, Chunhui Guo, Wenyu Peng, Shangping Ren:
Using Event Log Timing Information to Assist Process Scenario Discoveries. AIKE 2020: 58-64 - [c87]Zhenyu Zhang, Chunhui Guo, Shangping Ren:
Mining Timing Constraints from Event Logs for Process Model. COMPSAC 2020: 1011-1016
2010 – 2019
- 2019
- [j33]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet Things J. 6(4): 6276-6284 (2019) - [c86]Zhenyu Zhang, Chunhui Guo, Zhicheng Fu, Shangping Ren, Nalini Venkatasubramanian:
Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments. ICESS 2019: 1-4 - [i6]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. CoRR abs/1909.10493 (2019) - 2018
- [j32]Douglas Lautner, Xiayu Hua, Scott DeBates, Shangping Ren:
WaaS (Wireless-as-a-Sensor): Conception, design and implementation on mobile platforms. J. Syst. Archit. 88: 65-73 (2018) - [c85]Douglas Lautner, Xiayu Hua, Scott DeBates, Miao Song, Shangping Ren:
Power Efficient Scheduling Algorithms for Real-time Tasks on Multi-mode Microcontrollers. ANT/SEIT 2018: 557-566 - [c84]Zhicheng Fu, Zhao Wang, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha:
IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. DAC 2018: 143:1-143:6 - [c83]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. ICCPS 2018: 253-262 - [c82]Andrew Yi-Zong Ou, Maryam Rahmaniheris, Yu Jiang, Lui Sha, Zhicheng Fu, Shangping Ren:
Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP. SAC 2018: 1282-1291 - [i5]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report). CoRR abs/1811.00694 (2018) - [i4]Chunhui Guo, Hao Wu, Xiayu Hua, Shangping Ren, Jerzy Nogiec:
Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints. CoRR abs/1811.08047 (2018) - [i3]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version). CoRR abs/1811.08061 (2018) - [i2]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report. CoRR abs/1811.08064 (2018) - 2017
- [j31]Xiayu Hua, Chunhui Guo, Hao Wu, Douglas Lautner, Shangping Ren:
Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Dual-Level Periodic Rejuvenations. IEEE Trans. Computers 66(3): 553-559 (2017) - [c81]Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, Lui Sha:
Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. CBMS 2017: 117-122 - [c80]Zhicheng Fu, Chunhui Guo, Shangping Ren, Yizong Ou, Lui Sha:
Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. CBMS 2017: 373-378 - [c79]Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha:
Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. COMPSAC (1) 2017: 760-765 - [c78]Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha:
Modeling and integrating physical environment assumptions in medical cyber-physical system design. DATE 2017: 1615-1618 - [c77]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD 2017: 964-969 - [c76]Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha:
Study of Software-Related Causes in the FDA Medical Device Recalls. ICECCS 2017: 60-69 - [c75]Douglas Lautner, Xiayu Hua, Scott DeBates, Miao Song, Jagat Shah, Shangping Ren:
BaaS (Bluetooth-as-a-sensor): conception, design and implementation on mobile platforms. SAC 2017: 550-556 - 2016
- [j30]Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Shangping Ren, Lui Sha:
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. J. Medical Syst. 40(11): 227:1-227:17 (2016) - [j29]Zheng Li, Chunhui Guo, Xiayu Hua, Shangping Ren:
Reliability guaranteed energy minimization on mixed-criticality systems. J. Syst. Softw. 112: 1-10 (2016) - [j28]Hao Wu, Shangping Ren, Gabriele Garzoglio, Steven Timm, Gerard Bernabeu, Keith Chadwick, Seo-Young Noh:
A Reference Model for Virtual Machine Launching Overhead. IEEE Trans. Cloud Comput. 4(3): 250-264 (2016) - [j27]Hao Wu, Xiayu Hua, Zheng Li, Shangping Ren:
Resource and Instance Hour Minimization for Deadline Constrained DAG Applications Using Computer Clouds. IEEE Trans. Parallel Distributed Syst. 27(3): 885-899 (2016) - [j26]Chunhui Guo, Xiayu Hua, Hao Wu, Douglas Lautner, Shangping Ren:
Best-Harmonically-Fit Periodic Task Assignment Algorithm on Multiple Periodic Resources. IEEE Trans. Parallel Distributed Syst. 27(5): 1303-1315 (2016) - [j25]Shuhui Li, Miao Song, Peng-Jun Wan, Shangping Ren:
A 2-Approximation Algorithm for Scheduling Parallel and Time-Sensitive Applications to Maximize Total Accrued Utility Value. IEEE Trans. Parallel Distributed Syst. 27(7): 1864-1878 (2016) - [c74]Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.:
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. ICCPS 2016: 34:1-34:10 - [i1]Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Shangping Ren, Lui Sha:
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. CoRR abs/1608.04661 (2016) - 2015
- [j24]Adrien Brun, Chunhui Guo, Shangping Ren:
A Note on the EDF Preemption Behavior in "Rate Monotonic Versus EDF: Judgment Day". IEEE Embed. Syst. Lett. 7(3): 89-91 (2015) - [j23]Zheng Li, Shangping Ren, Gang Quan:
Energy minimization for reliability-guaranteed real-time applications using DVFS and checkpointing techniques. J. Syst. Archit. 61(2): 71-81 (2015) - [j22]Ming Fan, Qiushi Han, Shuo Liu, Shaolei Ren, Gang Quan, Shangping Ren:
Enhanced fixed-priority real-time scheduling on multi-core platforms by exploiting task period relationship. J. Syst. Softw. 99: 85-96 (2015) - [j21]Xiayu Hua, Zheng Li, Hao Wu, Chunhui Guo, Shangping Ren:
Periodic resource integration. J. Syst. Softw. 110: 193-204 (2015) - [c73]Shuo Liu, Soamar Homsi, Ming Fan, Shaolei Ren, Gang Quan, Shangping Ren:
Power minimization for data center with guaranteed QoS. DATE 2015: 1347-1352 - [c72]Douglas Lautner, Scott DeBates, Jagat Shah, Miao Song, Shangping Ren:
Sensor-Based Low Power Management for Mobile Platforms. HPCC/CSS/ICESS 2015: 934-940 - [c71]Chunhui Guo, Hao Wu, Xiayu Hua, Douglas Lautner, Shangping Ren:
Use Two-Level Rejuvenation to Combat Software Aging and Maximize Average Resource Performance. HPCC/CSS/ICESS 2015: 1160-1165 - [c70]Gustavo A. Chaparro-Baquero, Soamar Homsi, Omara Vichot, Shaolei Ren, Gang Quan, Shangping Ren:
Cache allocation for fixed-priority real-time scheduling on multi-core platforms. ICCD 2015: 589-596 - [c69]Xiayu Hua, Chunhui Guo, Hao Wu, Douglas Lautner, Shangping Ren:
Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Periodic Rejuvenation. RTCSA 2015: 197-206 - [c68]Chunhui Guo, Hao Wu, Xiayu Hua, Shangping Ren, Jerzy M. Nogiec:
Maximize System Reliability for Long Lasting and Continuous Applications. WorldCIST (1) 2015: 603-612 - 2014
- [j20]Xiayu Hua, Hao Wu, Zheng Li, Shangping Ren:
Enhancing throughput of the Hadoop Distributed File System for interaction-intensive tasks. J. Parallel Distributed Comput. 74(8): 2770-2779 (2014) - [j19]Qiushi Han, Linwei Niu, Gang Quan, Shaolei Ren, Shangping Ren:
Energy efficient fault-tolerant earliest deadline first scheduling for hard real-time systems. Real Time Syst. 50(5-6): 592-619 (2014) - [j18]Zheng Li, Frank Lockom, Shangping Ren:
Maintaining real-time application timing similarity for defect-tolerant NoC-based many-core systems. ACM Trans. Embed. Comput. Syst. 13(2s): 64:1-64:19 (2014) - [j17]Li Wang, Shangping Ren, Bogdan Korel, Kevin A. Kwiat, Eric Salerno:
Improving System Reliability Against Rational Attacks Under Given Resources. IEEE Trans. Syst. Man Cybern. Syst. 44(4): 446-456 (2014) - [c67]Hao Wu, Shangping Ren, Gabriele Garzoglio, Steven Timm, Gerard Bernabeu, Seo-Young Noh:
Modeling the Virtual Machine Launching Overhead under Fermicloud. CCGRID 2014: 374-383 - [c66]Zheng Li, Shangping Ren, Gang Quan:
Dynamic Reservation-Based Mixed-Criticality Task Set Scheduling. HPCC/CSS/ICESS 2014: 603-610 - [c65]Shuo Liu, Soamar Homsi, Ming Fan, Shaolei Ren, Gang Quan, Shangping Ren:
Scheduling time-sensitive multi-tier services with probabilistic performance guarantee. ICPADS 2014: 736-743 - [c64]Miao Song, Shuhui Li, Shangping Ren, Gang Quan:
Delay-impact-based local deadline assignment for online scheduling of distributed soft real-time applications. IPCCC 2014: 1-8 - [c63]Shuhui Li, Miao Song, Peng-Jun Wan, Shangping Ren:
Maximizing system's total accrued utility value for parallel and time-sensitive applications. IPCCC 2014: 1-8 - [c62]Tianyi Wang, Ming Fan, Gang Quan, Shangping Ren:
Heterogeneity exploration for peak temperature reduction on multi-core platforms. ISQED 2014: 107-114 - [c61]Ming Fan, Qiushi Han, Gang Quan, Shangping Ren:
Multi-core partitioned scheduling for fixed-priority periodic real-time tasks with enhanced RBound. ISQED 2014: 284-291 - [c60]Xiayu Hua, Hao Wu, Shangping Ren:
Enhancing Throughput of Hadoop Distributed File System for Interaction-Intensive Tasks. PDP 2014: 508-511 - 2013
- [j16]Li Wang, Zheng Li, Shangping Ren, Kevin A. Kwiat:
Optimal Voting Strategy against Random and Targeted Attacks. Int. J. Secur. Softw. Eng. 4(4): 25-46 (2013) - [j15]Zheng Li, Li Wang, Shuhui Li, Shangping Ren, Gang Quan:
Reliability guaranteed energy-aware frame-based task set execution strategy for hard real-time systems. J. Syst. Softw. 86(12): 3060-3070 (2013) - [c59]Zheng Li, Shuhui Li, Xiayu Hua, Hao Wu, Shangping Ren:
Run-Time Reconfiguration to Tolerate Core Failures for Real-Time Embedded Applications on NoC Manycore Platforms. HPCC/EUC 2013: 1990-1997 - [c58]Hao Wu, Shangping Ren, Gabriele Garzoglio, Steven Timm, Gerard Bernabeu, Hyunwoo Kim, Keith Chadwick, Haengjin Jang, Seo-Young Noh:
Automatic Cloud Bursting under FermiCloud. ICPADS 2013: 681-686 - [c57]Shuo Liu, Shaolei Ren, Gang Quan, Ming Zhao, Shangping Ren:
Profit Aware Load Balancing for Distributed Cloud Data Centers. IPDPS 2013: 611-622 - [c56]Miao Song, Shuhui Li, Shangping Ren, Shengyan Hong, Xiaobo Sharon Hu:
Computation efficiency driven job removal policies for meeting end-to-end deadlines in distributed real-time systems. ISORC 2013: 1-8 - [c55]Zheng Li, Li Wang, Shangping Ren, Gang Quan:
Energy minimization for checkpointing-based approach to guaranteeing real-time systems reliability. ISORC 2013: 1-8 - [c54]Shuhui Li, Miao Song, Zheng Li, Shangping Ren, Gang Quan:
Maximizing online service profit for time-dependent applications. RTCSA 2013: 342-345 - [c53]Hao Wu, Xiayu Hua, Zheng Li, Shangping Ren:
Resource Minimization for Real-Time Applications Using Computer Clouds. UCC 2013: 99-106 - 2012
- [j14]Vivek Chaturvedi, Huang Huang, Shangping Ren, Gang Quan:
On the fundamentals of leakage aware real-time DVS scheduling for peak temperature minimization. J. Syst. Archit. 58(10): 387-397 (2012) - [j13]Shuhui Li, Shangping Ren, Yue Yu, Xing Wang, Li Wang, Gang Quan:
Profit and Penalty Aware Scheduling for Real-Time Online Services. IEEE Trans. Ind. Informatics 8(1): 78-89 (2012) - [c52]Ke Yue, Frank Lockom, Zheng Li, Soumia Ghalim, Shangping Ren, Lei Zhang, Xiaowei Li:
Hungarian algorithm based virtualization to maintain application timing similarity for defect-tolerant NoC. ASP-DAC 2012: 493-498 - [c51]Li Wang, Zheng Li, Shangping Ren, Gang Quan:
Overall System Value Maximization for Resource Constrained Heterogeneous Real-Time Systems. CSE 2012: 586-593 - [c50]Eduardo Ojeda Mendez, Shangping Ren:
Design of cyber-physical interface for automated vital signs reading in electronic medical records systems. EIT 2012: 1-10 - [c49]Tianyi Wang, Gang Quan, Shangping Ren, Meikang Qiu:
Topology Virtualization for Throughput Maximization on Many-Core Platforms. ICPADS 2012: 408-415 - [c48]Li Wang, Zheng Li, Miao Song, Shangping Ren:
A genetic algorithm based approach to maximizing real-time system value under resource constraints. IPCCC 2012: 285-294 - [c47]Chunhui Guo, Baochen Jiang, Hao Yuan, Zhiqiang Yang, Li Wang, Shangping Ren:
Performance Comparisons of Parallel Power Flow Solvers on GPU System. RTCSA 2012: 232-239 - [c46]Kevin Marth, Shangping Ren:
Model-Driven Development with eUML-ARC. SAC 2012: 1877-1882 - 2011
- [j12]Carolyn L. Talcott, Marjan Sirjani, Shangping Ren:
Comparing three coordination models: Reo, ARC, and PBRD. Sci. Comput. Program. 76(1): 3-22 (2011) - [j11]Miao Song, Shangping Ren:
Coordination operators and their composition under the actor-role-coordinator (ARC) model. SIGBED Rev. 8(1): 14-21 (2011) - [j10]Yue Yu, Shangping Ren, Xiaobo Sharon Hu:
A Metric for Quantifying Similarity between Timing Constraint Sets in Real-Time Systems. ACM Trans. Design Autom. Electr. Syst. 16(3): 34:1-34:33 (2011) - [c45]Shuo Liu, Gang Quan, Shangping Ren:
On-Line Real-Time Service Allocation and Scheduling for Distributed Data Centers. IEEE SCC 2011: 528-535 - [c44]Shangping Ren, Yue Yu, Miao Song:
Model Feasible Interactions in Distributed Real-Time Systems. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 144-168 - [c43]Li Wang, Zheng Li, Shangping Ren, Kevin A. Kwiat:
Optimal Voting Strategy Against Rational Attackers. CRiSIS 2011: 1-8 - [c42]Kevin Marth, Shangping Ren:
Actor-eUML for Concurrent Programming. ER Workshops 2011: 312-321 - [c41]Ke Yue, Soumia Ghalim, Zheng Li, Frank Lockom, Shangping Ren, Lei Zhang, Xiaowei Li:
A greedy approach to tolerate defect cores for multimedia applications. ESTIMedia 2011: 112-119 - [c40]Zheng Li, Li Wang, Shangping Ren, Gang Quan:
Temperature, Power, and Makespan Aware Dependent Task Scheduling for Data Centers. GreenCom 2011: 22-27 - [c39]Shuo Liu, Gang Quan, Shangping Ren:
On-line scheduling of real-time services with profit and penalty. SAC 2011: 1476-1481 - [c38]Bogdan Korel, Shangping Ren, Kevin A. Kwiat, Arnaud Auguste, Alban Vignaux:
Improving operation time bounded mission critical systems' attack-survivability through controlled source-code transformation. SIN 2011: 183-190 - 2010
- [j9]Gang Quan, Shangping Ren:
Leakage-aware real-time scheduling for maximal temperature minimization. SIGBED Rev. 7(1): 3 (2010) - [j8]Yue Yu, Shangping Ren, Ophir Frieder:
Feasibility of semiring-based timing constraints. ACM Trans. Embed. Comput. Syst. 9(4): 33:1-33:24 (2010) - [c37]Lei Zhang, Yue Yu, Jianbo Dong, Yinhe Han, Shangping Ren, Xiaowei Li:
Performance-asymmetry-aware topology virtualization for defect-tolerant NoC-based many-core processors. DATE 2010: 1566-1571 - [c36]Shangping Ren:
APESER 2010 Keynote Speech: Shangping Ren. GreenCom/CPSCom 2010 - [c35]Ying Tan, Mehmet C. Vuran, Steve Goddard, Yue Yu, Miao Song, Shangping Ren:
A concept lattice-based event model for Cyber-Physical Systems. ICCPS 2010: 50-60 - [c34]Yue Yu, Shangping Ren, Nianen Chen, Xing Wang:
Profit and penalty aware (PP-aware) scheduling for tasks with variable task execution time. SAC 2010: 334-339 - [c33]Li Wang, Yair Leiferman, Shangping Ren, Kevin A. Kwiat, Xiaowei Li:
Improving complex distributed software system availability through information hiding. SAC 2010: 452-456 - [c32]Shuo Liu, Gang Quan, Shangping Ren:
On-Line Scheduling of Real-Time Services for Cloud Computing. SERVICES 2010: 459-464
2000 – 2009
- 2009
- [c31]Steve C. Talbot, Shangping Ren:
Comparision of FieldBus Systems CAN, TTCAN, FlexRay and LIN in Passenger Vehicles. ICDCS Workshops 2009: 26-31 - [c30]Nianen Chen, Yue Yu, Shangping Ren:
Checkpoint Interval and System's Overall Quality for Message Logging-Based Rollback and Recovery in Distributed and Embedded Computing. ICESS 2009: 315-322 - [c29]Yue Yu, Shangping Ren, Xiaobo Sharon Hu:
A Metric for Judicious Relaxation of Timing Constraints in Soft Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 163-172 - [c28]Nianen Chen, Shangping Ren:
Adaptive optimal checkpoint interval and its impact on system's overall quality in soft real-time applications. SAC 2009: 1015-1020 - [c27]Kevin Marth, Shangping Ren:
The ARC Programming Model. SDL Forum 2009: 165-181 - 2008
- [j7]Nianen Chen, Yue Yu, Shangping Ren, Mattox Beckman:
A Role-Based Coordination Model and its Realization. Informatica (Slovenia) 32(3): 229-244 (2008) - [j6]Nianen Chen, Shangping Ren:
Architecture Support for Behavior-based Adaptive Checkpointing. J. Softw. 3(2): 61-68 (2008) - [j5]Yue Yu, Shangping Ren, Ophir Frieder:
Interval-Based Timing Constraints Their Satisfactions and Applications. IEEE Trans. Computers 57(3): 418-432 (2008) - [c26]Shangping Ren, Kevin A. Kwiat:
A Non-Intrusive Approach to Enhance Legacy Embedded Control Systems with Cyber Protection Features. ARES 2008: 1180-1187 - [c25]Shangping Ren, Jerzy Nogiec:
Developing Concurrent Applications on Emerging Multicore Platforms. CISIS 2008: 632-637 - [c24]Kun Xiao, Shangping Ren, Kevin A. Kwiat:
Retrofitting Cyber Physical Systems for Survivability through External Coordination. HICSS 2008: 465 - [c23]Kevin Marth, Shangping Ren:
The ARC Programming Model - Language Constructs for Coordination. FOCLASA@ICALP 2008: 95-113 - [c22]Yue Yu, Shangping Ren, Carolyn L. Talcott:
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. FOCLASA@ICALP 2008: 133-153 - 2007
- [j4]Shangping Ren, Yue Yu, Kevin A. Kwiat, Jeffrey J. P. Tsai:
A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments. Int. J. Distributed Sens. Networks 3(2): 175-199 (2007) - [j3]Shangping Ren, Yue Yu, Nianen Chen, Jeffrey J. P. Tsai, Kevin A. Kwiat:
The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems. ACM Trans. Auton. Adapt. Syst. 2(3): 10 (2007) - [c21]Limin Shen, Feng Li, Shangping Ren, Yunfeng Mu:
Dynamic Composition of Web Service Based on Coordination Model. APWeb/WAIM Workshops 2007: 317-327 - [c20]Nianen Chen, Shangping Ren:
Building a Coordination Framework to Support Behavior-Based Adaptive Checkpointing for Open Distributed Embedded Systems. HICSS 2007: 257 - [c19]Limin Shen, Shangping Ren, Feng Li, Yunfeng Mu:
A Time and Interaction Model for Open Distributed Timing Computation. ICA3PP 2007: 83-94 - [c18]Kun Xiao, Nianen Chen, Shangping Ren, Limin Shen, Xianhe Sun, Kevin A. Kwiat, Michael Macalik:
A Workflow-Based Non-intrusive Approach for Enhancing the Survivability of Critical Infrastructures in Cyber Environment. SESS@ICSE 2007: 4 - [c17]Yue Yu, Shangping Ren:
Expected Time for Obtaining Dependable Data in Real-Time Environment. IPDPS 2007: 1-8 - [c16]Yue Yu, Shangping Ren, Kevin A. Kwiat:
Take Intelligent Risk and Optimize Decision Based on Time, Available Resources and Risk Tolerance Limits. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 315-325 - [c15]Kevin Marth, Shangping Ren:
Extending the ARC model with generative coordination. SAC 2007: 366-367 - [c14]Carolyn L. Talcott, Marjan Sirjani, Shangping Ren:
Comparing Three Coordination Models: Reo, ARC, and RRD. FOCLASA 2007: 39-55 - 2006
- [c13]Pierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, Jeffrey J. P. Tsai:
Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability. COMPSAC (2) 2006: 63-66 - [c12]Shangping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne Poirot, Limin Shen:
Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems. COORDINATION 2006: 247-265 - [c11]Elisa L. A. Baniassad, Kung Chen, Shigeru Chiba, Jan Hannemann, Hidehiko Masuhara, Shangping Ren, Jianjun Zhao:
2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia). ASE 2006: 375 - [c10]Nianen Chen, Shangping Ren:
Using a role-based coordination model to achieve adaptive and quantifiable dependability for open distributed embedded systems. OOPSLA Companion 2006: 776-777 - [c9]Yue Yu, Shangping Ren, Ophir Frieder:
Prediction of Timing Constraint Violation for Real-Time Embedded Systems with Known Transient Hardware Failure Distribution Model. RTSS 2006: 454-466 - [c8]Shangping Ren, Limin Shen, Jeffrey J. P. Tsai:
Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems. SUTC (1) 2006: 60-67 - [c7]Kevin A. Kwiat, Shangping Ren:
A Coordination Model for Improving Software System Attack-tolerance and Survivability in Open Hostile Environments. SUTC (1) 2006: 394-402 - 2005
- [j2]Nadeem Jamali, Shangping Ren:
A layered architecture for real-time distributed multi-agent systems. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-8 (2005) - [c6]Atef Bader, Shangping Ren, Husein Armouti:
Delta Changes for OO Software Adaptation: Pervasive or Invasive? HICSS 2005 - [c5]Nadeem Jamali, Shangping Ren:
A layered architecture for real-time distributed multi-agent systems. SELMAS 2005: 1:1-1:8 - 2004
- [c4]Shangping Ren, Mattox Beckman, Tzilla Elrad:
System Imposed and Application Compliant Adaptations. ICDCS Workshops 2004: 310-318
1990 – 1999
- 1998
- [c3]Brian Nielsen, Shangping Ren, Gul Agha:
Specification of Real-Time Interaction Constraints. ISORC 1998: 206-214 - 1997
- [b1]Shangping Ren:
An Actor-Based Framework for Real-Time Coordination. University of Illinois Urbana-Champaign, USA, 1997 - 1996
- [j1]Shangping Ren, Gul Agha, Masahiko Saito:
A Modular Approach to Programming Distributed Real-Time Systems. J. Parallel Distributed Comput. 36(1): 4-12 (1996) - [c2]Shangping Ren, Gul Agha:
A Modular Approach for Programming Embedded Systems. European Educational Forum: School on Embedded Systems 1996: 170-207 - 1995
- [c1]Shangping Ren, Gul Agha:
RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems 1995: 50-59
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-22 00:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint