From post

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.

 

Другие публикации лиц с тем же именем

IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system., , , , , и . DAC, стр. 143:1-143:6. ACM, (2018)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)Using Event Log Timing Information to Assist Process Scenario Discoveries., , , и . AIKE, стр. 58-64. IEEE, (2020)Joint Charging, Routing, and Power Allocations in Rechargeable Wireless Sensor Networks., и . IWCMC, стр. 1436-1441. IEEE, (2021)Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design., , , , и . CBMS, стр. 373-378. IEEE Computer Society, (2017)Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (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)Use Two-Level Rejuvenation to Combat Software Aging and Maximize Average Resource Performance., , , , и . HPCC/CSS/ICESS, стр. 1160-1165. IEEE, (2015)Performance Comparisons of Parallel Power Flow Solvers on GPU System., , , , , и . RTCSA, стр. 232-239. IEEE Computer Society, (2012)