Ulrik Nyman

Available identifiers

zbMath Open nyman.ulrikMaRDI QIDQ2169110

List of research outcomes

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	2023-06-02	Paper
Randomized refinement checking of timed I/O automata	2022-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q3384887	2021-12-17	Paper
Timed I/O automata: a complete specification theory for real-time systems	2017-05-10	Paper
EXPTIME-complete decision problems for modal and mixed specifications	2014-07-23	Paper
New results on timed specifications	2012-06-08	Paper
Methodologies for specification of real-time systems using timed I/O automata	2011-01-08	Paper
Modal and mixed specifications: key decision problems and their complexities	2010-04-01	Paper
20 years of modal and mixed specifications.	2009-09-19	Paper
On Modal Refinement and Consistency	2008-09-18	Paper
Complexity of Decision Problems for Mixed and Modal Specifications	2008-04-11	Paper
Modal I/O Automata for Interface and Product Line Theories	2007-09-04	Paper
A numerical method for the evaluation of non-linear transient moisture flow in cellulosic materials	2007-05-22	Paper

Research outcomes over time

This page was built for person: Ulrik Nyman