Danny Bgsted Poulsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMICS | Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs. | Andreas Kjeldgaard Brandhj, Tobias Worm Bgedal, Ren Rydhof Hansen, Kim Guldstrand Larsen, Danny Bgsted Poulsen |
| 2024 | FMICS | Modelling and Analysis of DTLS: Power Consumption and Attacks. | Lise Bech Gehlert, Malthe Peter Hjen Jrgensen, Christoffer Brejnholm Koch, Tobias Mller, Signe Kirstine Rusbjerg, Tobias Worm Bgedal, Danny Bgsted Poulsen, Ren Rydhof Hansen, Daniel Lux |
| 2024 | VECoS | Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. | Tobias Worm Bgedal, Ren Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bgsted Poulsen |
| 2023 | FMICS | Refinement of Systems with an Attacker Focus. | Kim Guldstrand Larsen, Axel Legay, Danny Bgsted Poulsen |
| 2022 | ISoLA | Importance Splitting in Uppaal. | Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen |
| 2020 | ICSE | Rule-based Word Equation Solving. | Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bgsted Poulsen |
| 2020 | ICSE | The Power of String Solving: Simplicity of Comparison. | Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bgsted Poulsen |
| 2020 | ISoLA | Fluid Model-Checking in UPPAAL for Covid-19. | Peter Gjl Jensen, Kenneth Yrke Jrgensen, Kim G. Larsen, Marius Mikucionis, Marco Muiz, Danny Bgsted Poulsen |
| 2020 | LATA | On Collapsing Prefix Normal Words. | Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bgsted Poulsen |
| 2018 | FM | Statistical Model Checking of LLVM Code. | Axel Legay, Dirk Nowotka, Danny Bgsted Poulsen, Louis-Marie Traonouez |
| 2016 | SETTA | Importance Sampling for Stochastic Timed Automata. | Cyrille Jgourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2012 | ISoLA | Runtime Verification of Biological Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2012 | LPAR | Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen, Amlie Stainer |
| 2012 | RV | Rewrite-Based Statistical Model Checking of WMTL. | Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen |