Jan Gustafsson

According to our database, Jan Gustafsson authored at least 46 papers between 1993 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Static Flow Analysis of the Action Language for Foundational UML.

Jean Malm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas Skoog

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2016

Early execution time-estimation through automatically generated timing models.

Peter Altenbernd, Jan Gustafsson, Björn Lisper, Friedhelm Stappert

Real Time Syst., 2016

2015

Analysing Switch-Case Code with Abstract Execution.

Niklas Holsti, Jan Gustafsson, Linus Källberg, Björn Lisper

Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

2014

Timing Analysis of Parallel Software Using Abstract Execution.

Andreas Gustavsson, Jan Gustafsson, Björn Lisper

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2012

Thomas A. Sebeok and the Astonishing World of Signs.

Jan Gustafsson

Cybern. Hum. Knowing, 2012

Toward Static Timing Analysis of Parallel Software.

Andreas Gustavsson, Jan Gustafsson, Björn Lisper

Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

2011

Automatic Generation of Timing Models for Timing Analysis of High-Level Code.

Peter Altenbernd, Andreas Ermedahl, Björn Lisper, Jan Gustafsson

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

2010

The Mälardalen WCET Benchmarks: Past, Present And Future.

Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

2009

ALF - A Language for WCET Flow Analysis.

Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development.

Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, Björn Lisper

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

The Common Model of an Enterprise's Value Objects, Presented in Relevant Business Views.

Jan Gustafsson, Jarl Höglund

Proceedings of the Practice of Enterprise Modeling, Second IFIP WG 8.1 Working Conference, 2009

Deriving the Worst-Case Execution Time Input Values.

Andreas Ermedahl, Johan Fredriksson, Jan Gustafsson, Peter Altenbernd

Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

2008

WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.

Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, 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

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution.

Jan Gustafsson, Andreas Ermedahl

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Usability Aspects of WCET Analysis.

Jan Gustafsson

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

ALL-TIMES - A European Project on Integrating Timing Technology.

Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat

Proceedings of the Leveraging Applications of Formal Methods, 2008

Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code.

Dani Barkah, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007

WCET 2007 - Report from the WCET Tool Challenge 2006 Ideas for the WCET Tool Challenge 2008.

Jan Gustafsson

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis.

Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

Experiences from Applying WCET Analysis in Industrial Settings.

Jan Gustafsson, Andreas Ermedahl

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006

Code Analysis for Temporal Predictability.

Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner

Real Time Syst., 2006

Algorithms for Infeasible Path Calculation.

Jan Gustafsson, Andreas Ermedahl, Björn Lisper

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution.

Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Faster WCET flow analysis by program slicing.

Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems.

Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz

Proceedings of the Leveraging Applications of Formal Methods, 2006

The Worst Case Execution Time Tool Challenge 2006.

Jan Gustafsson

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Towards a Flow Analysis for Embedded System C Programs.

Jan Gustafsson, Andreas Ermedahl, Björn Lisper

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Experiences from Industrial WCET Analysis Case Studies.

Andreas Ermedahl, Jan Gustafsson, Björn Lisper

Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

Applying Static WCET Analysis to Automotive Communication Software.

Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

2004

Static Timing Analysis of Real-Time Operating System Code.

Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper

Proceedings of the Leveraging Applications of Formal Methods, 2004

Static Timing Analysis of Real-Time Operating Systems Code.

Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Daniel Sandell

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Worst-case execution-time analysis for embedded real-time systems.

Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson

Int. J. Softw. Tools Technol. Transf., 2003

A Tool for Automatic Flow Analysis of C-programs for WCET Calculation.

Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Input-Dependency Analysis for Hard Real-Time Software.

Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

2002

Worst Case Execution Time Analysis of Object-Oriented Programs.

Jan Gustafsson

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

A Prototype Tool for Flow Analysis of Object-Oriented Programs.

Jan Gustafsson

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

2000

Eliminating annotations by automatic flow analysis of real-time programs.

Jan Gustafsson

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

1998

Automatic Derivation of Path and Loop Annotations in Object-Oriented Real-Time Programs.

Jan Gustafsson, Andreas Ermedahl

Scalable Comput. Pract. Exp., 1998

1997

Deriving Annotations for Tight Calculation of Execution Time.

Andreas Ermedahl, Jan Gustafsson

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

Benefits of type inference for an object-oriented real-time language.

Jan Gustafsson, Kjell Post, Jukka Mäki-Turja, Ellus Brorsson

OOPS Messenger, 1996

An Overview of RealTimeTalk, a Design Framework for Real-Time Systems.

Christer Eriksson, Jukka Mäki-Turja, Kjell Post, Mikael Gustafsson, Jan Gustafsson, Kristian Sandström, Ellus Brorsson

J. Parallel Distributed Comput., 1996

1994

Calculation of execution times in RealTimeTalk-an object-oriented language for real-time.

Jan Gustafsson

Proceedings of WORDS '94. The First Workshop on Object-Oriented Real-Time Dependable Systems, 1994

An SDL methodology used for specifying the radio protocols in a CDMA system.

Ermanno Berruto, Tomas Brännlund, Jan Gustafsson, Wolfgang Schott

Proceedings of 44th IEEE Vehicular Technology Conference: Creating Tomorrow's Mobile Systems, 1994

Radio Protocol Architecture of the CODIT UMTS System.

Ermanno Berruto, Tomas Brännlund, Jan Gustafsson, D. Maiwald, Wolfgang Schott, P. Whitworth

Proceedings of the Mobile Communications: Advanced Systems and Components, 1994

1993

LOEWE: A LOTOS Engineering Workbench.

Günter Karjoth, Carl Binding, Jan Gustafsson

Comput. Networks ISDN Syst., 1993

An Object-Oriented Framework for Designing Hard Real-Time Systems.

Christer Eriksson, Jan Gustafsson, Jerk Brorson, Mikael Gustafsson

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993