ASTEC publications 2001

Amnell, T., David, A., Fersman, E., Möller, O., Pettersson, P. and Yi, W. 2001.

Tools for Real-Time UML: Formal Verification and Code Synthesis

In Proceedings of the Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems (SIVOES'2001), 18-22 June . ps , pdf , abstract

Arts, T. and Benac Earle, C. 2001.

Development of a Verified Erlang Program for Resource Locking

In proceedings of Formal Methods in Industrial Critical Systems, Paris, France, July . ps

Behrmann, G., David, A., Larsen, K., Möller, O., Pettersson, P. and Yi, W. 2001.

UPPAAL - Present and Future

In Proceedings of the 40th IEEE Conference on Decision and Control (CDC'2001). Orlando, Florida, USA, December 4 to 7, 2001. . ps , pdf , abstract , webpage

Bermudo, N. and Vera, X. 2001.

Coyote Project: Documentation

Mälardalen Real-Time Research Center, Technical Report, October vol: 39 .

Carlsson, R. 2001.

An Introduction to Core Erlang

In Proceedings of the PLI Erlang Workshop, Florence, Italy, September . ps

Engblom, J. 2001.

Getting the Least Out of Your C Compiler

Embedded Systems Conference (ESC) in San Francisco, April 9-13 . , pdf , webpage

Engblom, J. 2001.

On Hardware and Hardware Models for Embedded Real-Time Systems

IEEE Embedded Real-Time Systems Workshop held in conjunction with the IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, December 3 . , pdf

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

A Worst-Case Execution-Time Analysis Tool Prototype for Embedded Real-Time Systems

Workshop on Real-Time Tools (RT-TOOLS), Aalborg, Denmark, August 20 . , pdf , webpage

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

Validating a Worst-Case Execution Time Analysis Method for an Embedded Processor

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

Flink, F. 2001.

Simuleringsverktyg för kvantifiering och verifiering av distribuerade realtidssystem

Examensarbeten på Datorteknik, Chalmers. .

Fredlund, L.-Å. 2001.

A Framework for Reasoning about Erlang Code

PhD-thesis, KTH, TRITA-IT AVH vol: 4 pages: 233 . , pdf , abstract

Fredlund, L.-Å. , Gurov, D. and Noll, T. 2001.

Semi-Automated Verification of Erlang Code

In Proceedings of: ASE'01, IEEE Computer Society pages: 319-323 . , pdf

Johansson, E. and Sagonas, K. 2001.

Linear Scan Register Allocation in the HiPE compiler

The International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel, Germany September 13-15 . ps , pdf

Jonsson, B. and Padilla, G. 2001.

An Execution Semantics for MSC2000

Tenth SDL Forum, Copenhagen, June . ps

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

An Accurate Instruction-Level Energy Consumption Model for Embedded RISC Processors

ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2001), Snowbird, Utah, USA, June 22-23 pages: 1-10 . ps , pdf

Lindahl, M., Pettersson, P., Yi, W. 2001.

Formal Design and Analysis of a Gear-Box Controller

International Journal on Software Tools for Technology Transfer vol: 3 pages: 353-368 . ps , pdf

Magnusson, U. 2001.

An x86 back-end for the HiPE compiler

Uppsala Master Thesis in Computing Science 197, Uppsala University, November pages: 19 . , pdf

Montan, S. 2001.

Validation of Cycle-Accurate CPU Simulators against Real Hardware

Technical reports from the Department of Information Technology (M.Sc. thesis, Uppsala University) vol: 7 . ps , pdf , abstract

Nilsson, Magnus 2001.

Time Accurate Simulation

UPTEC F 01 074, Masters degree project vol: SEP pages: 1-39 . , pdf

Noll, T., Fredlund, L.-Å. and Gurov, D. 2001.

The Erlang Verification Tool

In Proceedings of: TACAS'01, Lecture Notes in Computer Science vol: 2031 pages: 582-585 . ps

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

Extracting the Process Structure of Erlang Applications

Erlang Workshop, Firenze, Sept. 2. .

Nyström, S.-O., Runeson, J. and Sjödin, J. 2001.

Code Compression Techniques for Embedded Systems

Manuscript . ps

Pettersson, M., Sagonas, K., Johansson, E. and Magnusson, U. 2001.

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

In Proceedings of the 13th International Workshop on the Implementation of Functional Languages, Stockholm, Sweden, September pages: 17-31 .

Pettersson, P. and Yovine, S. (eds.) 2001.

Workshop on Real-Time Tools

Proceedings of the Workshop on Real-Time Tools 2001, Technical Report. Department of Information Technology, Uppsala University, August vol: 14 . , webpage

Sagonas, K. 2001.

HiPE Version 1.0

Proceedings from Seventh International Erlang/OTP User Conference, Ericsson, Älvsjö, Sweden. . , webpage

Sjödin, J. and von Platen, C. 2001.

Storage Allocation for Embedded Processors

In Proc. of CASES’01, November 16-17, Atlanta, Georgia, USA. pages: 15-23 . , pdf

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

Efficient Longest Executable Path Search for Programs with Complex Flows and Pipeline Effects

In Proc. of CASES’01, November 16-17, Atlanta, Georgia, USA. pages: 132-140 . , pdf

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

Efficient Longest Executable Path Search for Programs with Complex Flows and Pipeline Effects

Technical reports from the Department of Information Technology vol: 12 . ps , pdf , abstract , webpage