Statistical Model Checking for Stochastic Hybrid Systems

Autor: Danny Bøgsted Poulsen, Sean Sedwards, Axel Legay, Marius Mikučionis, Kim G. Larsen, Dehui Du, Alexandre David

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 92, Iss Proc. HSB 2012, Pp 122-136 (2012)

This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid sys

Externí odkaz: https://doaj.org/article/c966dcac1e5b4dfdb933e9abf3c8f2cf

SMTQuery Files for TACAS '23 AE VM

Autor: Joel D. Day, Mitja Kulczynski, Florin Silviu Manea, Dirk Nowotka, Danny Bøgsted Poulsen

This ZIP-file contains all data needed to run SMTQuery within the TACAS '23 Ubuntu VM. For further information we refer tohttps://smtquery.github.io. The package contains: 1. The Python 3 source code of SMTQuery is located in `code`, 2. SMTLib files,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1d876986f765522341b59ac9d79b44c2

Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

Autor: Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen

Publikováno v: Model Checking Software ISBN: 9783031150760

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::17b14dc19f5966f338e4a0ce0fe6ed58
https://doi.org/10.1007/978-3-031-15077-7_4

ZaligVinder: A generic test framework for string solvers

Autor: Dirk Nowotka, Florin Manea, Mitja Kulczynski, Danny Bøgsted Poulsen

Publikováno v: Kulczynski, M, Manea, F, Nowotka, D & Poulsen, D B 2021, ' ZaligVinder : A generic test framework for string solvers ', Journal of Software: Evolution and Process . https://doi.org/10.1002/smr.2400

The increased interest in string solving in the recent years has made it very hard to identify the right tool to address a particular user's purpose. Firstly, there is a multitude of string solvers, each addressing essentially some subset of the gene

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::528461d383ee861fd9c2d9147004e708
https://doi.org/10.1002/smr.2400

ADTLANG: A Programming Language Approach to Attack Defense Trees

Autor: Peter Gjøl Jensen, René Rydhof Hansen, Danny Bøgsted Poulsen, Axel Legay, Kim Guldstrand Larsen

Publikováno v: Hansen, R R, Larsen, K G, Legay, A B E, Jensen, P G & Poulsen, D B 2021, ' ADTLANG: A Programming Language Approach to Attack Defense Trees ', International Journal on Software Tools for Technology Transfer, vol. 23, no. 1, pp. 89-104 . https://doi.org/10.1007/s10009-020-00593-w

The Attack Defense Tree framework was developed to facilitate abstract reasoning about security issues of complex systems. As such, a zoo of techniques and extensions have emerged in an attempt to extend the simple Boolean logic of Attack Defense Tre

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46cce59ece190f54a8f5c7c8ac83e2cf
https://vbn.aau.dk/da/publications/818ec9d4-7f53-4a6b-b531-28a99b13bae0