The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arne Skou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Klaus Havelund, Kim Guldstrand Larsen, Arne Skou
    Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:277-298 [Conf]
  2. Kim Guldstrand Larsen, Arne Skou
    Compositional Verification of Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:456-471 [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. 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]
  7. Anders Børjesson, Kim Guldstrand Larsen, Arne Skou
    Generality in design and compositional verification using TAV. [Citation Graph (0, 0)][DBLP]
    FORTE, 1992, pp:449-464 [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. Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou
    Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:19-30 [Conf]
  10. Kim Guldstrand Larsen, Arne Skou
    Bisimulation Through Probabilistic Testing. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:344-352 [Conf]
  11. Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou
    Automatic verification of real-tim systems using epsilon. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:323-330 [Conf]
  12. Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund
    Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1997, pp:2-13 [Conf]
  13. Brian Nielsen, Arne Skou
    Automated Test Generation from Timed Automata. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:343-357 [Conf]
  14. Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard
    Practical Verification of Embedded Software. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:5, pp:68-75 [Journal]
  15. Arnab Ray, Rance Cleaveland, Arne Skou
    An Algebraic Theory Of Boundary Crossing Transitions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:69-88 [Journal]
  16. Anders Børjesson, Kim Guldstrand Larsen, Arne Skou
    Generality in Design and Compositional Verification Using TAV. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:6, n:3, pp:239-258 [Journal]
  17. Kim Guldstrand Larsen, Arne Skou
    Bisimulation through Probabilistic Testing [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:94, n:1, pp:1-28 [Journal]
  18. 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]
  19. John Knudsen, Anders P. Ravn, Arne Skou
    Design Verification Patterns. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:399-413 [Conf]

  20. Model-Based GUI Testing Using Uppaal at Novo Nordisk. [Citation Graph (, )][DBLP]


  21. Semantics for Communicating Actors with Interdependent Real-Time Deadlines. [Citation Graph (, )][DBLP]


  22. Testing Real-Time Systems Using UPPAAL. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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