ASTEC publications

• Publications: 2007, 2006, 2005, 2004, 2003, 2002, 2001
• Complete list sorted by author with links to publications
• Statistics for ASTEC projects publications

---

• The old pages for reports (discontinued March 2000)

---

• Department of Information Technology
• Reports
• Licenciate theses
• Uppsala University
  Publication database

Recent publications

Updated 07-Jul-2007 17:47

Gustafsson, P. and Sagonas, K. 2007.

Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang

To appear in: In Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL'07). . , pdf

Hessel, A. 2007.

Model-Based Test Case Generation for Real-Time Systems

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

---

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