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

Calm energy accounting for multithreaded Java applications., , , , und . ESEC/SIGSOFT FSE, Seite 976-988. ACM, (2020)ARCH-COMP20 Category Report: Stochastic Models., , , , , , , , , und 6 andere Autor(en). ARCH, Volume 74 von EPiC Series in Computing, Seite 76-106. EasyChair, (2020)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , und 10 andere Autor(en). ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 55-89. EasyChair, (2021)PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems., , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 556-568. Springer, (2020)VESTA: Power Modeling with Language Runtime Events., , , und . Proc. ACM Program. Lang., 8 (PLDI): 621-646 (2024)AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems., , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 461-474. Springer, (2020)Output-Feedback Symbolic Control., , und . CoRR, (2020)A new approach for textual password hardening using keystroke latency times., und . Int. Arab J. Inf. Technol., 18 (3): 336-346 (2021)MPSoCs and Multicore Microcontrollers for Embedded PID Control: A Detailed Study., , und . IEEE Trans. Ind. Informatics, 10 (4): 2122-2134 (2014)Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach., , , und . TACAS (2), Volume 11428 von Lecture Notes in Computer Science, Seite 265-281. Springer, (2019)