Resource Bound Analysis (Dagstuhl Seminar 17291)

Gaboardi, Marco; Hoffman, Jan; Wilhelm, Reinhard; Zuleger, Florian

doi:10.4230/DagRep.7.7.72

Document

Resource Bound Analysis (Dagstuhl Seminar 17291)

Authors Marco Gaboardi, Jan Hoffman, Reinhard Wilhelm, Florian Zuleger and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 7, Issue 7
Part of: Volume: Dagstuhl Reports, Volume 7
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2018-02-14

PDF

File

PDF

DagRep.7.7.72.pdf

Filesize: 2.46 MB
16 pages

Document Identifiers

DOI: 10.4230/DagRep.7.7.72
URN: urn:nbn:de:0030-drops-84241

Subject Classification

Keywords

quantitative analysis
resource-bound analysis
WCET

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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.

Cite As Get BibTex

Marco Gaboardi, Jan Hoffman, Reinhard Wilhelm, and Florian Zuleger. Resource Bound Analysis (Dagstuhl Seminar 17291). In Dagstuhl Reports, Volume 7, Issue 7, pp. 72-87, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018) https://doi.org/10.4230/DagRep.7.7.72

Author Details

Marco Gaboardi

Jan Hoffman

Reinhard Wilhelm

Florian Zuleger

and all authors of the abstracts in this report

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail