Arne Skou

Research output

Research output per year 1989 1995 2014 2015 2016 2023

• 39 Article in proceeding
• 14 Journal article
• 11 Book
• 8 Book chapter
• 7 More
  • 3 Conference article in Journal
  • 2 Report
  • 2 Working paper

Research output per year

Research output per year

Search results

• 2023

  Machine learning-based algorithms to estimate thermal dynamics of residential buildings with energy flexibility

  Cibin, N., Tibo, A., Golmohamadi, H., Skou, A. & Albano, M., 15 Apr 2023, In: Journal of Building Engineering . 65, 8, 105683.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  • Algorithm 100%
  • Residential Building 100%
  • Thermal Characteristic 100%
  • Energy Flexibility 100%
  • Stochastic Model 75%
• 2022

  Probabilistic FlexOffers in Residential Heat Pumps Considering Uncertain Weather Forecast

  Albano, M., Cibin, N., Golmohamadi, H. & Skou, A., 24 Aug 2022, In: Energy Informatics. 5, Suppl. 4, 20 p., 64.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Energy Engineering 100%
  • Generates 100%
  • Model Building 66%
  • Stochastic Model 33%
  • Thermal Comfort 33%
  1 Citation (Scopus)

  3 Downloads (Pure)
• 2021

  Web of Things Interoperability for the Arrowhead Framework

  Dongo, J., Albano, M., Skou, A. & Nielsen, B., 13 Oct 2021, IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 1-6 6 p. 9589941. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Interoperability 100%
  • Internet of Things 80%
  • Standards 40%
  • Domains 40%
  • Automation 40%
• 2017

  Application system design - energy optimisation

  Albano, M., Castineira, R., Desdouits, C., Ferreira, L. L., Le Guilly, T., Isasa, I., Jokinen, J., Kondratjevs, K., Kunicina, N., Manero, L., Milo, A., Monge, J., Le Pape, C., Pedersen, P. D., Pedersen, T. B., Olsen, P., Siksnys, L., Skou, A. J., Smid, R., Socorro, R., & 2 othersStluka, P. & Zabasta, A., 6 Feb 2017, IoT Automation: Arrowhead Framework. Delsing, J. (ed.). CRC Press, p. 211-247 36 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  1 Citation (Scopus)

• Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego

  Agesen, M. K., Enevoldsen, S., Le Guilly, T., Mariegaard, A., Olsen, P. & Skou, A. J., 19 Aug 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, p. 603-622 (Lecture Notes in Computer Science, Vol. 10460).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
• 2016

  ENCOURAGEing results on ICT for energy efficient buildings

  Le Guilly, T., Skou, A. J., Olsen, P., Madsen, P. P., Albano, M., Ferreira, L. L., Pinho, L. M., Pedersen, K. L., Casals, M., Macarulla, M. & Gongolells, M., 2016, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference. IEEE, 8 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Buildings 100%
  • Project 100%
  • Middleware 100%
  • Energy Efficient 100%
  • Energy Saving in Building 100%
  2 Citations (Scopus)

• Model Checking Feature Interactions

  Le Guilly, T., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A. J., 2016, Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Lorenz, P., Cardoso, J., Maciaszek, L. A. & van Sinderen, M. (eds.). Springer, p. 307-325 (Communications in Computer and Information Science, Vol. 586).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Feature Interaction 100%
  • Model Checking 100%
  • Models 100%
  • Timed Automaton 25%
  • Use Case 25%

• Modeling and Analysis of Component Faults and Reliability

  Le Guilly, T., Olsen, P., Ravn, A. P. & Skou, A. J., May 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (eds.). CRC Press, p. 45-60 (Computational Science Series).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Modeling 100%
  • Models 100%
  • State Space 25%
  • Reactive System 25%
  • Timed Automaton 25%

• Preliminary Report: Controller Prototyping and Validation for Photo-Voltaic Comfort Cooling

  Agesen, M. K., Skou, A. J. & Pedersen, K. L., 2016, CLIMA 2016 : proceedings of the 12th REHVA World Congress, 22-25 May 2016, Aalborg, Denmark. Heiselberg, P. K. (ed.). Department of Civil Engineering, Aalborg University, 9 p. 691

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  Open Access

  • Office Buildings 100%
  • Energy Engineering 100%
  • Validation 100%
  • Electrical Grid 50%
  • Ventilation System 50%

• Statistical and exact schedulability analysis of hierarchical scheduling systems

  Boudjadar, A., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 27 May 2016, In: Science of Computer Programming. 127, p. 103-130 28 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  File

  • Schedulability Analysis 100%
  • Resource Model 100%
  • Scheduling 100%
  • Models 83%
  • Multicore 66%
  17 Citations (Scopus)

  268 Downloads (Pure)

• Toolchain for User-Centered Intelligent Floor Heating Control

  Agesen, M. K., Larsen, K. G., Mikučionis, M., Muniz, M., Olsen, P., Pedersen, T., Srba, J. & Skou, A. J., 2016, IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5296-5301 6 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Floors 100%
  • Heating 100%
  • Control 100%
  • User 100%
  • Heating System 50%
  6 Citations (Scopus)

• Towards a Smart City: Recommendations on smart specialization within embedded systems for smart cities

  Thiel, C., Murillo, C., De Colvenaer, M., Skou, A. J., Nielsen, P. A. & Nielsen, A. B., 31 Aug 2016, 24 p.

  Research output: Book/Report › Report › Research

  Open Access

• User constraints for reliable user-defined smart home scenarios

  Le Guilly, T., Nielsen, M. K., Pedersen, T., Skou, A. J., Kjeldskov, J. & Skov, M., Jul 2016, In: Journal of Reliable Intelligent Environments. 2, 2, p. 75-91 17 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • User 100%
  • Control 28%
  • Specifications 28%
  • Timed Automaton 14%
  • Usability 14%
  13 Citations (Scopus)
• 2015

  A Method for Model Checking Feature Interactions

  Pedersen, T., Le Guilly, T., Ravn, A. P. & Skou, A. J., Jul 2015, Proceedings of the 10th International Conference on Software Engineering and Applications. Lorenz, P. & Maciaszek, L. (eds.). SCITEPRESS Digital Library, p. 219-228 10 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Feature Interaction 100%
  • Model Checking 100%
  • Reactive System 50%
  • Timed Automaton 50%
  • Home Automation 50%
  5 Citations (Scopus)

• An Energy Flexibility Framework on the Internet of Things

  Le Guilly, T., Siksnys, L., Albano, M., Pedersen, P. D., Stluka, P., Ferreira, L. L., Skou, A. J., Pedersen, T. B. & Olsen, P., 2015, The Success of European Projects using New Information and Communication Technologies. SCITEPRESS Digital Library, p. 17-37

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Internet-Of-Things 100%
  • Production 100%
  • Flexibility 100%
  • Smart Grid 100%
  • Internet of Things 100%

• A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling

  Boudjadar, A., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. M. & Skou, A. J., 1 Dec 2015, In: Science of Computer Programming. 113, 3, p. 236–260 24 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File
  7 Citations (Scopus)

  334 Downloads (Pure)

• Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks

  Boudjadar, J., Kim, J. H., David, A., Larsen, K. G., Mikucionis, M., Nyman, U., Skou, A., Lee, I. & Thi Xuan Phan, L., 2015, 18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015. IEEE, p. 74-83 (International Symposium on Object-Oriented Real-Time Distributed Computing).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  File
  2 Citations (Scopus)

  554 Downloads (Pure)

• Intermediate Joint Action Plan, D4.2

  Adrians, G., De Colvenaer, M., Murillo, C., Nielsen, P. A., Nøhr, B., Skou, A. J., Urtiaga, C., Thiel, C. & Aaen, I., 30 Apr 2015

  Research output: Book/Report › Book › Research

  Open Access

• Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context

  Kim, J. H., Boudjadar, J., Nyman, U., Mikucionis, M., Larsen, K. G., Skou, A., Lee, I. & Thi Xuan Phan, L., 4 May 2015, CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery, p. 91-100

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  File
  7 Citations (Scopus)

  497 Downloads (Pure)

• To Do and Not To Do: Constrained Scenarios for Safe Smart House

  Le Guilly, T., Smedegaard, J. H., Pedersen, T. & Skou, A. J., Jul 2015, International Conference on Intelligent Environments (IE), 2015. IEEE, p. 17-24 8 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Complex System 100%
  • Timed Automaton 100%
  • Graphical User Interface 100%
  • Home Automation 100%
  • Action Language 100%
  11 Citations (Scopus)

• Validating Timed Component Contracts

  Le Guilly, T., Liu, S., Olsen, P., Ravn, A. P. & Skou, A. J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015. IEEE, p. 245-249

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Testing 100%
  • Timed Automaton 33%
  • Use Case 33%
  • Software Component 33%
  • Synchronization 33%

• Widening the Schedulability Hierarchical Scheduling Systems

  Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 2015, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lanese, I. & Madelaine, E. (eds.). Springer, p. 209-227 18 p. (Lecture Notes in Computer Science; No. 8997).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  Open Access

  File

  • Models 100%
  • Scheduling 66%
  • Model Checking 66%
  • Statistical Model 33%
  • Computation 33%
  10 Citations (Scopus)

  292 Downloads (Pure)
• 2014

  Arrowhead Compliant Virtual Market of Energy

  Ferreira, L. L., Siksnys, L., Pedersen, P., Stluka, P., Chrysoulas, C., Le Guilly, T., Albano, M., Skou, A., Teixeira, C. & Pedersen, T. B., Sept 2014, Emerging Technology and Factory Automation (ETFA), 2014 IEEE. IEEE, p. 1-8

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Virtual Market 100%
  • Energy Engineering 100%
  • Energy Price 100%
  • Plant 100%
  • Market 100%
  20 Citations (Scopus)

• Convergence to the European Energy Policy in European countries: case studies and comparison

  Teixeira, C., Albano, M., Skou, A., Dueñas, L. P., Antonacci, F., Ferreira, R., Pedersen, K. L. & Scalari, S., 2014, In: Journal of Social Technologies. 4, 1, p. 7-24

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  • Case Studies 100%
  • Convergence 100%
  • Comparison 100%
  • Case Study 100%
  • Case Comparison 100%

• Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks

  Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U., Skou, A. & Mikučionis, M., 1 Sept 2014, Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, p. 126-130 5 p. (TASE).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  Open Access

  File

  • Real Time Systems 100%
  • Criticality 100%
  • User 100%
  • Probability 100%
  • Scheduling 100%
  10 Citations (Scopus)

  498 Downloads (Pure)

• Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

  Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 13 Jun 2014, Proceedings of Formal Aspects of Component Software (FACS), 2013. Fiadeiro, J. L., Liu, Z. & Xue, J. (eds.). Springer Publishing Company, Vol. 8348. p. 61-78 18 p. 6. (Lecture Notes in Computer Science).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  Open Access

  File

  • Scheduling Policy 100%
  • Shared Resource 50%
  • Timed Automaton 50%
  • Hierarchical Structures 50%
  • Schedulability Analysis 50%
  17 Citations (Scopus)

  557 Downloads (Pure)

• INTrEPID: A project on energy optimization in buildings

  Pedersen, T., Ravn, A. P. & Skou, A., 2014, Proceedings of 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems (VITAE). IEEE Press, p. 172-175 4 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Optimization 100%
  • Buildings 100%
  • Energy Engineering 100%
  • District Level 50%
  • Intelligent System 50%
  1 Citation (Scopus)

• Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

  Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. p. 1-4 4 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  File
  722 Downloads (Pure)
• 2013

  A Toolchain for Home Automation Controller Development

  Dalsgaard, P. H., Le Guilly, T., Middelhede, D., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A., 2013, 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). Demirors, O. & Turetken, O. (eds.). IEEE Computer Society Press, p. 122-129 8 p. (Euromicro Conference. Proceedings).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Tool Chain 100%
  • Home Automation 100%
  • Design 100%
  • Oriented Service 50%
  • Usability 50%
  7 Citations (Scopus)

• HomePort: Middleware for heterogeneous home automation networks

  Le Guilly, T., Olsen, P., Ravn, A. P., Rosenkilde, J. & Skou, A., 2013, 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). IEEE, p. 627 - 633 7 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Middleware 100%
  • Home Automation 100%
  • Networks 100%
  • Software 100%
  • Scalability 50%
  18 Citations (Scopus)

• The ENCOURAGE ICT architecture for heterogeneous smart grids

  Albano, M., Ferreira, L., Le Guilly, T., Ramiro, M., Faria, E., Duneas, L., Ferreira, R., Gaylard, E., Cubas, D. J., Roarke, E., Lux, D., Scalari, S., Sørensen, S. M., Gangolells, M., Pinho, L. M. & Skou, A., 2013, EUROCON 2013, IEEE. IEEE Computer Society Press, p. 1383-1390 8 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Buildings 100%
  • Energy Engineering 100%
  • Architecture 100%
  • Smart Grid 100%
  • Renewable Conversion 50%
  10 Citations (Scopus)
• 2012

  An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking

  David, A., Du, D., Larsen, K. G., Mikučionis, M. & Skou, A., Dec 2012, In: Science in China. Series F: Information Sciences. 55, 12, p. 2694-2707 14 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Statistical Model 100%
  • Cyber Physical Systems 100%
  • Evaluation 100%
  • Model Checking 100%
  • Application 50%
  38 Citations (Scopus)

• Compositional verification of real-time systems using Ecdar

  David, A., Larsen, K. G., Møller, M. H., Nyman, U., Ravn, A. P., Skou, A., Legay, A. & Wasowski, A., 15 Jun 2012, In: International Journal on Software Tools for Technology Transfer. 14, 6, p. 703-720 18 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  File

  • Real Time Systems 100%
  • Specifications 100%
  • Execution Time 33%
  • Input/Output 33%
  • Automaton 33%
  16 Citations (Scopus)

  491 Downloads (Pure)
• 2011

  Agil udvikling og innovation af software: Agil udvikling støttet af organisatoriske patterns. Samarbejde og eksperimenter under innovation af software. Videndeling mellem sektorerne byggeri og softwareudvikling.

  Skou, A. (ed.), Aaen, I. (ed.) & Biegel, J. (ed.), 2011, Aalborg: CISS, Aalborg Universitet. 108 p.

  Research output: Book/Report › Book › Communication
• 2010

  Present and Absent Sets: Abstraction for Data Intensive Systems Suited for Testing

  Olsen, P., Larsen, K. G., Mikucionis, M. & Skou, A., 28 Dec 2010, In: Electronic Notes in Theoretical Computer Science. 264, 3, p. 53-68

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

• Schedulability Analysis Using Uppaal: Herschel-Planck Case Study

  Mikucionis, M., Larsen, K. G., Nielsen, B., Rasmussen, J. I., Skou, A., Palm, S. U., Pedersen, J. S. & Hougaard, P., Oct 2010, In: Lecture Notes in Computer Science. 6416, 2010, p. 175-190

  Research output: Contribution to journal › Journal article › Research › peer-review
  35 Citations (Scopus)

• The HomePort System

  Brønsted, J., Madsen, P. P., Skou, A. & Torbensen, R. S., 2010, 2010 7th IEEE Consumer Communications and Networking Conference (CCNC). IEEE Press, 5 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  Open Access

  File

  • Gateway 100%
  • Middleware 100%
  • Standards 100%
  • Prototype 50%
  • Control Algorithm 50%
  6 Citations (Scopus)

  1210 Downloads (Pure)
• 2009

  Model-based Framework for Schedulability Analysis Using Uppaal 4.1

  David, A., Rasmussen, J. I., Larsen, K. G. & Skou, A., 2009, Model-Based Design for Embedded Systems. Nicolescu, G. & J. Mosterman, P. (eds.). 1 ed. CRC Press, p. 93-119 32 p. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

• Model-Based GUI Testing Using Uppaal at Novo Nordisk

  H. Hjort, U., Rasmussen, J. I., Larsen, K. G., A. Petersen, M. & Skou, A., 2009, In: Lecture Notes in Computer Science. 5850, p. 814-818

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Graphical User Interface 100%
  • Testing 100%
  • Models 100%
  • Embedded Platform 33%
  • Test Generation 33%
  1 Citation (Scopus)

• Semantics for Communicating Actors with Interdependent Real-Time Deadlines

  Knoll, I., Ravn, A. P. & Skou, A., 2009, Proceedings of Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009.. IEEE Computer Society Press, p. 29-35

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Deadlines 100%
  • Actors 100%
  • Semantics 100%
  • Models 80%
  • Functionality 40%

• Test af Software: Test af indlejret og teknisk software

  Skou, A. (ed.), Nielsen, B. (ed.) & Biegel, J. (ed.), 2009, Aalborg: CISS, Aalborg Universitet. 85 p.

  Research output: Book/Report › Book › Communication
• 2008

  A Semantics for a Real-Time Actor Language

  Knoll, I., Ravn, A. P. & Skou, A., 2008, 20th Nordic Workshop on Programming TheoryNWPT 2008: Abstracts. Department of Computer Science, Tallinn University of Technology, p. 60-62 3 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Actors 100%
  • Semantics 100%
  • Communication 50%
  • Models 50%

• Testing Real-Time Systems Using UPPAAL

  Hessel, A., Larsen, K. G., Mikucionis, M., Nielsen, B., Pettersson, P. & Skou, A., 2008, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg: Springer, p. 77-117 (Lecture Notes in Computer Science; No. 4949).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Real Time Systems 100%
  • Testing 100%
  • Input/Output 50%
  • Timed Automaton 50%
  • Conformance Testing 50%
  175 Citations (Scopus)
• 2007

  Design Verifikation Patterns

  Knudsen, J., Ravn, A. P. & Skou, A., 2007, Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Jones, C., Liu, Z. & Woodcock, J. (eds.). Berlin /Heidelberg: Springer, p. 399-413 (Lecture Notes in Computer Science, Vol. 4700).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Design 100%
  • Design Patterns 100%
  • Formal Specification 50%
  • Design Verification 50%
  • Proof Obligation 50%

• Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems. EU FP-7 Application

  Nielsen, B., Skou, A. & Larsen, K. G., 2007, 118 p.

  Research output: Working paper/Preprint › Working paper › Research
• 2006

  Design Patterns for Control Systems

  Knudsen, J., Ravn, A. P. & Skou, A., 2006, Proceedings of the NWUML'06: The 4th Nordic Workshop on UML and Software Modelling. Prinz, A. & Skjelten Tveit, M. (eds.). Høgskolen i Agder

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

• Prosoft: procesforbedring under udvikling af indlejret og teknisk software

  Skou, A. (ed.), Nielsen, B., Skou, A., Aaen, I., Nielsen, P. A., Knudsen, J. & Biegel, J. (ed.), 2006, Aalborg: CISS, Aalborg Universitet. 150 p.

  Research output: Book/Report › Report › Communication
• 2005

  An Algebraic Theory Of Boundary Crossing Transitions

  Skou, A., Ray, A. & Cleaveland, R., 2005, In: Electronical Notes in Theoretical Computer Science. p. 69-88 19 p., 115.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Real Time Systems 100%
  • Input/Output 100%
  • Timed Automaton 100%
  • Conformance Testing 100%
  • Boundary Crossing 100%
  1 Citation (Scopus)

• Testing Real-Time Embedded Software using UppAal-TRON: an industrial case study

  Mikucionis, M., Larsen, K. G., Nielsen, B. & Skou, A., 2005, Fifth ACM International Conference on Embedded Software (EMSOFT). Association for Computing Machinery, p. 299-306 8 p.

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  124 Citations (Scopus)
• 2004

  Connectivity testing through model-checking

  Godskesen, J. C., Nielsen, B. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings. Vol. 3235. p. 167-184

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  2 Citations (Scopus)