Danny Bøgsted Poulsen

From MaRDI portal
Person:782602

Available identifiers

zbMath Open bogsted-poulsen.dannyMaRDI QIDQ782602

List of research outcomes





PublicationDate of PublicationType
Verified verifying: SMT-LIB for strings in Isabelle2024-02-28Paper
Solving String Theories Involving Regular Membership Predicates Using SAT2022-12-07Paper
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals2022-12-07Paper
https://portal.mardi4nfdi.de/entity/Q58587202021-04-14Paper
On collapsing prefix normal words2020-07-27Paper
On solving word equations using SAT2019-10-22Paper
Importance sampling for stochastic timed automata2018-08-16Paper
Modelling Attack-defense Trees Using Timed Automata2018-02-16Paper
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic2012-06-15Paper
Statistical Model Checking for Networks of Priced Timed Automata2011-10-07Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:782602&oldid=7393432"
Powered by MediaWiki