1. 2017
  2. Published

    Mutation-Based Test-Case Generation with Ecdar. / Larsen, Kim G.; Lorber, Florian; Nielsen, Brian; Nyman, Ulrik M.

    Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE, 2017. p. 319-328 7899077.

    Publication: Research - peer-reviewArticle in proceeding

  3. 2016
  4. Published

    Fieldbook: Developing embedded systems & smart products in practice. / Jensen, Henrik Valentin; Agesen, Mads Kronborg; Nyman, Ulrik Mathias; Wolff, Sune.

    København V : Dansk industri, 2016. 83 p.

    Publication: CommunicationBook

  5. Published

    Optimizing the resource requirements of hierarchical scheduling systems. / Kim, Jin Huin ; Legay, Axel; Traonouez, Louis Marie; Boudjadar, Abdeldjalil; Nyman, Ulrik Mathias; Larsen, Kim Guldstrand; Lee, Insup ; Choi, Jin-Young.

    In: SIGBED Review, Vol. 13, No. 3, 2016.

    Publication: Research - peer-reviewJournal article

  6. Published
  7. 2015
  8. Published
  9. Published

    Fieldbook: Udvikling af embedded systemer & smarte produkter i praksis : Lav din virksomheds eget roadmap. / Jensen, Henrik Valentin; Agesen, Mads Kronborg; Nyman, Ulrik Mathias; Wolff, Sune.

    København V : Dansk industri, 2015. 80 p.

    Publication: CommunicationBook

  10. 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

  11. 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

  12. Published
  13. Published

    The Timed Decentralised Label Model. / Pedersen, Martin Leth; Sørensen, Michael Hedegaard; Lux, Daniel; Nyman, Ulrik Mathias; Hansen, Rene Rydhof.

    Secure IT Systems: 20th Nordic Conference on Secure IT-Systems (NordSec 2015). ed. / Sonja Buchegger; Mads Dam. Springer, 2015. p. 27-43 (Lecture Notes in Computer Science; No. 9417).

    Publication: Research - peer-reviewArticle in proceeding

  14. 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

  15. 2014
  16. Published

    A modal specification theory for components with data. / Bauer, Sebastian S.; Larsen, Kim G.; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

    In: Science of Computer Programming, Vol. 83, 01.04.2014, p. 106–128.

    Publication: Research - peer-reviewJournal article

  17. Published

    Compositional Schedulability Analysis of An Avionics System Using UPPAAL. / Boudjadar, Jalil; Larsen, Kim Guldstrand; Kim, Jin Hyun; Nyman, Ulrik.

    Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. Vol. 1294 CEUR Workshop Proceedings, 2014. p. 140-147.

    Publication: Research - peer-reviewArticle in proceeding

  18. 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

  19. 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

  20. Published

    Model Checking Process Algebra of Communicating Resources for Real-time Systems. / Boudjadar, Jalil; Kim, Jin Hyun; Larsen, Kim Guldstrand; Nyman, Ulrik.

    Proceedings of ECRTS 2014. IEEE Press, 2014. p. 51-60 (Euromicro Conference on Real-Time Systems. Proceedings).

    Publication: Research - peer-reviewArticle in proceeding

  21. Published
  22. Published
  23. 2013
  24. Published

    Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms : the RECOMP approach. / Pop, Paul; Tsiopoulos, Leonidas; Voss, Sebastian; Slotosch, Oscar; Ficek, Christoph; Nyman, Ulrik; Lopez, Alejandra Ruiz.

    WICERT 2013 Conference Proceedings. 2013. 3.

    Publication: Research - peer-reviewArticle in proceeding

  25. Published

    Preface. / Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik.

    Proceedings 1st Workshop on Advances in Systems of Systems. Vol. 133 Electronic Proceedings in Theoretical Computer Science, 2013. p. 1-1 (Electronic Proceedings in Theoretical Computer Science).

    Publication: ResearchPreface/Introduction/postscript

  26. 2012
  27. Published

    A Modal Specification Theory for Components with Data. / Bauer, Sebastian S.; Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

    Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Vol. 7253 Springer Publishing Company, 2012. (Lecture Notes in Computer Science).

    Publication: Research - peer-reviewArticle in proceeding

  28. Published
  29. Published

    Moving from Specifications to Contracts in Component-based Design. / Bauer, Sebastian; David, Alexandre; Hennicker, Rolf; Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

    Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Vol. 7212 Springer, 2012. p. 43-58 (Lecture Notes in Computer Science, Vol. 7212).

    Publication: Research - peer-reviewArticle in proceeding

  30. Published

    New Results on Timed Specifications. / Bourke, Timothy; David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Lime, Didier; Nyman, Ulrik; Wasowski, Andrzej.

    Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. ed. / Till Mossakowski; Hans-Jörg Kreowski. Springer, 2012. p. 175-192 (Lecture Notes in Computer Science, Vol. 7137).

    Publication: Research - peer-reviewBook chapter

  31. 2010
  32. Published

    An Interface Theory for Timed Systems. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

    2010. Abstract from 20th International Workshop on Algebraic Development Techniques WADT 2010, .

    Publication: Research - peer-reviewConference abstract for conference

  33. Published

    ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. / David, Alexandre; Larsen, Kim Guldstrand; Nyman, Ulrik; Legay, Axel; Wasowski, Andrzej.

    In: Lecture Notes in Computer Science, Vol. 6252, 2010, p. 365-370.

    Publication: Research - peer-reviewConference article in Journal

  34. Published

    Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

    In: Lecture Notes in Computer Science, Vol. 6286, 2010, p. 290-310.

    Publication: Research - peer-reviewConference article in Journal

  35. Published

    Modal and Mixed Specifications: Key Decision Problems and their Complexities. / Antonik, Adam; Huth, Michael; Larsen, Kim Guldstrand; Nyman, Ulrik; Waswoski, Andrzej.

    In: Mathematical Structures in Computer Science, Vol. 20, No. Special Issue 01, 02.2010, p. 75-103.

    Publication: Research - peer-reviewJournal article

  36. Published

    Timed I/O automata : a complete specification theory for real-time systems. / David, Alexandre; Larsen, Kim Guldstrand; Nyman, Ulrik; Legay, Axel; Wasowski, Andrzej.

    Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10. Association for Computing Machinery, 2010.

    Publication: Research - peer-reviewArticle in proceeding

  37. 2009
  38. Published

    EXPTIME-complete Decision Problems for Modal and Mixed Specifications. / Antonik, Adam; Huth, Michael; Larsen, Kim Guldstrand; Nyman, Ulrik; Wasowski, Andrzej.

    In: Electronical Notes in Theoretical Computer Science, Vol. 242, No. 1, 2009, p. 19-33.

    Publication: Research - peer-reviewConference article in Journal

  39. 2008
  40. Published

    20 Years of Modal and Mixed Specifications. / Antonik, Adam; Huth, Michael; Larsen, Kim Guldstrand; Nyman, Ulrik; Wasowski, Andrzej.

    In: Bulletin of the European Association for Theoretical Computer Science, No. 95, 2008.

    Publication: Research - peer-reviewJournal article

  41. Published

    Complexity of decision problems for mixed and modal specifications. / Antonik, Adam; Huth, Michael; Larsen, Kim Guldstrand; Nyman, Ulrik; Wasowski, Andrzej.

    Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. ed. / Roberto Amadio. Springer, 2008. p. 112-126 (Lecture Notes in Computer Science; No. 4962).

    Publication: Research - peer-reviewArticle in proceeding

  42. Published

    Modal Transition Systems as the Basis for Interface Theories and Product Lines. / Nyman, Ulrik.

    Aalborg : Aalborg Universitet, 2008. (Ph.D. Thesis; No. 45).

    Publication: ResearchPh.D. thesis

  43. 2007
  44. Published

    Modal I/O Automata for Interface and Product Line Theories. / Larsen, Kim Guldstrand; Nyman, Ulrik; Wasowski, Andrzej.

    Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. ed. / Rocco De Nicola. IEEE Computer Society Press, 2007. p. 64-79 (Lecture Notes in Computer Science; No. 4421).

    Publication: Research - peer-reviewBook chapter

  45. Published

    Modeling software product lines using color-blind transition systems. / Larsen, Kim Guldstrand; Nyman, Ulrik; Wasowski, Andrzej.

    In: International Journal on Software Tools for Technology Transfer, Vol. 9, No. 5-6, 2007, p. 471.

    Publication: Research - peer-reviewJournal article

  46. Published

    On Modal Refinement and Consistency. / Nyman, Ulrik; Larsen, Kim Guldstrand; Wasowski, Andrzej.

    CONCUR 2007 – Concurrency Theory. IEEE Computer Society Press, 2007. p. 105-119 (Lecture Notes in Computer Science; No. 4703).

    Publication: Research - peer-reviewArticle in proceeding

  47. 2006
  48. Published

    An Interface Theory for Input/Output Automata. / Larsen, Kim Guldstrand; Nyman, Ulrik; Wasowski, Andrzej.

    RS-06-10 ed. Århus : BRICS, 2006. 40 p.

    Publication: ResearchReport

  49. Published

    Interface Input/Output Automata. / Larsen, Kim Guldstrand; Nyman, Ulrik; Wasowski, Andrzej.

    FM 2006: Formal Methods: 14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006 Proceedings. ed. / Jayadev Misra; Tobias Nipkow; Emil Sekerinski. Vol. Springer Springer, 2006. p. 82-97.

    Publication: Research - peer-reviewArticle in proceeding

  50. Published
  51. 2005
  52. Published

    Color-blind Specifications for Transformations of Reactive Synchronous Programs. / Larsen, Kim Guldstrand; Larsen, Ulrik; Wasowski, Andrzej.

    Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. ed. / Maura Cerioli. IEEE Computer Society Press, 2005. (Lecture Notes in Computer Science; No. 3442).

    Publication: Research - peer-reviewArticle in proceeding

  53. 2004
  54. Published

    Color-blind Behavioral Specifications for Transformations of Reactive Synchronous Programs. / Larsen, Ulrik; Larsen, Kim Guldstrand; Wasowski, Andrzej.

    Proceedings of the 16th Nordic Workshop on Programming Theory: Technical report. ed. / Paul Pettersson; Wang Yi. 2004-041. ed. Uppsala Sweden, 2004. p. 22-24.

    Publication: ResearchArticle in proceeding

  55. Published

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

    2004. p. 52.

    Publication: ResearchWorking paper

  56. 2003
  57. 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