http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

Meyer, Fabian^RWTH* ; Hark, Marcel Tobias (Corresponding author)^RWTH* ; Giesl, Jürgen (Corresponding author)^RWTH*

In
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I, Seiten/Artikel-Nr: 250-269

2021

Konferenz/Event:27. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , online , TACAS 2021 , 2021-03-27 - 2021-04-01

Konferenz/Event:24. European Joint Conferences on Theory and Practice of Software , online , ETAPS 2021 , 2021-03-27 - 2021-04-01

ImpressumCham : Springer International Publishing

Umfang250-269

ISBN978-3-030-72015-5, 978-3-030-72016-2

ReiheLecture Notes in Computer Science ; 12651

Konferenzort: Luxembourg City, Luxembourg

Online
DOI: 10.18154/RWTH-2021-03212
DOI: 10.1007/978-3-030-72016-2_14
10.1007/978-3-030-72016-2_14
URL: https://publications.rwth-aachen.de/record/816477/files/816477.pdf

Einrichtungen

1. Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation) (121420)
2. Graduiertenkolleg UnRAVeL (080060)
3. Fachgruppe Informatik (120000)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85150222405
WOS Core Collection: WOS:001288717500014

Interne Identnummern
RWTH-2021-03212
Datensatz-ID: 816477

Beteiligte Länder
Germany