Danny Bøgsted Poulsen

Søgeresultater

• Evaluation Artifacts for: Solving String Theories involving Regular Membership Predicates Using SAT

  Kulczynski, M. (Ophavsperson), Lotz, K. (Ophavsperson), Nowotka, D. (Ophavsperson) & Poulsen, D. B. (Ophavsperson), Zenodo, 2022

  DOI: 10.5281/zenodo.6384326, https://zenodo.org/record/6384326

  Datasæt

• Software Artifact for the paper "ADTLang: A Programming Language Approach to Attack-Defense Trees"

  Hansen, R. R. (Ophavsperson), Larsen, K. G. (Ophavsperson), Legay, A. (Ophavsperson), Jensen, P. G. (Ophavsperson) & Poulsen, D. B. (Ophavsperson), Zenodo, 2019

  DOI: 10.5281/zenodo.3534293, https://zenodo.org/record/3534293

  Datasæt