Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Statistical Model Checking for Networks of Priced Timed Automata.

A. David, K. Larsen, A. Legay, M. Mikucionis, D. Poulsen, J. van Vliet, and Z. Wang. FORMATS, volume 6919 of Lecture Notes in Computer Science, page 80-96. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Poulsen, Danny Bøgsted

add a person with the name Poulsen, Danny Bøgsted

Other publications of authors with the same name

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed AutomataA. David, K. Larsen, A. Legay, M. Mikucionis, D. Poulsen, J. van Vliet, and Z. Wang. CoRR, (2011)Rewrite-Based Statistical Model Checking of WMTL.P. Bulychev, A. David, K. Larsen, A. Legay, G. Li, and D. Poulsen. RV, volume 7687 of Lecture Notes in Computer Science, page 260-275. Springer, (2012)Statistical Model Checking for Networks of Priced Timed Automata.A. David, K. Larsen, A. Legay, M. Mikucionis, D. Poulsen, J. van Vliet, and Z. Wang. FORMATS, volume 6919 of Lecture Notes in Computer Science, page 80-96. Springer, (2011)Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.A. David, K. Larsen, A. Legay, G. Li, and D. Poulsen. ACSD, page 32-41. IEEE Computer Society, (2014)Statistical Model Checking for Stochastic Hybrid SystemsA. David, D. Du, K. Larsen, A. Legay, M. Mikucionis, D. Poulsen, and S. Sedwards. HSB, volume 92 of EPTCS, page 122-136. (2012)UPPAAL-SMC: Statistical Model Checking for Priced Timed AutomataP. Bulychev, A. David, K. Larsen, M. Mikucionis, D. Poulsen, A. Legay, and Z. Wang. QAPL, volume 85 of EPTCS, page 1-16. (2012)Importance Sampling for Stochastic Timed Automata.C. Jégourel, K. Larsen, A. Legay, M. Mikucionis, D. Poulsen, and S. Sedwards. SETTA, volume 9984 of Lecture Notes in Computer Science, page 163-178. (2016)Statistical Model Checking of LLVM Code.A. Legay, D. Nowotka, D. Poulsen, and L. Traonouez. FM, volume 10951 of Lecture Notes in Computer Science, page 542-549. Springer, (2018)Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata.R. Hansen, P. Jensen, K. Larsen, A. Legay, and D. Poulsen. GraMSec@CSF, volume 10744 of Lecture Notes in Computer Science, page 75-90. Springer, (2017)On Solving Word Equations Using SAT.J. Day, T. Ehlers, M. Kulczynski, F. Manea, D. Nowotka, and D. Poulsen. RP, volume 11674 of Lecture Notes in Computer Science, page 93-106. Springer, (2019)

PUMA

Disambiguation of "Poulsen, Danny Bøgsted"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Statistical Model Checking for Networks of Priced Timed Automata.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Poulsen, Danny Bøgsted"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Statistical Model Checking for Networks of Priced Timed Automata.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Statistical Model Checking for Networks of Priced Timed Automata.