Bent Thomsen
YOU?
Author Swipe
View article: An Approach to Estimating Energy Consumption of Web-based IT Systems (short paper)
An Approach to Estimating Energy Consumption of Web-based IT Systems (short paper) Open
View article: On the cost semantics for spreadsheets with sheet-defined functions
On the cost semantics for spreadsheets with sheet-defined functions Open
We give a simple operational cost semantics for evaluation of spreadsheet formulas and for full and minimal recalculation. We also present a semantics which caters for computing with unknown data values. This may be used to give an approxi…
View article: Concrete and Abstract Cost Semantics for Spreadsheets
Concrete and Abstract Cost Semantics for Spreadsheets Open
We give a simple but precise operational semantics for the evaluation of extended spreadsheet formulas, with array formulas, sheet-defined functions and closures, as found in the Funcalc spreadsheet platform. We build on this to give a sim…
View article: Symbolic execution and timed automata model checking for timing analysis of Java real-time systems
Symbolic execution and timed automata model checking for timing analysis of Java real-time systems Open
This paper presents SymRT, a tool based on a combination of symbolic execution and real-time model checking for timing analysis of Java systems. Symbolic execution is used for the generation of a safe and tight timing model of the analyzed…