Formal Methods and Tools

Research output

Research output per year 1987 2001 2005 2006 2008 2009 2010 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022

• 676 Conference contribution
• 304 Article
• 164 Report
• 84 Chapter
• 233 More
  • 84 Paper
  • 54 PhD Thesis - Research UT, graduation UT
  • 27 Book editing
  • 12 Working paper
  • 8 Book
  • 7 Editorial
  • 6 Abstract
  • 6 Conference article
  • 4 Foreword/postscript
  • 4 Poster
  • 4 Digital or Visual Products
  • 3 Inaugural speech
  • 3 Meeting Abstract
  • 3 Web publication/site
  • 3 PhD Thesis - Research external, graduation UT
  • 3 Pd Eng Thesis
  • 1 PhD Thesis - Research UT, graduation external
  • 1 Preprint

Research output per year

Research output per year

Search results

• 2022

  Sampling-Based Verification of CTMCs with Uncertain Rates

  Badings, T. S., Jansen, N., Junges, S., Stoelinga, M. I. A. & Volk, M., 21 Jun 2022, arXiv.org.

  Research output: Working paper › Preprint

  File

  • Sampling 100%
  • Scalability 22%
  • Uncertainty 17%
  • Experiments 10%