PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ulus, Dogan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Embedded software for robotics: challenges and future directions: special session.

, , , , , , , und . EMSOFT, Seite 10. IEEE, (2018)

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.

Keine Personen gefunden für den Autorennamen Ulus, Dogan
Eine Person hinzufügen mit dem Namen Ulus, Dogan
 

Weitere Publikationen von Autoren mit dem selben Namen

Sequential Circuits from Regular Expressions Revisited.. CoRR, (2018)Montre: A Tool for Monitoring Timed Regular Expressions.. CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 329-335. Springer, (2017)Specifying Timed Patterns using Temporal Logic., und . HSCC, Seite 167-176. ACM, (2018)Montre: A Tool for Monitoring Timed Regular Expressions.. CoRR, (2016)Reactive Control Meets Runtime Verification: A Case Study of Navigation., und . CoRR, (2019)DejaVu: A Monitoring Tool for First-Order Temporal Logic., , und . MT@CPSWeek, Seite 12-13. IEEE, (2018)On the Quantitative Semantics of Regular Expressions over Real-Valued Signals., , , und . FORMATS, Volume 10419 von Lecture Notes in Computer Science, Seite 189-206. Springer, (2017)Combining the Temporal and Epistemic Dimensions for MTL Monitoring., , , und . FORMATS, Volume 10419 von Lecture Notes in Computer Science, Seite 207-223. Springer, (2017)Analog layer extensions for analog/mixed-signal assertion languages., , und . VLSI-SoC, Seite 66-71. IEEE, (2013)Using haloes in mixed-signal assertion based verification., und . HLDVT, Seite 49-55. IEEE Computer Society, (2012)