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 005 (FORMATS, 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 005 (CoRR, 2011)

Runtime Verification of Biological Systems. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (ISoLA (1), 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 (LPAR, 2012)

Checking and Distributing Statistical Model Checking. - Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen (NASA Formal Methods, 2012)

Rewrite-Based Statistical Model Checking of WMTL. - Peter E. Bulychev; Alexandre David; Kim G. Larsen; Axel Legay; Guangyuan Li; Danny Bøgsted Poulsen (RV, 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 005 (QAPL, 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 (HSB, 2012)

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)

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 (ACSD, 2014)

Uppaal SMC tutorial. - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen (Int. J. Softw. Tools Technol. Transf., 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)

Modelling Attack-defense Trees Using Timed Automata. - Olga Gadyatskaya; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Mads Chr. Olesen; Danny Bøgsted Poulsen (FORMATS, 2016)

Importance Sampling for Stochastic Timed Automata. - Cyrille Jégourel; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (SETTA, 2016)

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 (GraMSec@CSF, 2017)

Practical controller synthesis for MTL0, ∞. - Guangyuan Li; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (SPIN, 2017)

Statistical Model Checking of LLVM Code. - Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen; Louis-Marie Traonouez (FM, 2018)

On Solving Word Equations Using SAT. - Joel D. Day; Thorsten Ehlers; Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (RP, 2019)

Rule-based Word Equation Solving. - Joel D. Day; Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (FormaliSE@ICSE, 2020)

The Power of String Solving: Simplicity of Comparison. - Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (AST@ICSE, 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 (ISoLA (1), 2020)

On Collapsing Prefix Normal Words. - Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka; Danny Bøgsted Poulsen (LATA, 2020)

Automatic Verification of LLVM Code. - Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen (CoRR, 2020)

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 (NordSec, 2021)

Analysis of Source Code Using UPPAAL. - Mitja Kulczynski; Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen (F-IDE@NFM, 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)

Importance Splitting in Uppaal. - Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen (ISoLA (3), 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 (SPIN, 2022)

Solving String Theories Involving Regular Membership Predicates Using SAT. - Mitja Kulczynski; Kevin Lotz; Dirk Nowotka; Danny Bøgsted Poulsen (SPIN, 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)

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)

Refinement of Systems with an Attacker Focus. - Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (FMICS, 2023)

Verified Verifying: SMT-LIB for Strings in Isabelle. - Kevin Lotz; Mitja Kulczynski; Dirk Nowotka; Danny Bøgsted Poulsen; Anders Schlichtkrull (CIAA, 2023)

ZaligVinder: A generic test framework for string solvers. - Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (J. Softw. Evol. Process., 2023)

Modelling and Analysis of DTLS: Power Consumption and Attacks. - 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 (FMICS, 2024)

SMTQuery: Analysing SMT-LIB String Benchmarks. - Mitja Kulczynski; Kevin Lotz; Florin Manea; Danny Bøgsted Poulsen; Paul Sarnighausen-Cahn (SBMF, 2024)

Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. - Tobias Worm Bøgedal; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (AISoLA, 2024)

Leveraging Large Language Models for Actionable Course Evaluation Student Feedback to Lecturers. - Mike Zhang; Euan D. Lindsay; Frederik Bode Thorbensen; Danny Bøgsted Poulsen; Johannes Bjerva (CoRR, 2024)