| | |
|
Journals
|
| | Code Analysis for Temporal Predictability, Jan Gustafsson, Björn Lisper, Raimund Kirner (external), Peter Puschner (external), Real-Time Systems, vol 32, nr 3, p253 - 277, Springer-Verlag, March, 2006 |
| | Worst-Case Execution-Time Analysis for Embedded Real-Time Systems, Jakob Engblom (Virtutech, Sweden), Andreas Ermedahl (former), Mikael Nolin, Jan Gustafsson, Hans Hansson, International Journal on Software Tools for Technology Transfer, vol 4, nr 4, p437-455, October, 2003 |
| | Automatic derivation of path and loop annotations in object-oriented real-time programs, Jan Gustafsson, Andreas Ermedahl (former), Journal of Parallel and Distributed Computing Practices, vol 1, nr 2, p61 - 74, Nova Science Publishers, June, 1998 |
| | An Overview of RTT: A Design Framework for Real-Time Systems, Christer Norström, Jukka Mäki-Turja, , (external), Jan Gustafsson, Kristian Sandström (former), Ellus Brorson (external), Journal of Parallel and Distributed Computing, August, 1996 |
| | Benefits of Type Inference for an Object-Oriented Real-Time Language, Jan Gustafsson, , Jukka Mäki-Turja, Ellus Brorson (external), OOPS Messenger, vol 7, nr 1, January, 1996 |
|
| | |
|
Theses
|
| | Analyzing Execution-Time of Object-Oriented Programs Using Abstract Interpretation, Jan Gustafsson, Ph D Thesis, Department of Computer Engineering, Mälardalen University, Box 883, S-721 23 Västerås, Sweden, and Department of Computer Systems, Information Technology, Uppsala University, Box 325, S-751 05 Uppsala, Sweden
, May, 2000 |
|
| | |
|
Articles in collection
|
| | Automatic derivation of path and loop annotations in object-oriented real-time programs., Jan Gustafsson, Andreas Ermedahl (former), Engineering of Distributed Control Systems, p 81 - 98, NOVA, ISBN: 1-69033102-8, Editor(s): L. R. Welch and D. K. Hammer, 2001 |
|
| | |
|
Conferences and workshops
|
| | Toward Static Timing Analysis of Parallel Software, Andreas Gustavsson, Jan Gustafsson, Björn Lisper, 12th International Workshop on Worst-Case Execution-Time Analysis, p 38-47, Schloss Dagstuhl, Pisa, Italy, Editor(s):Tullio Vardanega, July, 2012 |
| | Automatic Generation of Timing Models for Timing Analysis of High-Level Code, Peter Altenbernd (external), Andreas Ermedahl (former), Björn Lisper, Jan Gustafsson, Proc. 19th International Conference on Real-Time and Network Systems (RTNS2011), p TBD, The IRCCyN lab., Nantes, France, Editor(s):Sébastien Faucou, September, 2011 |
| | WCET Tool Challenge 2011: Report, Reinhard von Hanxleden (external), Niklas Holsti (Tidorum LTD), Björn Lisper, Erhard Ploedereder (external), Armelle Bonenfant (external), Hugues Cassé (external), Sven Bünte (external), Wolfgang Fellger (external), Sebastian Gepperth (external), Jan Gustafsson, Benedikt Huber (external), Nazrul Mohammad Islam (external), Daniel Kästner (external), Raimund Kirner (external), Laura Kovacs (external), Felix Krause (external), Marianne de Michiel (external), Mads Christian Olesen (external), Adrian Prantl (external), Wolfgang Puffitsch (external), Christine Rochange (external), Martin Schoeberl (external), Simon Wegener (external), Michael Zolda (external), Jakob Zwirchmayr (external), Proc. 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (WCET 2011), OCG, Porto, Portugal, Editor(s):Chris Healy, July, 2011 |
| | Deriving WCET Bounds by Abstract Execution, Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, Proc. 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (WCET 2011), Austrian Computer Society (OCG), Porto, Portugal, Editor(s):Chris Healy, July, 2011 |
| | The Mälardalen WCET Benchmarks - Past, Present and Future, Jan Gustafsson, Adam Betts (former), Andreas Ermedahl (former), Björn Lisper, Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, July, 2010 |
| | Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development, Jan Gustafsson, Peter Altenbernd (external), Andreas Ermedahl (former), Björn Lisper, Proc. of the Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009) , p 308-319, Lecture Notes in Computer Science (LNCS), Springer, Newport Beach, CA, USA, Editor(s):Sunggu Lee, Priya Narasimhan, November, 2009 |
| | Deriving the Worst-Case Execution Time Input Values, Andreas Ermedahl (former), Johan Fredriksson (former), Jan Gustafsson, Peter Altenbernd (external), 21st Euromicro Conference of Real-Time Systems, (ECRTS'09), p 45-54, Dublin, Ireland, July, 2009 |
| | ALF – A Language for WCET Flow Analysis, Jan Gustafsson, Andreas Ermedahl (former), Björn Lisper, Christer Sandberg (former), Linus Källberg, Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09), OCG, Dublin, Ireland, Editor(s):Niklas Holsti, June, 2009 |
| | ALL-TIMES - A European Project on Integrating Timing Technology, Jan Gustafsson, Björn Lisper, Markus Schordan (external), Christian Ferdinand (external), Marek Jersak (external), Guillem Bernat (external), Proc. Third International Symposium on Leveraging Applications of Formal Methods (ISOLA'08), p 445-459, Springer, Porto Sani, Greece, Editor(s):Tiziana Margaria and Bernhard Steffen, October, 2008 |
| | Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code, Dani Barkah (Volvo CE, Eskilstuna, Sweden), Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, Christer Sandberg (former), 20th Euromicro Conference of Real-Time Systems, (ECRTS’08), Prague, Czech Republic, July, 2008 |
| | Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution, Jan Gustafsson, Andreas Ermedahl (former), Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08), Prague, Czech Republic, July, 2008 |
| | WCET Tool Challenge Report 2008: Report, Niklas Holsti (Tidorum LTD), Jan Gustafsson, Guillem Bernat (external), Clément Ballabriga (external), Roman Bourgade (external), Hugues Cassé (external), Daniel Cordes (external), Albrecht Kadlec (external), Raimund Kirner (external), Jens Knoop (external), Paul Lokuciejewski (external), Nicholas Merriam (external), Marianne de Michiel (external), Adrian Prantl (external), Bernhard Rieder (external), Christine Rochange (external), Pascal Sainrat (external), Markus Schordan (external), Proc. 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08), p 149-171, Prague, Czech Republic, Editor(s):Raimund Kirner, July, 2008 |
| | Usability Aspects of WCET Analysis, Jan Gustafsson, The 11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC2008)., p 346 - 342, IEEE, Orlando, Florida, USA, May, 2008 |
| | The WCET Tool Challenge 2006, Jan Gustafsson, 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), p 248-249, Paphos, Cyprus, Editor(s):Tiziana Margaris, Anna Philippou, Bernhard Steffen, November, 2007 |
| | Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution, Jan Gustafsson, Andreas Ermedahl (former), Christer Sandberg (former), Björn Lisper, Real-Time in Sweden (RTiS) 2007, Västerås, Sweden, August, 2007 |
| | Experiences from Applying WCET Analysis in Industrial Settings, Jan Gustafsson, Andreas Ermedahl (former), Real-Time in Sweden (RTiS) 2007, Västerås, Sweden, August, 2007 |
| | Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis, Andreas Ermedahl (former), Christer Sandberg (former), Jan Gustafsson, Stefan Bygde, Björn Lisper, Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET'2007), Pisa, Italy, July, 2007 |
| | Experiences from Applying WCET Analysis in Industrial Settings, Jan Gustafsson, Andreas Ermedahl (former), The 10th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC2007), Santorini Island, Greece, May, 2007 |
| | Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution, Jan Gustafsson, Andreas Ermedahl (former), Christer Sandberg (former), Björn Lisper, The 27th IEEE Real-Time Systems Symposium (RTSS 2006), Rio de Janeiro, Brazil, December, 2006 |
| | Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems, Daniel Sehlberg (external), Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, Steffen Wiegratz (AbsInt Angewandte Informatik GmbH, Saarbrucken, Germany), 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), Paphos, Cyprus, November, 2006 |
| | Algorithms for Infeasible Path Calculation, Jan Gustafsson, Andreas Ermedahl (former), Björn Lisper, Sixth International Workshop on Worst-Case Execution Time Analysis, (WCET'2006), Dresden, Germany, July, 2006 |
| | Faster WCET Flow Analysis by Program Slicing, Christer Sandberg (former), Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES2006), ACM, Ottawa, Canada, June, 2006 |
| | Experiences from Industrial WCET Analysis Case Studies, Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, Real-Time in Sweden (RTiS 2005), Skövde, August, 2005 |
| | Experiences from Industrial WCET Analysis Case Studies, Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, Proc. Fifth International Workshop on Worst-Case Execution Time (WCET) Analysis, Palma de Mallorca, Editor(s):Reinhard Wilhelm, July, 2005 |
| | Applying Static WCET Analysis to Automotive Communication Software, Susanna Byhlin (external), Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, 17th Euromicro Conference of Real-Time Systems, (ECRTS’05), Mallorca, Spain, July, 2005 |
| | Towards a Flow Analysis for Embedded System C Programs, Jan Gustafsson, Andreas Ermedahl (former), Björn Lisper, The 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS’05), Sedona, USA, February, 2005 |
| | Static Timing Analysis of Real-Time Operating System Code, Daniel Sandell (external), Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), Cyprus, October, 2004 |
| | Input-Dependency Analysis for Hard Real-Time Software, Jan Gustafsson, Björn Lisper, Peter Puschner (external), Raimund Kirner (external), 9-th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003F), IEEE, Capri Island, Italy, Editor(s):Luiz Bacellar, Gerhard Fohler, October, 2003 |
| | A Tool for Automatic Flow Analysis of C-programs for WCET Calculation, Jan Gustafsson, Björn Lisper, Christer Sandberg (former), Nerina Bermudo (external), In Eight IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, p 106 - 112, IEEE, Guadalajara, Mexico, Editor(s):Bob Werner, January, 2003 |
| | Determining the Worst Case Instruction Cache Miss-Ratio, Filip Sebek (former), Jan Gustafsson, Proceedings of Workshop On Embedded System Codesign (ESCODES'02), p 6,, San José, CA, USA, September, 2002 |
| | A Tool Concept for Execution Time Analysis of Legacy Systems, Johan Lindhult (former), Peter Funk, Jan Gustafsson, Björn Lisper, Euromicro Real-Time Conference 2002, Work-in-Progress session, p 4, June, 2002 |
| | A Prototype Tool for Flow Analysis of C Programs, Jan Gustafsson, Björn Lisper, Christer Sandberg (former), Linus Sjöberg (external), WCET 2002 Workshop, Vienna, Editor(s):Guillem Bernat, June, 2002 |
| | A Prototype Tool for Flow Analysis of Object-Oriented Programs, Jan Gustafsson, ISORC 2002, p 91 - 100, IEEE, Washington, DC - USA, Editor(s):L. Bacellar, P. Puschner, and S. Hong, April, 2002 |
| | Worst Case Execution Time Analysis of Object-Oriented Programs, Jan Gustafsson, Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002) January 7-9, 2002, IEEE, San Diego,CA, January, 2002 |
| | Eliminating Annotations by Automatic Flow Analysis of Real-Time Programs, Jan Gustafsson, Proceedings of the 7th international conference on Real-Time Computing Systems and Applications (RTCSA'00), p 511 - 516, IEEE, Cheju Island, South Korea, Editor(s):D. C. Young, December, 2000 |
| | Towards Industry Strength Worst-Case Execution Time Analysis, Jakob Engblom (Virtutech, Sweden), Andreas Ermedahl (former), Mikael Sjödin, Jan Gustafsson, Hans Hansson, Swedish National Real-Time Conference SNART'99, August, 1999 |
| | Deriving Annotations for Tight Calculation of Execution Time, Andreas Ermedahl (former), Jan Gustafsson, Euro-Par'97, LNCS 1300, p 1298-1307, Passau, Germany, August, 1997 |
|
| | |
|
MRTC reports
|
| | WCET Challenge 2006 – Technical Report, Jan Gustafsson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-206/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, January, 2007 |
| | Robusta realtidssystem, Christer Norström, Kristian Sandström (former), Jukka Mäki-Turja, Hans Hansson, Henrik Thane, Jan Gustafsson, Damir Isovic, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-25/2000-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, August, 2000 |
|
| | |
|
Technical reports
|
| | Toward Static Timing Analysis of Parallel Software - Technical Report, Andreas Gustavsson, Jan Gustafsson, Björn Lisper, Technical Report, MRTC, April, 2012 |
| | ALF (ARTIST2 Language for Flow Analysis) Specification, Jan Gustafsson, Andreas Ermedahl (former), Björn Lisper, Technical Report, MRTC, October, 2011 |
| | Flow Analysis for WCET calculation, Jan Gustafsson, Nerina Bermudo (external), Linus Sjöberg (external), Technical Report, Jan Gustafsson, March, 2003 |
| | WCET Project - Work in Progress, Jan Gustafsson, Technical Report, ARTES, Korea Information Science Society, National Research Laboratory, SNU BK 21, December, 2000 |
|
| | |
|
In-the-press papers
|
| | Tidsanalys av programvara - Del 1, grunderna för WCET analys, Andreas Ermedahl (former), Jan Gustafsson, Jakob Engblom (Virtutech, Sweden), Elektronik i Norden, 12/2006, http://www.eetimes.eu/scandinavia/ARKIV/2006/2006.htm, October, 2006 |
| | Tidsanalys av programvara - Del 2, tillämpningar och WCET verktyg, Andreas Ermedahl (former), Jan Gustafsson, Jakob Engblom (Virtutech, Sweden), Elektronik i Norden, 13/2006, http://www.eetimes.eu/scandinavia/ARKIV/2006/2006.htm, October, 2006 |
|
