ASTEC publications 2002

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

TIMES: A Tool for Modelling and Implementation of Embedded Systems

Proceedings of 8th International Conference, TACAS 2002, part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Katoen J.-P., Stevens P. (ed.) . - Springer-Verlag, (Lecture Notes in Computer Science) vol: 2280 pages: 460-464 . ps , pdf , abstract

Amnell, T., Fersman, E., Pettersson, P., Sun, H. and Yi, W. 2002.

Code Synthesis for Timed Automata

Nordic Journal of Computing vol: 9 (4) pages: 269-300 . ps , pdf , abstract , webpage

Behrmann, G., Bengtsson, J., David, A., Gulstrand Larsen, K., Petterson, P., Yi, W., 2002.

UPPAAL Implementation Secrets

International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems . ps , pdf , abstract

Behrmann, G., Bengtsson, J., David, A., Gulstrand Larsen, K., Petterson, P., Yi, W., 2002.

UPPAAL Implementation Secrets

LNCS proceedings . - Springer Verlag, vol: 2469 pages: 3-22 .

Behrmann, G., David, A., Guldstrand Larsen, K., Yi, W., 2002.

New UPPAAL Architecture

Workshop on Real-Time Tools proceedings . , webpage

Bengtsson, J., Griffioen, D., Kristoffersen, K., Larsen, K., Larsson, F., Pettersson, P., Yi, W. 2002.

Automated Analysis of an Audio Control Protocol Using UPPAAL

Journal of Logic and Algebraic Programming vol: 52-53 pages: 163-181 .

Boustedt, J. 2002.

Automated Analysis of Dynamic Web Services

Technical reports from the Department of Information Technology vol: 10 pages: 56 . ps , pdf , abstract

Carlsson, M. 2002.

Worst Case Execution Time Analysis, Case Study on Interrupt Latency, For the OSE Real-Time Operating System

KTH, Masters Thesis in Electrical Engineering Stockholm 2002-03-18 . , pdf

Carlsson, M., Engblom, J., Ermedahl, A., Lindblad, J. and Lisper, B. 2002.

Worst-Case Execution Time Analysis of Disable Interrupt Regions in a Commercial Real-Time Operating System

RTTOOLS 2002 .

Carlsson, R. 2002.

Hierarchical module namespaces in Erlang

Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania . - New York: ACM Press pages: 1-5 .

Dam, M. and Gurov, D. 2002.

mu-Calculus with Explicit Points and Approximations

Journal of Logic and Computation, Abstract in Proceedings of: FICS 2000 vol: 12(2) pages: 43-57 . ps

Damm, W. and Jonsson, B. 2002.

Eliminating queues from RT UML model representations.

Proc. FTRTFT'02, Lecture Notes in Computer Science vol: 2469 pages: 375-394 .

Engblom, J. 2002.

Processor Pipelines and Static Worst-Case Execution Time Analysis

Uppsala dissertations from the Faculty of Science and Technology vol: 36 . , pdf , webpage

Engblom, J. and Jonsson, B. 2002.

Processor Pipelines and Their Properties for Static WCET Analysis

Proceeding of the Second Embedded Software Conference (EMSOFT 02), LNCS 2491 . - Springer Verlag, Heidelberg, Germany vol: 2491 .

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

A Unified Flow Information Language for WCET Analysis

WCET Workshop, Wien, June 18 .

Fersman, E., Pettersson, P. and Yi, W. 2002.

Timed Automata with Asynchrounous Processes: Schedulability and Decidability

Proceedings of 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002 . - Springer-Verlag, (Lecture Notes in Computer Science) vol: 2280 pages: 67-82 . ps , pdf , abstract

Gustafsson, J. 2002.

Worst Case Execution Time Analysis of Object-Oriented Programs

In Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002) January 7-9, 2002 San Diego,CA . IEEE . , abstract

Gustafsson, J., Lisper, B., Sandberg, C. and Sjöberg, L. 2002.

A Prototype Tool for Flow Analysis of C Programs

WCET 2002 Workshop, Vienna, Editor(s):Guillem Bernat . , pdf , abstract

Gustafsson, P., Sagonas, K. 2002.

Native Code Compilation of Erlang's Bit Syntax

Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania . - New York: ACM Press pages: 6-15 .

Johansson, E. and Sagonas, K. 2002.

Linear Scan Register Allocation in a High-Performance Erlang Compiler.

Presented at the 4th International Symposium, Practical Aspects of Declarative Languages (PADL 2002), Portland, OR, USA, January 19-20, . LNCS vol: 2257 pages: 299-317 . ps , pdf

Johansson, E., Sagonas, K. and Wilhelmsson, J. 2002.

Heap Architectures for Concurrent Languages using Message Passing

Proceedings of ISMM'2002: ACM SIGPLAN International Symposium on Memory Management . - New York: ACM Press pages: 88-99 .

Lee, S. Ermedahl, A., Lyul Min, S. and Chang, N. 2002.

Statistical Derivation of an Accurate Energy Consumption Model for Embedded Processors

Technical reports from the Department of Information Technology vol: 11 pages: 20 . , pdf , abstract

Lindahl, T. 2002.

Compilation of Floating Point Arithmetic in the High Performance Erlang Compiler

Uppsala Tekniska Högskola Master Thesis, UPTEC F 02 07, Uppsala University, October .

Lindahl, T., Sagonas, K. 2002.

Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment

Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL 2002). Madrid, Spain, September 2002. LNCS. Peña Ricardo (ed.) . - Berlin; Springer vol: 2670 .

Makholm, H., Sagonas, K. 2002.

On Enabling the WAM with Region Support

Proceedings of the International Conference on Logic Programming Stuckey, Peter (ed.) . - Springer, Berlin, (LNCS) vol: 2401 pages: 163-178 .

Pettersson, M., Sagonas, K., and Johansson, E. 2002.

The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation

Proceedings of the 6th International Symposium on Functional and Logic Programming, Aizu, Japan, September 2002. Springer Hu, Zhenjiang; Rodriguez-Artalejo, Mario (ed.) . - Berlin: Springer, (LNCS) vol: 2441 pages: 228-244 .

Pettersson, P. and Yi, W. (eds.) 2002.

Workshop on Real-Time Tools

Proceedings of the Workshop on Real-Time Tools 2002, Technical Report, Department of Information Technology vol: 5 . , webpage

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

Generalizing Chaitin's Algorithm: Graph-Coloring Register Allocation for Irregular Architectures

Technical Reports from the Department of Information Technology, Uppsala University vol: 21 . , webpage

Stenman, E. 2002.

Efficient implementation of concurrent programming languages

Acta Universitatis Upsaliensis. Uppsala dissertations from the Faculty of Science and Technology, ISSN 1104-2516 vol: 43 .

Stenman, E. and Sagonas, K. 2002.

On Reducing Interprocess Communication Overhead in Concurrent Programs

Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania . - New York: ACM Press pages: 58-63 .

Vera, X. 2002.

Towards A Static Cache Analysis for Whole Program Analysis

Licentiate thesis ISSN 1404-3041 ISRN MDH-MRTC-59/2002-1-SE, Mälardalen University Press, March . ps , abstract

Vera, X. and Xue, J. 2002.

Let's Study Whole-Program Cache Behaviour Analytically

In International Symposium on High-Performance Computer Architecture (HPCA 8) Cambridge, MA , February 2002, IEEE. . ps , abstract

Wilhelmsson, J. 2002.

Exploring Alternative Memory Architectures for Erlang: Implementation and Performance Evaluation

Uppsala Master Thesis in Computing Science vol: 212 . ps