Ulrik Nyman
Title
Cited by
Cited by
Year
Modal I/O automata for interface and product line theories
KG Larsen, U Nyman, A Wąsowski
European Symposium on Programming, 64-79, 2007
2972007
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
2042010
Moving from specifications to contracts in component-based design
SS Bauer, A David, R Hennicker, KG Larsen, A Legay, U Nyman, ...
International Conference on Fundamental Approaches to Software Engineering …, 2012
1072012
On modal refinement and consistency
KG Larsen, U Nyman, A Wąsowski
International Conference on Concurrency Theory, 105-119, 2007
832007
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
612008
Interface input/output automata
KG Larsen, U Nyman, A Wąsowski
International Symposium on Formal Methods, 82-97, 2006
592006
ECDAR: An environment for compositional design and analysis of real time systems
A David, KG Larsen, A Legay, U Nyman, A Wąsowski
International Symposium on Automated Technology for Verification and …, 2010
552010
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
422013
Complexity of decision problems for mixed and modal specifications
A Antonik, M Huth, KG Larsen, U Nyman, A Wąsowski
International Conference on Foundations of Software Science and …, 2008
422008
Modal transition systems as the basis for interface theories and product lines
U Nyman
Department of Computer Science, the Faculty of Engineering, Science, and …, 2008
282008
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
262018
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 (6), 703-720, 2012
222012
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
202014
Modeling software product lines using color-blind transition systems
KG Larsen, U Nyman, A Wasowski
International Journal on Software Tools for Technology Transfer 9 (5-6), 471-487, 2007
192007
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 (1), 17-45, 2015
182015
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
162016
Methodologies for specification of real-time systems using timed I/O automata
A David, KG Larsen, A Legay, U Nyman, A Wąsowski
International Symposium on Formal Methods for Components and Objects, 290-310, 2009
162009
Widening the schedulability of hierarchical scheduling systems
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
International Conference on Formal Aspects of Component Software, 209-227, 2014
152014
Compositional Schedulability Analysis of An Avionics System Using UPPAAL.
A Boudjadar, JH Kim, KG Larsen, U Nyman
ICAASE, 140-147, 2014
152014
Degree of schedulability of mixed-criticality real-time systems with probabilistic sporadic tasks
AJ Boudjadar, A David, JH Kim, KG Larsen, M Mikucionis, U Nyman, ...
2014 Theoretical Aspects of Software Engineering Conference, 126-130, 2014
142014
The system can't perform the operation now. Try again later.
Articles 1–20