Arne Skou

  1. 2017
  2. Udgivet

    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. red. / Jerker Delsing. C R C Press LLC, 2017. s. 211-247.

    Publikation: ForskningBidrag til bog/antologi

  3. 2016
  4. Udgivet

    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.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  5. Udgivet

    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. red. / Pascal Lorenz; Jorge Cardoso; Leszek A. Maciaszek; Marten van Sinderen. Springer, 2016. s. 307-325.

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  6. Udgivet

    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. red. / Luigia Petre; Emil Sekerinski. C R C Press LLC, 2016. s. 45-60.

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  7. Udgivet

    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. red. / Per Kvols Heiselberg. Aalborg University, Department of Civil Engineering, 2016. 691.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  8. Udgivet
  9. Udgivet

    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. s. 5296-5301.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  10. Udgivet
  11. Udgivet
  12. 2015
  13. Udgivet

    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. red. / Pascal Lorenz; Leszek Maciaszek. SCITEPRESS Digital Library, 2015. s. 219-228.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  14. Udgivet

    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. s. 17-37.

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  15. Udgivet
  16. Udgivet

    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. s. 74-83.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  17. Udgivet

    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.

    Publikation: ForskningBog

  18. Udgivet

    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. s. 91-100.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  19. Udgivet

    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. s. 17-24.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  20. Udgivet

    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. s. 245-249.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  21. Udgivet

    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. red. / Ivan Lanese; Eric Madelaine. Springer, 2015. s. 209-227.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  22. 2014
  23. Udgivet

    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. s. 1-8.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  24. Udgivet

    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. s. 126-130.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  25. Udgivet

    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. red. / José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue. Bind 8348 Springer Publishing Company, 2014. s. 61-78 6.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  26. Udgivet

    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. s. 172-175.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  27. Udgivet
  28. 2013
  29. Udgivet

    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). red. / Onur Demirors; Oktay Turetken. IEEE Computer Society Press, 2013. s. 122-129.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  30. Udgivet

    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. s. 627 - 633.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  31. Udgivet

    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. s. 1383-1390.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

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

    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.

    I: Lecture Notes in Computer Science, Bind 6416, Nr. 2010, 10.2010, s. 175-190.

    Publikation: Forskning - peer reviewTidsskriftartikel

  40. Udgivet

    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.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  41. 2009
  42. Udgivet

    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. red. / Gabriela Nicolescu; Pieter J. Mosterman. 1. udg. C R C Press LLC, 2009. s. 93-119.

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  43. Udgivet

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

    I: Lecture Notes in Computer Science, Bind 5850, 2009, s. 814-818.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  44. Udgivet

    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. s. 29-35.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  45. Udgivet

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

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

    Publikation: FormidlingBog

  46. 2008
  47. Udgivet

    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. s. 60-62.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  48. Udgivet

    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. s. 77-117.

    Publikation: ForskningBidrag til bog/antologi

  49. 2007
  50. Udgivet

    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. red. / Cliff Jones; Zhiming Liu; Jim Woodcock. Berlin /Heidelberg : Springer, 2007. s. 399-413.

    Publikation: ForskningBidrag til bog/antologi

  51. Udgivet
  52. 2006
  53. Udgivet

    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. red. / Andreas Prinz; Merete Skjelten Tveit. Høgskolen i Agder, 2006.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  54. Udgivet

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

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

    Publikation: FormidlingRapport

  55. 2005
  56. Udgivet

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

    I: Electronical Notes in Theoretical Computer Science, 2005, s. 69-88.

    Publikation: Forskning - peer reviewTidsskriftartikel

  57. Udgivet

    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. s. 299-306.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  58. 2004
  59. Udgivet

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

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

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  60. Udgivet

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

    2004. s. 52.

    Publikation: ForskningWorking paper

  61. Udgivet

    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. Bind 3235 Springer, 2004.

    Publikation: ForskningKonferenceartikel i proceeding

  62. Udgivet

    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. red. / Petrenko, Alexandre : Ulrich, Andreas (eds.). 2931. udg. IEEE Computer Society Press, 2004. s. 118-135.

    Publikation: ForskningKonferenceartikel i proceeding

  63. 2003
  64. Udgivet

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

    December udg. Århus University : BRICS, 2003. 53 s.

    Publikation: ForskningBog

  65. Udgivet

    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). Bind 2791 2003. s. 234-245.

    Publikation: ForskningKonferenceartikel i proceeding

  66. 2002
  67. Udgivet
  68. 2001
  69. Udgivet

    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. red. / Margaria, T. : Yi, W. (eds.). 2031. udg. IEEE Computer Society Press, 2001. s. 343-357.

    Publikation: ForskningKonferenceartikel i proceeding

  70. Udgivet

    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. s. 155-162.

    Publikation: ForskningKonferenceartikel i proceeding

  71. 2000
  72. Udgivet

    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.

    Publikation: ForskningKonferenceartikel i proceeding

  73. Udgivet

    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.

    I: Computer (New York), Bind 33, Nr. 5, 2000, s. 68-75.

    Publikation: Forskning - peer reviewTidsskriftartikel

  74. Udgivet

    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. red. / Joseph, M. (ed.). 1926. udg. IEEE Computer Society Press, 2000. s. 19-30.

    Publikation: ForskningKonferenceartikel i proceeding

  75. 1999
  76. Udgivet

    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. red. / Katoen,J.-P. (ed.). 1601. udg. IEEE Computer Society Press, 1999. s. 277-298.

    Publikation: ForskningKonferenceartikel i proceeding

  77. 1998
  78. Udgivet

    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.

    Publikation: ForskningBog

  79. 1997
  80. Udgivet

    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. s. 2-13.

    Publikation: ForskningKonferenceartikel i proceeding

  81. Udgivet

    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. s. 33-50.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  82. 1996
  83. Udgivet

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

    I: Annual Reviews in Control, Bind 20, 1996, s. 55-70.

    Publikation: Forskning - peer reviewTidsskriftartikel

  84. 1995
  85. Udgivet

    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.

    Publikation: ForskningBog

  86. Udgivet

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

    I: Formal Methods in System Design, Bind 6, 1995, s. 239-258.

    Publikation: Forskning - peer reviewTidsskriftartikel

  87. Udgivet

    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.

    Publikation: ForskningBog

  88. Udgivet

    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.

    Publikation: FormidlingBog

  89. Udgivet

    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.

    Publikation: ForskningBog

  90. 1994
  91. Udgivet

    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. red. / Voung, S.-T. : Chanson, S.-T. (Eds.). Chapman & Hall, 1994. s. 232-330.

    Publikation: ForskningKonferenceartikel i proceeding

  92. Udgivet

    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. s. 41-52.

    Publikation: ForskningKonferenceartikel i proceeding

  93. 1992
  94. Udgivet

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

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

    Publikation: ForskningBidrag til bog/antologi

  95. Udgivet

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

    Berlin : IEEE Computer Society Press, 1992.

    Publikation: FormidlingBog

  96. Udgivet

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

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

    Publikation: ForskningKonferenceartikel i proceeding

  97. 1991
  98. Udgivet

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

    I: Information and Computation, Bind 94, Nr. 1, 1991, s. 1-28.

    Publikation: Forskning - peer reviewTidsskriftartikel

  99. 1989
  100. Udgivet

    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. s. 344-352.

    Publikation: ForskningKonferenceartikel i proceeding

  101. Udgivet

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

    Aalborg : Institut for Elektroniske Systemer, Aalborg Universitet, 1989.

    Publikation: FormidlingBog