Author of the publication

Challenges in Calculating the WCET of a Complex On-board Satellite Application.

, , , , , , and . WCET, MDH-MRTC-116/2003-1-SE, page 11-15. Department of Computer Science and Engineering, Mälardalen University, Box 883, 721 23 Västerås, Sweden, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Fully Bounded Polyhedral Analysis of Integers with Wrapping., , and . NSAD@SAS, volume 288 of Electronic Notes in Theoretical Computer Science, page 3-13. Elsevier, (2011)Analysing Switch-Case Tables by Partial Evaluation.. WCET, volume 6 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)WCET 2009 -- Preface to 9th International Workshop on Worst-Case Execution Time Analysis.. WCET, volume 10 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2009)Computing time as a program variable: a way around infeasible paths.. WCET, volume 8 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)Analysing Switch-Case Code with Abstract Execution., , , and . WCET, volume 47 of OASIcs, page 85-94. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Worst-case execution time analysis for digital signal processors., , and . EUSIPCO, page 1-4. IEEE, (2000)TELA: A Platform for Experimenting with Attribute-based Learning Programs., , and . SCAI, volume 28 of Frontiers in Artificial Intelligence and Applications, page 392-395. IOS Press, (1995)A Session Editor with Incremental Execution Functions.. Softw. Pract. Exp., 19 (4): 329-350 (1989)Using formal procedure parameters to represent and transmit complex data structures.. ACM SIGPLAN Notices, 23 (3): 83-92 (1988)Improved precision in polyhedral analysis with wrapping., , and . Sci. Comput. Program., (2017)