Publications
Number of publications matching the search criterion: 57 (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 (40)
Static Flow Analysis of the Action Language for Foundational UML (Oct 2018) Jean Malm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas Skoog International Conference on Emerging Technologies and Factory Automation (ETFA'18)
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, (ECRTS08)
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, (ECRTS05)
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 (WORDS05)
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
