Photo of Danny Bøgsted Poulsen
  • Selma Lagerløfs Vej 300, 1-2-36

    9220 Aalborg Ø

    Denmark

20112020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 6 Similar Profiles

Network Dive into details by clicking on the dots.

Projects

Research Output

  • 9 Article in proceeding
  • 3 Journal article
  • 3 Conference article in Journal
  • 1 Ph.D. thesis

On Collapsing Prefix Normal Words

Fleischmann, P., Kulczynski, M., Nowotka, D. & Poulsen, D. B., 2020, Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Springer, p. 412-424 13 p. (Lecture Notes in Computer Science (LNCS), Vol. 12038).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 1 Citation (Scopus)

    Importance Sampling for Stochastic Timed Automata

    Jegourel, C., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 2016, Dependable Software Engineering: Theories, Tools, and Applications. Fränzle, M., Kapur, D. & Zhan, N. (eds.). Springer, p. 163-178 16 p. (Lecture Notes in Computer Science, Vol. 9984).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    File
  • 6 Citations (Scopus)
    180 Downloads (Pure)

    Modelling Attack-defense Trees Using Timed Automata

    Gadyatskaya, O., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Poulsen, D. B., 2016, Formal Modeling and Analysis of Timed Systems. Springer, p. 35-50 (Lecture Notes in Computer Science, Vol. 9884).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    22 Citations (Scopus)

    Statistical Model Checking of Rich Models and Properties

    Poulsen, D. B., 2015, Aalborg: Aalborg Universitetsforlag. 204 p. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

    Research output: Book/ReportPh.D. thesisResearch

    Open Access
    File
    196 Downloads (Pure)

    Uppaal SMC tutorial

    David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 6 Jan 2015, In : International Journal on Software Tools for Technology Transfer. 17, 4, p. 397-415 19 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

    File
  • 184 Citations (Scopus)
    703 Downloads (Pure)