Arne Skou - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 51 from 51

2022

Probabilistic Flexoffers in residential heat pumps considering uncertain weather forecastMichele Albano, Nicola Cibin, Hessam Golmohamadi, Arne Skou. eninf, 5, 2022. [doi]

2021

Web of Things Interoperability for the Arrowhead FrameworkJunior Dongo, Michele Albano, Arne Skou, Brian Nielsen. iecon 2021: 1-6 [doi]

2017

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL StrategoMads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou. BIRTHDAY 2017: 603-622 [doi]

2016

Toolchain for user-centered intelligent floor heating controlMads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou. iecon 2016: 5296-5301 [doi]

Statistical and exact schedulability analysis of hierarchical scheduling systemsAbdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou. SCP, 127:103-130, 2016. [doi]

Modeling and Analysis of Component Faults and ReliabilityThibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou. In Luigia Petre, Emil Sekerinski, editors, From Action Systems to Distributed Systems - The Refinement Approach. pages 45-60, Chapman and Hall/CRC, 2016. [doi]

User constraints for reliable user-defined smart home scenariosThibaut Le Guilly, Michael Nielsen 0003, Thomas Pedersen, Arne Skou, Jesper Kjeldskov, Mikael B. Skov. jrie, 2(2):75-91, 2016. [doi]

ENCOURAGEing results on ICT for energy efficient buildingsThibaut 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: 1-8 [doi]

2015

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic TasksAbdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan. isorc 2015: 74-83 [doi]

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scalingAbdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou. SCP, 113:236-260, 2015. [doi]

Model Checking Feature InteractionsThibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou. ICSOFT 2016: 307-325 [doi]

To Do and Not to Do: Constrained Scenarios for Safe Smart HouseThibaut Le Guilly, Jacob H. Smedegård, Thomas Pedersen, Arne Skou. intenv 2015: 17-24 [doi]

Validating Timed Component ContractsThibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou. euromicro 2015: 245-249 [doi]

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical ContextJin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan. cbse 2015: 91-100 [doi]

A Method for Model Checking Feature InteractionsThomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou. ICSOFT 2015: 219-228 [doi]

2014

2013

The ENCOURAGE ICT architecture for heterogeneous smart gridsMichele Albano, Luis 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, Luis Miguel Pinho, Arne Skou. eurocon 2013: 1383-1390 [doi]

Hierarchical Scheduling Framework Based on Compositional Analysis Using UppaalAbdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou. facs2 2014: 61-78 [doi]

A Toolchain for Home Automation Controller DevelopmentPeter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou. euromicro 2013: 122-129 [doi]

HomePort: Middleware for heterogeneous home automation networksThibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou. percom 2013: 627-633 [doi]

2012

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

An evaluation framework for energy aware buildings using statistical model checkingAlexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou. chinaf, 55(12):2694-2707, 2012. [doi]

2010

2009

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

Semantics for Communicating Actors with Interdependent Real-Time DeadlinesIstvan Knoll, Anders P. Ravn, Arne Skou. tase 2009: 29-35 [doi]

2008

Testing Real-Time Systems Using UPPAALAnders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou. fortest 2008: 77-117 [doi]

2007

Design Verification PatternsJohn Knudsen, Anders P. Ravn, Arne Skou. birthday 2007: 399-413 [doi]

2005

Testing real-time embedded software using UPPAAL-TRON: an industrial case studyKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou. emsoft 2005: 299-306 [doi]

An Algebraic Theory Of Boundary Crossing TransitionsArnab Ray, Rance Cleaveland, Arne Skou. ENTCS, 115:69-88, 2005. [doi]

2004

Connectivity Testing Through Model-CheckingJens Chr. Godskesen, Brian Nielsen, Arne Skou. forte 2004: 167-184 [doi]

2003

2001

Test Generation for Time Critical Systems: Tool and Case StudyBrian Nielsen, Arne Skou. ecrts 2001: 155-162 [doi]

Automated Test Generation from Timed AutomataBrian Nielsen, Arne Skou. TACAS 2001: 343-357 [doi]

2000

Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and AbstractionHenrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou. ftrtft 2000: 19-30 [doi]

Practical Verification of Embedded SoftwareJø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, 33(5):68-75, 2000. [doi]

1999

Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAALKlaus Havelund, Kim Guldstrand Larsen, Arne Skou. arts 1999: 277-298 [doi]

1997

Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAKlaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund. rtss 1997: 2-13 [doi]

1996

Modelling and analysis of a collision avoidance protocol using Spin and UppaalHenrik Ejersbo Jensen, Kim G. Larsen, Arne Skou. dimacs 1997: 33-50

1995

Generality in Design and Compositional Verification Using TAVAnders Børjesson, Kim Guldstrand Larsen, Arne Skou. fmsd, 6(3):239-258, 1995.

1994

Automatic verification of real-tim systems using epsilonJens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou. pstv 1995: 323-330

1992

Generality in design and compositional verification using TAVAnders Børjesson, Kim Guldstrand Larsen, Arne Skou. forte 1993: 449-464

Compositional Verification of Probabilistic ProcessesKim Guldstrand Larsen, Arne Skou. concur 1992: 456-471

1991

Bisimulation through Probabilistic TestingKim Guldstrand Larsen, Arne Skou. iandc, 94(1):1-28, September 1991.

1989

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

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Arne Skou'

Viewing Publication 1 - 51 from 51

2022

2021

2017

2016

2015

2014

2013

2012

2010

2009

2008

2007

2005

2004

2003

2001

2000

1999

1997

1996

1995

1994

1992

1991

1989

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Arne Skou'

Viewing Publication 1 - 51 from 51

2022

2021

2017

2016

2015

2014

2013

2012

2010

2009

2008

2007

2005

2004

2003

2001

2000

1999

1997

1996

1995

1994

1992

1991

1989

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1