Shangping Ren
According to our database1,
Shangping Ren authored at least 139 papers
between 1995 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Tensortrim: dynamic tensor-train decomposition for efficient neural network compression.
Int. J. Mach. Learn. Cybern., May, 2026
2025
LID-Drug: A Localized Interactive Domain-Aggregated (LID) Framework for Protein Drug Editing.
Proceedings of the PRICAI 2025: Trends in Artificial Intelligence, 2025
Design Flow for AI-Driven Medical Systems Demonstrated Through an Example in Dental Imaging Analysis.
Proceedings of the 32nd International Conference on Mixed Design of Integrated Circuits and System, 2025
Analysis of Selected Cryptographic Algorithms for Data Transmission in Airborne Networks.
Proceedings of the 32nd International Conference on Mixed Design of Integrated Circuits and System, 2025
2024
Inf., August, 2024
2023
Proceedings of the Advanced Information Systems Engineering, 2023
2022
J. Syst. Archit., 2022
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022
2021
A Generalizable Approach for Determining The Sensitivity of A Trace within An Event Log.
EMISA Forum, 2021
Improving Process Discovery Results by Filtering Out Outliers from Event Logs with Hidden Markov Models.
Proceedings of the 23rd IEEE Conference on Business Informatics, 2021
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021
2020
<i>UACFinder</i>: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models.
ACM Trans. Cyber Phys. Syst., 2020
A framework for supporting the development of verifiably safe medical best practice guideline systems.
J. Syst. Archit., 2020
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
Proceedings of the 3rd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2020
2019
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts.
IEEE Internet Things J., 2019
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts.
CoRR, 2019
Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments.
Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019
2018
WaaS (Wireless-as-a-Sensor): Conception, design and implementation on mobile platforms.
J. Syst. Archit., 2018
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report.
CoRR, 2018
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version).
CoRR, 2018
Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints.
CoRR, 2018
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report).
CoRR, 2018
Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
<i>IAfinder</i>: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system.
Proceedings of the 55th Annual Design Automation Conference, 2018
Power Efficient Scheduling Algorithms for Real-time Tasks on Multi-mode Microcontrollers.
Proceedings of the 9th International Conference on Ambient Systems, 2018
2017
Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Dual-Level Periodic Rejuvenations.
IEEE Trans. Computers, 2017
BaaS (Bluetooth-as-a-sensor): conception, design and implementation on mobile platforms.
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017
Model and integrate medical resource availability into verifiably correct executable medical guidelines.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Modeling and integrating physical environment assumptions in medical cyber-physical system design.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017
Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017
2016
Resource and Instance Hour Minimization for Deadline Constrained DAG Applications Using Computer Clouds.
IEEE Trans. Parallel Distributed Syst., 2016
A 2-Approximation Algorithm for Scheduling Parallel and Time-Sensitive Applications to Maximize Total Accrued Utility Value.
IEEE Trans. Parallel Distributed Syst., 2016
Best-Harmonically-Fit Periodic Task Assignment Algorithm on Multiple Periodic Resources.
IEEE Trans. Parallel Distributed Syst., 2016
IEEE Trans. Cloud Comput., 2016
J. Syst. Softw., 2016
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems.
J. Medical Syst., 2016
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
2015
Enhanced fixed-priority real-time scheduling on multi-core platforms by exploiting task period relationship.
J. Syst. Softw., 2015
Energy minimization for reliability-guaranteed real-time applications using DVFS and checkpointing techniques.
J. Syst. Archit., 2015
IEEE Embed. Syst. Lett., 2015
Proceedings of the New Contributions in Information Systems and Technologies, 2015
Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Periodic Rejuvenation.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015
Proceedings of the 33rd IEEE International Conference on Computer Design, 2015
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
Use Two-Level Rejuvenation to Combat Software Aging and Maximize Average Resource Performance.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
2014
IEEE Trans. Syst. Man Cybern. Syst., 2014
Maintaining real-time application timing similarity for defect-tolerant NoC-based many-core systems.
ACM Trans. Embed. Comput. Syst., 2014
Energy efficient fault-tolerant earliest deadline first scheduling for hard real-time systems.
Real Time Syst., 2014
Enhancing throughput of the Hadoop Distributed File System for interaction-intensive tasks.
J. Parallel Distributed Comput., 2014
Enhancing Throughput of Hadoop Distributed File System for Interaction-Intensive Tasks.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014
Proceedings of the Fifteenth International Symposium on Quality Electronic Design, 2014
Multi-core partitioned scheduling for fixed-priority periodic real-time tasks with enhanced RBound.
Proceedings of the Fifteenth International Symposium on Quality Electronic Design, 2014
Maximizing system's total accrued utility value for parallel and time-sensitive applications.
Proceedings of the IEEE 33rd International Performance Computing and Communications Conference, 2014
Delay-impact-based local deadline assignment for online scheduling of distributed soft real-time applications.
Proceedings of the IEEE 33rd International Performance Computing and Communications Conference, 2014
Scheduling time-sensitive multi-tier services with probabilistic performance guarantee.
Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014
Proceedings of the 14th IEEE/ACM International Symposium on Cluster, 2014
2013
Reliability guaranteed energy-aware frame-based task set execution strategy for hard real-time systems.
J. Syst. Softw., 2013
Int. J. Secur. Softw. Eng., 2013
Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013
Energy minimization for checkpointing-based approach to guaranteeing real-time systems reliability.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013
Computation efficiency driven job removal policies for meeting end-to-end deadlines in distributed real-time systems.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013
Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013
Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems, 2013
Run-Time Reconfiguration to Tolerate Core Failures for Real-Time Embedded Applications on NoC Manycore Platforms.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013
2012
IEEE Trans. Ind. Informatics, 2012
On the fundamentals of leakage aware real-time DVS scheduling for peak temperature minimization.
J. Syst. Archit., 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
A genetic algorithm based approach to maximizing real-time system value under resource constraints.
Proceedings of the 31st IEEE International Performance Computing and Communications Conference, 2012
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012
Design of cyber-physical interface for automated vital signs reading in electronic medical records systems.
Proceedings of the 2012 IEEE International Conference on Electro/Information Technology, 2012
Overall System Value Maximization for Resource Constrained Heterogeneous Real-Time Systems.
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012
Hungarian algorithm based virtualization to maintain application timing similarity for defect-tolerant NoC.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012
2011
A Metric for Quantifying Similarity between Timing Constraint Sets in Real-Time Systems.
ACM Trans. Design Autom. Electr. Syst., 2011
Coordination operators and their composition under the actor-role-coordinator (ARC) model.
SIGBED Rev., 2011
Improving operation time bounded mission critical systems' attack-survivability through controlled source-code transformation.
Proceedings of the 4th International Conference on Security of Information and Networks, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 2011 IEEE/ACM International Conference on Green Computing and Communications (GreenCom), 2011
Proceedings of the 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2011
Proceedings of the Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31, 2011
Proceedings of the CRiSIS 2011, 2011
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
Proceedings of the IEEE International Conference on Services Computing, 2011
2010
ACM Trans. Embed. Comput. Syst., 2010
SIGBED Rev., 2010
Proceedings of the 6th World Congress on Services, 2010
Profit and penalty aware (PP-aware) scheduling for tasks with variable task execution time.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Improving complex distributed software system availability through information hiding.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010
Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010
Performance-asymmetry-aware topology virtualization for defect-tolerant NoC-based many-core processors.
Proceedings of the Design, Automation and Test in Europe, 2010
2009
Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009
Adaptive optimal checkpoint interval and its impact on system's overall quality in soft real-time applications.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009
Checkpoint Interval and System's Overall Quality for Message Logging-Based Rollback and Recovery in Distributed and Embedded Computing.
Proceedings of the International Conference on Embedded Software and Systems, 2009
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009
2008
IEEE Trans. Computers, 2008
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints.
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008
Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008
Proceedings of the Second International Conference on Complex, 2008
A Non-Intrusive Approach to Enhance Legacy Embedded Control Systems with Cyber Protection Features.
Proceedings of the The Third International Conference on Availability, 2008
2007
The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems.
ACM Trans. Auton. Adapt. Syst., 2007
A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments.
Int. J. Distributed Sens. Networks, 2007
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Take Intelligent Risk and Optimize Decision Based on Time, Available Resources and Risk Tolerance Limits.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
A Workflow-Based Non-intrusive Approach for Enhancing the Survivability of Critical Infrastructures in Cyber Environment.
Proceedings of the Third International Workshop on Software Engineering for Secure Systems, 2007
Proceedings of the Algorithms and Architectures for Parallel Processing, 2007
Building a Coordination Framework to Support Behavior-Based Adaptive Checkpointing for Open Distributed Embedded Systems.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007
Proceedings of the Advances in Web and Network Technologies, and Information Management, 2007
2006
Proceedings of the IEEE International Conference on Sensor Networks, 2006
A Coordination Model for Improving Software System Attack-tolerance and Survivability in Open Hostile Environments.
Proceedings of the IEEE International Conference on Sensor Networks, 2006
Prediction of Timing Constraint Violation for Real-Time Embedded Systems with Known Transient Hardware Failure Distribution Model.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006
Using a role-based coordination model to achieve adaptive and quantifiable dependability for open distributed embedded systems.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006
Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
2005
Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems, 2005
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005
2004
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004
1998
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998
1997
1996
J. Parallel Distributed Comput., 1996
Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996
1995
RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems.
Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995