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

Publikationer

  • 12 Konferenceartikel i proceeding
  • 4 Tidsskriftartikel
  • 3 Konferenceartikel i tidsskrift
  • 1 Ph.d.-afhandling
Filter
Konferenceartikel i tidsskrift
2014

Statistical model checking of dynamic networks of stochastic hybrid automata

David, A., Larsen, K. G., Legay, A. & Poulsen, D. B., 2014, I : Electronic Communications of the EASST. 66, 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
2012

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Bulychev, P., David, A., Larsen, K. G., Mikučionis, M., Poulsen, D. B., Legay, A. & Wang, Z., 2012, I : Electronic Proceedings in Theoretical Computer Science. 85, s. 1-16 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

72 Citationer (Scopus)
2011

Statistical Model Checking for Networks of Priced Timed Automata

David, A., Larsen, K. G., Mikucionis, M., Poulsen, D. B., Vliet, J. V., Legay, A. & Wang, Z., 1 jan. 2011, I : Lecture Notes in Computer Science. 6919 LNCS, s. 80-96 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

91 Citationer (Scopus)