Bisimulation through Probabilistic Testing - Kim Guldstrand Larsen; Arne Skou (Inf. Comput., 1991)

Compositional Verification of Probabilistic Processes. - Kim Guldstrand Larsen; Arne Skou (CONCUR, 1992)

Automatic verification of real-tim systems using epsilon. - Jens Chr. Godskesen; Kim Guldstrand Larsen; Arne Skou (PSTV, 1994)

Generality in Design and Compositional Verification Using TAV. - Anders Børjesson; Kim Guldstrand Larsen; Arne Skou (Formal Methods Syst. Des., 1995)

Modelling and analysis of a collision avoidance protocol using Spin and Uppaal. - Henrik Ejersbo Jensen; Kim G. Larsen; Arne Skou (The Spin Verification System, 1996)

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

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

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

Practical Verification of Embedded Software. - 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 (Computer, 2000)

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

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

Time-Optimal Test Cases for Real-Time Systems. - Anders Hessel; Kim Guldstrand Larsen; Brian Nielsen; Paul Pettersson; Arne Skou (FORMATS, 2003)

Automated test generation from timed automata. - Brian Nielsen; Arne Skou (Int. J. Softw. Tools Technol. Transf., 2003)

Connectivity Testing Through Model-Checking. - Jens Chr. Godskesen; Brian Nielsen; Arne Skou (FORTE, 2004)

An Algebraic Theory Of Boundary Crossing Transitions. - Arnab Ray; Rance Cleaveland; Arne Skou (SFEDL@ETAPS, 2004)

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

Design Verification Patterns. - John Knudsen; Anders P. Ravn; Arne Skou (Formal Methods and Hybrid Real-Time Systems, 2007)

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

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

Semantics for Communicating Actors with Interdependent Real-Time Deadlines. - Istvan Knoll; Anders P. Ravn; Arne Skou (TASE, 2009)

The HomePort System. - Jeppe Brønsted; Per Printz Madsen; Arne Skou; Rune Torbensen (CCNC, 2010)

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

Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. - Petur Olsen; Kim G. Larsen; Arne Skou (MBT@ETAPS, 2010)

An evaluation framework for energy aware buildings using statistical model checking. - Alexandre David; Dehui Du; Kim G. Larsen; Marius Mikucionis; Arne Skou (Sci. China Inf. Sci., 2012)

Compositional verification of real-time systems using Ecdar. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Mikael H. Møller; Ulrik Nyman; Anders P. Ravn; Arne Skou; Andrzej Wasowski (Int. J. Softw. Tools Technol. Transf., 2012)

The ENCOURAGE ICT architecture for heterogeneous smart grids. - Michele Albano; Luis Lino Ferreira; Thibaut Le Guilly; Manuel Ramiro; J. Eduardo Faria; Lara Perez Duenas; Rodrigo Ferreira; Earl Gaylard; David Jorquera Cubas; Eammon Roarke; Daniel Lux; Sandra Scalari; et al. (EUROCON, 2013)

A Toolchain for Home Automation Controller Development. - Peter H. Dalsgaard; Thibaut Le Guilly; Daniel Middelhede; Petur Olsen; Thomas Pedersen; Anders P. Ravn; Arne Skou (EUROMICRO-SEAA, 2013)

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim Guldstrand Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (FACS, 2013)

HomePort: Middleware for heterogeneous home automation networks. - Thibaut Le Guilly; Petur Olsen; Anders P. Ravn; Jesper Brix Rosenkilde; Arne Skou (PerCom Workshops, 2013)

Arrowhead compliant virtual market of energy. - Luis Lino Ferreira; Laurynas Siksnys; Per Pedersen; Petr Stluka; Christos Chrysoulas; Thibaut Le Guilly; Michele Albano; Arne Skou; César Teixeira; Torben Bach Pedersen (ETFA, 2014)

Widening the Schedulability of Hierarchical Scheduling Systems. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim Guldstrand Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (FACS, 2014)

Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (TASE, 2014)

INTrEPID: A project on energy optimization in buildings. - Thomas Pedersen; Anders P. Ravn; Arne Skou (VITAE, 2014)

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. - Jin Hyun Kim; Abdeldjalil Boudjadar; Ulrik Nyman; Marius Mikucionis; Kim G. Larsen; Arne Skou; Insup Lee 001; Linh Thi Xuan Phan (CBSE, 2015)

Validating Timed Component Contracts. - Thibaut Le Guilly; Shaoying Liu; Petur Olsen; Anders P. Ravn; Arne Skou (EUROMICRO-SEAA, 2015)

Model Checking Feature Interactions. - Thibaut Le Guilly; Petur Olsen; Thomas Pedersen; Anders P. Ravn; Arne Skou (ICSOFT (Selected Papers), 2015)

A Method for Model Checking Feature Interactions. - Thomas Pedersen; Thibaut Le Guilly; Anders P. Ravn; Arne Skou (ICSOFT-EA, 2015)

To Do and Not to Do: Constrained Scenarios for Safe Smart House. - Thibaut Le Guilly; Jacob H. Smedegård; Thomas Pedersen; Arne Skou (Intelligent Environments, 2015)

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. - Abdeldjalil Boudjadar; Jin Hyun Kim; Alexandre David; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou; Insup Lee 001; Linh Thi Xuan Phan (ISORC, 2015)

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (Sci. Comput. Program., 2015)

Modeling and Analysis of Component Faults and Reliability. - Thibaut Le Guilly; Petur Olsen; Anders P. Ravn; Arne Skou (From Action Systems to Distributed Systems, 2016)

ENCOURAGEing results on ICT for energy efficient buildings. - Thibaut Le Guilly; Arne Skou; Petur Olsen; Per Printz Madsen; Michele Albano; Luis Lino Ferreira; Luís Miguel Pinho; Keld Pedersen; Miquel Casals; Marcel Macarulla; Marta Gangolells (ETFA, 2016)

Toolchain for user-centered intelligent floor heating control. - Mads Kronborg Agesen; Kim Guldstrand Larsen; Marius Mikucionis; Marco Muñiz; Petur Olsen; Thomas Pedersen; Jirí Srba; Arne Skou (IECON, 2016)

User constraints for reliable user-defined smart home scenarios. - Thibaut Le Guilly; Michael Nielsen 003; Thomas Pedersen; Arne Skou; Jesper Kjeldskov; Mikael B. Skov (J. Reliab. Intell. Environ., 2016)

Statistical and exact schedulability analysis of hierarchical scheduling systems. - Abdeldjalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou (Sci. Comput. Program., 2016)

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego. - Mads Kronborg Agesen; Søren Enevoldsen; Thibaut Le Guilly; Anders Mariegaard; Petur Olsen; Arne Skou (Models, Algorithms, Logics and Tools, 2017)

Web of Things Interoperability for the Arrowhead Framework. - Junior Dongo; Michele Albano; Arne Skou; Brian Nielsen (IECON, 2021)

Probabilistic Flexoffers in residential heat pumps considering uncertain weather forecast. - Michele Albano; Nicola Cibin; Hessam Golmohamadi; Arne Skou (Energy Inform., 2022)