Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 56 (showing 1 - 50)

Doctoral Thesis (1)

Analyzing Execution-Time of Object-Oriented Programs Using Abstract Interpretation (May 2000)
Jan Gustafsson

Collection (Editor) (1)

Automatic derivation of path and loop annotations in object-oriented real-time programs. (Jan 2001)
Jan Gustafsson, Andreas Ermedahl
Engineering of Distributed Control Systems

Journal article (6)

Early execution time-estimation through automatically generated timing models (Nov 2016)
Peter Altenbernd , Jan Gustafsson, Björn Lisper, Friedhelm Stappert
Real-Time Systems: The International Journal of Time-Critical Computing Systems (RTSJ'15)

Code Analysis for Temporal Predictability (Mar 2006)
Jan Gustafsson, Björn Lisper, Raimund Kirner , Peter Puschner
Real-Time Systems

Worst-Case Execution-Time Analysis for Embedded Real-Time Systems (Oct 2003)
Jakob Engblom , Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson
International Journal on Software Tools for Technology Transfer

Automatic derivation of path and loop annotations in object-oriented real-time programs (Jun 1998)
Jan Gustafsson, Andreas Ermedahl
Journal of Parallel and Distributed Computing Practices

An Overview of RTT: A Design Framework for Real-Time Systems (Aug 1996)
Christer Norström, Jukka Mäki-Turja, Jan Gustafsson, Kristian Sandström, Ellus Brorson
Journal of Parallel and Distributed Computing

Benefits of Type Inference for an Object-Oriented Real-Time Language (Jan 1996)
Jan Gustafsson, Jukka Mäki-Turja, Ellus Brorson
OOPS Messenger

Conference/Workshop Paper (39)

Analysing Switch-Case Code with Abstract Execution (Jul 2015)
Niklas Holsti , Jan Gustafsson, Linus Källberg, Björn Lisper
15th International Workshop on Worst-Case Execution Time Analysis (WCET'15)

Timing Analysis of Parallel Software Using Abstract Execution (Jan 2014)
Andreas Gustavsson, Jan Gustafsson, Björn Lisper
15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14)

Toward Static Timing Analysis of Parallel Software (Jul 2012)
Andreas Gustavsson, Jan Gustafsson, Björn Lisper
12th International Workshop on Worst-Case Execution-Time Analysis

Automatic Generation of Timing Models for Timing Analysis of High-Level Code (Sep 2011)
Peter Altenbernd , Andreas Ermedahl, Björn Lisper, Jan Gustafsson
Proc. 19th International Conference on Real-Time and Network Systems (RTNS2011)

WCET Tool Challenge 2011: Report (Jul 2011)
Reinhard von Hanxleden , Niklas Holsti , Björn Lisper, Erhard Ploedereder , Armelle Bonenfant , Hugues Cassé , Sven Bünte , Wolfgang Fellger , Sebastian Gepperth , Jan Gustafsson, Benedikt Huber , Nazrul Mohammad Islam , Daniel Kästner , Raimund Kirner , Laura Kovacs , Felix Krause , Marianne de Michiel , Mads Christian Olesen , Adrian Prantl , Wolfgang Puffitsch , Christine Rochange , Martin Schoeberl , Simon Wegener , Michael Zolda , Jakob Zwirchmayr
Proc. 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (WCET 2011)

Deriving WCET Bounds by Abstract Execution (Jul 2011)
Andreas Ermedahl, Jan Gustafsson, Björn Lisper
Proc. 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (WCET 2011)

The Mälardalen WCET Benchmarks - Past, Present and Future (Jul 2010)
Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis

Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development (Nov 2009)
Jan Gustafsson, Peter Altenbernd , Andreas Ermedahl, Björn Lisper
Proc. of the Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009)

Deriving the Worst-Case Execution Time Input Values (Jul 2009)
Andreas Ermedahl, Johan Fredriksson, Jan Gustafsson, Peter Altenbernd
21st Euromicro Conference of Real-Time Systems, (ECRTS09)

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)

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)

Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code (Jul 2008)
Dani Barkah , Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg
20th Euromicro Conference of Real-Time Systems, (ECRTS’08)

Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution (Jul 2008)
Jan Gustafsson, Andreas Ermedahl
Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET08)

WCET Tool Challenge Report 2008: Report (Jul 2008)
Niklas Holsti , Jan Gustafsson, Guillem Bernat , Clément Ballabriga , Roman Bourgade , Hugues Cassé , Daniel Cordes , Albrecht Kadlec , Raimund Kirner , Jens Knoop , Paul Lokuciejewski , Nicholas Merriam , Marianne de Michiel , Adrian Prantl , Bernhard Rieder , Christine Rochange , Pascal Sainrat , Markus Schordan
Proc. 8th International Workshop on Worst-Case Execution Time Analysis (WCET08)

Usability Aspects of WCET Analysis (May 2008)
Jan Gustafsson
The 11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC2008).

The WCET Tool Challenge 2006 (Nov 2007)
Jan Gustafsson
2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA06)

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution (Aug 2007)
Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper
Real-Time in Sweden (RTiS) 2007

Experiences from Applying WCET Analysis in Industrial Settings (Aug 2007)
Jan Gustafsson, Andreas Ermedahl
Real-Time in Sweden (RTiS) 2007

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis (Jul 2007)
Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper
Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET2007)

Experiences from Applying WCET Analysis in Industrial Settings (May 2007)
Jan Gustafsson, Andreas Ermedahl
The 10th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC2007)

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution (Dec 2006)
Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper
The 27th IEEE Real-Time Systems Symposium (RTSS 2006)

Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems (Nov 2006)
Daniel Sehlberg , Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz
2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA06)

Algorithms for Infeasible Path Calculation (Jul 2006)
Jan Gustafsson, Andreas Ermedahl, Björn Lisper
Sixth International Workshop on Worst-Case Execution Time Analysis, (WCET2006)

Faster WCET Flow Analysis by Program Slicing (Jun 2006)
Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES2006)

Experiences from Industrial WCET Analysis Case Studies (Aug 2005)
Andreas Ermedahl, Jan Gustafsson, Björn Lisper
Real-Time in Sweden (RTiS 2005)

Experiences from Industrial WCET Analysis Case Studies (Jul 2005)
Andreas Ermedahl, Jan Gustafsson, Björn Lisper
Proc. Fifth International Workshop on Worst-Case Execution Time (WCET) Analysis

Applying Static WCET Analysis to Automotive Communication Software (Jul 2005)
Susanna Byhlin , Andreas Ermedahl, Jan Gustafsson, Björn Lisper
17th Euromicro Conference of Real-Time Systems, (ECRTS’05)

Towards a Flow Analysis for Embedded System C Programs (Feb 2005)
Jan Gustafsson, Andreas Ermedahl, Björn Lisper
The 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS’05)

Static Timing Analysis of Real-Time Operating System Code (Oct 2004)
Daniel Sandell , Andreas Ermedahl, Jan Gustafsson, Björn Lisper
1st International Symposium on Leveraging Applications of Formal Methods (ISOLA04)

Input-Dependency Analysis for Hard Real-Time Software (Oct 2003)
Jan Gustafsson, Björn Lisper, Peter Puschner , Raimund Kirner
9-th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003F)

A Tool for Automatic Flow Analysis of C-programs for WCET Calculation (Jan 2003)
Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo
In Eight IEEE International Workshop on Object-Oriented Real-Time Dependable Systems

Determining the Worst Case Instruction Cache Miss-Ratio (Sep 2002)
Filip Sebek, Jan Gustafsson
Proceedings of Workshop On Embedded System Codesign (ESCODES02)

A Tool Concept for Execution Time Analysis of Legacy Systems (Jun 2002)
Johan Lindhult, Peter Funk, Jan Gustafsson, Björn Lisper
Euromicro Real-Time Conference 2002, Work-in-Progress session

A Prototype Tool for Flow Analysis of C Programs (Jun 2002)
Jan Gustafsson, Björn Lisper, Christer Sandberg, Linus Sjöberg
WCET 2002 Workshop

A Prototype Tool for Flow Analysis of Object-Oriented Programs (Apr 2002)
Jan Gustafsson
ISORC 2002

Worst Case Execution Time Analysis of Object-Oriented Programs (Jan 2002)
Jan Gustafsson
Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002) January 7-9, 2002

Eliminating Annotations by Automatic Flow Analysis of Real-Time Programs (Dec 2000)
Jan Gustafsson
Proceedings of the 7th international conference on Real-Time Computing Systems and Applications (RTCSA00)

Towards Industry Strength Worst-Case Execution Time Analysis (Aug 1999)
Jakob Engblom , Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson
Swedish National Real-Time Conference SNART99

Deriving Annotations for Tight Calculation of Execution Time (Aug 1997)
Andreas Ermedahl, Jan Gustafsson
Euro-Par97, LNCS 1300

Report - MRTC (3)

Combining Bound-T and SWEET to Analyse Dynamic Control Flow in Machine-Code Programs (Nov 2014)
Niklas Holsti , Jan Gustafsson, Linus Källberg, Björn Lisper

WCET Challenge 2006 – Technical Report (Jan 2007)
Jan Gustafsson

Robusta realtidssystem (Aug 2000)
Christer Norström, Kristian Sandström, Jukka Mäki-Turja, Hans Hansson, Henrik Thane, Jan Gustafsson, Damir Isovic

Items per page: