Ulrik Nyman - Concepedia

Author

Ulrik Nyman

Aalborg University ORCID

Also Known As

Nyman, Ulrik, Nyman, Ulrik Mathias, U. Nyman, ULRIK NYMAN, Ulrik M. Nyman, Ulrik Mathias Nyman, Ulrik Nyman

Publications

1.5K

Citations

H-Index

Concepts

All Affiliations

Aalborg University IT University of Copenhagen Institut de Recherche en Informatique et Systèmes Aléatoires Institut national de recherche en sciences et technologies du numérique University of Zielona Góra

About

Ulrik Nyman is an author at Aalborg University specializing in systems engineering, engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	12	343
2	Computer Science	10	10	315
3	Computer Engineering	6	6	246
4	Electrical Engineering	2	2	28
5	Kinesiology	1	1	12

Ulrik Nyman

Publications

540

Citations

H-Index

Page 1

	Year	Citations
Timed I/O automata Alexandre David, Kim G. Larsen, Axel Legay, EngineeringVerificationSoftware EngineeringComputational ComplexityFormal Verification	2010	173
20 Years of Modal and Mixed Specifications Adam Antonik, Michael Huth, Kim G. Larsen, VBN Forskningsportal (Aalborg Universitet)	2008	61
Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters Mateja Novak, Ulrik Nyman, Tomislav Dragičević, IEEE Transactions on Industrial Electronics	2018	60
Statistical and exact schedulability analysis of hierarchical scheduling systems Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Science of Computer Programming Mathematical ProgrammingEngineeringScheduling ProblemExact Schedulability AnalysisSystems Engineering	2016	26
Real-time specifications Alexandre David, Kim G. Larsen, Axel Legay, International Journal on Software Tools for Technology Transfer	2013	22
Compositional verification of real-time systems using Ecdar Alexandre David, Kim G. Larsen, Axel Legay, International Journal on Software Tools for Technology Transfer Compositional VerificationEngineeringProgram AnalysisVerificationFormal Methods	2012	21
Mutation-Based Test-Case Generation with Ecdar Kim G. Larsen, Florian Lorber, Brian Nielsen, EngineeringVerificationTest Data GenerationSoftware EngineeringSoftware Analysis	2017	21
Overview of Control Algorithm Verification Methods in Power Electronics Systems Paweł Szcześniak, Iwona Grobelna, Mateja Novak, Energies	2021	19
Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification Mateja Novak, Ulrik Nyman, Tomislav Dragičević, IEEE Industrial Electronics Magazine EngineeringVerificationComputer-aided VerificationPower Electronic SystemsModel Checking	2019	15
Distributed Fleet Management in Noisy Environments via Model-Predictive Control Simon Bøgh, Peter Gjøl Jensen, Martin Kristjansen, Proceedings of the International Conference on Automated Planning and Scheduling	2022	15

Page 1