• Selma Lagerløfs Vej 300, 1-2-12

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

20032019
If you made any changes in Pure these will be visible here soon.

Research Output 2003 2019

2019
3 Citations (Scopus)
233 Downloads (Pure)

Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Mar 2019, In : I E E E Transactions on Industrial Electronics. 66, 3, p. 2004 - 2014 11 p., 8368064.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Power converters
Model checking
Model predictive control
Power electronics
Degradation
2018

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

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

Open Access
1 Citation (Scopus)
14 Downloads (Pure)

A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 27 Mar 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). EPTCS, Vol. 268. p. 150-168 19 p. (Electronic Proceedings in Theoretical Computer Science).

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

Open Access
File
Avionics
Model checking
Stop watches
Concretes
43 Downloads (Pure)

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

Gundersen, T. R., Lorber, F., Nyman, U. & Ovesen, C., 7 Sep 2018, In : Electronic Proceedings in Theoretical Computer Science. 277, p. 147-160 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Real time systems
Model checking
Testing

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

Boudjadar, J., Kim, J. H., Phan, L. T. X., Lee, I., Larsen, K. G. & Nyman, U., 25 Jul 2018, Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE, p. 51-58 8 p. 8421146. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

Scheduling
98 Downloads (Pure)

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 Feb 2018, 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE, p. 11-19 9 p.

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

Open Access
File
24 Downloads (Pure)

Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Sep 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, p. 1-10 10 p. 8515598

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

Open Access
File
Model predictive control
Diodes
Model checking
Power electronics
Industrial applications
2017
1 Citation (Scopus)
138 Downloads (Pure)

Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach

Novak, M., Dragicevic, T., Blaabjerg, F. & Nyman, U. M., Jul 2017, Proceedings of 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL). IEEE Press, 6 p. (IEEE Workshop on Control and Modeling for Power Electronics (COMPEL) ).

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

Open Access
File
Model predictive control
Model checking
Power electronics
Electric potential
Uninterruptible power systems

Compositional testing of real-time systems

Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 Jan 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Vol. 10500 LNCS. p. 107-124 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10500 LNCS).

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

Real time systems
Testing
3 Citations (Scopus)

Formal validation of supervisory energy management systems for microgrids

Sugumar, G., Selvamuthukumaran, R., Dragicevic, T., Nyman, U., Larsen, K. G. & Blaabjerg, F., Oct 2017, Proceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE Press, p. 1154-1159 6 p.

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

Energy management systems
Renewable energy resources
Real time systems
Energy storage
Physics
7 Citations (Scopus)

Mutation-Based Test-Case Generation with Ecdar

Larsen, K. G., Lorber, F., Nielsen, B. & Nyman, U. M., 13 Apr 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE, p. 319-328 10 p. 7899077

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

Testing
Specifications
Alarm systems
Railroad cars
2016

Fieldbook: Developing embedded systems & smart products in practice

Jensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 1 Mar 2016, København V: Dansk industri. 83 p.

Research output: Book/ReportBookCommunication

Open Access

Optimizing the resource requirements of hierarchical scheduling systems

Kim, J. H., Legay, A., Traonouez, L. M., Boudjadar, A., Nyman, U. M., Larsen, K. G., Lee, I. & Choi, J-Y., 2016, In : SIGBED Review. 13, 3, 8 p.

Research output: Contribution to journalJournal articleResearchpeer-review

8 Citations (Scopus)
61 Downloads (Pure)

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 journalJournal articleResearchpeer-review

File
Scheduling
Model checking
2015
4 Citations (Scopus)
148 Downloads (Pure)

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 journalJournal articleResearchpeer-review

Open Access
File

Fieldbook: Udvikling af embedded systemer & smarte produkter i praksis: Lav din virksomheds eget roadmap

Jensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 10 Oct 2015, København V: Dansk industri. 80 p.

Research output: Book/ReportBookCommunication

Open Access
2 Citations (Scopus)
312 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 proceedingArticle in proceedingResearchpeer-review

File
3 Citations (Scopus)
279 Downloads (Pure)

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 proceedingArticle in proceedingResearchpeer-review

File
12 Citations (Scopus)
171 Downloads (Pure)

Real-time specifications

David, A., Larsen, K. G., Legay, A., Nyman, U., Traonouez, L-M. & Wasowski, A., 2015, In : International Journal on Software Tools for Technology Transfer. 17, 1, p. 17-45 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Specifications
Real time systems
Semantics
Chemical analysis
2 Citations (Scopus)
147 Downloads (Pure)

The Timed Decentralised Label Model

Pedersen, M. L., Sørensen, M. H., Lux, D., Nyman, U. M. & Hansen, R. R., 2015, Secure IT Systems: 20th Nordic Conference on Secure IT-Systems (NordSec 2015). Buchegger, S. & Dam, M. (eds.). Springer, p. 27-43 (Lecture Notes in Computer Science; No. 9417).

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

Open Access
File
6 Citations (Scopus)
90 Downloads (Pure)

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 proceedingArticle in proceedingResearchpeer-review

Open Access
File
Scheduling
Model checking
Hierarchical systems
Statistical Models
2014
4 Citations (Scopus)
604 Downloads (Pure)

A modal specification theory for components with data

Bauer, S. S., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 1 Apr 2014, In : Science of Computer Programming. 83, p. 106–128 22 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Specifications
Chemical analysis
4 Citations (Scopus)
242 Downloads (Pure)

Compositional Schedulability Analysis of An Avionics System Using UPPAAL

Boudjadar, J., Larsen, K. G., Kim, J. H. & Nyman, U., 2014, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. CEUR Workshop Proceedings, Vol. 1294. p. 140-147 8 p.

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

Open Access
File
8 Citations (Scopus)
244 Downloads (Pure)

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 Sep 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 proceedingArticle in proceedingResearchpeer-review

Open Access
File
Real time systems
Probability distributions
Scheduling
Model checking
Quality of service
14 Citations (Scopus)
264 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 proceedingArticle in proceedingResearchpeer-review

Open Access
File
Scheduling
Avionics
95 Downloads (Pure)

Model checking process algebra of communicating resources for real-time systems

Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 p.

Research output: Working paperResearch

Open Access
File
137 Downloads (Pure)

Model Checking Process Algebra of Communicating Resources for Real-time Systems

Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, Proceedings of ECRTS 2014. IEEE Press, p. 51-60 (Euromicro Conference on Real-Time Systems. Proceedings).

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

Open Access
File
464 Downloads (Pure)

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 proceedingArticle in proceedingResearchpeer-review

File
2013
404 Downloads (Pure)

Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach

Pop, P., Tsiopoulos, L., Voss, S., Slotosch, O., Ficek, C., Nyman, U. & Lopez, A. R., 2013, WICERT 2013 Conference Proceedings. 6 p. 3

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

Open Access
File

Preface

Larsen, K. G., Legay, A. & Nyman, U., 3 Nov 2013, Proceedings 1st Workshop on Advances in Systems of Systems. Electronic Proceedings in Theoretical Computer Science, Vol. 133. p. 1-1 (Electronic Proceedings in Theoretical Computer Science).

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

2012
4 Citations (Scopus)
271 Downloads (Pure)

A Modal Specification Theory for Components with Data

Bauer, S. S., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2012, Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer Publishing Company, Vol. 7253. (Lecture Notes in Computer Science).

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

Open Access
File
13 Citations (Scopus)
196 Downloads (Pure)

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 journalJournal articleResearchpeer-review

File
Real time systems
Specifications
Network protocols
60 Citations (Scopus)
371 Downloads (Pure)

Moving from Specifications to Contracts in Component-based Design

Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2012, 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. Springer, Vol. 7212. p. 43-58 15 p. (Lecture Notes in Computer Science, Vol. 7212).

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

Open Access
File
4 Citations (Scopus)
257 Downloads (Pure)

New Results on Timed Specifications

Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. & Wasowski, A., 23 Feb 2012, Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Mossakowski, T. & Kreowski, H-J. (eds.). Springer, p. 175-192 18 p. (Lecture Notes in Computer Science, Vol. 7137).

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

Open Access
File
2010
66 Downloads (Pure)

An Interface Theory for Timed Systems

David, A., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2010.

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

Open Access
File
32 Citations (Scopus)
235 Downloads (Pure)

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems

David, A., Larsen, K. G., Nyman, U., Legay, A. & Wasowski, A., 2010, In : Lecture Notes in Computer Science. 6252, p. 365-370

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
6 Citations (Scopus)
152 Downloads (Pure)

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

David, A., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2010, In : Lecture Notes in Computer Science. 6286, p. 290-310

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
9 Citations (Scopus)
198 Downloads (Pure)

Modal and Mixed Specifications: Key Decision Problems and their Complexities

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Waswoski, A., Feb 2010, In : Mathematical Structures in Computer Science. 20, Special Issue 01, p. 75-103

Research output: Contribution to journalJournal articleResearchpeer-review

File
Decision problem
Specification
Specifications
Transition Systems
Computational complexity
117 Citations (Scopus)
187 Downloads (Pure)

Timed I/O automata: a complete specification theory for real-time systems

David, A., Larsen, K. G., Nyman, U., Legay, A. & Wasowski, A., 2010, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10. Association for Computing Machinery

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

Open Access
File
2009
5 Citations (Scopus)
168 Downloads (Pure)

EXPTIME-complete Decision Problems for Modal and Mixed Specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2009, In : Electronical Notes in Theoretical Computer Science. 242, 1, p. 19-33

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
2008
477 Downloads (Pure)

20 Years of Modal and Mixed Specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2008, In : Bulletin of the European Association for Theoretical Computer Science. 95

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Specifications
19 Citations (Scopus)
184 Downloads (Pure)

Complexity of decision problems for mixed and modal specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2008, 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. Amadio, R. (ed.). Springer, p. 112-126 (Lecture Notes in Computer Science; No. 4962).

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

Open Access
File
503 Downloads (Pure)

Modal Transition Systems as the Basis for Interface Theories and Product Lines

Nyman, U., 2008, Aalborg: Aalborg Universitet. (Ph.D. thesis; No. 45).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Specifications
Hardness
Color vision
Embedded software
Interfaces (computer)
2007
163 Citations (Scopus)
302 Downloads (Pure)

Modal I/O Automata for Interface and Product Line Theories

Larsen, K. G., Nyman, U. & Wasowski, A., 2007, 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. De Nicola, R. (ed.). IEEE Computer Society Press, p. 64-79 16 p. (Lecture Notes in Computer Science; No. 4421).

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

Open Access
File
9 Citations (Scopus)
435 Downloads (Pure)

Modeling software product lines using color-blind transition systems

Larsen, K. G., Nyman, U. & Wasowski, A., 2007, In : International Journal on Software Tools for Technology Transfer. 9, 5-6, p. 471 487 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
47 Citations (Scopus)
234 Downloads (Pure)

On Modal Refinement and Consistency

Nyman, U., Larsen, K. G. & Wasowski, A., 2007, CONCUR 2007 – Concurrency Theory. IEEE Computer Society Press, p. 105-119 15 p. (Lecture Notes in Computer Science; No. 4703).

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

Open Access
File
Specifications
2006
397 Downloads (Pure)

An Interface Theory for Input/Output Automata

Larsen, K. G., Nyman, U. & Wasowski, A., 2006, RS-06-10 ed. Århus: BRICS. 40 p.

Research output: Book/ReportReportResearch

Open Access
File
Chemical analysis
24 Citations (Scopus)
215 Downloads (Pure)

Interface Input/Output Automata

Larsen, K. G., Nyman, U. & Wasowski, A., 2006, FM 2006: Formal Methods: 14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006 Proceedings. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). Springer, Vol. Springer. p. 82-97 16 p.

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

Open Access
File
Chemical analysis
86 Downloads (Pure)

Interface Input/Output Automata: Splitting Assumptions from Guarantees

Larsen, K. G., Nyman, U. & Wasowski, A., 2006.

Research output: Working paperResearch

File
Specification languages
Specifications
Communication
Chemical analysis
2005
3 Citations (Scopus)
244 Downloads (Pure)

Color-blind Specifications for Transformations of Reactive Synchronous Programs

Larsen, K. G., Larsen, U. & Wasowski, A., 2005, 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. Cerioli, M. (ed.). IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 3442).

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

Open Access
File