The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Brian Nielsen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002