Danny Bøgsted Poulsen

41 papers B 3C 6Misc 1Journal 12Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Certainty in Formalising SMT-LIB for Strings in Isabelle. Int. J. Found. Comput. Sci. Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
2025	C	`conf`	Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs. FMICS Andreas Kjeldgaard Brandhøj, Tobias Worm Bøgedal, René Rydhof Hansen, Kim Guldstrand Larsen, Danny Bøgsted Poulsen
2024	J	`jnl`	Leveraging Large Language Models for Actionable Course Evaluation Student Feedback to Lecturers. CoRR Mike Zhang, Euan D. Lindsay, Frederik Bode Thorbensen, Danny Bøgsted Poulsen, Johannes Bjerva
2024	C	`conf`	Modelling and Analysis of DTLS: Power Consumption and Attacks. FMICS Lise Bech Gehlert, Malthe Peter Højen Jørgensen, Christoffer Brejnholm Koch, Tobias Møller, Signe Kirstine Rusbjerg, Tobias Worm Bøgedal, Danny Bøgsted Poulsen, René Rydhof Hansen, Daniel Lux
2024	—	`conf`	SMTQuery: Analysing SMT-LIB String Benchmarks. SBMF Mitja Kulczynski, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen, Paul Sarnighausen-Cahn
2024	—	`conf`	Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. AISoLA Tobias Worm Bøgedal, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
2023	C	`conf`	Refinement of Systems with an Attacker Focus. FMICS Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
2023	C	`conf`	Verified Verifying: SMT-LIB for Strings in Isabelle. CIAA Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
2023	J	`jnl`	ZaligVinder: A generic test framework for string solvers. J. Softw. Evol. Process. Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2022	J	`jnl`	A Generic Information Extraction System for String Constraints. CoRR Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2022	—	`conf`	Importance Splitting in Uppaal. ISoLA (3) Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2022	—	`conf`	Solving String Theories Involving Regular Membership Predicates Using SAT. SPIN Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen
2022	—	`conf`	Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. SPIN Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
2022	J	`jnl`	Verifiable strategy synthesis for multiple autonomous agents: a scalable approach. Int. J. Softw. Tools Technol. Transf. Rong Gu, Peter Gjøl Jensen, Danny Bøgsted Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
2021	J	`jnl`	ADTLang: a programming language approach to attack defense trees. Int. J. Softw. Tools Technol. Transf. René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen
2021	—	`conf`	Analysis of Source Code Using UPPAAL. F-IDE@NFM Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
2021	—	`conf`	Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code. NordSec 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
2020	J	`jnl`	Automatic Verification of LLVM Code. CoRR Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
2020	—	`conf`	Fluid Model-Checking in UPPAAL for Covid-19. ISoLA (1) Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen
2020	C	`conf`	On Collapsing Prefix Normal Words. LATA Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen
2020	—	`conf`	Rule-based Word Equation Solving. FormaliSE@ICSE Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2020	C	`conf`	The Power of String Solving: Simplicity of Comparison. AST Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2019	—	`conf`	On Solving Word Equations Using SAT. RP Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2019	J	`jnl`	On Solving Word Equations Using SAT. CoRR Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2018	B	`conf`	Statistical Model Checking of LLVM Code. FM Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez
2017	—	`conf`	Practical controller synthesis for MTL SPIN Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
2017	—	`conf`	Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. GraMSec René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
2016	Misc	`conf`	Importance Sampling for Stochastic Timed Automata. SETTA Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2016	—	`conf`	Modelling Attack-defense Trees Using Timed Automata. FORMATS Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen
2015	J	`jnl`	Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2015	J	`jnl`	Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2014	—	`conf`	Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. ACSD Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
2013	J	`jnl`	Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen
2012	—	`conf`	Checking and Distributing Statistical Model Checking. NASA Formal Methods Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2012	B	`conf`	Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer
2012	B	`conf`	Rewrite-Based Statistical Model Checking of WMTL. RV Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
2012	—	`conf`	Runtime Verification of Biological Systems. ISoLA (1) Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2012	—	`conf`	Statistical Model Checking for Stochastic Hybrid Systems HSB Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2012	—	`conf`	UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata QAPL Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
2011	—	`conf`	Statistical Model Checking for Networks of Priced Timed Automata. FORMATS Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
2011	J	`jnl`	Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata CoRR Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang