From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Tools at the Frontiers of Quantitative Verification.

R. Andriushchenko, A. Bork, C. Budde, M. Ceska, K. Grover, E. Hahn, A. Hartmanns, B. Israelsen, N. Jansen, J. Jeppson, S. Junges, M. Köhl, B. Könighofer, J. Kretínský, T. Meggendorfer, D. Parker, S. Pranger, T. Quatmann, E. Ruijters, L. Taylor, M. Volk, M. Weininger, и Z. Zhang. CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Arnd Hartmanns

Willi Hartmanns

Jörg Hartmanns

Marianne Hartmanns

Yvonne Arndt

Die Rolle von Verbänden bei der Förderung nachhaltigen Konsums und Konsequenzen für die VerbraucherpolitikY. Arndt. TU München, (2009)

Другие публикации лиц с тем же именем

Replicating sc Restart with Prolonged Retrials: An Experimental Report.C. Budde, и A. Hartmanns. TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 373-380. Springer, (2021)Learning optimal decisions for stochastic hybrid systems.M. Niehage, A. Hartmanns, и A. Remke. MEMOCODE, стр. 44-55. ACM, (2021)Symblicit exploration and elimination for probabilistic model checking.E. Hahn, и A. Hartmanns. SAC, стр. 1798-1806. ACM, (2021)The Modest State of Learning, Sampling, and Verifying Strategies.A. Hartmanns, и M. Klauck. ISoLA (3), том 13703 из Lecture Notes in Computer Science, стр. 406-432. Springer, (2022)Flexible support for time and costs in scenario-aware dataflow.A. Hartmanns, H. Hermanns, и M. Bungert. EMSOFT, стр. 3:1-3:10. ACM, (2016)ARCH-COMP20 Category Report: Stochastic Models.A. Abate, H. Blom, N. Cauchi, J. Delicaris, A. Hartmanns, M. Khaled, A. Lavaei, C. Pilch, A. Remke, S. Schupp и 6 other автор(ы). ARCH, том 74 из EPiC Series in Computing, стр. 76-106. EasyChair, (2020)On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.C. Budde, A. Hartmanns, M. Klauck, J. Kretínský, D. Parker, T. Quatmann, A. Turrini, и Z. Zhang. ISoLA (4), том 12479 из Lecture Notes in Computer Science, стр. 216-241. Springer, (2020)Sampling Distributed Schedulers for Resilient Space Communication.P. D'Argenio, J. Fraire, и A. Hartmanns. NFM, том 12229 из Lecture Notes in Computer Science, стр. 291-310. Springer, (2020)Modeling of Networked Automation Systems for simulation and model checking of time behavior.B. Vogel-Heuser, J. Folmer, G. Frey, L. Liu, H. Hermanns, и A. Hartmanns. SSD, стр. 1-5. IEEE, (2012)Probabilistic Verification for Reliable Network-on-Chip System Design.B. Lewis, A. Hartmanns, P. Basu, R. Shridevi, K. Chakraborty, S. Roy, и Z. Zhang. FMICS, том 11687 из Lecture Notes in Computer Science, стр. 110-126. Springer, (2019)

BibSonomy

Disambiguation

Please choose a person to relate this publication to

Arnd Hartmanns

Willi Hartmanns

Jörg Hartmanns

Marianne Hartmanns

Yvonne Arndt

Другие публикации лиц с тем же именем

Disambiguation

BibSonomy

Disambiguation

копироватьудалитьдобавить публикацию в буферЗапись сообществапосмотреть историю данной записиURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Tools at the Frontiers of Quantitative Verification.

Please choose a person to relate this publication to

Arnd Hartmanns

Willi Hartmanns

Jörg Hartmanns

Marianne Hartmanns

Yvonne Arndt

Другие публикации лиц с тем же именем

Disambiguation