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

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

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

  • 3 Lignende profiler
Model checking Teknik og materialevidenskab
Semantics Teknik og materialevidenskab
Hybrid systems Teknik og materialevidenskab
Importance sampling Teknik og materialevidenskab
Temporal logic Teknik og materialevidenskab
Biological systems Teknik og materialevidenskab
Statistical Models Teknik og materialevidenskab
Probability distributions Teknik og materialevidenskab

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

Projekter 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

Projekter: ProjektForskning

Publikationer 2011 2016

  • 8 Konferenceartikel i proceeding
  • 3 Tidsskriftartikel
  • 3 Konferenceartikel i tidsskrift
  • 1 Ph.d.-afhandling
5 Citationer (Scopus)
111 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. (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
Importance sampling
17 Citationer (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, s. 35-50 (Lecture Notes in Computer Science, Bind 9884).

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

149 Downloads (Pure)

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
141 Citationer (Scopus)
528 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
Model checking
Semantics
2 Citationer (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, s. 32 - 41 (Proceedings of the International Conference on Application of Concurrency to System Design).

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