Autor der Publikation

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System.

, , , , , und . IEEE Trans. Ind. Informatics, 13 (4): 1900-1909 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Real-Time Synchronization Protocols., und . Handbook of Scheduling, Chapman and Hall/CRC, (2004)Enhanced Aperiodic Responsiveness in Hard Real-Time Environments., , und . RTSS, Seite 261-270. IEEE Computer Society, (1987)Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances., , , , und . CoRR, (2017)Model and integrate medical resource availability into verifiably correct executable medical guidelines., , , , und . ICCAD, Seite 964-969. IEEE, (2017)Resource allocation contracts for open analytic runtime models., , , und . EMSOFT, Seite 13-22. ACM, (2011)A reduced complexity design pattern for distributed hierarchical command and control system., , , , und . ICCPS, Seite 42-49. ACM, (2010)Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems., , , , und . DATE, Seite 970-975. EDA Consortium San Jose, CA, USA / ACM DL, (2013)A schedulability test for software migration on multicore system., , , und . DATE, Seite 1261-1264. IEEE, (2017)Upgrading Embedded Software in the Field: Dependability and Survivability.. EMSOFT, Volume 2491 von Lecture Notes in Computer Science, Seite 166-181. Springer, (2002)Real-Time Virtual Machines for Avionics Software Porting and Development.. RTCSA, Volume 2968 von Lecture Notes in Computer Science, Seite 123-135. Springer, (2003)