Arne Skou

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 7

Top Topics

Feature Interactions

Energy Consumption

Home Automation

Uncertain Data Streams

Top Venues

Sci. Comput. Program.

Publications

Michele Albano, Nicola Cibin, Hessam Golmohamadi, Arne Skou
Probabilistic Flexoffers in residential heat pumps considering uncertain weather forecast. Energy Inform. 5 (2022)
Junior Dongo, Michele Albano, Arne Skou, Brian Nielsen
Web of Things Interoperability for the Arrowhead Framework. IECON (2021)
Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego. Models, Algorithms, Logics and Tools (2017)
Thibaut Le Guilly, Michael Nielsen, Thomas Pedersen, Arne Skou, Jesper Kjeldskov, Mikael B. Skov
User constraints for reliable user-defined smart home scenarios. J. Reliab. Intell. Environ. 2 (2) (2016)
Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou
Toolchain for user-centered intelligent floor heating control. IECON (2016)
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
ENCOURAGEing results on ICT for energy efficient buildings. ETFA (2016)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Statistical and exact schedulability analysis of hierarchical scheduling systems. Sci. Comput. Program. 127 (2016)
Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou
A Method for Model Checking Feature Interactions. ICSOFT-EA (2015)
Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou
Validating Timed Component Contracts. EUROMICRO-SEAA (2015)
Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
Model Checking Feature Interactions. ICSOFT (Selected Papers) (2015)
Thibaut Le Guilly, Jacob H. Smedegård, Thomas Pedersen, Arne Skou
To Do and Not to Do: Constrained Scenarios for Safe Smart House. Intelligent Environments (2015)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Sci. Comput. Program. 113 (2015)
Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC (2015)
Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE (2015)
Luis Lino Ferreira, Laurynas Siksnys, Per Pedersen, Petr Stluka, Christos Chrysoulas, Thibaut Le Guilly, Michele Albano, Arne Skou, César Teixeira, Torben Bach Pedersen
Arrowhead compliant virtual market of energy. ETFA (2014)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. TASE (2014)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Widening the Schedulability of Hierarchical Scheduling Systems. FACS (2014)
Thomas Pedersen, Anders P. Ravn, Arne Skou
INTrEPID: A project on energy optimization in buildings. VITAE (2014)
Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
A Toolchain for Home Automation Controller Development. EUROMICRO-SEAA (2013)
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, Susanne Majlund Sorensen, Marta Gangolells, Luís Miguel Pinho, Arne Skou
The ENCOURAGE ICT architecture for heterogeneous smart grids. EUROCON (2013)
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. FACS (2013)
Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou
HomePort: Middleware for heterogeneous home automation networks. PerCom Workshops (2013)
Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou
An evaluation framework for energy aware buildings using statistical model checking. Sci. China Inf. Sci. 55 (12) (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. Int. J. Softw. Tools Technol. Transf. 14 (6) (2012)
Jeppe Brønsted, Per Printz Madsen, Arne Skou, Rune Torbensen
The HomePort System. CCNC (2010)
Petur Olsen, Kim G. Larsen, Arne Skou
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. Electron. Notes Theor. Comput. Sci. 264 (3) (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)
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)
Istvan Knoll, Anders P. Ravn, Arne Skou
Semantics for Communicating Actors with Interdependent Real-Time Deadlines. TASE (2009)
Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou
Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing (2008)
John Knudsen, Anders P. Ravn, Arne Skou
Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems (2007)
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou
Testing real-time embedded software using UPPAAL-TRON: an industrial case study. EMSOFT (2005)
Arnab Ray, Rance Cleaveland, Arne Skou
An Algebraic Theory Of Boundary Crossing Transitions. Electron. Notes Theor. Comput. Sci. 115 (2005)
Jens Chr. Godskesen, Brian Nielsen, Arne Skou
Connectivity Testing Through Model-Checking. FORTE (2004)
Brian Nielsen, Arne Skou
Automated test generation from timed automata. Int. J. Softw. Tools Technol. Transf. 5 (1) (2003)
Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
Time-Optimal Test Cases for Real-Time Systems. FORMATS (2003)
Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES (2003)
Brian Nielsen, Arne Skou
Test Generation for Time Critical Systems: Tool and Case Study. ECRTS (2001)
Brian Nielsen, Arne Skou
Automated Test Generation from Timed Automata. TACAS (2001)
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. Computer 33 (5) (2000)
Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. FTRTFT (2000)
Klaus Havelund, Kim Guldstrand Larsen, Arne Skou
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS (1999)
Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. RTSS (1997)
Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou
Modelling and analysis of a collision avoidance protocol using Spin and Uppaal. The Spin Verification System (1996)
Anders Børjesson, Kim Guldstrand Larsen, Arne Skou
Generality in Design and Compositional Verification Using TAV. Formal Methods Syst. Des. 6 (3) (1995)
Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou
Automatic verification of real-tim systems using epsilon. PSTV (1994)
Kim Guldstrand Larsen, Arne Skou
Compositional Verification of Probabilistic Processes. CONCUR (1992)
Anders Børjesson, Kim Guldstrand Larsen, Arne Skou
Generality in design and compositional verification using TAV. FORTE (1992)
Kim Guldstrand Larsen, Arne Skou
Bisimulation through Probabilistic Testing Inf. Comput. 94 (1) (1991)
Kim Guldstrand Larsen, Arne Skou
Bisimulation Through Probabilistic Testing. POPL (1989)