Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Linda Leuschner"'
Autor:
Hermann Härtig, Linda Leuschner, Tobias Stumpf, Sascha Klüppelholz, Christel Baier, Martin Küttler
Publikováno v:
HotOS
The paper reports on first steps towards a systematic design process that ensures quantitative stochastic requirements like requirements on the expected energy consumption or resilience requirements by construction. The idea is to automatically extra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::95654126e4f6d3bd9b182ba8035201cf
https://doi.org/10.1145/3102980.3102999
https://doi.org/10.1145/3102980.3102999
Publikováno v:
Computer Aided Verification ISBN: 9783319633862
CAV (1)
CAV (1)
Probabilistic model checking provides formal guarantees on quantitative properties such as reliability, performance or risk, so the accuracy of the numerical results that it returns is critical. However, recent results have shown that implementations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d1829162db4ee86e32ade8f35ebbb24
https://doi.org/10.1007/978-3-319-63387-9_8
https://doi.org/10.1007/978-3-319-63387-9_8
Autor:
Christel Baier, Sascha Wunderlich, Rafael Peñaloza, Jochen Fröhlich, Michael Raitza, Christian Menard, Nils Asmussen, Benedikt Nothen, Tomas Karnagel, Franz Baader, Johannes Mey, Jeronimo Castrillon, Gerhard Fettweis, Siqi Ling, Marcus Völp, Sascha Klüppelholz, Mattis Hasler, Uwe Aßmann, Sven Karol, Matthias Lieber, Sebastian Haas, Andrés Goens, Wolfgang Lehner, Dirk Habich, Linda Leuschner, Steffen Märcker, Wolfgang E. Nagel, Hermann Härtig, Immo Huismann, Axel Voigt, Jörg Stiller, Akash Kumar, Annett Ungethüm
Plenty of novel emerging technologies are being proposed and evaluated today, mostly at the device and circuit levels. It is unclear what the impact of different new technologies at the system level will be. What is clear, however, is that new techno
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ccbb89ecf8fdaf655ac1e3b3c7fe8db4
https://tud.qucosa.de/id/qucosa:82150
https://tud.qucosa.de/id/qucosa:82150
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783319077338
Petri Nets
Petri Nets
The automated quantitative system analysis in terms of probabilistic model checking (PMC) is nowadays well-established and has been applied successfully in various areas. Recently, we showed how PMC can be applied for the trade-off analysis between s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d144990cae5f901a7c3d4b85bb37c6ab
https://doi.org/10.1007/978-3-319-07734-5_2
https://doi.org/10.1007/978-3-319-07734-5_2