Autor der Publikation

Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time.

, , und . IEEE Trans. Software Eng., 42 (1): 75-99 (2016)

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

Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time., , und . IEEE Trans. Software Eng., 42 (1): 75-99 (2016)Quality Prediction of Service Compositions through Probabilistic Model Checking., , , und . QoSA, Volume 5281 von Lecture Notes in Computer Science, Seite 119-134. Springer, (2008)Learning from the past: automated rule generation for complex event processing., , und . DEBS, Seite 47-58. ACM, (2014)Introducing uncertainty in complex event processing: model, implementation, and validation., , , und . Computing, 97 (2): 103-144 (2015)Performance-driven dynamic service selection., , , und . Concurr. Comput. Pract. Exp., 27 (3): 633-650 (2015)Reliability of Run-Time Quality-of-Service evaluation using parametric model checking., , und . ICSE, Seite 73-84. ACM, (2016)Reactive Programming: A Walkthrough., , und . ICSE (2), Seite 953-954. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification., , , und . Conquering Complexity, Springer, (2012)Towards decentralized self-adaptive component-based systems., , und . SEAMS, Seite 57-64. ACM, (2008)Predicting Performance Properties for Open Systems with KAMI., und . QoSA, Volume 5581 von Lecture Notes in Computer Science, Seite 70-85. Springer, (2009)