Danny Bøgsted Poulsen
Aalborg Universitet
H-index: 13
Europe-Denmark
Top articles of Danny Bøgsted Poulsen
Refinement of Systems with an Attacker Focus
2023/9/17
Axel Legay
H-Index: 35
Danny Bøgsted Poulsen
H-Index: 11
Verified Verifying: SMT-LIB for Strings in Isabelle
2023/8/10
Dirk Nowotka
H-Index: 9
Danny Bøgsted Poulsen
H-Index: 11
ZaligVinder: A generic test framework for string solvers
Journal of Software: Evolution and Process
2023/4
An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning
Decision Analytics Journal
2022/12/1
Importance splitting in uppaal
2022/10/17
A Generic Information Extraction System for String Constraints
arXiv preprint arXiv:2208.08806
2022/8/18
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach
International Journal on Software Tools for Technology Transfer
2022/6
Solving string theories involving regular membership predicates using SAT
2022/5/21
Dirk Nowotka
H-Index: 9
Danny Bøgsted Poulsen
H-Index: 11
Statistical model checking for probabilistic hyperproperties of real-valued signals
2022/5/21
Analysis of source code using UPPAAL
arXiv preprint arXiv:2108.02963
2021/8/6
ADTLang: a programming language approach to attack defense trees
International Journal on Software Tools for Technology Transfer
2021/2
Preliminary security analysis, formalisation, and verification of opentitan secure boot code
2021
Danny Bøgsted Poulsen
H-Index: 11
The power of string solving: simplicity of comparison
2020/10/7
Rule-based word equation solving
2020/10/7
Automatic Verification of LLVM Code
arXiv preprint arXiv:2006.02670
2020/6/4