Mathias Broxvall
Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints
Has beeb accepted at the eight international conference on principles of knowledge representation and reasoning (KR2002).

Luis Alejandro Cortes, Petru Eles, Zebo Peng:
Verification of Real-Time Embedded Systems using Petri Net Models and Timed Automata
Has been accepted at the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA 2002), to be held in Tokyo, Japan, March 18-20, 2002.

Mathias Broxvall, Peter Jonsson, Jochen Renz:
Disjunctions, Independence, Refinements
Has been accepted to the Artificial Intelligence Journal for publication.

Erik Larsson, Zebo Peng:
An Integrated Framework for the Design and Optimization of SOC Test Solutions
Has been accepted to the Journal of Electronic Testing; Theory and Applications (JETTA),for the Special Issue on Plug-and-Play Test Automation for System-on-a-Chip,to appear in the August 2002 issue (vol. 18, no. 4).

Fredrik Heintz, Johan Kummeneje, Paul Scerri:
Using Simulated RoboCup to Teach AI in Undergraduate Education
In Proceedings of the Seventh Scandinavian Conference on Artificial
Intelligence (SCAI2001), pp. 13-21, editor Henrik Hautorp Lund, Brian Mayoh and John Perram, IOS Press, Amsterdam, 2001.

Diana Szentivanyi, Simin Nadjm-Tehrani:
Building and Evaluating an FT-CORBA Infrastructure
Accepted for presentationto to the workshop on Dependable Middleware-based Systems. The workshop is part of the main international conference on Dependable Networks and Systems (DSN) in Washingtion DC, June 2002.

Johan Moe, David Carr:
Using Execution Trace Data to Improve Distributed Systems
Has been accepted for presentation in the Journal of Software Practice and Experience.

Dag Nyström, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson:
Data Management Issues in Vehicle Control Systems: a Case Study
Accepted for presentation to the Euromicro Conference on Real-Time Systems (ECRTS'02).

Jörgen Hansson, Magnus Thor Helgasson, Sang Son, Tom Ziemke:
Using Artificial Neural Networks for Admission Control in Firm Real-Time Systems
Accepted to the International Conference on Real-Time Computing Systems and Applications (RTCSA 2002).

Fredrik Gustafsson, Jörgen Hansson, Sang Son:
Process Migration in Distributed Real-Time Systems
Accepted to the International Conference on Real-Time Computing Systems and Applications (RTCSA 2002).