Autor der Publikation

Computing Response Time Distributions Using Iterative Probabilistic Model Checking.

, , , , und . EPEW, Volume 9272 von Lecture Notes in Computer Science, Seite 208-224. Springer, (2015)

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

iDSL: Automated Performance Evaluation of Service-Oriented Systems., , und . ModelEd, TestEd, TrustEd, Volume 10500 von Lecture Notes in Computer Science, Seite 214-236. Springer, (2017)A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements., , und . MMB, Volume 10740 von Lecture Notes in Computer Science, Seite 295-301. Springer, (2018)QRML: A Component Language and Toolset for Quality and Resource Management., , , , , , , , und . FDL, Seite 1-8. IEEE, (2020)Performance Evaluation for Collision Prevention Based on a Domain Specific Language., , , und . EPEW, Volume 8168 von Lecture Notes in Computer Science, Seite 276-287. Springer, (2013)Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool Support., , , und . SoSE, Seite 225-232. IEEE, (2018)iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems., , und . EPEW, Volume 9272 von Lecture Notes in Computer Science, Seite 227-242. Springer, (2015)A Domain Specific Language for Performance Evaluation of Medical Imaging Systems., , und . MCPS, Volume 36 von OASIcs, Seite 80-93. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques., , und . VALUETOOLS, Seite 158-163. ACM, (2015)A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems., und . MMB, Volume 12040 von Lecture Notes in Computer Science, Seite 242-258. Springer, (2020)Early Insight in Systems Design through Modeling and Simulation., , und . CSER, Volume 28 von Procedia Computer Science, Seite 171-178. Elsevier, (2014)