Folgen
Ulrik Nyman
Ulrik Nyman
Associate Professor, Aalborg University
Bestätigte E-Mail-Adresse bei cs.aau.dk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Modal I/O automata for interface and product line theories
KG Larsen, U Nyman, A Wąsowski
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
3232007
Timed I/O automata: a complete specification theory for real-time systems
A David, KG Larsen, A Legay, U Nyman, A Wasowski
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
2372010
Moving from specifications to contracts in component-based design
SS Bauer, A David, R Hennicker, K Guldstrand Larsen, A Legay, ...
Fundamental Approaches to Software Engineering: 15th International …, 2012
1352012
On modal refinement and consistency
KG Larsen, U Nyman, A Wąsowski
CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007
852007
Interface input/output automata
KG Larsen, U Nyman, A Wąsowski
International Symposium on Formal Methods, 82-97, 2006
702006
Analytical design and performance validation of finite set MPC regulated power converters
M Novak, UM Nyman, T Dragicevic, F Blaabjerg
IEEE Transactions on Industrial Electronics 66 (3), 2004-2014, 2018
662018
ECDAR: An environment for compositional design and analysis of real time systems
A David, KG Larsen, A Legay, U Nyman, A Wąsowski
Automated Technology for Verification and Analysis: 8th International …, 2010
652010
20 years of modal and mixed specifications
A Antonik, M Huth, KG Larsen, U Nyman, A Wasowski
European Association for Theoretical Computer Science. Bulletin, 2008
642008
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal⋆
A Boudjadar, A David, JH Kim, KG Larsen, M Mikucionis, U Nyman, ...
The 10th International Symposium on Formal Aspects of Component Software, 2013
502013
Complexity of decision problems for mixed and modal specifications
A Antonik, M Huth, KG Larsen, U Nyman, A Wąsowski
Foundations of Software Science and Computational Structures: 11th …, 2008
402008
Real-time specifications
A David, KG Larsen, A Legay, U Nyman, LM Traonouez, A Wąsowski
International Journal on Software Tools for Technology Transfer 17, 17-45, 2015
292015
Modal Transition Systems as the Basis for Interface Theories and Product Lines: PhD Dissertation
U Nyman
Department of Computer Science, The Faculty of Engineering, Science, and …, 2008
28*2008
Mutation-based test-case generation with ecdar
KG Larsen, F Lorber, B Nielsen, UM Nyman
2017 IEEE International Conference on Software Testing, Verification and …, 2017
232017
Statistical and exact schedulability analysis of hierarchical scheduling systems
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
Science of Computer Programming 127, 103-130, 2016
232016
Schedulability and energy efficiency for multi-core hierarchical scheduling systems
J Boudjadar, A David, JH Kim, KG Larsen, U Nyman, A Skou
Proceedings of ERTS2 2014, 1-4, 2014
232014
A modal specification theory for components with data
SS Bauer, KG Larsen, A Legay, U Nyman, A Wąsowski
Science of Computer Programming 83, 106-128, 2014
222014
Compositional schedulability analysis of an avionics system using UPPAAL
J Boudjadar, KG Larsen, JH Kim, U Nyman
International Conference on Advanced Aspects of Software Engineering, 140-147, 2014
222014
Compositional verification of real-time systems using Ecdar
A David, KG Larsen, A Legay, MH Møller, U Nyman, AP Ravn, A Skou, ...
International Journal on Software Tools for Technology Transfer 14, 703-720, 2012
222012
Modeling software product lines using color-blind transition systems
KG Larsen, U Nyman, A Wasowski
International Journal on Software Tools for Technology Transfer 9, 471-487, 2007
212007
Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach
P Pop, L Tsiopoulos, S Voss, O Slotosch, C Ficek, U Nyman, AR Lopez
Workshop on Industry-Driven Approaches for Cost-effective Certification of …, 2013
192013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20