Bibliography

 

1

Torben W. Andersen, Anders Lildballe, and Brian Nielsen.
Handoff Initiation in Mobile IPv6.
In Fourth International Symposium on Wireless Personal Multimedia Communications, Aalborg, Denmark, September 2001.

 

2

Mikkel Christiansen, Jesper L. Hagen, Brian Nielsen, Arne Skou, and Kristian Q. Skov.
The Design and Implementation of ZCRP Zero Copying Reliable Protocol.
Technical Report R-98-5011, Aalborg University, Department af Computer Science, Aalborg, Denmark, 1998.

 

3

Thomas J. Hansen, Brian Nielsen, Jens F. Dalsgaard Nielsen, and Arne Skou.
Environments and Paradigms for Development of Reliable Distributed Real-Time Software: An Industrial Oriented Research Project -- Pilot-Project Deliverables.
Technical report, Aalborg University, Department af Computer Science, Aalborg, Denmark, 1994.

 

4

Thomas Husfledt, Brian Nielsen, Finn Norman Pedersen, and Dao Van The.
Experiments with Video Communications on ATM-networks.
Technical Report R-97-5002, Aalborg University, Institute for Electronic Systems, Department af Computer Science, Aalborg, Denmark, June 1997.
LAN and WAN results available at http://www.cs.auc.dk/research/FS/research/atm/index.html.

 

5

Morten Vadskær Jensen and Brian Nielsen.
Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks.
Technical Report R-98-5008, Aalborg University, Institute for Electronic Systems, Department af Computer Science, Aalborg, Denmark, November 1998.

 

6

Morten Vadskær Jensen and Brian Nielsen.
Real-Time Layered Video Compression using SIMD Computation.
In P. Zinterhof and M. Vajtersic and A. Uhl, editor, 4th International Conference on Parallel Computation (ACPC 99), LNCS 1557, pages 377-387. Austrian Center for Parallel Computation, February 1999.
Special Track on Image Processing, Video Processing and Multimedia.

 

7

Brian Nielsen.
Automated Software Testing -- Project Deliverables.
Technical Report (Confidential), Aalborg University, Department af Computer Science, Aalborg, Denmark, August 2002.

 

8

Brian Nielsen.
Specification and Test of Real-Time Systems--Bibliographical Notes.
In F. Cassez, C. Jard, F. Laroussinie, and M.D. Ryan, editors, Proceedings of the Summerschool in MOdelling and VErification of Parallel processes (MOVEP' 2002), pages 4-24, IRCCyN, Ecole Centrale de Nantes, France, June 2002.

 

9

Brian Nielsen and Arne Skou.
Automated Test Generation from Timed Automata.
International Journal on Software Tools for Technology Transfer (STTT), 4, 2002.
Digital Object Identifier (DOI) 10.1007/s10009-002-0094-1. To Appear.

 

10

Torben W. Andersen, Anders Lildballe, and Brian Nielsen.
Wireless IP and Building the Mobile Internet, chapter 18: Handoff Initiation in Mobile IPv6.
Artec House. Sudhir Dixit (Eds.), November 2002.
ISBN 1-58053-354-X.

 

11

Brian Nielsen.
Specification and Test of Real-Time Systems.
PhD thesis, Department of Computer Science, Aalborg University, Denmark, april 2000.

 

12

Brian Nielsen and Gul Agha.
Semantics for an Actor-Based Real-Time Language.
In 4th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), pages 223-228. Naval Surface Warfare Center Dahlgren Division/IEEE, April 1995.
In conjunction with 10th IEEE Int. Parallel Processing Symposium (IPPS), Honolulu, Hawaii, USA.

 

13

Brian Nielsen and Gul Agha.
Towards Re-usable Real-Time Objects.
The Annals of Software Engineering, 7, 1999.
Special Issue on Real-Time Software Engineering.

 

14

Brian Nielsen, Shangping Ren, and Gul Agha.
Specification of Real-Time Interaction Constraints.
In 1st International Symposium on Object-Oriented Real-Time Distributed Computing, pages 206-214. IEEE, April 1998.
Kyoto, Japan.

 

15

Brian Nielsen and Arne Skou.
Automated Test Generation from Timed Automata.
In 21st IEEE Real-Time Systems Symposium 2000 Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000. IEEE.

 

16

Brian Nielsen and Arne Skou.
Automated Test Generation from Timed Automata.
In Tiziana Margaria and Wang Yi, editors, TACAS 2001 - Tools and Algorithms for the Construction and Analysis of Systems, pages 343-357, Genova, Italy, April 2001.

 

17

Brian Nielsen and Arne Skou.
Test Generation for Time Critical Systems: Tool and Case Study.
In 13th Euromicro Conference on Real-Time Systems, pages 155-162, Delft, The Netherlands, June 2001.

 

18

Brian Nielsen and Tom Sørensen.
Distributed Programming with Multiple Tuple Space Linda.
Master's thesis, Aalborg University, Denmark, June 1993.