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

Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level., und . ECSA Companion, Volume 1269 von Communications in Computer and Information Science, Seite 269-274. Springer, (2020)Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time., , und . IEEE Trans. Software Eng., 42 (1): 75-99 (2016)Probabilistic Symbolic Analysis of Neural Networks., , , und . ISSRE, Seite 148-159. IEEE, (2020)The KlaperSuite framework for model-driven reliability analysis of component-based systems., , , , , und . Softw. Syst. Model., 13 (4): 1269-1290 (2014)MANTra: Towards Model Transformation Testing., , und . QUATIC, Seite 97-105. IEEE Computer Society, (2010)Probabilistic Counterexample Guidance for Safer Reinforcement Learning., und . QEST, Volume 14287 von Lecture Notes in Computer Science, Seite 311-328. Springer, (2023)Iterative test suites refinement for elastic computing systems., , und . ESEC/SIGSOFT FSE, Seite 635-638. ACM, (2013)Symbolic parallel adaptive importance sampling for probabilistic program analysis., , und . ESEC/SIGSOFT FSE, Seite 1166-1177. ACM, (2021)Reliability analysis in symbolic pathfinder., , und . ICSE, Seite 622-631. IEEE Computer Society, (2013)A compositional method for reliability analysis of workflows affected by multiple failure modes., , , und . CBSE, Seite 149-158. ACM, (2011)