Authors
Tag |
Content |
Author |
Alexandre David and Kim Guldstrand Larsen and Shuhao Li and Brian Nielsen |
Title |
Timed Testing under Partial Observability |
Year |
2009 |
Abstract |
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA) which has internal actions, uncontrollable outputs and timing uncertainty of outputs. We define the partial observability of SUT using a set of predicates over the TGA state space, and specify the test purposes in Computation Tree Logic (CTL) formulas. A recently developed partially observable timed game solver is used to generate winning strategies, which are used as test cases. We propose a conformance testing framework, define a partial observation-based conformance relation, present the test execution algorithms, and prove the soundness and completeness of this test method (i.e., a detected error really violates the conformance relation; and if the SUT violates the test purpose, then a test case can be generated to detect this violation). Experiments on some non-trivial examples show that this method yields encouraging results. |
Address |
Denver, Colorado, USA |
Booktitle |
Proc. 2nd International Conference on Software Testing, Verification and Validation (ICST'09) |
Ee |
http://doi.ieeecomputersociety.org/10.1109/ICST.2009.38 |
Isbn |
978-0-7695-3601-9 |
Month |
April |
Pages |
61-70 |
Publisher |
IEEE Computer Society |
URL |
http://www.cs.aau.dk/~bnielsen/Published/ICST09.pdf |
Tag |
Content |
Author |
Alexandre David and Kim Guldstrand Larsen and Shuhao Li and Brian Nielsen |
Title |
Cooperative Testing of Timed Systems |
Year |
2008 |
Ee |
http://dx.doi.org/10.1016/j.entcs.2008.11.007 |
Journal |
Electr. Notes Theor. Comput. Sci. |
Number |
1 |
Pages |
79-92 |
Publisher |
Elsevier |
Volume |
220 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/cooperativeTesting.pdf |
Tag |
Content |
Author |
Alexandre David and Kim Guldstrand Larsen and Shuhao Li and Brian Nielsen |
Title |
A Game-Theoretic Approach to Real-Time System Testing |
Year |
2008 |
Address |
Munich, Germany |
Booktitle |
Proc. 11th Conf. on Design, Automation and Test in Europe (DATE'08) |
Ee |
http://dx.doi.org/10.1109/DATE.2008.4484728 |
Month |
March |
Pages |
486-491 |
Publisher |
IEEE |
URL |
http://www.cs.aau.dk/~bnielsen/Published/DATE08_tiga-testing.pdf |
Tag |
Content |
Author |
Ana Cavalli |
Title |
Integration of Testing Methodologies (TestNet), Expression of Interest: Proposal for a European Union Information Society Technology (IST) 6th framework network of excellence |
Date |
2 |
Month |
May |
Tag |
Content |
Author |
Anders Hessel and Kim G. Larsen and Brian Nielsen and Paul Pettersson and Arne Skou |
Title |
Time-Optimal Test Cases for Real-Time Systems--extended abstract |
Booktitle |
1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS) |
Note |
Invited Talk by Paul Pettersson |
URL |
http://www.cs.aau.dk/~bnielsen/Published/formats03.pdf |
Tag |
Content |
Author |
Anders Hessel and Kim G. Larsen and Brian Nielsen and Paul Pettersson and Arne Skou |
Title |
Time-Optimal Test Cases for Real-Time Systems |
Address |
Montréal, Québec, Canada |
Booktitle |
3rd International Workshop on FORMAL APPROACHES TO TESTING OF SOFTWARE (FATES 2003) |
Date |
6 |
Editor |
Alexandre Petrenko and Andreas Ulrich |
Month |
October |
Note |
In affiliation with the 18th IEEE International Conference on AUTOMATED SOFTWARE ENGINEERING (ASE 2003) |
URL |
http://www.cs.aau.dk/~bnielsen/Published/timeoptimal.pdf |
Tag |
Content |
Author |
Anders Hessel and Kim G. Larsen and Marius Mikucionis and Brian Nielsen and Paul Pettersson and Arne Skou |
Title |
Automated Model-Based Conformance Testing of Real-Time Systems |
Booktitle |
Formal Methods and Testing |
Pages |
39pp |
Publisher |
Springer Verlag. Jonathan Bowen, Mark Harman, and Rob Hierons) |
Series |
Springer Verlag, LNCS 4949 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/fortestbookchapter.pdf |
Tag |
Content |
Author |
Brian Nielsen |
Title |
Specification and Test of Real-Time Systems---Bibliographical Notes |
Year |
2002 |
Address |
IRCCyN, Ecole Centrale de Nantes, France |
Booktitle |
Proceedings of the Summerschool in MOdelling and VErification of Parallel processes (MOVEP' 2002) |
Date |
17--21 |
Editor |
F. Cassez and C. Jard and F. Laroussinie and M.D. Ryan |
Month |
June |
Pages |
4--24 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/movep-bib.pdf |
Tag |
Content |
Author |
Brian Nielsen |
Title |
Specification and Test of Real-Time Systems |
Month |
april |
Number |
R-00-5001 |
School |
Department of Computer Science, Aalborg University, Denmark |
URL |
http://www.cs.aau.dk/~bnielsen/Published/bnielsenthesis070801.pdf |
Tag |
Content |
Author |
Brian Nielsen |
Title |
Quasimodo |
Year |
2008 |
Journal |
Ercim News |
Number |
75 |
Pages |
20--21 |
Publisher |
European Research Consortium for Informatics and Mathematics, FR ISSN: 0926-4981 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/ercim-75.pdf |
Tag |
Content |
Author |
Brian Nielsen |
Title |
Automated Software Testing --- Siemens Project Deliverables |
Year |
2002 |
Address |
Aalborg, Denmark |
Institution |
Aalborg University, Department af Computer Science |
Month |
August |
Number |
(Confidential) |
Pages |
1--87 |
Type |
Technical Report |
Tag |
Content |
Author |
Brian Nielsen and Alexandre David |
Title |
Model-driven Development of EMbedded Real-Time Systems |
Year |
2008 |
Journal |
Ercim News |
Number |
75 |
Pages |
19--20 |
Publisher |
European Research Consortium for Informatics and Mathematics, FR ISSN: 0926-4981 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/ercim-75.pdf |
Tag |
Content |
Author |
Brian Nielsen and Arne Skou |
Title |
Test Generation for Time Critical Systems: Tool and Case Study |
Address |
Delft, The Netherlands |
Booktitle |
13th Euromicro Conference on Real-Time Systems |
Date |
13--15 |
Month |
June |
Pages |
155--162 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/euromicro01.pdf |
Tag |
Content |
Author |
Brian Nielsen and Arne Skou |
Title |
Automated Test Generation from Timed Automata |
Editor |
Tiziana Margaria |
Journal |
International Journal on Software Tools for Technology Transfer (STTT) |
Note |
Digital Object Identifier (DOI) 10.1007/s10009-002-0094-1. |
Pages |
59--77 |
Publisher |
Springer Verlag |
Volume |
5 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/stttprint.pdf |
Tag |
Content |
Author |
Brian Nielsen and Arne Skou |
Title |
Automated Test Generation from Timed Automata |
Address |
Genova, Italy |
Booktitle |
TACAS 2001 - Tools and Algorithms for the Construction and Analysis of Systems |
Date |
2--6 |
Editor |
Tiziana Margaria and Wang Yi |
Month |
April |
Pages |
343--357 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/tacas01.pdf |
Tag |
Content |
Author |
Brian Nielsen and Arne Skou |
Title |
Automated Test Generation from Timed Automata |
Address |
Walt Disney World, Orlando, Florida, USA |
Booktitle |
21st IEEE Real-Time Systems Symposium 2000 Work in Progress-Session |
Date |
27--30 |
Month |
November |
Organization |
IEEE |
URL |
http://www.cs.aau.dk/~bnielsen/Published/rtsswip00.pdf |
Tag |
Content |
Author |
Brian Nielsen and Arne Skou and Ivan Aaen and Peter Axel Nielsen and John Knudsen and Jørgen Biegel |
Title |
Prosoft: procesforbedring under udvikling af indlejret og teknisk software |
Editor |
Skou, Arne |
Institution |
CISS, Aalborg Universitet |
Tag |
Content |
Author |
Brian Nielsen and Arne Skou and Jørgen Biegel |
Title |
Test af Software: Test and indlejret og teknisk software |
Editor |
Skou, Arne |
Institution |
CISS, Aalborg Universitet |
Tag |
Content |
Author |
Brian Nielsen and Gul Agha |
Title |
Towards Re-usable Real-Time Objects |
Journal |
The Annals of Software Engineering |
Note |
Special Issue on Real-Time Software Engineering |
Publisher |
Baltzer Science Publishers |
Volume |
7 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/AnnalsSE99.pdf |
Tag |
Content |
Author |
Brian Nielsen and Gul Agha |
Title |
Semantics for an Actor-Based Real-Time Language |
Booktitle |
4th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS) |
Date |
15--16 |
Month |
April |
Note |
In conjunction with 10th IEEE Int. Parallel Processing Symposium (IPPS), Honolulu, Hawaii, USA. |
Organization |
Naval Surface Warfare Center Dahlgren Division/IEEE |
Pages |
223-228 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/wpdrts96.pdf |
Tag |
Content |
Author |
Brian Nielsen and Shangping Ren and Gul Agha |
Title |
Specification of Real-Time Interaction Constraints |
Booktitle |
1st International Symposium on Object-Oriented Real-Time Distributed Computing |
Date |
20--22 |
Month |
April |
Note |
Kyoto, Japan |
Optisbn |
0-8186-8430-5 |
Organization |
IEEE |
Pages |
206--214 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/ISORC98.pdf |
Tag |
Content |
Author |
Brian Nielsen and Tom Sørensen |
Title |
Distributed Programming with Multiple Tuple Space Linda |
Month |
June |
School |
Aalborg University, Denmark |
URL |
http://www.cs.aau.dk/~bnielsen/Published/Mts-linda.pdf |
Tag |
Content |
Author |
Ed Brinksma and Kim Larsen and Brian Nielsen and Jan Tretmans |
Title |
Systematic Testing of Realtime Embedded Software Systems (STRESS) |
Month |
March |
Note |
Research proposal submitted and accepted by the Dutch Research Council |
URL |
http://www.cs.aau.dk/~bnielsen/Published/STRESS3.pdf |
Tag |
Content |
Author |
Jens Grabowski and Brian Nielsen |
Title |
International workshop on Formal Approaches to Testing of Software |
Address |
Co-located with IEEE Conference on Automates Software Engineering 2004, Linz, Austria. |
Date |
21 |
Editor |
Jens Grabowski and Brian Nielsen |
Month |
September |
Publisher |
Springer Verlag LNCS 3395 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/fates04.pdf |
Tag |
Content |
Author |
Jens. Chr. Godskesen and Brian Nielsen and Arne Skou |
Title |
On the Construction of Connectitity Test Cases in the Setting of UppAal |
Booktitle |
24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE |
Date |
27-30 |
Month |
September |
URL |
http://www.cs.aau.dk/~bnielsen/Published/connectivity.pdf |
Tag |
Content |
Author |
Joseph Sifakis |
Title |
For and European Initiative on Advanced Real-Time in IST (ARTIST), European Union Information Society Technology (IST) 5th framework Network of Excellence |
Date |
27 |
Month |
June |
Note |
Application for a continuation as a 6th framework for a network of excellence is in preparation. |
Tag |
Content |
Author |
Joseph Sifakis |
Title |
Advanced Real-Time in IST-2 (ARTIST2), European Union Information Society Technology (IST) 6th framework Network of Excellence. Application. |
Month |
April |
Tag |
Content |
Author |
Kim G. Larsen and Brian Nielsen |
Title |
ROAD MAP on Hard Real-Time Development Environments W1.A1.N1.Y1 Chapter 4.4.c: Testing Embedded Systems |
Year |
2003 |
Month |
May 6 |
Note |
Road map is publised as a book by Springer Verlag |
Number |
ARTIST IST-2001-34820 |
Pages |
79--83 |
Type |
Year 1 deliverables of Project IST-2001-34820 ARTIST:Advanced Real-Time Systems |
URL |
http://www.artist-embedded.org/ |
Tag |
Content |
Author |
Kim G. Larsen and Brian Nielsen and Marlene Kræmmer Sparre |
Title |
Quasimodo Y1 Management Report |
Editor |
Nielsen, Brian |
Institution |
CISS, Aalborg Universitet |
Tag |
Content |
Author |
Kim G. Larsen and Ulrik Larsen and Brian Nielsen and Arne Skou and Andrzej Wasowski |
Title |
Danfoss EKC Trial Project Deliverables |
Year |
2004 |
Address |
Aalborg, Denmark |
Institution |
Aalborg University and Center of Embedded Software Systems |
Month |
January |
Number |
(Confidential) |
Pages |
1--52 |
Type |
Technical Report |
Tag |
Content |
Author |
Kim Guldstrand Larsen and Shuhao Li and Brian Nielsen and Saulius Pusinskas |
Title |
Verifying Real-Time Systems against Scenario-Based Requirements |
Year |
2009 |
Abstract |
We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA), and a scenario-based requirement is specified as a Live Sequence Chart (LSC). We define a trace-based semantics for a kernel subset of the LSC language. By equivalently translating an LSC chart into an observer TA and then nonintrusively composing this observer with the original system model, the problem of verifying a real-time system against a scenario-based requirement reduces to a classical real-time model checking problem. We show how this is accomplished in the context of the Uppaal model checker. |
Address |
Eindhoven, The Netherlands |
Booktitle |
Proc. 16th International Symposium on Formal Methods (FM'09) |
Ee |
http://dx.doi.org/10.1007/978-3-642-05089-3_43 |
Isbn |
978-3-642-05088-6 |
Month |
November |
Pages |
676-691 |
Publisher |
Springer |
Series |
Lecture Notes in Computer Science |
Volume |
5850 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/fm09_CameraReady_2009.08.04.pdf |
Tag |
Content |
Author |
Kim Guldstrand Larsen and Shuhao Li and Brian Nielsen and Saulius Pusinskas |
Title |
Scenario-Based Verification of Real-Time Systems Using Uppaal |
Year |
2010 |
Abstract |
This article proposes two approaches to tool-supported automatic verification of dense real-time systems against scenario-based requirements, where a system is modeled as a network of timed automata (TAs) or as a set of driving live sequence charts (LSCs), and a requirement is specified as a separate monitored LSC chart. We make timed extensions to a kernel subset of the LSC language and define a trace-based semantics. By translating a monitored LSC chart to a behavior-equivalent observer TA and then non-intrusively composing this observer with the original TAmodeled real-time system, the problems of scenario-based verification reduce to computation tree logic (CTL) real-time model checking problems. When the real-time system is modeled as a set of driving LSC charts, we translate these driving charts and the monitored chart into a behavior-equivalent network of TAs by using a “one- TA-per-instance line” approach, and then reduce the problems of scenario-based verification also to CTL real-time model checking problems. We show how we exploit the expressivity of the TA formalism and the CTL query language of the real-time model checker UPPAAL to accomplish these tasks. The proposed two approaches are implemented in the UPPAAL tool and built as a tool chain, respectively. We carry out a number of experiments with both verification approaches, and the results indicate that these methods are viable, computationally feasible, and the tools are effective. |
Journal |
Formal Methods in Systems Design (FMSD) |
Month |
July |
Publisher |
Springer |
Tag |
Content |
Author |
Kim Guldstrand Larsen and Shuhao Li and Brian Nielsen and Saulius Pusinskas |
Title |
Scenario-Based Analysis and Synthesis of Real-Time Systems Using Uppaal |
Year |
2010 |
Abstract |
We propose an automated, tool-supported approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-object behaviors of a system are modeled as a set of live sequence charts (LSCs), and the scenario-based user requirement is specified as a separate LSC. By translating the set of LSC charts into a behavior-equivalent network of timed automata (TA), we reduce the problems of model consistency checking and property verification to classical CTL real-time model checking problems, and reduce the problem of centralized synthesis for open systems to a timed game solving problem. We implement a prototype LSC-to-TA translator, which can be linked to existing real-time model checker UPPAAL and timed game solver UPPAAL-TIGA. Preliminary experiments on a number of examples show that it is a viable approach. |
Address |
Dresden, Germany |
Booktitle |
Proc. 13th Conf. on Design, Automation and Test in Europe (DATE'10) |
Month |
March |
Publisher |
IEEE |
URL |
http://www.cs.aau.dk/~bnielsen/Published/larsen10date.pdf |
Tag |
Content |
Author |
Kim Larsen and Marius Mikucionis and Brian Nielsen |
Title |
Real-time system testing on-the-fly |
Address |
Åbo Akademi University, Turku, Finland |
Booktitle |
The 15th Nordic Workshop on Programming Theory (NWPT03) |
Date |
29--31 |
Editor |
Kaisa Sere and Marina Walden and Anna Karlsson |
Month |
October |
URL |
http://www.cs.aau.dk/~bnielsen/Published/nwpt.pdf |
Tag |
Content |
Author |
Kim Larsen and Marius Mikucionis and Brian Nielsen |
Title |
Online Testing of Real-time Systems using Uppaal: Status and Future Work |
Address |
Schloss Dagstuhl, D-66687 Wadern, Germany. |
Booktitle |
Dagstuhl Seminar Proceedings volume 04371: Perspectives of Model-Based Testing |
Date |
5-10 |
Editor |
E. Brinksma and W. Grieskamp and J. Tretmans and E. Weyuker |
Month |
September |
Publisher |
IBFI gem. GmbH, Schloss Dagstuhl |
URL |
http://www.cs.aau.dk/~bnielsen/Published/dagstuhl04371.ps,http://drops.dagstuhl.de/portals/04371/ |
Tag |
Content |
Author |
Kim Larsen and Marius Mikucionis and Brian Nielsen |
Title |
Online Testing of Real-time Systems using Uppaal |
Address |
Co-located with IEEE Conference on Automates Software Engineering 2004, Linz, Austria. |
Booktitle |
International workshop on Formal Approaches to Testing of Software |
Date |
21 |
Editor |
Jens Grabowski and Brian Nielsen |
Month |
September |
URL |
http://www.cs.aau.dk/~bnielsen/Published/fates04.pdf |
Tag |
Content |
Author |
Kim Larsen et.al |
Title |
Quantitative methods for model-driven design of embedded Systems: Proposal for Specific Targeted Research Project in IST FP6 |
Month |
October |
Tag |
Content |
Author |
Larsen, Kim G. and Larsen, Ulrik and Nielsen, Brian and Skou, Arne and Wasowski, Andrzej |
Title |
Danfoss EKC Trial Project Deliverables |
Abstract |
This report documents the results of the Danfoss EKC trial project on model based development using IAR visualState. We present a formal state-model of an refrigeration controller based on a specification given by Danfoss. We report results on modeling, verification, simulation, and code-generation. It is found that the IAR visualState is a promising tool for this application domain, but that improvements must be done to code-generation and automatic test generation. |
Note |
53~pp |
Number |
RS-03-48 |
URL |
http://www.brics.dk/RS/03/48/ |
Tag |
Content |
Author |
Larsen, Kim G.\ and Nielsen, Brian and Skou, Arne |
Title |
Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems. Granted EU FP-7 Application |
Editor |
Nielsen, Brian |
Institution |
CISS, Aalborg Universitet |
Tag |
Content |
Author |
Marius Mikucionis and Kim Guldstrand Larsen and Jacob Illum Rasmussen and Brian Nielsen and Arne Skou and Steen Ulrik Palm and Jan Storbank Pedersen and Poul Hougaard |
Title |
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study |
Year |
2010 |
Abstract |
We propose a modeling framework for performing schedula- bility analysis by using Uppaal real-time model-checker [2]. The frame- work is inspired by a case study where schedulability analysis of a satel- lite system is performed. The framework assumes a single CPU hardware where a fixed priority preemptive scheduler is used in a combination with two resource sharing protocols and in addition voluntary task suspension is considered. The contributions include the modeling framework, its ap- plication on an industrial case study and a comparison of results with classical response time analysis. |
Address |
Crete, Greece |
Booktitle |
4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'10) |
Month |
October |
Publisher |
Springer |
URL |
http://www.cs.aau.dk/~bnielsen/Published/ISoLA2010.pdf |
Tag |
Content |
Author |
Mikkel Christensen and Brian Nielsen and Tue Brems Olesen |
Title |
Running eCos on the Simrad 3603 board---Simrad Collaboration Project Status Report |
Year |
2004 |
Address |
Aalborg, Denmark |
Institution |
Aalborg University and Center of Embedded Software Systems |
Month |
January |
Number |
(Confidential) |
Pages |
1--50 |
Type |
Technical Report |
Tag |
Content |
Author |
Mikkel Christiansen and Jesper L. Hagen and Brian Nielsen and Arne Skou and Kristian Q. Skov |
Title |
The Design and Implementation of ZCRP Zero Copying Reliable Protocol |
Year |
1998 |
Address |
Aalborg, Denmark |
Institution |
Aalborg University, Department af Computer Science |
Number |
R-98-5011 |
Type |
Technical Report |
URL |
http://www.cs.aau.dk/~bnielsen/Published/zcrp.pdf |
Tag |
Content |
Author |
Mikucionis, Marius and Larsen, Kim G. and Nielsen, Brian |
Title |
T-Uppaal: Online Model-based Testing of Real-time Systems |
Booktitle |
19th IEEE International Conference on Automated Software Engineering |
Month |
September |
Note |
2~pp |
URL |
http://www.cs.aau.dk/~bnielsen/Published/asetooldemo.pdf |
Tag |
Content |
Author |
Mikucionis, Marius and Larsen, Kim G. and Nielsen, Brian |
Title |
Online On-the-Fly Testing of Real-time Systems |
Abstract |
In this paper we present a framework, an algorithm and a new tool for online testing of real-time systems based on symbolic techniques used in UPPAAL model checker. We extend UPPAAL timed automata network model to a test specification which is used to generate test primitives and to check the correctness of system responses including the timing aspects. We use timed trace inclusion as a conformance relation between system and specification to draw a test verdict. The test generation and execution algorithm is implemented as an extension to UPPAAL and experiments carried out to examine the correctness and performance of the tool. The experiment results are promising |
Keywords |
testing, real-time systems, embedded systems, timed trace inclusion, on-the-fly, online, conformance, UppAal, conformance testing, automated test derivation, test generation and execution, model-based testing, real-time testing, adapter, symbolic constraint solving, infinite state space, state-set estimation |
Note |
14~pp |
Number |
RS-03-49 |
URL |
http://www.brics.dk/RS/03/49/ |
Tag |
Content |
Author |
Mikucionis, Marius and Larsen, Kim G. and Nielsen, Brian and Skou, Arne |
Title |
Testing Real-Time Embedded Software using UppAal-TRON ---an industrial case study |
Booktitle |
Fifth ACM International Conference on Embedded Software (EMSOFT) |
Date |
19-22 |
Month |
September |
Pages |
299-306 |
Publisher |
ACM |
URL |
http://www.cs.aau.dk/~bnielsen/Published/emsoft-long.pdf |
Tag |
Content |
Author |
Morten Vadskær Jensen and Brian Nielsen |
Title |
Real-Time Layered Video Compression using SIMD Computation |
Booktitle |
4th International Conference on Parallel Computation (ACPC 99), LNCS 1557 |
Date |
16--18 |
Editor |
P. Zinterhof and M. Vajtersic and A. Uhl |
Month |
February |
Note |
Special Track on Image Processing, Video Processing and Multimedia |
Organization |
Austrian Center for Parallel Computation |
Pages |
377--387 |
URL |
http://www.cs.aau.dk/~bnielsen/Published/acpc99.pdf |
Tag |
Content |
Author |
Morten Vadskær Jensen and Brian Nielsen |
Title |
Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks |
Year |
1998 |
Address |
Aalborg, Denmark |
Institution |
Aalborg University, Institute for Electronic Systems, Department af Computer Science |
Month |
November |
Number |
R-98-5008 |
Type |
Technical Report |
URL |
http://www.cs.aau.dk/~bnielsen/Published/R-98-5008.pdf |
Tag |
Content |
Author |
Thomas Husfledt and Brian Nielsen and Finn Norman Pedersen and Dao Van The |
Title |
Experiments with Video Communications on ATM-networks |
Year |
1997 |
Address |
Aalborg, Denmark |
Institution |
Aalborg University, Institute for Electronic Systems, Department af Computer Science |
Month |
June |
Note |
LAN and WAN results available at http://www.cs.aau.dk/research/FS/research/atm/index.html |
Number |
R-97-5002 |
Type |
Technical Report |
URL |
http://www.cs.aau.dk/~bnielsen/Published/muarep.pdf |
Tag |
Content |
Author |
Thomas J. Hansen and Brian Nielsen and Jens F.~Dalsgaard Nielsen and Arne Skou. |
Title |
Environments and Paradigms for Development of Reliable Distributed Real-Time Software: An Industrial Oriented Research Project --- Pilot-Project Deliverables |
Year |
1994 |
Address |
Aalborg, Denmark |
Institution |
Aalborg University, Department af Computer Science |
Pages |
1-73 |
Type |
Technical Report |
URL |
http://www.cs.aau.dk/~bnielsen/Published/snf.ps.gz |
Tag |
Content |
Author |
Torben W.~Andersen and Anders Lildballe and Brian Nielsen |
Title |
Wireless IP and Building the Mobile Internet |
Chapter |
18: Handoff Initiation in Mobile IPv6 |
Month |
November |
Note |
ISBN 1-58053-354-X |
Publisher |
Artec House. Sudhir Dixit (Eds.) |
URL |
http://www.cs.aau.dk/~bnielsen/Published/Chapter18a.pdf |
Tag |
Content |
Author |
Torben W.~Andersen and Anders Lildballe and Brian Nielsen |
Title |
Handoff Initiation in Mobile IPv6 |
Address |
Aalborg, Denmark |
Booktitle |
Fourth International Symposium on Wireless Personal Multimedia Communications |
Date |
9--12 |
Month |
September |
URL |
http://www.cs.aau.dk/~bnielsen/Published/wpmc01.pdf |
Generated by the Online BibTeX Converter using Bib2x - The BibTeX Converter