ASTEC publications 2005

Andersson, J. 2005.

"Modeling the Temporal Behavior of Complex Embedded Systems - A Reverse Engineering Approach"

Licentiate Thesis, Mälardalen University Press, June . , pdf , abstract

Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M. and Pretschner, A. editors. 2005.

Model-Based Testing of Reactive Systems

Lecture Notes in Computer Science, Springer Verlag vol: 3472 .

Bygde, S. 2005.

Abstract Interpretation with Advanced Numerical Domains

Master Thesis, MRTC .

Byhlin, S., Ermedahl, A., Gustafsson, J. and Lisper, B. 2005.

Applying Static WCET Analysis to Automotive Communication Software

17th Euromicro Conference of Real-Time Systems, (ECRTS’05), Mallorca, Spain . , pdf , abstract

Carlson, J., Håkansson, J., and Pettersson, P. 2005.

SaveCCM: An Analysable Component Model for Real-Time Systems.

To appear in: Proceedings of International Workshop on Formal Aspects of Component Software (FACS'05). Electronic Notes in Theoretical Computer Science, Elsevier .

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

Message Analysis for Concurrent Programs Using Message Passing

accepted by ACM TOPLAS .

Erikson, J. 2005.

Licentiate Thesis Proposal: An Operational Semantics for Parallel Execution of Re-entrant PLEX

Technical Report, MRTC . , pdf , abstract

Erikson, J. and Lisper, B. 2005.

Two Formal Semantics for PLEX

3rd APPSEM II Workshop, APPSEM'05, Frauenchiemsee, Germany, 12 - 15 September . , pdf , abstract

Eriksson, O. 2005.

Evaluation of Static Time Analysis for CC Systems

MRTC report, ISRN MDH-MRTC-183/2005-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University . , pdf , abstract

Ermedahl, A., Gustafsson, J. and Lisper, B. 2005.

Experiences from Industrial WCET Analysis Case Studies

Proc. Fifth InternationalWorkshop onWorst-Case Execution Time (WCET) Analysis, Palma de Mallorca, July 2005. ed. ReinhardWilhelm (Also presented at Real-Time in Sweden 2005, Skövde, August 2005.) . , pdf , abstract

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

Clustered Worst-Case Execution- Time Calculation

IEEE Transactions on Computers vol: 54 (9) pages: 1104-1122 . , pdf , abstract

Gustafsson, J., Ermedahl, A. and Lisper, B. 2005.

Towards a Flow Analysis for Embedded System C Programs

The 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS’05), Sedona, USA . , pdf , abstract

Gustafsson, P. and Sagonas, K. 2005.

Bit-level Binaries and Generalized Comprehensions in Erlang

In Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, September. ACM Press . , pdf

Hagersten, E., Albertsson, L. and Engblom, J. 2005.

Parallella program ger paradigmskifte

Elektroniktidningen, 18 October vol: 13 . , webpage

Huselius, J. and Andersson, J. 2005.

Model Synthesis for Real-Time Systems

"Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR‘05), Manchester, UK, March 21-23" pages: 52-60 .

Lindahl, T. and Sagonas, K. 2005.

TypEr: A Type Annotator of Erlang Code

In Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, September. ACM Press. . , pdf

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

Efficiently Compiling a Functional Language on AMD64: The HiPE Experience

In Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2005). July. ACM Press. pages: 176-186 . , pdf

Marklund, K. and Albertsson, L. 2005.

Dynamic Race Detection for Operating Systems

Fifth Conference on Software Engineering Research and Practice in Sweden (SERPS 05) .

Petersson, S. 2005.

Porting the Bound-T WCET tool to Lego Mindstorms and the Asterix RTOS

Master Thesis, MRTC . , pdf , abstract

Petersson, S., Ermedahl, A., Pettersson, A., Sundmark, D. and Holsti, N. 2005.

Using a WCET Analysis Tool in Real-Time Systems Education

In Real Time in Sweden (RTiS) 2005, Skövde, Sweden, Editor(s):Sten F. Andler pages: 125-128 . , pdf , abstract

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

"Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 2005, Proceedings. "

Lecture Notes in Computer Science, Springer-Verlag vol: 3829 .

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

"Selected Papers of the 16th Nordic Workshop on Programming Theory (NWPT'04), October 6-8, 2004. "

Nordic Journal of Computing vol: 12 (2) .

Sagonas, K. 2005.

Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications.

In Proceedings of ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools (Bugs'05), Chicago, Illinois, June. .

Sehlberg, D. 2005.

Static WCET Analysis of Task-Oriented Code for Construction Vehicles

Master Thesis, MRTC . , pdf , abstract

Wilhelmsson, J. 2005.

Efficient Memory Management for Message-Passing Concurrency

IT Licentiate theses no 2005-001 pages: 114 . , abstract

Vilhelmsson, P. 2005.

A Test Case Translation Tool - From Abstract Test Sequences To Concrete Test Programs

M.Sc. Thesis, Department of Information Technology, Uppsala University .

Wilhelmsson, P. 2005.

A Test Case Translation Tool: From Abstract Test Sequences To Concrete Test Programs

Master thesis at Ericsson .

Zhang, Y. 2005.

Evaluation of Methods for Dynamic Time Analysis for CC-Systems AB

MRTC report, ISRN MDH-MRTC-182/2005-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University . , pdf , abstract