Search the dblp DataBase

Publications of Author

1. Morten Vadskær Jensen, Brian Nielsen
   Real-Time Layered Video Compression Using SIMD Computation. [Citation Graph (0, 0)][DBLP]
   ACPC, 1999, pp:377-387 [Conf]
   
2. Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
   Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. [Citation Graph (0, 0)][DBLP]
   Perspectives of Model-Based Testing, 2004, pp:- [Conf]
   
3. Brian Nielsen, Arne Skou
   Test Generation for Time Critical Systems: Tool and Case Study. [Citation Graph (0, 0)][DBLP]
   ECRTS, 2001, pp:155-162 [Conf]
   
4. Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou
   Testing real-time embedded software using UPPAAL-TRON: an industrial case study. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:299-306 [Conf]
   
5. Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
   Time-Optimal Real-Time Test Case Generation Using Uppaal. [Citation Graph (0, 0)][DBLP]
   FATES, 2003, pp:114-130 [Conf]
   
6. Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
   Online Testing of Real-time Systems Using Uppaal. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:79-94 [Conf]
   
7. Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
   Time-Optimal Test Cases for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2003, pp:234-245 [Conf]
   
8. Jens Chr. Godskesen, Brian Nielsen, Arne Skou
   Connectivity Testing Through Model-Checking. [Citation Graph (0, 0)][DBLP]
   FORTE, 2004, pp:167-184 [Conf]
   
9. Brian Nielsen, Shangping Ren, Gul Agha
   Specification of Real-Time Interaction Constraints. [Citation Graph (0, 0)][DBLP]
   ISORC, 1998, pp:206-214 [Conf]
   
10. Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen
    T-UPPAAL: Online Model-based Testing of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:396-397 [Conf]
    
11. Brian Nielsen, Arne Skou
    Automated Test Generation from Timed Automata. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:343-357 [Conf]
    
12. Brian Nielsen, Gul Agha
    Towards Reusable Real-Time Objects. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:257-282 [Journal]
    
13. Brian Nielsen, Arne Skou
    Automated test generation from timed automata. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:59-77 [Journal]
    
14. 
    A Game-Theoretic Approach to Real-Time System Testing. [Citation Graph (, )][DBLP]
    
    
15. 
    Scenario-based analysis and synthesis of real-time systems using uppaal. [Citation Graph (, )][DBLP]
    
    
16. 
    Verifying Real-Time Systems against Scenario-Based Requirements. [Citation Graph (, )][DBLP]
    
    
17. 
    Testing Real-Time Systems Using UPPAAL. [Citation Graph (, )][DBLP]
    
    
18. 
    Timed Testing under Partial Observability. [Citation Graph (, )][DBLP]
    
    
19. 
    Cooperative Testing of Timed Systems. [Citation Graph (, )][DBLP]