Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 2000
as published or accepted for publication

Subset: articles originating in RTSLAB during 2000

The IDA publication register contains information about articles written by researchers at IDA. The usual bibliographic references are combined with links to on-line copies of those articles whenever available and known.
If the article you are looking for is not in this list, then
maybe it as already reported last year - see last year's list.

012
Sang H. Son, Bob Zimmerman, Jörgen Hansson.
An Adaptable Security Manager for Real-Time Transactions.
In the proceedings of the 12th Euromicro Conference on Real-Time Systems, pp. 63-70, June 19-21, 2000, Stockholm, Sweden.

041
Paul Scerri, Nancy E. Reed.
Engineering Characteristics of Autonomous Agent Architectures.
Published in Journal of Experimental and Theoretical Artificial Intelligence (JETAI), vol. 12, no. 2, April 2000.

042
Paul Scerri, Nancy E. Reed.
Creating Complex Actors with EASE.
Poster presentation, Agents 2000, Barcelona, Spain

077
J. Johnson, M. Giblin, S. Barbeau, E. Herzog.
The Maturing Systems Engineering Data Exchange Standard AP-233 and your Role.
Presented at the Education/Standards session of the 10th Annual International symposium on systems engineering (INCOSE) in July.

087
Mathias Broxvall, Peter Jonsson, Jochen Renz.
Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints.
Accepted for presentation at the 6th International Conference on Principles and Practice of Constraint Programming.

093
M. Berndtsson, J. Hansson: .
Time is the Shadow of Reactive Behaviour.
In the proceedings of the International Database Engineering and Applications, pp. 417-423 Symposium (IDEAS), Yokohama, Japan. September 18-20, 2000, IEEE Computer Society.

094
J. Hansson, S. Andler.
System Framework for Active Real-Time Database Systems.
Published in Real-Time Database Systems: Issues and Design (K.-y. Lam and R.-w Kuo, eds.), Kluwer Academics, 2000.

095
J. Hansson, S. Son.
Overload Management in Real-Time Database Systems.
Published in Real-Time Database Systems: Issues and Design (K.-y. Lam and R.-w Kuo, eds.), Kluwer Academics, 2000.

096
A. Pandikow, E. Herzog, Anders Törne.
Integrating Systems and Software Engineering Concepts in AP-233.
In the Proceedings of the 10th Annual International Symposium of the International Council on Systems Engineering (E. Arnold, K. Blanshan, L. Brezinski, J. Jakoubek, C. Jones, P. Kar, C. Kowalski, K. Rawlinson, D. Walden, and S. Wolft, eds), vol. 1, pp. 831--837, INCOSE, June 2000.

097
Paul Scerri, Nancy Reed.
Real-time Control of Intelligent Agents.
Published in Technical Summaries of the Software Demonstration Sessions, 4th International Conference on Autonomous Agents (Agents 2000) (J. Puyol-Gruart, ed.), pp 28--29, June 2000.

098
Paul Scerri, J. Ydrén, Nancy Reed.
Layered Specification of Intelligent Agents.
Published in Pacific Rim International Conference on Artificial Intelligence (PRICAI 2000), pp. 565--575, Aug. 2000.

099
Paul Scerri, Nancy Reed.
On-line Control of Actors using EASE.
Presented on the Workshop on *Teams with Adjustable Autonomy and published in Pacific Rim International Conference on Artificial Intelligence (PRICAI 2000), pp. 25--34 Aug. 2000.

110
Ola Angelsmark, Peter Jonsson.
Some Observation on Durations, Scheduling and Allen's Algebra.
In the Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming (CP2000).

112
Ulf Nilsson, Johan Lübcke.
Constraint Logic Programming for Local and Symbolic Model-checking.
In the Proceedings of the International Conference on Computational Logic (CL2000). LNCS, Springer-Verlag.

122
Jörgen Hansson, M.Thuresson, S.H. Son.
Imprecise Task Scheduling and Overload Management using OR-ULD.
Accepted to the Seventh International Conference on Real-Time Systems and Applications (RTCSA 2000) held 12-14 December 2000, South Korea, IEEE Computer Society.

125
John Stankovic, S.H. Son, Jörgen Hansson.
Misconceptions about Real-Time Database Systems.
Published in Real-Time Database Systems: Architecture and Techniques (Kluwer Academic Publishers).

195
P. Scerri, . Tambe, H, Lee, D. Pynadath.
Dont cancel my Barcelona trip: Adjusting the autonomy of agent proxies in human organizations.
In the proceedings of the AAAI Fall Symposium on Socially Intelligent Agents --- the human in the loop

199
P. Scerri, N. Reed.
The EASE Actor Development Environment.
In the proceedings of the Swedish AI Society Workshop (SAIS-2000), May 2000.

200
P. Scerri, J. Ydren.
End User Specification of RoboCup Teams.
In the proceedings of "RoboCup-99: Robot Soccer World Cup III", Springer Verlag Lecture Notes in Artificial Intelligence (LNAI) 2000.

201
P. Scerri, J. Ydren, T. Wiren, M. Lönneberg, P. Nilsson.
Headless Chickens III.
In the proceedings of "RoboCup-99: Robot Soccer World Cup III", Springer Verlag Lecture Notes in Artificial Intelligence (LNAI) 2000.

202
Klaus Heimannsfeld, Erik Herzog, Carsten Dusing, Julian Johnson.
Beyond tool exchanges - the current status and future implications of the emerging iso standard .
ap-233 for the exchange of system engineering data. In To appear in the In the proceedings of the 2nd European Conference on Systems Engineering, September 2000.

204
Erik Herzog, Anders Törne.
Suppor for exchange of functional behaviour specifications in ap-233.
In proceedings of the 7th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pages 351­358, 2000.

205
Erik Herzog, Julian Johnson.
AP-233, The Systems Engineering STEP-based Data exchange Standard, Tutorial H09.
In proceedings of the 10th Annual International Symposium of the International Council on Systems Engineering, pages 815­822. INCOSE, 2000.

206
S. Nadjm-Tehrani.
Formal Methods for Analysis of Heterogeneous Models of Embedded Systems.
Invited session in the IEEE International Symposium on Computer-Aided Control Systems Design (CACSD), September 2000, Anchorage, Alaska

207
S. Tudoret, S. Nadjm-Tehrani, A. Benveniste, J. E. Strömberg.
Co-Simulationof Hybrid Systems: SIGNAL-SIMULINK.
In proceedings of the 6th international conference on Formal Techniques in Real-Time and Fault-Tolerant Systems, (FTRTFT'00), LNCS, (C) Springer Verlag, pp. 134-151, Pune, India, September 2000.

This page is maintained by [EMTEK]; latest update 4 August 1997.