Výsledky vyhledávání - "Markov Automata"

Confluence reduction for Markov automata

Autor: Joost-Pieter Katoen, Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga

Publikováno v: Theoretical computer science, 655(B), 193-219. Elsevier

Markov automata are a novel formalism for specifying systems exhibiting nondeterminism, probabilistic choices and Markovian rates. As expected, the state space explosion threatens the analysability of these models. We therefore introduce confluence r

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b386e425286dbe892c16dae878872101
https://doi.org/10.1016/j.tcs.2016.01.017

Zobrazit plný text záznamu

Sequential and Parallel Attack Tree Modelling

Autor: Arnold, Florian, Guck, Dennis, Kumar, Rajesh, Stoelinga, Mariëlle, Koornneef, Floor, van Gulijk, Coen

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319242484
SAFECOMP Workshops
Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, 291-299
STARTPAGE=291;ENDPAGE=299;TITLE=Computer Safety, Reliability, and Security

The intricacy of socio-technical systems requires a careful planning and utilisation of security resources to ensure uninterrupted, secure and reliable services. Even though many studies have been conducted to understand and model the behaviour of a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::831b518cfb109e1628eb89aea0ccc3fa
https://doi.org/10.1007/978-3-319-24249-1_25

Zobrazit plný text záznamu

Modelling and analysis of Markov reward automata

Autor: Guck, Dennis, Timmer, Mark, Hatefi, Hassan, Ruijters, Enno J.J., Stoelinga, Mariëlle I.A., Cassez, Franck, Raskin, Jean-François

Publikováno v: Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, 168-184
STARTPAGE=168;ENDPAGE=184;TITLE=Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014
Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA

Costs and rewards are important ingredients for many types of systems, modelling critical aspects like energy consumption, task completion, repair costs, and memory usage. This paper introduces Markov reward automata, an extension of Markov automata

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1cce7e90aadc591373faf5986c08516
https://doi.org/10.1007/978-3-319-11936-6_13

Zobrazit plný text záznamu

Model-based testing of stochastic systems with IOCO theory

Autor: Marcus Gerhold, Mariëlle Stoelinga

Publikováno v: A-TEST@SIGSOFT FSE
Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016, 45-51
STARTPAGE=45;ENDPAGE=51;TITLE=Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016

We present essential concepts of a model-based testing framework for probabilistic systems with continuous time. Markov automata are used as an underlying model. Key result of the work is the solid core of a probabilistic test theory, that incorporat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6164cad0028f7ac8c89c66d61aa0cc7b
https://doi.org/10.1145/2994291.2994298

Zobrazit plný text záznamu

Finite Horizon Analysis of Markov Automata

Autor: Hatefi Ardakani, Hassan

Markov automata constitute an expressive continuous-time compositional modelling formalism, featuring stochastic timing and nondeterministic as well as probabilistic branching, all supported in one model. They span as special cases, the models of dis

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1898428332eb1566770221e67c3e88d7
https://hdl.handle.net/11858/00-001M-0000-002C-9E81-C

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání