ASTEC publications 2003

Blom, J. and Jonsson, B. 2003.

Automated Test Generation for Industrial Erlang Applications

in Proc. 2nd ACM SIGPLAN Erlang Workshop, Uppsala, Aug. .

Amnell, T. 2003.

Code Synthesis for Timed Automata

Licentiate thesis, Information Technology, Uppsala University, Sept 1 . , pdf

Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P. and Yi, W. 2003.

TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems

In Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS) . ps , pdf , abstract

Carlsson, R. 2003.

Parametrized Modules in Erlang

In Proceedings of the Second ACM SIGPLAN Erlang Workshop, Uppsala, Sweden, August, ACM Press pages: 30-36 .

Carlsson, R., Sagonas, K. and Wilhelmsson, J. 2003.

Message Analysis for Concurrent Languages

In Proceedings of the Static Analysis Symposium Cousot, Radhia (ed.) . - Springer, Berlin (LNCS) vol: 2694 pages: 73-90 .

Dam, M. 2003.

Proof System for pi-calculus Logics

In "Logic for Concurrency and Synchronisation", Studies in Logic and Computation, Oxford Univ Press. de Queiroz (ed.) pages: 145-212 . ps , abstract

Engblom, J. 2003.

Analysis of the Execution Time Unpredictability caused by Dynamic Branch Prediction

In Proceedings of the 9th IEEE Real-Time/Embedded Technology and Applications Symposium (RTAS 2003), Toronto, Canada, May . , webpage

Engblom, J. 2003.

Embedded Systems Computer Architecture.

Extended abstract appearing in the proceedings of ESSES 2003 (European Summer School on Embedded Systems), Västerås, September, .

Engblom, J. 2003.

Full-System Simulation Technology.

Extended abstract appearing in the proceedings of ESSES 2003 (European Summer School on Embedded Systems), Västerås, September, .

Engblom, J., Ermedahl, A., Sjödin, M., Gustafsson, J. and Hansson, H. 2003.

Worst-Case Execution-Time Analysis for Embedded Real-Time Systems

International Journal on Software Tools for Technology Transfer vol: 4/4 pages: 437-455 . , webpage

Engblom, J., Watzlawick, T. and Barth, A. 2003.

Der ausgequetschte Code. A translation into German of "Getting the least out of Your C Compiler", with added examples. Produced by the German office of IAR. This article was selected as one of the articles of the year by Elektronik, and an award was given in March of 2004.

Elektronik, issues 8, 10, and 12, .

Ermedahl, A. 2003.

A Modular Tool Architecture for Worst-Case Execution Time Analysis

Uppsala Dissertations from the Faculty of Science and Technology, ISSN 1104-2516 ; 45 pages: 200 . , pdf , abstract

Ermedahl, A. 2003.

Värre än så här kan det inte bli!

. , pdf

Ermedahl, A. 2003.

Your Timing Could Not Get Any Worse!

. , pdf

Ermedahl, A., Stappert, F. and Engblom, J. 2003.

Clustered Calculation of Worst-Case Execution Times

Proceedings of the 6th International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2003), San Jose, California, USA, Oct 30th to Nov 1st . ps , pdf , abstract , webpage

Fersman, E., Mokrushin, L., Pettersson, P. and Yi, W. 2003.

Schedulability Analysis using Two Clocks

In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03) . ps , pdf , abstract

Fredlund, L.-Å, Gurov, D. Noll, T., Dam, M., Arts, T. and Chugunov, G. 2003.

A Verification tool for ERLANG

International Journal on Software Tools for Technology Transfer vol: 4/4 pages: 405-420 .

Gustafsson, J., Lisper, B., Puschner, P. and Kirner, R. 2003.

Input-Dependency Analysis for Hard Real-Time Software

In 9-th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003F) Capri Island, Italy, October . , pdf , abstract

Gustafsson, J., Lisper, B., Sandberg, C. and Bermudo, N. 2003.

A Tool for Automatic Flow Analysis of C-Programs for WCET Calculation

WORDS .

Hessel, A., Larsen, K., Nielsen, B., Pettersson, P. and Skou, A. 2003.

Time-Optimal Test Cases for Real-Time Systems

In Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS). . ps , pdf , abstract

Håkansson, J., Jonsson, B. and Lundqvist, O. 2003.

Generating On-Line Test Oracles from Temporal Logic Specifications

International Journal on Software Tools for Technology Transfer vol: 4/4 pages: 456-471 . ps

Johansson, E., Pettersson, M., Sagonas, K., and Lindgren, T. 2003.

The Development of the HiPE System: Design and Experience Report

International Journal on Software Tools for Technology Transfer vol: 4/4 pages: 421-436 . , webpage

Jonsson, B. and Sagonas, K. 2003.

Special section on ASTEC: an experience in the establishment of collaboration between academia and industry. Preface by the editors

International Journal on Software Tools for Technology Transfer vol: 4/4 pages: 401-404 .

Larsen, K., Larsson, F., Pettersson, P. and Yi, W. 2003.

Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems

In Real-Time Systems - The International Journal of Time-Critical Computing Systems, volume 25, issue 2:3, Kluwer Academic Publisher vol: 25 . , webpage

Norström, C., Wall, A., Andersson, J. and Sandström, K. 2003.

Increasing maintainability in complex industrial real-time systems by employing a non-intrusive method

in Proceedings of the workshop on Migration and Evolvability of Long-life Software Systems, MELLS 2003, Erfurt, Germany .

Nyström, J. and Jonsson, B. 2003.

Automatic Assessment of Failure Recovery in Erlang Applications

Manuscript .

Nyström, S.-O. 2003.

A Soft-typing System for Erlang

in Proc. 2nd ACM SIGPLAN Erlang Workshop, Uppsala, Aug. . ps

Runeson, J. and Nyström, S.-O. 2003.

Retargetable Graph-Coloring Register Allocation for Irregular Architectures

SCOPES'03, Vienna, September 24-26 . , pdf

Sagonas, K. and Stenman, E. 2003.

Experimental evaluation and improvements to linear scan register allocation

In Software -- Practice and Experience vol: 33(11) pages: 1003-1034 .

Sagonas, K., Pettersson, M., Carlsson, R., Gustafsson, P. and Lindahl, T. 2003.

All you wanted to know about the HiPE compiler (and might have been afraid to ask)

In Proceedings of the Second ACM SIGPLAN Erlang Workshop, Uppsala, Sweden, August. ACM Press. pages: 37-43 .

Sandberg, C. 2003.

Elimination of Unstructured Loops in Flow Analysis

WCET03 workshop in conjunction with Euromicro Conference on Real-Time Systems, Porto, Portugal, July 1st. . , pdf

Wall, A., Andersson, J. and Norström, C. 2003.

Probabilistic Simulation-based Analysis of Complex Real-Times Systems,

in Proceedings of the 6th IEEE International Symposium on Object-oriented Real-time distributed Computing , ISORC 2003, Hakodate, Hokkaido, Japan, May . , pdf , abstract

Wall, A., Andersson, J., Neander, J., Norström, C. and Lembke, M. 2003.

Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems

in Proceedings of RTCSA 2003, February . , pdf , abstract

Wilhelm, R., Engblom, J., Thesing, S. and Whalley, D. 2003.

Industrial Requirements for WCET Tools -- Answers to the ARTIST Questionnaire

WCET03 workshop in Porto, Portugal, June. Held in conjunction with the 15th Euromicro Conference on Real-Time Systems. . , webpage