Danny Bøgsted Poulsen

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
ADTLang: a programming language approach to attack defense trees.
Int. J. Softw. Tools Technol. Transf., 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...