Research Program Towards High-Quality and Intelligent Software (THIS)

Research output

Research output per year 2019 2021 2022 2023

• 53 Conference Article in proceeding
• 39 Article
• 9 Technical report
• 7 Paper
• 17 More
  • 4 Chapter
  • 2 Conference Abstract/Poster in proceeding
  • 2 Poster
  • 2 Conference Article in journal
  • 2 Software
  • 1 Commissioned report
  • 1 Abstract
  • 1 Editorial
  • 1 Special issue
  • 1 Preprint

Research output per year

Research output per year

Search results

• 2022

  Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)

  Kappé, T. W. J., 21 Dec 2022

  Research output: Non-textual form › Software › Academic

  Open Access

• satuio: Software tool for generating adaptive distinguishing sequences and unique input/output sequences for finite state machines

  Moerman, J. & Wißmann, T., 23 Sept 2022

  Research output: Non-textual form › Software › Academic

  Open Access