Jan Gustafsson

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Static Flow Analysis of the Action Language for Foundational UML.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2016
Early execution time-estimation through automatically generated timing models.
Real-Time Systems, 2016

2015
Analysing Switch-Case Code with Abstract Execution.
Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

2014
Timing Analysis of Parallel Software Using Abstract Execution.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2012
Thomas A. Sebeok and the Astonishing World of Signs.
Cybernetics and Human Knowing, 2012

Toward Static Timing Analysis of Parallel Software.
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.
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

2010
The Mälardalen WCET Benchmarks: Past, Present And Future.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

2009
ALF - A Language for WCET Flow Analysis.
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.
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.
Proceedings of the Practice of Enterprise Modeling, Second IFIP WG 8.1 Working Conference, 2009

Deriving the Worst-Case Execution Time Input Values.
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.
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.
Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Usability Aspects of WCET Analysis.
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.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code.
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.
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.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

Experiences from Applying WCET Analysis in Industrial Settings.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006
Code Analysis for Temporal Predictability.
Real-Time Systems, 2006

Algorithms for Infeasible Path Calculation.
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.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Faster WCET flow analysis by program slicing.
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems.
Proceedings of the Leveraging Applications of Formal Methods, 2006

The Worst Case Execution Time Tool Challenge 2006.
Proceedings of the Leveraging Applications of Formal Methods, 2006

2005
Towards a Flow Analysis for Embedded System C Programs.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

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

Applying Static WCET Analysis to Automotive Communication Software.
Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

2004
Static Timing Analysis of Real-Time Operating System Code.
Proceedings of the Leveraging Applications of Formal Methods, 2004

Static Timing Analysis of Real-Time Operating Systems Code.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003
Worst-case execution-time analysis for embedded real-time systems.
STTT, 2003

A Tool for Automatic Flow Analysis of C-programs for WCET Calculation.
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.
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.
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.
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.
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.
Scalable Computing: Practice and Experience, 1998

1997
Deriving Annotations for Tight Calculation of Execution Time.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996
Benefits of type inference for an object-oriented real-time language.
OOPS Messenger, 1996

An Overview of RealTimeTalk, a Design Framework for Real-Time Systems.
J. Parallel Distributed Comput., 1996

1994
Calculation of execution times in RealTimeTalk-an object-oriented language for real-time.
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.
Proceedings of 44th IEEE Vehicular Technology Conference: Creating Tomorrow's Mobile Systems, 1994

Radio Protocol Architecture of the CODIT UMTS System.
Proceedings of the Mobile Communications: Advanced Systems and Components, 1994

1993
LOEWE: A LOTOS Engineering Workbench.
Computer Networks and ISDN Systems, 1993

An Object-Oriented Framework for Designing Hard Real-Time Systems.
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993


  Loading...