Arne Skou

Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou: An evaluation framework for energy aware buildings using statistical model checking. SCIENCE CHINA Information Sciences 55(12): 2694-2707 (2012)

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski: Compositional verification of real-time systems using Ecdar. STTT 14(6): 703-720 (2012)

Petur Olsen, Kim G. Larsen, Arne Skou: Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. Electr. Notes Theor. Comput. Sci. 264(3): 53-68 (2010)

Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard: Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. ISoLA (2) 2010: 175-190

Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou: Model-Based GUI Testing Using Uppaal at Novo Nordisk. FM 2009: 814-818

Istvan Knoll, Anders P. Ravn, Arne Skou: Semantics for Communicating Actors with Interdependent Real-Time Deadlines. TASE 2009: 29-35

Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou: Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing 2008: 77-117

John Knudsen, Anders P. Ravn, Arne Skou: Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems 2007: 399-413

Arnab Ray, Rance Cleaveland, Arne Skou: An Algebraic Theory Of Boundary Crossing Transitions. Electr. Notes Theor. Comput. Sci. 115: 69-88 (2005)

Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou: Testing real-time embedded software using UPPAAL-TRON: an industrial case study. EMSOFT 2005: 299-306

Jens Chr. Godskesen, Brian Nielsen, Arne Skou: Connectivity Testing Through Model-Checking. FORTE 2004: 167-184

Brian Nielsen, Arne Skou: Automated test generation from timed automata. STTT 5(1): 59-77 (2003)

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245

Brian Nielsen, Arne Skou: Test Generation for Time Critical Systems: Tool and Case Study. ECRTS 2001: 155-162

Brian Nielsen, Arne Skou: Automated Test Generation from Timed Automata. TACAS 2001: 343-357

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. IEEE Computer 33(5): 68-75 (2000)

Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou: Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. FTRTFT 2000: 19-30

Klaus Havelund, Kim Guldstrand Larsen, Arne Skou: Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298

Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund: Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. RTSS 1997: 2-13

Anders Børjesson, Kim Guldstrand Larsen, Arne Skou: Generality in Design and Compositional Verification Using TAV. Formal Methods in System Design 6(3): 239-258 (1995)

Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou: Automatic verification of real-tim systems using epsilon. PSTV 1994: 323-330

Kim Guldstrand Larsen, Arne Skou: Compositional Verification of Probabilistic Processes. CONCUR 1992: 456-471

Anders Børjesson, Kim Guldstrand Larsen, Arne Skou: Generality in design and compositional verification using TAV. FORTE 1992: 449-464

Kim Guldstrand Larsen, Arne Skou (Eds.): Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Lecture Notes in Computer Science 575, Springer 1992, isbn 3-540-55179-4

Kim Guldstrand Larsen, Arne Skou: Bisimulation through Probabilistic Testing. Inf. Comput. 94(1): 1-28 (1991)

Kim Guldstrand Larsen, Arne Skou: Bisimulation Through Probabilistic Testing. POPL 1989: 344-352