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

Updated 07-Jul-2007 17:40 by Roland Grönroos
e-mail: info -at-    Location: