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

Mining process models with non-free-choice constructs., , , und . Data Min. Knowl. Discov., 15 (2): 145-180 (2007)Some issues on the translator of Smalltalk to C++., , und . SIGPLAN Notices, 36 (4): 48-55 (2001)Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System., , , , , und . IEEE Trans. Industrial Informatics, 13 (4): 1900-1909 (2017)Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation., , , , , , , und . TCPS, 3 (1): 12:1-12:31 (2019)Memetic-based schedule synthesis for communication on time-triggered embedded systems., , , , , und . IJDSN, (2017)Towards trace semantics for WS-CDL with alignments., , und . SAC, Seite 95-99. ACM, (2008)Information Push-Delivery for User-Centered and Personalized Service., , , und . FSKD (1), Volume 3613 von Lecture Notes in Computer Science, Seite 594-602. Springer, (2005)A Phase-Based Self-Tuning Algorithm for Reconfigurable Cache., , und . ICDS, Seite 27. IEEE Computer Society, (2007)Automatic Fix for C Integer Errors by Precision Improvement., , , , und . COMPSAC, Seite 2-11. IEEE Computer Society, (2016)Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude., , , , und . IEEE Trans. Industrial Electronics, 64 (4): 3239-3249 (2017)