ASTEC publications 2004

Abdulla, P. A., Ben Henda, N., Deneux, J., Jonsson, B. and Reidmar, T. 2004.

"Detecting Dataflow Dependencies in Billing Processing Systems."

In Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA '04) Paphos, Cyprus , October .

Abdulla, P. A., Deneux, J. and Akerlund, O. 2004.

Designing Safe, Reliable Systems using Scade

In Proc. ISoLA '04: 1st International Symposium on Leveraging Applications of Formal Methods . ps

Andersson, J., Krcal, P., Mokrushin, L., Christer Norström, C., Wall, A. and Yi, W. 2004.

Modeling and Simulating an Industrial Robot

Technical Reports from the Department of Information Technology, Uppsala University vol: 41 pages: 58-60 . , pdf

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

A Framework for Analysis of Timing and Resource Utilization Targeting Industrial Real-Time Systems

Technical Report, MRTC . ps , pdf , abstract

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

Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings

In Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA '04) Paphos, Cyprus , October . , pdf , abstract

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

Validating Temporal Behavior Models of Complex Real-Time Systems

in Proceedings of the Fourth Conference on Software Engineering Research and Practice in Sweden (SERPS'04), Linköping, Sweden , September. . , pdf , abstract

Blom, J., Hessel, A., Jonsson, B. and Pettersson, P. 2004.

Specifying and Generating Test Cases Using Observer Automata

In proceedings of the 4th International Workshop on Formal Approaches to Testing of Software (FATES'04), LNCS . , pdf

Byhlin, S. 2004.

Evaluation of Static Time Analysis for Volcano Communications Technologies AB

Masters Thesis, MRTC . , pdf , abstract

Carlsson, R., Gustavsson, B. and Nyblom, P. 2004.

Erlang’s Exception Handling Revisited

In Proceedings of the Third ACM SIGPLAN Erlang Workshop, (co-located with ICFP’04), September. ACM Press. .

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

Message Analysis for Concurrent Programs Using Message Passing

Submitted for journal publication. .

Deneux, J. and Akerlund, O. 2004.

A Common Framework for Design and Safety Analyses using Formal Methods

Proc. International Conference on Probabilistic Safety Assessment and Management (PSAM7/ESREL'04), June. .

Engblom, J. 2004.

Understanding Your C Compiler: How to Minimize Code Size

In: "The Firmware Handbook", Chapter 18. ed. Jack Ganssle, Elsevier/Newnes. .

Fersman, E. and Yi, W. 2004.

A Generic Approach to Schedulability Analysis of Real Time Tasks

Accepted for Publication in Nordic Journal of Computing . , pdf

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

Schedulability Analysis of Fixed-Priority Systems Using Timed Automata

To appear in journal: Theoretical Computer Science . ps , pdf , abstract

Gustafsson, P. and Sagonas, K. 2004.

Adaptive Pattern Matching on Binary Data

In Programming Languages and Systems. Proceedings of the 13th European Symposium On Programming, LNCS, Barcelona, Spain, March/April. Springer. vol: 2986 pages: 124-139 .

Hessel, A. and Pettersson, P. 2004.

A Test Case Generation Algorithm for Real-Time Systems

In proceedings of the 4th International Conference on Quality Software (QSIC'04), Hans-Dieter Ehrich and Klaus-Dieter Schewe (eds.), IEEE Computer Society pages: 268-273 . , pdf

Ijeoma Sandra, I. 2004.

Models’ Validation for Complex Real-Time Systems

Masters Thesis, MRTC .

Johnsson, A. and Nilsson, R. 2004.

Development of an Analysis tool for execution traces

Masters Thesis, MRTC .

Krcal, P. and Yi, W. 2004.

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

In the proceedings of TACAS 2004, the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, March 29 - April 2, Barcelona, Spain. LNCS 2988. . ps , pdf , abstract

Lindahl, T. and Sagonas, K. 2004.

Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story

In Proceedings of the Second ASIAN Symposiumon Programming Languages and Systems, LNCS, Taipei, Taiwan, November. Springer. pages: 86-101 .

Lisper, B. and Erikson, J. 2004.

A Formal Semantics for PLEX

In 2nd APPSEM II Workshop, APPSEM'04 Tallinn, Estonia, 14-16 April . , pdf , abstract

Luna, D. 2004.

An AMD64 Backend for HiPE: Implementation, Performance Evaluation, and Lessons Learned

Uppsala Master's Theses in Computing Science, Examensarbete DV3, 2004-12-24 vol: 286 . , pdf

Luna, D., Pettersson, M. and Sagonas, K. 2004.

HiPE on AMD64

In Proceedings of the Third ACM SIGPLAN Erlang Workshop, (co-located with ICFP’04), September. ACM Press. .

Luna, D., Pettersson, M. and Sagonas, K. 2004.

Super Size your Backend: Advice on how to Develop an Efficient AMD64 Backend

Submitted for publication . , pdf

Marklund, K. and Victor, B. 2004.

A simulator approach to data race detection

Technical Reports from the Department of Information Technology, Uppsala University vol: 41 pages: 61 . , pdf

Mokrushin, L., Krcal, P., Thiagarajan, P.S. and Yi, W. 2004.

Timed vs. Time Triggered Automata

CONCUR 2004, London, UK .

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

Proceeding of the 16th Nordic Workshop on Programming Theory. October 6-8.

Technical Reports from the Department of Information Technology, Uppsala University vol: 41 . , pdf

Sagonas, K. and Andersson, E. 2004.

The HiPE Tool: An Integrated Environment for Performance-Tuning Erlang Applications

Submitted for publication .

Sagonas, K. and Wilhelmsson, J. 2004.

Message Analysis-Guided Allocation and Low-Pause Incremental Garbage Collection in a Concurrent Language

In Proceedings of ISMM’04: ACM SIGPLAN International Symposium on Memory Management, Vancouver, B.C., Canada, October. ACM Press. .

Sandell, D., Ermedahl, A., Gustafsson, J. and Lisper, B. 2004.

Static Timing Analysis of Real-Time Operating Systems Code

In Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA '04) Paphos, Cyprus , October .

Vera, X. 2004.

Cache and Compiler Interaction (how to analyze, optimize and time cache behavior)

PhD Thesis, Mälardalen University, Västerås pages: 245 . , pdf