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

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

20112016
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.

  • 3 Similar Profiles
Model checking Engineering & Materials Science
Semantics Engineering & Materials Science
Hybrid systems Engineering & Materials Science
Importance sampling Engineering & Materials Science
Temporal logic Engineering & Materials Science
Biological systems Engineering & Materials Science
Statistical Models Engineering & Materials Science
Probability distributions Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2011 2015

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

Project: Research

Research Output 2011 2016

  • 8 Article in proceeding
  • 3 Journal article
  • 3 Conference article in Journal
  • 1 Ph.D. thesis
5 Citations (Scopus)
104 Downloads (Pure)

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
Importance sampling
17 Citations (Scopus)

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

194 Downloads (Pure)

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
138 Citations (Scopus)
512 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
Model checking
Semantics
2 Citations (Scopus)

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata

David, A., Larsen, K. G., Legay, A., Guangyuan, L. & Poulsen, D. B., 2014, 14th International Conference on Application of Concurrency to System Design (ACSD), 2014. IEEE Computer Society Press, p. 32 - 41 (Proceedings of the International Conference on Application of Concurrency to System Design).

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