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

    9220 Aalborg Ø

    Danmark

20112020

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 6 Lignende profiler

Netværk Klik på punkterne for at se detaljerne.

Projekter

  • IDEA4CPS: Foundations for Cyber-Physical Sytems

    Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.

    01/04/201130/04/2015

    Projekter: ProjektForskning

    Publikationer

    • 9 Konferenceartikel i proceeding
    • 3 Tidsskriftartikel
    • 3 Konferenceartikel i tidsskrift
    • 1 Ph.d.-afhandling

    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. (red.). Springer, s. 412-424 13 s. (Lecture Notes in Computer Science (LNCS), Bind 12038).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • 1 Citationer (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. (red.). Springer, s. 163-178 16 s. (Lecture Notes in Computer Science, Bind 9984).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
  • 6 Citationer (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, s. 35-50 (Lecture Notes in Computer Science, Bind 9884).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    22 Citationer (Scopus)

    Statistical Model Checking of Rich Models and Properties

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

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

    Åben adgang
    Fil
    196 Downloads (Pure)

    Uppaal SMC tutorial

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Fil
  • 184 Citationer (Scopus)
    702 Downloads (Pure)