Autor der Publikation

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

Case study: a maintenance practice used with real-time telecommunications software., , und . Journal of Software Maintenance, 13 (2): 97-126 (2001)An approach to formal verification of python software transactional memory., , , und . ECBS, Seite 13:1-13:10. ACM, (2017)Instructions energy consumption on a heterogeneous multicore platform., , , und . ECBS, Seite 10:1-10:10. ACM, (2017)A method for creating the operational profile of TV/STB device to be used for statistical testing., , , und . EUROCON, Seite 93-97. IEEE, (2013)Real-time state estimation of the EPFL-campus medium-voltage grid by using PMUs., , , , , , , , , und 3 andere Autor(en). ISGT, Seite 1-5. IEEE, (2015)Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP., , , und . TASE, Seite 240-247. IEEE, (2019)Parallel Processing of Multichannel Video Based on Multicore Architecture., , , und . ECBS-EERC, Seite 157-160. IEEE Computer Society, (2013)A Host Based Method for Data Leak Protection by Tracking Sensitive Data Flow., , , und . ECBS, Seite 267-274. IEEE Computer Society, (2012)Formal Verification of Distributed Transaction Management in a SOA Based Control System., , und . ECBS, Seite 206-215. IEEE Computer Society, (2011)A Task Tree Executor: New Runtime for Parallelized Legacy Software., , und . ECBS, Seite 41-47. IEEE Computer Society, (2009)