Danny Bøgsted Poulsen

Available identifiers

zbMath Open bogsted-poulsen.dannyMaRDI QIDQ782602

List of research outcomes

Publication	Date of Publication	Type
Verified verifying: SMT-LIB for strings in Isabelle	2024-02-28	Paper
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals	2022-12-07	Paper
Solving String Theories Involving Regular Membership Predicates Using SAT	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5858720	2021-04-14	Paper
On collapsing prefix normal words	2020-07-27	Paper
On solving word equations using SAT	2019-10-22	Paper
Importance sampling for stochastic timed automata	2018-08-16	Paper
Modelling Attack-defense Trees Using Timed Automata	2018-02-16	Paper
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic	2012-06-15	Paper
Statistical Model Checking for Networks of Priced Timed Automata	2011-10-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Danny Bøgsted Poulsen