Danny Bøgsted Poulsen

According to our database, Danny Bøgsted Poulsen authored at least 34 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

ZaligVinder: A generic test framework for string solvers.

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

J. Softw. Evol. Process., April, 2023

Verified Verifying: SMT-LIB for Strings in Isabelle.

Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull

Proceedings of the Implementation and Application of Automata, 2023

Refinement of Systems with an Attacker Focus.

Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach.

Rong Gu, Peter Gjøl Jensen, Danny Bøgsted Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist

Int. J. Softw. Tools Technol. Transf., 2022

A Generic Information Extraction System for String Constraints.

Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

CoRR, 2022

Solving String Theories Involving Regular Membership Predicates Using SAT.

Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the Model Checking Software - 28th International Symposium, 2022

Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals.

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

Proceedings of the Model Checking Software - 28th International Symposium, 2022

Importance Splitting in Uppaal.

Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2021

ADTLang: a programming language approach to attack defense trees.

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

Int. J. Softw. Tools Technol. Transf., 2021

Analysis of Source Code Using UPPAAL.

Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code.

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

Proceedings of the Secure IT Systems - 26th Nordic Conference, NordSec 2021, Virtual Event, 2021

2020

Automatic Verification of LLVM Code.

Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen

CoRR, 2020

On Collapsing Prefix Normal Words.

Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the Language and Automata Theory and Applications, 2020

Fluid Model-Checking in UPPAAL for Covid-19.

Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

The Power of String Solving: Simplicity of Comparison.

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

Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

Rule-based Word Equation Solving.

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

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

On Solving Word Equations Using SAT.

Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

Proceedings of the Reachability Problems - 13th International Conference, 2019

2018

Statistical Model Checking of LLVM Code.

Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Practical controller synthesis for MTL_{0, ∞}.

Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata.

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

Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

2016

Importance Sampling for Stochastic Timed Automata.

Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Modelling Attack-defense Trees Using Timed Automata.

Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

2015

Statistical model checking for biological systems.

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards

Int. J. Softw. Tools Technol. Transf., 2015

Uppaal SMC tutorial.

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen

Int. J. Softw. Tools Technol. Transf., 2015

2014

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.

Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata.

Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen

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

2012

Statistical Model Checking for Stochastic Hybrid Systems

Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Rewrite-Based Statistical Model Checking of WMTL.

Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen

Proceedings of the Runtime Verification, Third International Conference, 2012

Checking and Distributing Statistical Model Checking.

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen

Proceedings of the NASA Formal Methods, 2012

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Runtime Verification of Biological Systems.

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang

CoRR, 2011

Statistical Model Checking for Networks of Priced Timed Automata.

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011