Joeri Exelmans

Summary

• 1 papers in 1 bundles
• Top 3 popular topics:
  • T5D: Formal Methods (1 times)
  • T4D: Interpretation (1 times)
  • T4E: Simulation (1 times)
• Top 2 coauthors:
  • Ciprian Teodorov (1 times)
  • Hans Vangheluwe (1 times)
• Made 1 contributions (see below)

List of contributions

• (SLE 2025) Coauthored Integrating Model Checking into a Live Modeling Environment (Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe)

---

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