Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

ARCH-COMP18 Category Report: Stochastic Modelling.

A. Abate, H. Blom, N. Cauchi, S. Haesaert, A. Hartmanns, K. Lesser, M. Oishi, V. Sivaramakrishnan, S. Soudjani, C. Vasile, und A. Vinod. ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 71-103. EasyChair, (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.

Univ. -Prof. Dr. Arnd Heyer University of Stuttgart

Arnd Nitschke University of Stuttgart

Christoph Arndt University of Stuttgart

Marco Arndt University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

On the analysis of stochastic timed systems.A. Hartmanns. Saarland University, (2015)Efficient simulation-based verification of probabilistic timed automata.A. Hartmanns, S. Sedwards, und P. D'Argenio. WSC, Seite 1419-1430. IEEE, (2017)mctau: Bridging the Gap between Modest and UPPAAL.J. Bogdoll, A. David, A. Hartmanns, und H. Hermanns. SPIN, Volume 7385 von Lecture Notes in Computer Science, Seite 227-233. Springer, (2012)An Internet Inspired Approach to Power Grid Stability.H. Hermanns, und A. Hartmanns. it - Information Technology, 55 (2): 45-51 (2013)TOOLympics 2019: An Overview of Competitions in Formal Methods.E. Bartocci, D. Beyer, P. Black, G. Fedyukovich, H. Garavel, A. Hartmanns, M. Huisman, F. Kordon, J. Nagele, M. Sighireanu und 5 andere Autor(en). TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 3-24. Springer, (2019)The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification.A. Hartmanns, und H. Hermanns. TACAS, Volume 8413 von Lecture Notes in Computer Science, Seite 593-598. Springer, (2014)Modelling and certification for electric mobility.A. Graf-Brill, A. Hartmanns, H. Hermanns, und S. Rose. INDIN, Seite 109-114. IEEE, (2017)Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids.A. Hartmanns, und H. Hermanns. ISoLA (1), Volume 7609 von Lecture Notes in Computer Science, Seite 420-439. Springer, (2012)Computing Response Time Distributions Using Iterative Probabilistic Model Checking.F. van den Berg, J. Hooman, A. Hartmanns, B. Haverkort, und A. Remke. EPEW, Volume 9272 von Lecture Notes in Computer Science, Seite 208-224. Springer, (2015)Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage.A. Hartmanns, und H. Hermanns. ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 131-147. Springer, (2015)