Ulrik Nyman

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A modeling concept for formal verification of OS-based compositional software	2023-11-24	Paper
Monte Carlo tree search for priced timed automata Quantitative Evaluation of Systems	2023-06-02	Paper
Randomized refinement checking of timed I/O automata	2022-09-01	Paper
scientific article; zbMATH DE number 7447740 (Why is no real title available?)	2021-12-17	Paper
scientific article; zbMATH DE number 7447740 (Why is no real title available?) (available as arXiv preprint)	2021-12-17	Paper
Timed I/O automata: a complete specification theory for real-time systems Proceedings of the 13th ACM international conference on Hybrid systems: computation and control	2017-05-10	Paper
EXPTIME-complete decision problems for modal and mixed specifications Electronic Notes in Theoretical Computer Science	2014-07-23	Paper
New results on timed specifications Recent Trends in Algebraic Development Techniques	2012-06-08	Paper
Methodologies for specification of real-time systems using timed I/O automata Formal Methods for Components and Objects	2011-01-08	Paper
Modal and mixed specifications: key decision problems and their complexities Mathematical Structures in Computer Science	2010-04-01	Paper
20 years of modal and mixed specifications.	2009-09-19	Paper
On Modal Refinement and Consistency CONCUR 2007 – Concurrency Theory	2008-09-18	Paper
Complexity of Decision Problems for Mixed and Modal Specifications Foundations of Software Science and Computational Structures	2008-04-11	Paper
Modal I/O Automata for Interface and Product Line Theories Programming Languages and Systems	2007-09-04	Paper
A numerical method for the evaluation of non-linear transient moisture flow in cellulosic materials International Journal for Numerical Methods in Engineering	2007-05-22	Paper

Research outcomes over time

This page was built for person: Ulrik Nyman