First Name | Last Name | Title |
---|---|---|
Björn | Lisper | Professor |
Andreas | Ermedahl | Associate Professor |
Jan | Gustafsson | Associate Professor,Senior Lecturer |
Christer | Sandberg | Lecturer |
Stefan | Bygde | Lecturer |
Marcelo | Santos | Doctoral student |
Peter | Altenbernd |
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
ALF (ARTIST2 Language for Flow Analysis) Specification (Oct 2011) Jan Gustafsson, Andreas Ermedahl, Björn Lisper
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)