Model-based Analysis and Testing of Embedded Systems

Research output

Research output per year 2013 2014 2015 2015

• 12 Article in proceeding
• 3 Journal article
• 1 Paper without publisher/journal
• 1 Working paper

Research output per year

Research output per year

Search results

• 2015

  Schedulability of Herschel revisited using statistical model checking

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

  Research output: Contribution to journal › Journal article › Research › peer-review

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

• 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 journal › Journal article › Research › peer-review

  File

  • Model 100%
  • Investigation 100%
  • Family 100%
  • Semantics 100%
  • Feature 100%
  390 Citations (Scopus)

  2174 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, In: International Journal on Software Tools for Technology Transfer. 17, 3, p. 351-367 17 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

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