Updating of these pages have been discontinued March 2000.
Plese use the New ASTEC Scientific Publication pages

Note also that the ASTEC report series has been discontinued in favour of
Technical reports from the Department of Information Technology

Conference Papers & Articles

Peter Altenbernd, Hans Hansson
The Slack Method: A new method for static allocation of hard real-time tasks
Technical report DoCS 97/95, Department of Computer Systems Uppsala University, 1997. Accepted for publication in Real-Time Systems Journal.

T. Arts, M. Dam, L. Fredlund and D. Gurov.
Verification of distributed Erlang programs
System demonstration.
To appear In Proc. 15th International Conference on Automated Deduction (CADE'98).

Björn Carlson, Mats Carlsson, and Gunnar Stålmarck.
NP(FD): A Proof System for Finite Domain Formulas.
Technical report, Uppsala University, 1997. Submitted to CP97.

Mats Carlsson, Greger Ottosson, Björn Carlson.
An Open-Ended Finite Domain Constraint Solver.
Proceedings of International Symposium on Programming Languages: Implementations, Logics, and Programming, LNCS 1292, Springer-Verlag, 1997.

Mats Carlsson and Greger Ottosson.
Anytime Frequency Allocation with Soft Constraints.
In CP96 Pre-Conference Workshop on Applications, 1996.

Mats Carlsson, Greger Ottosson, and Björn Carlson.
Towards an Open Finite Domain Solver.
In Principles and Practice of Constraint Programming---CP96, pages 531--532. Springer-Verlag LNCS 1118, 1996. Poster.

M. Dam and L. Fredlund.
On the verification of open distributed systems.
In Proc. of the 1998 Symposium on Aplied Computing (SAC'98).

M. Dam, L. Fredlund, and D. Gurov.
Toward parametric verification of open distributed systems.
In Proc. Compositionality: the significant difference, H. Langmaack, A. Pnueli and W.-P. de Roever (eds.), Springer-Verlag, 1998

Jakob Engblom, Peter Altenbernd, Andreas Ermedahl
Facilitating Worst-Case Execution Time Analysis For Optimized Code
To appear in the 10th Euromicro Workshop on Real-Time Systems; Berlin, Germany, June 17-19th, 1998.

Andreas Ermedahl, Jan Gustafsson
Deriving Annotations for Tight Calculation of Execution Time
In Proc. of Euro-Par'97, LNCS 1300, pages 1298-1307; Passau, Germany, August 1997.

Lise Getoor, Greger Ottosson, Markus Fromherz, and Björn Carlson.
Effective redundant constraints for online scheduling.
In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI '97). American Association for Artificial Intelligence, July 1997.

Jan Gustafsson and Andreas Ermedahl
Automatic derivation of path and loop annotations in object-oriented real-time programs.
Presented at the joint workshop on parallel and distributed real-time systems Geneva, Switzerland, 1 - 3 april, 1997 at the 11th IEEE International Parallel Processing Symposium (IPPS'97).

Christopher Healy, Mikael Sjödin, Viresh Rustagi and David Whalley
Bounding Loop Iterations for Timing Analysis
To appear in Proc. of the IEEE Real-Time Applications Symposium; RTAS'98, June 1998

Magnus Lindahl, Paul Pettersson and Wang Yi
Formal Design and Analysis of a Gear-Box Controller: an Industrial Case Study using Uppaal. Also in PDF format.
Accepted for presentation at the 4th International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Gulbenkian Foundation, Lisbon , Portugal, 31 March - 2 April, 1998.

Henrik Lönn and Paul Pettersson
Formal Verification of a TDMA Protocol Start-Up Mechanism
In Proceedings of 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, pages 235-242. Taipei, Taiwan, 15-16 December, 1997

Greger Ottosson and Mikael Sjödin.
Worst-case execution time analysis for modern hardware architectures.
In ACM SIGPLAN 1997 Workshop on Languages, Compilers, and Tools for Real-Time Systems (LCT-RTS'97). ACM, June 1997.

Gunnar Övergaard.
A Formal Approach to Relationships in the Unified Modeling Language.
To be published at the Workshop on Precise Semantics for Software Modeling Techniques, ISCE'98 in Kyoto, Japan, April 1998.

Jan Gustafsson and Andreas Ermedahl
Automatic derivation of path and loop annotations in object-oriented real-time programs.
To be published in Journal of Parallel and Distributed Computing Practices, vol. 1 no. 2, June 1998.

Andreas Ermedahl, Hans Hansson, Marina Papatriantafilou, Philippas Tsigas,
Wait-free Snapshots in Real-Time Systems: Algorithms and Performance, Conference version of report 98/04, In Proc. of the 5th International Conference on Real-Time Computing Systems and Applications (RTCSA'98), Oct 27 - 29, 1998, Hiroshima, Japan.

Magnus Lindahl, Paul Pettersson and Wang Yi.
Formal Design and Analysis of a Gear Controller. Also in PDF format.
In Proceedings of the 4th International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Gulbenkian Foundation, Lisbon, Portugal. 1998. LNCS 1384. Selected for Publication In the Springer International Journal of Software Tools for Technology Transfer, 1998.