ASTEC publications 2006

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

A Framework for Analysis of Timing and Resource Utilization targeting Complex Embedded Systems

ARTES - A network for Real-Time research and graduate Education in Sweden 1997 – 2006, Uppsala University, Editor(s): Hans Hansson pages: 297-329 . , pdf

Bygde, S. 2006.

Abstract Interpretation and Abstract Domains

Master Thesis, MRTC . , pdf

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

Message analysis for concurrent programs using message passing

In ACM Transactions on Programming Languages and Systems, July vol: 28(4) pages: 715-746 . , pdf

Deneux, J. 2006.

Verification of Parameterized and Timed Systems: Undecidability Results and Efficient Methods

Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology vol: 187 . , pdf

Gustafsson, P. and Sagonas, K. 2006.

Efficient manipulation of binary data using pattern matching

In the Journal of Functional Programming, January vol: 16(1) pages: 35-74 . , pdf

Hessel, A. 2006.

Model-Based Test Case Selection and Generation for Real-Time Systems

IT Licentiate theses vol: 2 . , pdf , webpage

Lindahl, T. and Sagonas, K. 2006.

Practical Type Inference Based on Success Typings

In Proceedings of the Eight ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06), July. ACM Press. pages: 167-178 . , pdf

Sagonas, K. and Wilhelmsson, J. 2006.

Efficient memory management for concurrent programs that use message passing

In Science of Computer Programming, October vol: 62(2) pages: 98-121 . , pdf

Sagonas, K. and Wilhelmsson, J. 2006.

Mark and Split

In Proceedings of the ACM SIGPLAN International Symposium on Memory Management (ISMM'06), June. ACM Press. pages: 29-39 . , pdf

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

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

LNCS 4313: Leveraging Applications of Formal Methods, Springer Berlin/Heidelberg, November pages: 130-145 . , pdf