Pro2Future (98806)

Research output

Research output per year 2010 2019 2020 2021 2022 2024

• 63 Conference paper
• 27 Article
• 15 Poster
• 6 Paper
• 17 More
  • 5 Chapter
  • 2 Conference article
  • 2 Patent
  • 2 Master's Thesis
  • 1 Anthology
  • 1 Book
  • 1 Abstract
  • 1 Website / Web publication
  • 1 Other contribution
  • 1 Doctoral Thesis

Research output per year

Research output per year

Search results

• 2022

  Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation

  Manjunath, V., Diwold, K. & Baunach, M. C., 17 Mar 2022.

  Research output: Contribution to conference › Abstract › peer-review