Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 8

Journal article (3)

The ALL-TIMES project: introduction and overview (Feb 2013)
Björn Lisper
nternational Journal on Software Tools for Technology Transfer

Practical experiences of applying source-level WCET flow analysis to industrial code (Feb 2013)
Björn Lisper, Andreas Ermedahl, Dietmar Schreiner , Peter Gliwa , Jens Knoop
International Journal on Software Tools for Technology Transfer

Estimation of productivity increase for timing analysis tool chains (Feb 2013)
Nicholas Merriam , Björn Lisper
International Journal on Software Tools for Technology Transfer

Conference/Workshop Paper (4)

Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code (Oct 2010)
Björn Lisper, Andreas Ermedahl, Dietmar Schreiner , Jens Knoop , Peter Gliwa
Proc. 4th$ International Symposium on Leveraging Applications of Formal Methods (ISOLA10)

ALF – A Language for WCET Flow Analysis (Jun 2009)
Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg
Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET09)

Model Identification for WCET Analysis (Apr 2009)
Björn Lisper, Marcelo Santos
Proc. 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009)

ALL-TIMES - A European Project on Integrating Timing Technology (Oct 2008)
Jan Gustafsson, Björn Lisper, Markus Schordan , Christian Ferdinand , Marek Jersak , Guillem Bernat
Proc. Third International Symposium on Leveraging Applications of Formal Methods (ISOLA08)

Report (1)

ALF (ARTIST2 Language for Flow Analysis) Specification (Oct 2011)
Jan Gustafsson, Andreas Ermedahl, Björn Lisper

Items per page: