( en | de | ru )

 

Disambiguation of "Ren, Shangping"

Author of the publication

copydeleteadd this publication to your clipboard
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models.

, , , , , and . ICCPS, page 34:1-34:10. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Shangping Wang

Shangping Xu

Jianxin Ren

Zhongliang Ren

Hongming Ren

 

Other publications of authors with the same name

Leakage-aware real-time scheduling for maximal temperature minimization., and . SIGBED Review, 7 (1): 3 (2010)Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts., , , , and . CoRR, (2019)Model and integrate medical resource availability into verifiably correct executable medical guidelines., , , , and . ICCAD, page 964-969. IEEE, (2017)Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts., , , , and . IEEE Internet of Things Journal, 6 (4): 6276-6284 (2019)Coordination Operators and Their Composition under the Actor-Role-Coordinator (ARC) Model, and . SIGBED Rev., 8 (1): 14–21 (March 2011)Reliability guaranteed energy minimization on mixed-criticality systems., , , and . J. Syst. Softw., (2016)Periodic resource integration., , , , and . J. Syst. Softw., (2015)The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems., , , , and . ACM Trans. Auton. Adapt. Syst., 2 (3): 10 (2007)A Role-Based Coordination Model and its Realization., , , and . Informatica (Slovenia), 32 (3): 229-244 (2008)Energy efficient fault-tolerant earliest deadline first scheduling for hard real-time systems., , , , and . Real Time Syst., 50 (5-6): 592-619 (2014)