Publications : Nielsen's View Page

Back to main page. Arranged by: Type · Year · Title

Journal Publications · Books and Parts of Books · Conference and Workshop Publications · Theses · Research Reports · Miscellaneous Publications

Journal Publications (2) Top

Automated Test Generation from Timed Automata.: Nielsen, Brian and Skou, Arne. bib file.
Towards Re-usable Real-Time Objects.: Nielsen, Brian and Agha, Gul. bib file.

Books and Parts of Books (2) Top

Formal Approaches to Software Testing: 4th International Workshop, FATES '04 Proceedings (Linz, Austria, September 21, 2004).: Grabowski, Jens and Nielsen, Brian. bib file.
Handoff Initiation in Mobile IPv6.: Andersen, Torben W. and Lildballe, Anders and Nielsen, Brian. bib file.

Conference and Workshop Publications (15) Top

Automated Test Generation Timed Automata.: Nielsen, Brian and Skou, Arne. bib file.
Automated Test Generation Timed Automata.: Nielsen, Brian and Skou, Arne. bib file.
Handoff Initiation in Mobile IPv6.: Andersen, Torben W. and Lildballe, Anders and Nielsen, Brian. bib file.
On the Construction of Connectitity Test Cases in the Setting of UppAal.: Godskesen, Jens Chr. and Nielsen, Brian and Skou, Arne. bib file.
Online Testing of Real-time Systems Using UPPAAL.: Larsen, Kim G. and Mikucionis, Marius and Nielsen, Brian. bib file.
Online Testing of Real-time Systems using UPPAAL: Status and Future Work.: Larsen, Kim G. and Mikucionis, Marius and Nielsen, Brian. bib file.
Real-Time Layered Video Compression using SIMD Computation.: Jensen, Morten Vadskær and Nielsen, Brian. bib file.
Real-time System Testing On-the-fly.: Larsen, Kim G. and Mikucionis, Marius and Nielsen, Brian. bib file.
Semantics for an Actor-Based Real-Time Language.: Nielsen, Brian and Agha, Gul. bib file.
Specification of Real-Time Interaction Constraints.: Nielsen, Brian and Ren, Shangping and Agha, Gul. bib file.
T-UPPAAL: Online Model-based Testing of Real-time Systems.: Mikucionis, Marius and Larsen, Kim G. and Nielsen, Brian. bib file.
T-Uppaal: Online Model-based Testing of Real-time Systems.: Mikucionis, Marius and Larsen, Kim G. and Nielsen, Brian. bib file.
Test Generation for Time Critical Systems: Tool and Case Study.: Nielsen, Brian and Skou, Arne. bib file.
Time-Optimal Real-Time Test Case Generation using UPPAAL.: Hessel, Anders and Larsen, Kim G. and Nielsen, Brian and Pettersson, Paul and Skou, Arne. bib file.
Time-Optimal Test Cases for Real-Time Systems.: Hessel, Anders and Larsen, Kim G. and Nielsen, Brian and Pettersson, Paul and Skou, Arne. bib file.

Theses (1) Top

Specification and Test of Real-Time Systems.: Nielsen, Brian. bib file.

Research Reports (9) Top

Danfoss EKC Trial Project Deliverables.: Larsen, Kim G. and Larsen, Ulrik and Nielsen, Brian and Skou, Arne and Wasowski, Andrzej. bib file.
Danfoss EKC Trial Project Deliverables.: Larsen, Kim G. and Larsen, Ulrik and Nielsen, Brian and Skou, Arne and Wasowski, Andrzej. bib file.
Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks.: Jensen, Morten Vadskær and Nielsen, Brian. bib file.
Experiments with Video Communications on ATM-networks.: Nielsen, Brian and Husfeldt, Thomas and Pedersen, Finn and The, Dao Van. bib file.
Online On-the-Fly Testing of Real-time Systems.: Mikucionis, Marius and Larsen, Kim G. and Nielsen, Brian. bib file.
ROAD MAP on Hard Real-Time Development Environments W1.A1.N1.Y1 Chapter 4.4.c: Testing Embedded Systems.: Larsen, Kim G. and Nielsen, Brian. bib file.
Real-Time Layered Video Compression using SIMD Computation.: Jensen, Morten Vadskær and Nielsen, Brian. bib file.
The Design and Implementation of ZCRP Zero Copying Reliable Protocol.: Nielsen, Brian and Christiansen, Mikkel and Hagen, Jesper and Skou, Arne and Skov, Kristian. bib file.
Towards Re-usable Real-Time Objects.: Nielsen, Brian and Agha, Gul. bib file.

Miscellaneous Publications (3) Top

Automated Software Testing -- Project Deliverables..: Nielsen, Brian. bib file.
Running eCos on the Simrad 3603 board---Simrad Collaboration Project Status Report.: Christensen, Mikkel and Nielsen, Brian and Olesen, Tue Brems. bib file.
Specification and Test of Real-Time Systems--Bibliographical Notes.: Nielsen, Brian. bib file.