Zobrazeno 1 - 10
of 76
pro vyhledávání: '"Mereacre, Alexandru"'
Besides Intel's SGX technology, there are long-running discussions on how trusted computing technologies can be used to cloak malware. Past research showed example methods of malicious activities utilising Flicker, Trusted Platform Module, and recent
Externí odkaz:
http://arxiv.org/abs/2210.06792
This paper focuses on optimizing probabilities of events of interest defined over general controlled discrete-time Markov processes. It is shown that the optimization over a wide class of $\omega$-regular properties can be reduced to the solution of
Externí odkaz:
http://arxiv.org/abs/1407.5449
Publikováno v:
Logical Methods in Computer Science, Volume 7, Issue 1 (March 29, 2011) lmcs:697
We study the verification of a finite continuous-time Markov chain (CTMC) C against a linear real-time specification given as a deterministic timed automaton (DTA) A with finite or Muller acceptance conditions. The central question that we address is
Externí odkaz:
http://arxiv.org/abs/1101.3694
Publikováno v:
In Information and Computation April 2017 253 Part 1:1-35
Publikováno v:
In Information and Computation August 2014 236:87-101
Publikováno v:
OpenAccess Series in Informatics (OASIcs).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=erc_________::cf63f47f2df3318bde0405047af63f8b
Autor:
Mereacre, Alexandru
Publikováno v:
Aachen : Publikationsserver der RWTH Aachen University X, 125 S. : graph. Darst. (2012). = Aachen, Techn. Hochsch., Diss., 2012
This thesis deals with verification algorithms for inhomogeneous continuous time Markov chains (ICTMC), discrete time stochastic hybrid systems (DTSHS) and Markovian timed automata (MTA). For all of these three models we define the notions of time-bo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______791::25d9a024a854c61259a0e72704368f15
https://publications.rwth-aachen.de/record/82778
https://publications.rwth-aachen.de/record/82778
Publikováno v:
Proceedings of the 19th International Conference Hybrid Systems Computation & Control; 2016, p195-204, 10p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings; 2015, p3-7, 5p