Danny Bøgsted Poulsen

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 25

Top Topics

Metric Temporal Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
ZaligVinder: A generic test framework for string solvers. J. Softw. Evol. Process. 35 (4) (2023)
Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
Verified Verifying: SMT-LIB for Strings in Isabelle. CIAA (2023)
Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Refinement of Systems with an Attacker Focus. FMICS (2023)
Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen
Solving String Theories Involving Regular Membership Predicates Using SAT. SPIN (2022)
Rong Gu, Peter Gjøl Jensen, Danny Bøgsted Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
Importance Splitting in Uppaal. ISoLA (3) (2022)
Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. SPIN (2022)
Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
A Generic Information Extraction System for String Constraints. CoRR (2022)
René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen
ADTLang: a programming language approach to attack defense trees. Int. J. Softw. Tools Technol. Transf. 23 (1) (2021)
Bjarke Hilmer Møller, Jacob Gosch Søndergaard, Kristoffer Skagbæk Jensen, Magnus Winkel Pedersen, Tobias Worm Bøgedal, Anton Christensen, Danny Bøgsted Poulsen, Kim Guldstrand Larsen, René Rydhof Hansen, Thomas Rosted Jensen, Heino Juvoll Madsen, Henrik Uhrenfeldt
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code. NordSec (2021)
Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
Analysis of Source Code Using UPPAAL. F-IDE@NFM (2021)
Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
Rule-based Word Equation Solving. FormaliSE@ICSE (2020)
Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen
Fluid Model-Checking in UPPAAL for Covid-19. ISoLA (1) (2020)
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen
On Collapsing Prefix Normal Words. LATA (2020)
Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
Automatic Verification of LLVM Code. CoRR (2020)
Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
The Power of String Solving: Simplicity of Comparison. AST@ICSE (2020)
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
On Solving Word Equations Using SAT. CoRR (2019)
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
On Solving Word Equations Using SAT. RP (2019)
Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez
Statistical Model Checking of LLVM Code. FM (2018)
Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
. SPIN (2017)
René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. GraMSec@CSF (2017)
Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Importance Sampling for Stochastic Timed Automata. SETTA (2016)
Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen
Modelling Attack-defense Trees Using Timed Automata. FORMATS (2016)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. 17 (3) (2015)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. ACSD (2014)
Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
Checking and Distributing Statistical Model Checking. NASA Formal Methods (2012)
Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Statistical Model Checking for Stochastic Hybrid Systems HSB (2012)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata QAPL (2012)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR (2012)
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
Rewrite-Based Statistical Model Checking of WMTL. RV (2012)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Runtime Verification of Biological Systems. ISoLA (1) (2012)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata CoRR (2011)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
Statistical Model Checking for Networks of Priced Timed Automata. FORMATS (2011)