Artikel mit Open-Access-Mandaten - Danny Bøgsted PoulsenWeitere Informationen
Nicht verfügbar: 2
Statistical model checking for probabilistic hyperproperties of real-valued signals
S Arora, RR Hansen, KG Larsen, A Legay, DB Poulsen
International Symposium on Model Checking Software, 61-78, 2022
Mandate: National Fund for Scientific Research, Belgium, Danish Council for …
Refinement of Systems with an Attacker Focus
KG Larsen, A Legay, DB Poulsen
International Conference on Formal Methods for Industrial Critical Systems …, 2023
Mandate: National Fund for Scientific Research, Belgium
Verfügbar: 9
Uppaal SMC tutorial
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
International journal on software tools for technology transfer 17, 397-415, 2015
Mandate: National Natural Science Foundation of China, Danish National Research …
Monitor-based statistical model checking for weighted metric temporal logic
P Bulychev, A David, K Guldstrand Larsen, A Legay, G Li, ...
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
Mandate: Danish National Research Foundation
On solving word equations using SAT
JD Day, T Ehlers, M Kulczynski, F Manea, D Nowotka, DB Poulsen
Reachability Problems: 13th International Conference, RP 2019, Brussels …, 2019
Mandate: Deutsche Forschungsgemeinschaft, Bundesministerium für Bildung und Forschung
Quantitative evaluation of attack defense trees using stochastic timed automata
RR Hansen, PG Jensen, KG Larsen, A Legay, DB Poulsen
Graphical Models for Security: 4th International Workshop, GraMSec 2017 …, 2018
Mandate: Bundesministerium für Bildung und Forschung
Importance sampling for stochastic timed automata
C Jegourel, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards
Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016
Mandate: National Natural Science Foundation of China, Danish National Research …
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach
R Gu, PG Jensen, DB Poulsen, C Seceleanu, E Enoiu, K Lundqvist
International Journal on Software Tools for Technology Transfer 24 (3), 395-414, 2022
Mandate: Knowledge Foundation, Sweden
Practical controller synthesis for MTL0,∞
G Li, PG Jensen, KG Larsen, A Legay, DB Poulsen
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
Mandate: National Natural Science Foundation of China, Danish Council for Independent …
Statistical model checking of llvm code
A Legay, D Nowotka, DB Poulsen, LM Tranouez
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
Mandate: Bundesministerium für Bildung und Forschung
Quantified dynamic metric temporal logic for dynamic networks of stochastic hybrid automata
A David, KG Larsen, A Legay, G Li, DB Poulsen
2014 14th International Conference on Application of Concurrency to System …, 2014
Mandate: National Natural Science Foundation of China
Angaben zur Publikation und Finanzierung werden automatisch von einem Computerprogramm ermittelt