Ulrik Nyman
Orcid: 0000-0001-6430-540XAffiliations:
- Aalborg University, Department of Computer Science
According to our database1,
Ulrik Nyman
authored at least 48 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
On csauthors.net:
Bibliography
2023
Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters.
IEEE Trans. Ind. Electron., September, 2023
Timed I/O Automata: It is never too late to complete your timed specification theory.
CoRR, 2023
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023
Proceedings of the Fundamental Approaches to Software Engineering, 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
2020
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020
2019
J. Aerosp. Inf. Syst., November, 2019
Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters.
IEEE Trans. Ind. Electron., 2019
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems.
Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019
2018
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems.
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018
Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018
2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017
Proceedings of the ModelEd, TestEd, TrustEd, 2017
2016
SIGBED Rev., 2016
Sci. Comput. Program., 2016
2015
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.
Sci. Comput. Program., 2015
Proceedings of the Secure IT Systems, 20th Nordic Conference, 2015
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015
2014
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014
2013
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
2012
Int. J. Softw. Tools Technol. Transf., 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
2010
Math. Struct. Comput. Sci., 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010
Proceedings of the Automated Technology for Verification and Analysis, 2010
2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
2008
Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008
20 Years of Modal and Mixed Specifications.
Bull. EATCS, 2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
2007
Int. J. Softw. Tools Technol. Transf., 2007
Proceedings of the Programming Languages and Systems, 2007
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007
2006
2005
Proceedings of the Fundamental Approaches to Software Engineering, 2005