1. 2018
  2. Published

    A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems. / Han, Pujie; Zhai, Zhengjun; Nielsen, Brian; Nyman, Ulrik Mathias.

    Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. ed. / Simon Bliudze; Saddek Bensalem. 2018. p. 39-51.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  3. Published

    A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. / Han, Pujie; Zhai, Zhengjun; Nielsen, Brian; Nyman, Ulrik Mathias.

    Proceedings MARS/VPT 2018: Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. ed. / John P. Gallagher; Rob van Glabbeek; Wendelin Serwe. Vol. 268 EPTCS, 2018. p. 150-168.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  4. Published

    A modeling framework for schedulability analysis of distributed avionics systems. / Han, Pujie; Zhai, Zhengjun; Nielsen, Brian; Nyman, Ulrik.

    In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 268, 23.03.2018, p. 150-168.

    Research output: Contribution to journalConference article in JournalResearchpeer-review

  5. Accepted/In press
  6. Published

    Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. / Nyman, Ulrik; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Legay, Axel.

    22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE, 2018. p. 11-19.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  7. 2017
  8. Published

    Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters : A Model Checking Approach. / Novak, Mateja; Dragicevic, Tomislav; Blaabjerg, Frede; Nyman, Ulrik Mathias.

    Proceedings of 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL). IEEE Press, 2017.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  9. Published

    Compositional testing of real-time systems. / Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Nielsen, Brian; Nyman, Ulrik.

    ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Vol. 10500 LNCS Springer, 2017. p. 107-124.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  10. Published

    Formal validation of supervisory energy management systems for microgrids. / Sugumar, Gayathri; Selvamuthukumaran, R.; Dragicevic, T.; Nyman, U.; Larsen, K. G.; Blaabjerg, F.

    Proceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE Press, 2017. p. 1154-1159.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  12. 2016
  13. 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.

    Research output: Book/ReportBookCommunication

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  15. Published
  16. 2015
  17. Published
  18. 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.

    Research output: Book/ReportBookCommunication

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  21. Published

    Real-time specifications. / David, A.; Larsen, K.G.; Legay, A.; Nyman, Ulrik; Traonouez, L.-M.; Wasowski, A.

    In: International Journal on Software Tools for Technology Transfer, Vol. 17, No. 1, 2015, p. 17-45.

    Research output: Contribution to journalJournal articleResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  24. 2014
  25. 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.

    Research output: Contribution to journalJournal articleResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  30. Published
  31. Published

    Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; Larsen, Kim Guldstrand; Nyman, Ulrik; Skou, Arne.

    Proceedings of ERTS2 2014. 2014. p. 1-4.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  32. 2013
  33. 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.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

  35. 2012
  36. 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.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  37. Published
  38. 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.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  40. 2010
  41. 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, .

    Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

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

    Research output: Contribution to journalConference article in JournalResearchpeer-review

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

    Research output: Contribution to journalConference article in JournalResearchpeer-review

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

    Research output: Contribution to journalJournal articleResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  46. 2009
  47. 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.

    Research output: Contribution to journalConference article in JournalResearchpeer-review

  48. 2008
  49. 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.

    Research output: Contribution to journalJournal articleResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  51. Published

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

    Aalborg : Aalborg Universitet, 2008.

    Research output: Book/ReportPh.D. thesisResearch

  52. 2007
  53. 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.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

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

    Research output: Contribution to journalJournal articleResearchpeer-review

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  56. 2006
  57. Published

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

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

    Research output: Book/ReportReportResearch

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  59. Published

    Interface Input/Output Automata: Splitting Assumptions from Guarantees. / Larsen, Kim Guldstrand; Nyman, Ulrik; Wasowski, Andrzej.

    2006.

    Research output: Working paperResearch

  60. 2005
  61. 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.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  62. 2004
  63. 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.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

  64. Published

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

    2004. p. 52.

    Research output: Working paperResearch

  65. 2003
  66. 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.

    Research output: Book/ReportBookResearch