2026-07-24T08:23:55Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:8424 2024-03-06T10:26:48Z ddc:004 open_access

Resource Bound Analysis (Dagstuhl Seminar 17291) Gaboardi, Marco Hoffman, Jan Wilhelm, Reinhard Zuleger, Florian quantitative analysis resource-bound analysis WCET This report documents the program and the outcomes of Dagstuhl Seminar 17291 "Resource Bound Analysis". Resource-bound analysis is studied in formal methods and programming languages at different levels of abstraction. The goal of the Dagstuhl seminar was to bring together leading researchers with different backgrounds in resource-bound analysis to address challenging open problems and to facilitate communication across research areas. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Marco Gaboardi and Jan Hoffman and Reinhard Wilhelm and Florian Zuleger 2018 Is Part Of Dagstuhl Reports, Volume 7, Issue 7 (2018) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.7.7.72 urn:nbn:de:0030-drops-84241 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.7.72 eng https://creativecommons.org/licenses/by/3.0/legalcode