Arne Skou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
15
Active years
1989–2021
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | IECON | Web of Things Interoperability for the Arrowhead Framework. | Junior Dongo, Michele Albano, Arne Skou, Brian Nielsen |
| 2016 | ETFA | ENCOURAGEing results on ICT for energy efficient buildings. | Thibaut Le Guilly, Arne Skou, Petur Olsen, Per Printz Madsen, Michele Albano, Luis Lino Ferreira, Lus Miguel Pinho, Keld Pedersen, Miquel Casals, Marcel Macarulla, Marta Gangolells |
| 2016 | IECON | Toolchain for user-centered intelligent floor heating control. | Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muiz, Petur Olsen, Thomas Pedersen, Jir Srba, Arne Skou |
| 2015 | ICSoft | Model Checking Feature Interactions. | Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou |
| 2015 | ICSoft | A Method for Model Checking Feature Interactions. | Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou |
| 2015 | ISORC | 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 |
| 2014 | ETFA | Arrowhead compliant virtual market of energy. | Luis Lino Ferreira, Laurynas Siksnys, Per Pedersen, Petr Stluka, Christos Chrysoulas, Thibaut Le Guilly, Michele Albano, Arne Skou, Csar Teixeira, Torben Bach Pedersen |
| 2014 | TASE | 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 |
| 2013 | PERCOM | HomePort: Middleware for heterogeneous home automation networks. | Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou |
| 2010 | ISoLA | 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 |
| 2009 | FM | Model-Based GUI Testing Using Uppaal at Novo Nordisk. | Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou |
| 2009 | TASE | Semantics for Communicating Actors with Interdependent Real-Time Deadlines. | Istvan Knoll, Anders P. Ravn, Arne Skou |
| 2005 | EMSOFT | Testing real-time embedded software using UPPAAL-TRON: an industrial case study. | Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou |
| 2004 | FORTE | Connectivity Testing Through Model-Checking. | Jens Chr. Godskesen, Brian Nielsen, Arne Skou |
| 2001 | ECRTS | Test Generation for Time Critical Systems: Tool and Case Study. | Brian Nielsen, Arne Skou |
| 2001 | TACAS | Automated Test Generation from Timed Automata. | Brian Nielsen, Arne Skou |
| 1997 | RTSS | Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. | Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund |
| 1992 | CONCUR | Compositional Verification of Probabilistic Processes. | Kim Guldstrand Larsen, Arne Skou |
| 1992 | FORTE | Generality in design and compositional verification using TAV. | Anders Brjesson, Kim Guldstrand Larsen, Arne Skou |
| 1989 | POPL | Bisimulation Through Probabilistic Testing. | Kim Guldstrand Larsen, Arne Skou |