Gernot Heiser

Summary

• 1 papers in 1 bundles
• Top 3 popular topics:
  • T5C: Testing (1 times)
  • T5D: Formal Methods (1 times)
  • T6D: Synergies (1 times)
• Top 3 coauthors:
  • Zilin Chen (1 times)
  • Christine Rizkallah (1 times)
  • Liam O’Connor (1 times)
• Made 1 contributions (see below)

List of contributions

• (SLE 2022) Coauthored Property-Based Testing: Climbing the Stairway to Verification (Zilin Chen, Christine Rizkallah, Liam O’Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller)

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.