Personal information

Websites & social links

Personal Website
Aalborg University profile page

Other IDs

Scopus Author ID: 53364120800

Countries

Denmark

Activities

Collapse all

Employment (3)

Aalborg University: Aalborg, DK

Employment
Source: check_circle
Aalborg University

Aalborg University: Aalborg, DK

2019-09-01 to present | Assistant Professor (Department of Computer Science)
Employment
Source: Self-asserted source
Danny Bøgsted Poulsen

Kiel University: Kiel, DE

2016-01-08 to 2019-08-31 | PostDoc (Department of Computer Science)
Employment
Source: Self-asserted source
Danny Bøgsted Poulsen

Education and qualifications (3)

Aalborg University: Aalborg, DK

2011 to 2016 | PhD in Computer Science (Department of Computer Science)
Education
Source: Self-asserted source
Danny Bøgsted Poulsen

Aalborg University: Aalborg, DK

2009 to 2011 | MSc in Computer Science (Department of Computer Science)
Education
Source: Self-asserted source
Danny Bøgsted Poulsen

Aalborg University: Aalborg, DK

2006 to 2009 | BSc in Computer Science (Department of Computer Science)
Education
Source: Self-asserted source
Danny Bøgsted Poulsen

Works (45)

SMTQuery

Formal Methods
2025 | Conference paper | Author
DOI: 10.1007/978-3-031-78116-2_2
SOURCE-WORK-ID:

9626764b-c6b2-4278-85e3-ee444f2b7e54

EID:

2-s2.0-85211354545

Part of ISBN: 978-3-031-78116-2
Part of ISBN: 978-3-031-78115-5
Contributors: Mitja Kulczynski; Kevin Lotz; Florin Manea; Danny Bøgsted Poulsen; Paul Sarnighausen-Cahn
Source: check_circle
Aalborg University

Modelling and Analysis of DTLS

Formal Methods for Industrial Critical Systems
2024 | Conference paper | Author
DOI: 10.1007/978-3-031-68150-9_8
SOURCE-WORK-ID:

d260168f-d7a3-4130-891b-384d5b0cd2b1

EID:

2-s2.0-85202630481

Part of ISBN: 978-3-031-68150-9
Part of ISBN: 978-3-031-68149-3
Contributors: 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
Source: check_circle
Aalborg University

Statistical Analysis of the Impact of Bit-Flips in Security Critical Code

Bridging the Gap Between AI and Reality
2024-12 | Conference paper | Author
DOI: 10.1007/978-3-031-75434-0_25
SOURCE-WORK-ID:

8059c45b-deac-4c4b-a9c8-7c2ffa4daa9a

EID:

2-s2.0-85215821442

Part of ISBN: 978-3-031-75434-0
Part of ISBN: 978-3-031-75433-3
Contributors: Tobias Worm Bøgedal; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

Leveraging Large Language Models for Actionable Course Evaluation Student Feedback to Lecturers

Proceedings of the 52nd Annual Conference of the European Society for Engineering Education (SEFI)
2024-09 | Conference paper | Author
DOI: 10.48550/arXiv.2407.01274
SOURCE-WORK-ID:

19b02384-b88f-4404-b0a2-f5d5eec1207f

EID:

2-s2.0-85218632594

Part of ISBN: 978-2-87352-027-4
Contributors: Mike Zhang; Euan Lindsay; Frederik Bode Thorbensen; Danny Bøgsted Poulsen; Johannes Bjerva
Source: check_circle
Aalborg University

Refinement of Systems with an Attacker Focus

Formal Methods for Industrial Critical Systems
2023 | Conference paper | Author
DOI: 10.1007/978-3-031-43681-9_6
SOURCE-WORK-ID:

ec8d98df-67a8-4b1b-a59d-309f0443ba7f

EID:

2-s2.0-85174445120

Part of ISBN: 978-3-031-43681-9
Part of ISBN: 978-3-031-43680-2
Contributors: Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

Verified Verifying

Implementation and Application of Automata
2023-08-10 | Conference paper | Author
DOI: 10.1007/978-3-031-40247-0_15
SOURCE-WORK-ID:

09c24928-f877-4c88-8f7f-aebd818fd99e

EID:

2-s2.0-85172080425

Part of ISBN: 9783031402463
Contributors: Kevin Lotz; Mitja Kulczynski; Dirk Nowotka; Danny Bøgsted Poulsen; Anders Schlichtkrull
Source: check_circle
Aalborg University

An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning

Decision Analytics Journal
2022-12 | Journal article | Author
DOI: 10.1016/j.dajour.2022.100141
SOURCE-WORK-ID:

7dcd0cec-0bb6-46b5-8ae8-e0401f82d40e

EID:

2-s2.0-85142744702
Contributors: Alexander Bilgram; Peter Gjøl Jensen; Kenneth Y. Jørgensen; Kim Guldstrand Larsen; Marius Mikučionis; Marco Muñiz; Danny Bøgsted Poulsen; Peter Taankvist
Source: check_circle
Aalborg University

Importance Splitting in Uppaal

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
2022-10-17 | Conference paper | Author
DOI: 10.1007/978-3-031-19759-8_26
SOURCE-WORK-ID:

ed7cc5f2-852a-4750-b992-402743e28764

EID:

2-s2.0-85142729313

Part of ISBN: 978-3-031-19759-8
Part of ISBN: 978-3-031-19758-1
Contributors: Kim Guldstrand Larsen; Axel Legay; Marius Mikučionis; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

Solving String Theories Involving Regular Membership Predicates Using SAT

Model Checking Software, SPIN 2022
2022-08-23 | Conference paper | Author
DOI: 10.1007/978-3-031-15077-7_8
SOURCE-WORK-ID:

1c4f1fea-0053-4579-967a-135d18ca152a

EID:

2-s2.0-85137036077

Part of ISBN: 978-3-031-15077-7
Part of ISBN: 978-3-031-15076-0
Contributors: Mitja Kulczynski; Kevin Lotz; Dirk Nowotka; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

Model Checking Software, SPIN 2022
2022-08-23 | Conference paper | Author
DOI: 10.1007/978-3-031-15077-7_4
SOURCE-WORK-ID:

237fe852-502c-427e-8f44-bfe710ad134b

EID:

2-s2.0-85137063577

Part of ISBN: 978-3-031-15077-7
Part of ISBN: 978-3-031-15076-0
Contributors: Shiraj Arora; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

Verifiable strategy synthesis for multiple autonomous agents

International Journal on Software Tools for Technology Transfer
2022-06 | Journal article | Author
DOI: 10.1007/s10009-022-00657-z
SOURCE-WORK-ID:

ac141b3c-6874-4101-aadc-2290cbcc4565

EID:

2-s2.0-85127454588
Contributors: Rong Gu; Peter Gjøl Jensen; Danny Bøgsted Poulsen; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist
Source: check_circle
Aalborg University

Analysis of Source Code Using UPPAAL

Electronic Proceedings in Theoretical Computer Science, EPTCS
2021 | Journal article | Author
DOI: 10.4204/EPTCS.338.5
SOURCE-WORK-ID:

9823b7c7-d614-4585-aff7-dc25b5b5cc7b

EID:

2-s2.0-85113858683
Contributors: Mitja Kulczynski; Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code

Secure IT Systems
2021-12-10 | Conference paper | Author
DOI: 10.1007/978-3-030-91625-1_11
SOURCE-WORK-ID:

16cec89e-036d-435c-a30e-f4b9ffcaf90e

EID:

2-s2.0-85119856071

Part of ISBN: 978-3-030-91625-1
Part of ISBN: 978-3-030-91624-4
Contributors: 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 et al.
Source: check_circle
Aalborg University

ZaligVinder

Journal of Software: Evolution and Process
2021-10-28 | Journal article | Author
DOI: 10.1002/smr.2400
SOURCE-WORK-ID:

f5a17381-7f95-4716-b43c-e02eb619c190

EID:

2-s2.0-85118145066
Contributors: Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

ADTLANG: A Programming Language Approach to Attack Defense Trees

International Journal on Software Tools for Technology Transfer
2021-01-07 | Journal article | Author
DOI: 10.1007/s10009-020-00593-w
SOURCE-WORK-ID:

818ec9d4-7f53-4a6b-b531-28a99b13bae0

EID:

2-s2.0-85099096733
Contributors: René Rydhof Hansen; Kim Guldstrand Larsen; Axel Bernard E Legay; Peter Gjøl Jensen; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

Fluid Model-Checking in UPPAAL for Covid-19

Leveraging Applications of Formal Methods, Verification and Validation
2020 | Conference paper | Author
DOI: 10.1007/978-3-030-61362-4_22
SOURCE-WORK-ID:

1b96b288-33ae-49c2-9a96-7887c9347a4b

EID:

2-s2.0-85097411688

Part of ISBN: 978-3-030-61362-4
Part of ISBN: 978-3-030-61361-7
Contributors: Peter Gjøl Jensen; Kenneth Yrke Jørgensen; Kim Guldstrand Larsen; Marius Mikučionis; Marco Muñiz; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

On Collapsing Prefix Normal Words

Language and Automata Theory and Applications
2020 | Conference paper | Author
DOI: 10.1007/978-3-030-40608-0_29
SOURCE-WORK-ID:

395cd239-4ab2-437a-854e-088ff51e1bc6

EID:

2-s2.0-85081586543

Part of ISBN: 978-3-030-40608-0
Part of ISBN: 978-3-030-40607-3
Contributors: Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

Rule-based Word Equation Solving

FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software
2020 | Conference paper | Author
DOI: 10.1145/3372020.3391556
SOURCE-WORK-ID:

2d68548d-389c-45ea-839c-42038a100e19

EID:

2-s2.0-85092765651

Part of ISBN: 978-1-4503-7071-4
Contributors: Joel Day; Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

The Power of String Solving

AST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test
2020 | Conference paper | Author
DOI: 10.1145/3387903.3389317
SOURCE-WORK-ID:

030535f8-32ff-4167-be71-513c44f0266a

EID:

2-s2.0-85093515578

Part of ISBN: 9781450379571
Part of ISBN: 978-1-4503-7957-1
Contributors: Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

On Solving Word Equations Using SAT

International Conference on Reachability Problems
2019 | Conference paper
Source: Self-asserted source
Danny Bøgsted Poulsen

Statistical Model Checking of LLVM Code

International Symposium on Formal Methods
2018 | Conference paper
Source: Self-asserted source
Danny Bøgsted Poulsen

Practical controller synthesis for MTL 0,∞

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
2017 | Conference paper
Source: Self-asserted source
Danny Bøgsted Poulsen

Quantitative evaluation of attack defense trees using stochastic timed automata

International Workshop on Graphical Models for Security
2017 | Conference paper
Source: Self-asserted source
Danny Bøgsted Poulsen

Importance Sampling for Stochastic Timed Automata

Dependable Software Engineering
2016 | Conference paper | Author
DOI: 10.1007/978-3-319-47677-3_11
SOURCE-WORK-ID:

b980856e-ef09-4af8-9851-df0fb5ac2528

EID:

2-s2.0-84994525168

WOSUID:

000389932000011

Part of ISBN: 978-3-319-47677-3
Part of ISBN: 978-3-319-47676-6
Contributors: Cyrille Jegourel; Kim Guldstrand Larsen; Axel Legay; Marius Mikučionis; Danny Bøgsted Poulsen; Sean Sedwards
Source: check_circle
Aalborg University
grade
Preferred source (of 2)‎

Modelling Attack-defense Trees Using Timed Automata

Formal Modeling and Analysis of Timed Systems
2016 | Conference paper | Author
DOI: 10.1007/978-3-319-44878-7_3
SOURCE-WORK-ID:

d81f475f-4c4b-443f-932b-8166e3c0401c

EID:

2-s2.0-84984920629

WOSUID:

000389517500003

Part of ISBN: 978-3-319-44878-7
Part of ISBN: 978-3-319-44877-0
Contributors: Olga Gadyatskaya; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Mads Chr. Olesen; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University
grade
Preferred source (of 2)‎

Statistical Model Checking of Rich Models and Properties

Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet
2015 | Dissertation or Thesis | Author
DOI: 10.5278/vbn.phd.engsci.00031
SOURCE-WORK-ID:

af78115d-c074-48bf-b524-79c190b8c701

ISBN: 978-87-7112-527-6
Contributors: Danny Bøgsted Poulsen
Source: check_circle
Aalborg University
grade
Preferred source (of 2)‎

Uppaal SMC tutorial

International Journal on Software Tools for Technology Transfer
2015-01-06 | Journal article | Author
DOI: 10.1007/s10009-014-0361-y
SOURCE-WORK-ID:

56df8289-0c2b-4710-badf-3f6db00aefe1

EID:

2-s2.0-84943361398

WOSUID:

WOS:000357485500003
Contributors: Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikučionis; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University
grade
Preferred source (of 2)‎

Quantified dynamic metric temporal logic for dynamic networks of stochastic hybrid automata

2014 14th International Conference on Application of Concurrency to System Design
2014 | Conference paper
DOI: 10.1109/ACSD.2014.21
SOURCE-WORK-ID:

dad02b79-fe11-4e98-bac1-da402d6e1bbf

EID:

2-s2.0-84988233585
Source: Self-asserted source
Danny Bøgsted Poulsen
grade
Preferred source (of 2)‎

Statistical model checking of dynamic networks of stochastic hybrid automata

Electronic Communications of the EASST
2014 | Journal article | Author
DOI: 10.14279/tuj.eceasst.66.893
SOURCE-WORK-ID:

a7e5bf04-de25-4e55-a279-c4f64e6fec4f
Contributors: Alexandre David; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University
grade
Preferred source (of 2)‎

Statistical Model Checking for Biological Systems

International Journal on Software Tools for Technology Transfer
2014-07-01 | Journal article | Author
DOI: 10.1007/s10009-014-0323-4
SOURCE-WORK-ID:

9d48f636-7c6f-47d9-a59d-9bcb189d4ed0

WOSUID:

WOS:000355682600008

EID:

2-s2.0-84929521136
Contributors: Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikučionis; Danny Bøgsted Poulsen; Sean Sedwards
Source: check_circle
Aalborg University

Rewrite-Based Statistical Model Checking of WMTL

Runtime Verification
2013 | Conference paper | Author
DOI: 10.1007/978-3-642-35632-2_25
SOURCE-WORK-ID:

896e151a-1bce-4058-a528-828b1bf42776

EID:

2-s2.0-84872863180

Part of ISBN: 978-3-642-35632-2
Part of ISBN: 978-3-642-35631-5
Contributors: Petr Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Guangyuan Li; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University
grade
Preferred source (of 2)‎

Statistical model checking of dynamic networks of stochastic hybrid automata

Electronic Communications of the EASST
2013 | Journal article | Author
DOI: 10.14279/tuj.eceasst.66.893.878
SOURCE-WORK-ID:

2a5c69ba-e72c-4c31-ade9-d2861cff332f

EID:

2-s2.0-85019310140
Contributors: Alexandre David; Kim G. Larsen; Axel Legay; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University

Monitor-based statistical model checking for weighted metric temporal logic

International Conference on Logic for Programming Artificial Intelligence and Reasoning
2012 | Conference paper
DOI: 10.1007/978-3-642-28717-6_15
SOURCE-WORK-ID:

aed3c6f4-a889-4218-a9d5-cfb13286be09

EID:

2-s2.0-84863386728

Part of ISBN: 978-3-642-28717-6
Part of ISBN: 978-3-642-28716-9
Source: Self-asserted source
Danny Bøgsted Poulsen
grade
Preferred source (of 2)‎

Runtime verification of biological systems

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
2012 | Conference paper
DOI: 10.1007/978-3-642-34026-0_29
SOURCE-WORK-ID:

39379ea9-b836-4f96-893b-934d52b92d94

EID:

2-s2.0-84868282414

Part of ISBN: 978-3-642-34026-0
Part of ISBN: 978-3-642-34025-3
Source: Self-asserted source
Danny Bøgsted Poulsen
grade
Preferred source (of 2)‎

Statistical model checking for stochastic hybrid systems

arXiv preprint arXiv:1208.3856
2012 | Journal article
Source: Self-asserted source
Danny Bøgsted Poulsen

UPPAAL-SMC: Statistical model checking for priced timed automata

arXiv preprint arXiv:1207.1272
2012 | Journal article
Source: Self-asserted source
Danny Bøgsted Poulsen

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Electronic Proceedings in Theoretical Computer Science
2012 | Journal article | Author
DOI: 10.4204/EPTCS.85.1
SOURCE-WORK-ID:

52d7fa02-8e4d-42d4-ba91-e57760431bd1

EID:

2-s2.0-84944695735
Contributors: Petr Bulychev; Alexandre David; Kim Guldstrand Larsen; Marius Mikučionis; Danny Bøgsted Poulsen; Axel Legay; Zheng Wang
Source: check_circle
Aalborg University

Statistical Model Checking for Stochastic Hybrid Systems

Proceedings First International Workshop on Hybrid Systems and Biology
2012-09-03 | Conference paper | Author
DOI: 10.4204/EPTCS.92.9
SOURCE-WORK-ID:

bb9d8b00-93d1-4e08-9e78-0f451a253719

EID:

2-s2.0-85122001498
Contributors: Alexandre David; Dehui Du; Kim Guldstrand Larsen; Axel Legay; Marius Mikučionis; Danny Bøgsted Poulsen; Sean Sedwards
Source: check_circle
Aalborg University

Checking and Distributing Statistical Model Checking

NASA Formal Methods
2012-04-03 | Conference paper | Author
DOI: 10.1007/978-3-642-28891-3_39
SOURCE-WORK-ID:

63503c84-3643-4723-926a-4afee28ff6e2

EID:

2-s2.0-84859454659

Part of ISBN: 978-3-642-28891-3
Part of ISBN: 978-3-642-28890-6
Contributors: Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikučionis; Danny Bøgsted Poulsen
Source: check_circle
Aalborg University
grade
Preferred source (of 2)‎

Duration probabilistic automata

2011 | Report
Source: Self-asserted source
Danny Bøgsted Poulsen

Statistical model checking for networks of priced timed automata

International Conference on Formal Modeling and Analysis of Timed Systems
2011 | Conference paper
Source: Self-asserted source
Danny Bøgsted Poulsen

Statistical Model Checking of Event Patterns Using Test Automata

2011 | Journal article
Source: Self-asserted source
Danny Bøgsted Poulsen

Stochastic semantics and statistical model checking for networks of priced timed automata

arXiv preprint arXiv:1106.3961
2011 | Journal article
SOURCE-WORK-ID:

4187df83-352c-4dab-bd9e-54d2b4257a10
Source: Self-asserted source
Danny Bøgsted Poulsen
grade
Preferred source (of 2)‎

Statistical Model Checking for Networks of Priced Timed Automata

Lecture Notes in Computer Science
2011-01-01 | Journal article | Author
DOI: 10.1007/978-3-642-24310-3_7
SOURCE-WORK-ID:

83d9cc69-5d18-4478-a214-12dcd18ec5e0

EID:

2-s2.0-80053337511

WOSUID:

WOS:000306348600007
Contributors: A. David; Kim Guldstrand Larsen; Marius Mikučionis; Danny Bøgsted Poulsen; Jonas Van Vliet; A. Legay; Z. Wang
Source: check_circle
Aalborg University

Concrete Delays for Symbolic Traces

2010 | Dissertation or Thesis
Source: Self-asserted source
Danny Bøgsted Poulsen
How many people are using ORCID?