MT-LAB A VKR Foundation Center of Excellence

Publikation

Publikationer pr. år 2012 2013 2017

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

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• Tidsskriftartikel

  On-the-Fly Computation of Bisimilarity Distances

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2017, I: Logical Methods in Computer Science. 13, 2

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Computation 100%
  • continuous-time 80%
  • Algorithms 40%
  • State Space 40%
  • Approximation (Algorithm) 40%
  4 Citationer (Scopus)

  84 Downloads (Pure)

• Schedulability of Herschel revisited using statistical model checking

  David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 2015, I: International Journal on Software Tools for Technology Transfer. 17, 2, s. 187-199 13 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Model Checking 100%
  • Schedulability Analysis 42%
  • Response Time 28%
  • Deadlines 28%
  • Checking Technique 28%
  11 Citationer (Scopus)

• Statistical Model Checking for Biological Systems

  David, A., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 1 jul. 2014, I: International Journal on Software Tools for Technology Transfer. 17, 3, s. 351-367 17 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Model Checking 100%
  • Hybrid System 25%
  • Timed Automaton 12%
  • Analytics 12%
  • discrete-time 12%
  38 Citationer (Scopus)