1. 2017
  2. Accepted/In press

    Application system design - energy optimisation. / Albano, Michele; Castineira, Rodrigo; Desdouits, Chloe; Ferreira, Luis Lino; Le Guilly, Thibaut; Isasa, Inge; Jokinen, Jani; Kondratjevs, Kaspars; Kunicina, Nadezhda; Manero, Lorenzo; Milo, Aitor; Monge, Javier; Le Pape, Claude; Pedersen, Per D.; Pedersen, Torben Bach; Olsen, Petur; Siksnys, Laurynas; Skou, Arne Joachim; Smid, Radislav; Socorro, Rafael; Stluka, Petr; Zabasta, Anatolijs.

    IoT Automation: Arrowhead Framework. ed. / Jerker Delsing. C R C Press LLC, 2017. p. 211-247.

    Publication: Research - peer-reviewBook chapter

  3. 2016
  4. Published

    ENCOURAGEing results on ICT for energy efficient buildings. / Le Guilly, Thibaut; Skou, Arne Joachim; Olsen, Petur; Madsen, Per Printz; Albano, Michele; Ferreira, Luis Lino; Pinho, Luis Miguel; Pedersen, Keld Lotzfeldt; Casals, Miquel; Macarulla, Marcel; Gongolells, Marta.

    Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference. IEEE, 2016.

    Publication: Research - peer-reviewArticle in proceeding

  5. Published

    Model Checking Feature Interactions. / Le Guilly, Thibaut; Olsen, Petur; Pedersen, Thomas; Ravn, Anders Peter; Skou, Arne Joachim.

    Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. ed. / Pascal Lorenz; Jorge Cardoso; Leszek A. Maciaszek; Marten van Sinderen. Springer, 2016. p. 307-325 (Communications in Computer and Information Science, Vol. 586).

    Publication: Research - peer-reviewBook chapter

  6. Published

    Modeling and Analysis of Component Faults and Reliability. / Le Guilly, Thibaut; Olsen, Petur; Ravn, Anders Peter; Skou, Arne Joachim.

    From Action Systems to Distributed Systems: The Refinement Approach. ed. / Luigia Petre; Emil Sekerinski. C R C Press LLC, 2016. p. 45-60 (Computational Science Series).

    Publication: Research - peer-reviewBook chapter

  7. Published

    Preliminary Report: Controller Prototyping and Validation for Photo-Voltaic Comfort Cooling. / Agesen, Mads Kronborg; Skou, Arne Joachim; Pedersen, Keld Lotzfeldt.

    CLIMA 2016 : proceedings of the 12th REHVA World Congress, 22-25 May 2016, Aalborg, Denmark. ed. / Per Kvols Heiselberg. 2016. 691.

    Publication: Research - peer-reviewArticle in proceeding

  8. Published
  9. Published

    Toolchain for User-Centered Intelligent Floor Heating Control. / Agesen, Mads Kronborg; Larsen, Kim Guldstrand; Mikučionis, Marius; Muniz, Marco; Olsen, Petur; Pedersen, Thomas; Srba, Jiri; Skou, Arne Joachim.

    IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. IEEE, 2016. p. 5296-5301.

    Publication: Research - peer-reviewArticle in proceeding

  10. Published
  11. Published
  12. 2015
  13. Published

    A Method for Model Checking Feature Interactions. / Pedersen, Thomas; Le Guilly, Thibaut; Ravn, Anders Peter; Skou, Arne Joachim.

    Proceedings of the 10th International Conference on Software Engineering and Applications. ed. / Pascal Lorenz; Leszek Maciaszek. SCITEPRESS Digital Library, 2015. p. 219-228.

    Publication: Research - peer-reviewArticle in proceeding

  14. Published

    An Energy Flexibility Framework on the Internet of Things. / Le Guilly, Thibaut; Siksnys, Laurynas; Albano, Michele; Pedersen, Per D.; Stluka, Petr; Ferreira, Luis Lino; Skou, Arne Joachim; Pedersen, Torben Bach; Olsen, Petur.

    The Success of European Projects using New Information and Communication Technologies. SCITEPRESS Digital Library, 2015. p. 17-37.

    Publication: Research - peer-reviewBook chapter

  15. Published
  16. Published

    Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. / Boudjadar, Jalil; Kim, Jin Hyun; David, Alexandre; Larsen, Kim Guldstrand; Mikucionis, Marius; Nyman, Ulrik; Skou, Arne; Lee, Insup; Thi Xuan Phan, Linh.

    18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015. IEEE, 2015. p. 74-83 (International Symposium on Object-Oriented Real-Time Distributed Computing).

    Publication: Research - peer-reviewArticle in proceeding

  17. Published

    Intermediate Joint Action Plan, D4.2. / Adrians, Geert; De Colvenaer, Mark; Murillo, Cristina; Nielsen, Peter Axel; Nøhr, Birgit; Skou, Arne Joachim; Urtiaga, Cristina; Thiel, Christian; Aaen, Ivan.

    2015.

    Publication: ResearchBook

  18. Published

    Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. / Kim, Jin Hyun; Boudjadar, Jalil; Nyman, Ulrik; Mikucionis, Marius; Larsen, Kim Guldstrand; Skou, Arne; Lee, Insup; Thi Xuan Phan, Linh.

    CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery, 2015. p. 91-100.

    Publication: Research - peer-reviewArticle in proceeding

  19. Published

    To Do and Not To Do : Constrained Scenarios for Safe Smart House. / Le Guilly, Thibaut; Smedegaard, Jacob Haubach; Pedersen, Thomas; Skou, Arne Joachim.

    International Conference on Intelligent Environments (IE), 2015. IEEE, 2015. p. 17-24.

    Publication: Research - peer-reviewArticle in proceeding

  20. Published

    Validating Timed Component Contracts. / Le Guilly, Thibaut; Liu, Shaoying; Olsen, Petur; Ravn, Anders Peter; Skou, Arne Joachim.

    41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015. IEEE, 2015. p. 245-249.

    Publication: Research - peer-reviewArticle in proceeding

  21. Published

    Widening the Schedulability Hierarchical Scheduling Systems. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; Larsen, Kim Guldstrand; Mikučionis, Marius; Nyman, Ulrik; Skou, Arne.

    Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. ed. / Ivan Lanese; Eric Madelaine. Springer, 2015. p. 209-227 (Lecture Notes in Computer Science; No. 8997).

    Publication: Research - peer-reviewArticle in proceeding

  22. 2014
  23. Published

    Arrowhead Compliant Virtual Market of Energy. / Ferreira, Luis Lino; Siksnys, Laurynas; Pedersen, Per; Stluka, Petr; Chrysoulas, Christos; Le Guilly, Thibaut; Albano, Michele; Skou, Arne; Teixeira, César; Pedersen, Torben Bach.

    Emerging Technology and Factory Automation (ETFA), 2014 IEEE. IEEE, 2014. p. 1-8.

    Publication: Research - peer-reviewArticle in proceeding

  24. Published

    Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; Larsen, Kim Guldstrand; Nyman, Ulrik; Skou, Arne; Mikučionis, Marius.

    Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, 2014. p. 126-130 (TASE).

    Publication: Research - peer-reviewArticle in proceeding

  25. Published

    Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; Larsen, Kim Guldstrand; Mikučionis, Marius; Nyman, Ulrik; Skou, Arne.

    Proceedings of Formal Aspects of Component Software (FACS), 2013. ed. / José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue. Vol. 8348 Springer Publishing Company, 2014. p. 61-78 6 (Lecture Notes in Computer Science).

    Publication: Research - peer-reviewArticle in proceeding

  26. Published

    INTrEPID : A project on energy optimization in buildings. / Pedersen, Thomas; Ravn, Anders Peter; Skou, Arne.

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

    Publication: Research - peer-reviewArticle in proceeding

  27. Published
  28. 2013
  29. Published

    A Toolchain for Home Automation Controller Development. / Dalsgaard, Peter H.; Le Guilly, Thibaut; Middelhede, Daniel; Olsen, Petur; Pedersen, Thomas; Ravn, Anders Peter; Skou, Arne.

    39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). ed. / Onur Demirors; Oktay Turetken. IEEE Computer Society Press, 2013. p. 122-129 (Euromicro Conference. Proceedings).

    Publication: Research - peer-reviewArticle in proceeding

  30. Published

    HomePort : Middleware for heterogeneous home automation networks. / Le Guilly, Thibaut; Olsen, Petur; Ravn, Anders Peter; Rosenkilde, Jesper; Skou, Arne.

    2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). IEEE, 2013. p. 627 - 633.

    Publication: Research - peer-reviewArticle in proceeding

  31. Published

    The ENCOURAGE ICT architecture for heterogeneous smart grids. / Albano, Michele; Ferreira, Luis; Le Guilly, Thibaut; Ramiro, Manuel; Faria, Eduardo; Duneas, Lara; Ferreira, Rodrigo; Gaylard, Earl; Cubas, David Jorquera; Roarke, Eamonn; Lux, Daniel; Scalari, Sandra; Sørensen, Susanne Majlund; Gangolells, Marta; Pinho, Luis Miguel; Skou, Arne.

    EUROCON 2013, IEEE. IEEE Computer Society Press, 2013. p. 1383-1390.

    Publication: Research - peer-reviewArticle in proceeding

  32. 2012
  33. Published
  34. Published
  35. 2011
  36. Published
  37. 2010
  38. Published
  39. Published

    Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. / Mikucionis, Marius; Larsen, Kim Guldstrand; Nielsen, Brian; Rasmussen, Jacob Illum; Skou, Arne; Palm, Steen Ulrik; Pedersen, Jan Storbank ; Hougaard, Poul.

    In: Lecture Notes in Computer Science, Vol. 6416, No. 2010, 10.2010, p. 175-190.

    Publication: Research - peer-reviewJournal article

  40. Published

    The HomePort System. / Brønsted, Jeppe; Madsen, Per Printz; Skou, Arne; Torbensen, Rune Sonnich.

    2010 7th IEEE Consumer Communications and Networking Conference (CCNC). IEEE Press, 2010.

    Publication: Research - peer-reviewArticle in proceeding

  41. 2009
  42. Published

    Model-based Framework for Schedulability Analysis Using Uppaal 4.1. / David, Alexandre; Rasmussen, Jacob Illum; Larsen, Kim Guldstrand; Skou, Arne.

    Model-Based Design for Embedded Systems. ed. / Gabriela Nicolescu; Pieter J. Mosterman. 1. ed. C R C Press LLC, 2009. p. 93-119 (Computational Analysis, Synthesis, and Design of Dynamic Systems).

    Publication: Research - peer-reviewBook chapter

  43. Published

    Model-Based GUI Testing Using Uppaal at Novo Nordisk. / H. Hjort, Ulrik; Rasmussen, Jacob Illum; Larsen, Kim Guldstrand; A. Petersen, Michael; Skou, Arne.

    In: Lecture Notes in Computer Science, Vol. 5850, 2009, p. 814-818.

    Publication: Research - peer-reviewConference article in Journal

  44. Published

    Semantics for Communicating Actors with Interdependent Real-Time Deadlines. / Knoll, Istvan; Ravn, Anders Peter; Skou, Arne.

    Proceedings of Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009.. IEEE Computer Society Press, 2009. p. 29-35.

    Publication: Research - peer-reviewArticle in proceeding

  45. Published

    Test af Software : Test af indlejret og teknisk software. / Skou, Arne (Editor); Nielsen, Brian (Editor); Biegel, Jørgen (Editor).

    Aalborg : CISS, Aalborg Universitet, 2009. 85 p.

    Publication: CommunicationBook

  46. 2008
  47. Published

    A Semantics for a Real-Time Actor Language. / Knoll, Istvan; Ravn, Anders Peter; Skou, Arne.

    20th Nordic Workshop on Programming TheoryNWPT 2008: Abstracts. Department of Computer Science, Tallinn University of Technology, 2008. p. 60-62.

    Publication: Research - peer-reviewArticle in proceeding

  48. Published

    Testing Real-Time Systems Using UPPAAL. / Hessel, Anders; Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, Brian; Pettersson, Paul; Skou, Arne.

    Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg : Springer, 2008. p. 77-117 (Lecture Notes in Computer Science; No. 4949).

    Publication: ResearchBook chapter

  49. 2007
  50. Published

    Design Verifikation Patterns. / Knudsen, John; Ravn, Anders Peter; Skou, Arne.

    Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. ed. / Cliff Jones; Zhiming Liu; Jim Woodcock. Berlin /Heidelberg : Springer, 2007. p. 399-413 (Lecture Notes in Computer Science, Vol. 4700).

    Publication: ResearchBook chapter

  51. Published
  52. 2006
  53. Published

    Design Patterns for Control Systems. / Knudsen, John; Ravn, Anders Peter; Skou, Arne.

    Proceedings of the NWUML'06: The 4th Nordic Workshop on UML and Software Modelling. ed. / Andreas Prinz; Merete Skjelten Tveit. Høgskolen i Agder, 2006.

    Publication: Research - peer-reviewArticle in proceeding

  54. Published

    Prosoft : procesforbedring under udvikling af indlejret og teknisk software. / Skou, Arne (Editor); Nielsen, Brian; Skou, Arne; Aaen, Ivan; Nielsen, Peter Axel; Knudsen, John; Biegel, Jørgen (Editor).

    Aalborg : CISS, Aalborg Universitet, 2006. 150 p.

    Publication: CommunicationReport

  55. 2005
  56. Published

    An Algebraic Theory Of Boundary Crossing Transitions. / Skou, Arne; Ray, Arnab; Cleaveland, Rance.

    In: Electronical Notes in Theoretical Computer Science, 2005, p. 69-88.

    Publication: Research - peer-reviewJournal article

  57. Published

    Testing Real-Time Embedded Software using UppAal-TRON : an industrial case study. / Mikucionis, Marius; Larsen, Kim Guldstrand; Nielsen, Brian; Skou, Arne.

    Fifth ACM International Conference on Embedded Software (EMSOFT). Association for Computing Machinery, 2005. p. 299-306.

    Publication: Research - peer-reviewArticle in proceeding

  58. 2004
  59. Published

    Connectivity testing through model-checking. / Godskesen, J.C.; Nielsen, Brian; Skou, Arne.

    Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings. Vol. 3235 2004. p. 167-184.

    Publication: Research - peer-reviewArticle in proceeding

  60. Published

    Danfoss EKC Trial Project Deliverables. / Nielsen, Brian; Larsen, Kim Guldstrand; Larsen, Ulrik; Skou, Arne; Andrzej, Wasowski.

    2004. p. 52.

    Publication: ResearchWorking paper

  61. Published

    On the Construction of Connectivity Test Cases in the Setting of UppAal. / Nielsen, Brian; Jens. Chr., Godskesen; Skou, Arne.

    Formal Techniques for Networked and Distributed Systems - FORTE 2004. Vol. 3235 Springer, 2004.

    Publication: ResearchArticle in proceeding

  62. Published

    Time-Optimal Real-Time Test Case Generation using UPPAAL. / Hessel, Anders; Larsen, Kim Guldstrand; Nielsen, Brian; Pettersson, Paul; Skou, Arne.

    Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003: Lecture Notes in Computer Science. ed. / Petrenko, Alexandre : Ulrich, Andreas (eds.). 2931. ed. IEEE Computer Society Press, 2004. p. 118-135.

    Publication: ResearchArticle in proceeding

  63. 2003
  64. Published

    Danfoss {EKC} Trial Project Deliverables. / Larsen, Kim Guldstrand; Larsen, Ulrik; Nielsen, Brian; Skou, Arne; Wasowski, Andrzej.

    December ed. Århus University : BRICS, 2003. 53 p. (BRICS RS; No. RS-03-48).

    Publication: ResearchBook

  65. Published

    Time-Optimal Test Cases for Real-Time Systems. / Hessel, Anders; Larsen, Kim Guldstrand; Nielsen, Brian; Pettersson, Paul; Skou, Arne.

    Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Vol. 2791 2003. p. 234-245.

    Publication: ResearchArticle in proceeding

  66. 2002
  67. Published
  68. 2001
  69. Published

    Automated Test Generation Timed Automata. / Nielsen, Brian; Skou, Arne.

    Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. ed. / Margaria, T. : Yi, W. (eds.). 2031. ed. IEEE Computer Society Press, 2001. p. 343-357.

    Publication: ResearchArticle in proceeding

  70. Published

    Test Generation for Time Critical Systems : Tool and Case Study. / Nielsen, Brian; Skou, Arne.

    13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001. 2001. p. 155-162.

    Publication: ResearchArticle in proceeding

  71. 2000
  72. Published

    Automated Test Generation Timed Automata : Tool and Case Study. / Nielsen, Brian; Skou, Arne.

    21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000. 2000.

    Publication: ResearchArticle in proceeding

  73. Published

    Practical Verification of Embedded Software. / Staunstrup, J.; Larsen, Kim Guldstrand; Andersen, H. R.; Hulgaard, H.; Behrmann, Gerd; Kristoffersen, K.; Lind-Nielsen, J.; Leerberg, H.; Skou, Arne; Theilgaard, N. B.

    In: Computer (New York), Vol. 33, No. 5, 2000, p. 68-75.

    Publication: Research - peer-reviewJournal article

  74. Published

    Scaling up Uppaal : Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. / Jensen, Henrik Ejersbo; Larsen, Kim Guldstrand; Skou, Arne.

    Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science. ed. / Joseph, M. (ed.). 1926. ed. IEEE Computer Society Press, 2000. p. 19-30.

    Publication: ResearchArticle in proceeding

  75. 1999
  76. Published

    Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal. / Havelund, K.; Larsen, Kim Guldstrand; Skou, Arne.

    Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings: Lecture Notes in Computer Science. ed. / Katoen,J.-P. (ed.). 1601. ed. IEEE Computer Society Press, 1999. p. 277-298.

    Publication: ResearchArticle in proceeding

  77. 1998
  78. Published

    The Design and Implementation of ZCRP Zero Copying Reliable Protocol. / Christiansen, Mikkel; Hagen, J. L.; Nielsen, Brian; Skou, Arne; Skov, K. Q.

    Aalborg : Aalborg University : Department of Computer Science, Aalborg University, 1998. (R : Department of Computer Science, Aalborg University; No. R98-5011).

    Publication: ResearchBook

  79. 1997
  80. Published

    Formal Modelling and Analysis of an Audio/Video Protocol : an Industrial Case Study using Uppaal. / Havelund, Klaus; Larsen, Kim Guldstrand; Skou, Arne.

    Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997. IEEE Computer Society Press, 1997. p. 2-13.

    Publication: ResearchArticle in proceeding

  81. Published

    Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL. / Skou, Arne; Larsen, Kim Guldstrand; Jensen, Henrik Ejersbo.

    Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System. American Mathematical Society, 1997. p. 33-50.

    Publication: Research - peer-reviewArticle in proceeding

  82. 1996
  83. Published

    Specification and Automated Verification of a Real-Time Behaviour : a Case Study. / Andersen, Jørgen H.; Kristensen, Carsten H.; Skou, Arne.

    In: Annual Reviews in Control, Vol. 20, 1996, p. 55-70.

    Publication: Research - peer-reviewJournal article

  84. 1995
  85. Published

    Experiments with TCP/IP in ATM High-Speed Data Communications. / Henriksen, Kaj; Hillemann, Rolf J.; Piatraszek, Wladyslaw; Skou, Arne; Aaen, Michael.

    Aalborg : Aalborg Universitetsforlag, 1995. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R95-2026).

    Publication: ResearchBook

  86. Published

    Generality in Design and Compositional Verification using TAV. / Børjesson, Anders; Larsen, Kim Guldstrand; Skou, Arne.

    In: Formal Methods in System Design, Vol. 6, 1995, p. 239-258.

    Publication: Research - peer-reviewJournal article

  87. Published

    Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems. / Engberg, Uffe H.; Larsen, Kim Guldstrand; Skou, Arne.

    Århus : Department of Computer Science, Aarhus University, 1995. (B R I C S Notes Series; No. NS-95-2).

    Publication: ResearchBook

  88. Published

    Specification and Automated Verification of Real-Time Behaviour : A Case Study. / Andersen, Jørgen H.; Kristensen, Carsten H.; Skou, Arne.

    Århus : Department of Computer Science, Aarhus University, 1995. (Brics Report Series; No. RS-95-60).

    Publication: CommunicationBook

  89. Published

    Tools and Algorithms for the Construction and Analysis of Systems. / Brinksma, E. (Ed.); Cleaveland, W. R. (Ed.); Larsen, Kim Guldstrand; Margari, T. (Ed.); Skou, Arne (Ed.); Steffen, B. (Ed.).

    Berlin : IEEE Computer Society Press, 1995. (Lecture Notes in Computer Science; No. 1019).

    Publication: ResearchBook

  90. 1994
  91. Published

    Automatic Verification of Real-Time Systems Using Epsilon. / Godskesen, Jens Chr.; Larsen, Kim Guldstrand; Skou, Arne.

    Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. ed. / Voung, S.-T. : Chanson, S.-T. (Eds.). Chapman & Hall, 1994. p. 232-330.

    Publication: ResearchArticle in proceeding

  92. Published

    Verification of Real-Time Applications Using the Epsilon System. / Godskesen, Jens Chr.; Larsen, Kim Guldstrand; Skou, Arne.

    Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), 1994. p. 41-52.

    Publication: ResearchArticle in proceeding

  93. 1992
  94. Published

    Compositional Verification of Probabilistic Processes. / Larsen, Kim Guldstrand; Skou, Arne.

    CONCUR'92. ed. / Cleaveland, W.R. (ed.). 1992.

    Publication: ResearchBook chapter

  95. Published

    Computer Aided Verification : 3rd International Workshop, CAV'91. / Larsen, Kim Guldstrand; Skou, Arne.

    Berlin : IEEE Computer Society Press, 1992.

    Publication: CommunicationBook

  96. Published

    Testing and Verification of Probabilistic Processes. / Larsen, Kim Guldstrand; Skou, Arne.

    NSDCS'92. ed. / Heegaard, Poul : Helvik, Bjarne (eds.). NTH, 1992. p. 235-250.

    Publication: ResearchArticle in proceeding

  97. 1991
  98. Published

    Bisimulation through Probabilistic Testing. / Larsen, Kim Guldstrand; Skou, Arne.

    In: Information and Computation, Vol. 94, No. 1, 1991, p. 1-28.

    Publication: Research - peer-reviewJournal article

  99. 1989
  100. Published

    Bisimulation Through Probabilistic Testing (Preliminary Report). / Larsen, Kim Guldstrand; Skou, Arne.

    Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, 1989. p. 344-352.

    Publication: ResearchArticle in proceeding

  101. Published

    Validation of Concurrent Processes with Emphasis on Testing. / Skou, Arne.

    Aalborg : Institut for Elektroniske Systemer, Aalborg Universitet, 1989. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-46).

    Publication: CommunicationBook