Publications
Number of publications matching the search criterion: 14
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 (10)
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)
Towards a Common WCET Annotation Language: Essential Ingredient (Jul 2008) Raimund Kirner , Albrecht Kadlec , Peter Puschner , Adrian Prantl Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis (Jul 2008) Adrian Prantl , Markus Schordan , Jens Knoop Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET09)
An Example of Source-To-Source Analysis with SATIrE (May 2008) Markus Schordan Proc. 25th Workshop der Fachgruppe Programmiersprachen und Rechenkonzepte
Applying the Component Paradigm to AUTOSAR Basic Software (May 2008) Dietmar Schreiner Proc. 25th Workshop der Fachgruppe Programmiersprachen und Rechenkonzepte
Source-To-Source Analysis with SATIrE - an Example Revisited (Apr 2008) Markus Schordan Proceedings of Dagstuhl Seminar 08161: Scalable Program Analysis
Value Flow Graph Analysis with SATIrE (Apr 2008) Gergö Barany Proceedings of Dagstuhl Seminar 08161: Scalable Program Analysis
Report (1)
ALF (ARTIST2 Language for Flow Analysis) Specification (Oct 2011) Jan Gustafsson, Andreas Ermedahl, Björn Lisper
