ResAna: a resource analysis toolset for (real-time) JAVA

Rody W. J. Kersten; Bernard E. van Gastel; Olha Shkaravska; Manuel Montenegro; Marko C. J. D. van Eekelen

doi:10.1002/cpe.3154

ResAna: a resource analysis toolset for (real-time) JAVA

Rody W. J. Kersten^*, Bernard E. van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen

^*Corresponding author for this work

Research Line Resilience (part of LIRS program)

Research output: Contribution to journal › Article › Academic › peer-review

2 Citations (Web of Science)

Original language	English
Pages (from-to)	2432-2455
Number of pages	24
Journal	Concurrency and Computation-practice & Experience
Volume	26
Issue number	14
Early online date	8 Oct 2013
DOIs	https://doi.org/10.1002/cpe.3154
Publication status	Published - 25 Sept 2014

Keywords

resource analysis
polynomial interpolation
ranking function
loop bounds
heap bounds
stack bounds
FUNCTIONAL PROGRAMS
BOUND ANALYSIS
INFERENCE

Access to Document

10.1002/cpe.3154

Cite this

@article{9b3d800ceb8242af897618f151c690bb,

title = "ResAna: a resource analysis toolset for (real-time) JAVA",

keywords = "resource analysis, polynomial interpolation, ranking function, loop bounds, heap bounds, stack bounds, FUNCTIONAL PROGRAMS, BOUND ANALYSIS, INFERENCE",

author = "Kersten, {Rody W. J.} and {van Gastel}, {Bernard E.} and Olha Shkaravska and Manuel Montenegro and {van Eekelen}, {Marko C. J. D.}",

year = "2014",

month = sep,

day = "25",

doi = "10.1002/cpe.3154",

language = "English",

volume = "26",

pages = "2432--2455",

journal = "Concurrency and Computation-practice & Experience",

issn = "1532-0626",

publisher = "Wiley-Blackwell",

number = "14",

}

TY - JOUR

T1 - ResAna

T2 - a resource analysis toolset for (real-time) JAVA

AU - Kersten, Rody W. J.

AU - van Gastel, Bernard E.

AU - Shkaravska, Olha

AU - Montenegro, Manuel

AU - van Eekelen, Marko C. J. D.

PY - 2014/9/25

Y1 - 2014/9/25

KW - resource analysis

KW - polynomial interpolation

KW - ranking function

KW - loop bounds

KW - heap bounds

KW - stack bounds

KW - FUNCTIONAL PROGRAMS

KW - BOUND ANALYSIS

KW - INFERENCE

U2 - 10.1002/cpe.3154

DO - 10.1002/cpe.3154

M3 - Article

SN - 1532-0626

VL - 26

SP - 2432

EP - 2455

JO - Concurrency and Computation-practice & Experience

JF - Concurrency and Computation-practice & Experience

IS - 14

ER -

ResAna: a resource analysis toolset for (real-time) JAVA

Keywords

Access to Document

Fingerprint

Cite this