Arne Skou

According to our database, Arne Skou authored at least 48 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Probabilistic Flexoffers in residential heat pumps considering uncertain weather forecast.

Michele Albano, Nicola Cibin, Hessam Golmohamadi, Arne Skou

Energy Inform., 2022

2021

Web of Things Interoperability for the Arrowhead Framework.

Junior Dongo, Michele Albano, Arne Skou, Brian Nielsen

Proceedings of the IECON 2021, 2021

2017

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

Proceedings of the Models, Algorithms, Logics and Tools, 2017

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

User constraints for reliable user-defined smart home scenarios.

Thibaut Le Guilly, Michael Nielsen, Thomas Pedersen, Arne Skou, Jesper Kjeldskov, Mikael B. Skov

J. Reliab. Intell. Environ., 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

Proceedings of the IECON 2016, 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

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Modeling and Analysis of Component Faults and Reliability.

Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

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

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, Linh Thi Xuan Phan

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

To Do and Not to Do: Constrained Scenarios for Safe Smart House.

Thibaut Le Guilly, Jacob H. Smedegård, Thomas Pedersen, Arne Skou

Proceedings of the 2015 International Conference on Intelligent Environments, 2015

A Method for Model Checking Feature Interactions.

Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou

Proceedings of the ICSOFT-EA 2015, 2015

Model Checking Feature Interactions.

Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Validating Timed Component Contracts.

Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

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, Linh Thi Xuan Phan

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2014

INTrEPID: A project on energy optimization in buildings.

Thomas Pedersen, Anders P. Ravn, Arne Skou

Proceedings of the 4th International Conference on Wireless Communications, 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

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Widening the Schedulability of Hierarchical Scheduling Systems.

Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

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

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

HomePort: Middleware for heterogeneous home automation networks.

Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 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

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 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

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

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, Susanne Majlund Sorensen, Marta Gangolells, Luís Miguel Pinho, Arne Skou

Proceedings of Eurocon 2013, 2013

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

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

2010

Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases.

Petur Olsen, Kim G. Larsen, Arne Skou

Proceedings of the Sixth Workshop on Model-Based Testing, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

The HomePort System.

Jeppe Brønsted, Per Printz Madsen, Arne Skou, Rune Torbensen

Proceedings of the 7th IEEE Consumer Communications and Networking Conference, 2010

2009

Semantics for Communicating Actors with Interdependent Real-Time Deadlines.

Istvan Knoll, Anders P. Ravn, Arne Skou

Proceedings of the TASE 2009, 2009

Model-Based GUI Testing Using Uppaal at Novo Nordisk.

Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou

Proceedings of the FM 2009: Formal Methods, 2009

2008

Testing Real-Time Systems Using UPPAAL.

Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou

Proceedings of the Formal Methods and Testing, 2008

2007

Design Verification Patterns.

John Knudsen, Anders P. Ravn, Arne Skou

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2005

Testing real-time embedded software using UPPAAL-TRON: an industrial case study.

Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou

Proceedings of the EMSOFT 2005, 2005

2004

An Algebraic Theory Of Boundary Crossing Transitions.

Arnab Ray, Rance Cleaveland, Arne Skou

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Connectivity Testing Through Model-Checking.

Jens Chr. Godskesen, Brian Nielsen, Arne Skou

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Automated test generation from timed automata.

Brian Nielsen, Arne Skou

Int. J. Softw. Tools Technol. Transf., 2003

Time-Optimal Test Cases for Real-Time Systems.

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Time-Optimal Real-Time Test Case Generation Using Uppaal.

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou

Proceedings of the Formal Approaches to Software Testing, 2003

2001

Test Generation for Time Critical Systems: Tool and Case Study.

Brian Nielsen, Arne Skou

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

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

Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction.

Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL.

Klaus Havelund, Kim Guldstrand Larsen, Arne Skou

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1997

Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL.

Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

1996

Modelling and analysis of a collision avoidance protocol using Spin and Uppaal.

Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou

Proceedings of the Spin Verification System, 1996

1995

Generality in Design and Compositional Verification Using TAV.

Anders Børjesson, Kim Guldstrand Larsen, Arne Skou

Formal Methods Syst. Des., 1995

1994

Automatic verification of real-tim systems using epsilon.

Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou

Proceedings of the Protocol Specification, 1994

1992

Compositional Verification of Probabilistic Processes.

Kim Guldstrand Larsen, Arne Skou

Proceedings of the CONCUR '92, 1992

1991

Bisimulation through Probabilistic Testing

Kim Guldstrand Larsen, Arne Skou

Inf. Comput., September, 1991