Danny Bøgsted Poulsen

Orcid: 0000-0001-9623-0748

According to our database1, Danny Bøgsted Poulsen authored at least 36 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Leveraging Large Language Models for Actionable Course Evaluation Student Feedback to Lecturers.
CoRR, 2024

Modelling and Analysis of DTLS: Power Consumption and Attacks.
Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023
ZaligVinder: A generic test framework for string solvers.
J. Softw. Evol. Process., April, 2023

Verified Verifying: SMT-LIB for Strings in Isabelle.
Proceedings of the Implementation and Application of Automata, 2023

Refinement of Systems with an Attacker Focus.
Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach.
Int. J. Softw. Tools Technol. Transf., 2022

A Generic Information Extraction System for String Constraints.
CoRR, 2022

Solving String Theories Involving Regular Membership Predicates Using SAT.
Proceedings of the Model Checking Software - 28th International Symposium, 2022

Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals.
Proceedings of the Model Checking Software - 28th International Symposium, 2022

Importance Splitting in Uppaal.
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.
Int. J. Softw. Tools Technol. Transf., 2021

Analysis of Source Code Using UPPAAL.
Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code.
Proceedings of the Secure IT Systems - 26th Nordic Conference, NordSec 2021, Virtual Event, 2021

2020
Automatic Verification of LLVM Code.
CoRR, 2020

On Collapsing Prefix Normal Words.
Proceedings of the Language and Automata Theory and Applications, 2020

Fluid Model-Checking in UPPAAL for Covid-19.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

The Power of String Solving: Simplicity of Comparison.
Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

Rule-based Word Equation Solving.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019
On Solving Word Equations Using SAT.
Proceedings of the Reachability Problems - 13th International Conference, 2019

2018
Statistical Model Checking of LLVM Code.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017
Practical controller synthesis for MTL<sub>0, ∞</sub>.
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.
Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

2016
Importance Sampling for Stochastic Timed Automata.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Modelling Attack-defense Trees Using Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

2015
Statistical model checking for biological systems.
Int. J. Softw. Tools Technol. Transf., 2015

Uppaal SMC tutorial.
Int. J. Softw. Tools Technol. Transf., 2015

2014
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.
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.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

2012
Statistical Model Checking for Stochastic Hybrid Systems
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Rewrite-Based Statistical Model Checking of WMTL.
Proceedings of the Runtime Verification, Third International Conference, 2012

Checking and Distributing Statistical Model Checking.
Proceedings of the NASA Formal Methods, 2012

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Runtime Verification of Biological Systems.
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
CoRR, 2011

Statistical Model Checking for Networks of Priced Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011


  Loading...