Model-based Analysis and Testing of Embedded Systems

Publikation

Publikationer pr. år 2013 2014 2015 2015

• 12 Konferenceartikel i proceeding
• 3 Tidsskriftartikel
• 1 Paper uden forlag/tidsskrift
• 1 Working paper

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2015

  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%
  • Statistical Model 100%
  • Schedulability Analysis 42%
  • Response Time 28%
  • Checking Technique 28%
  11 Citationer (Scopus)

• 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 tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • UPPAAL-SMC 100%
  • Model Checking 100%
  • Case Study 100%
  • Stochastics 100%
  • Timing System 50%
  422 Citationer (Scopus)

  2437 Downloads (Pure)
• 2014

  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%
  • Statistical Model 100%
  • Biological System 100%
  • SimBiology 50%
  • Cytoscape 25%
  39 Citationer (Scopus)