Robert Bill

Summary

• 2 papers in 2 bundles
• Top 3 popular topics:
  • T5D: Formal Methods (1 times)
  • T1A: Design (1 times)
  • T4A: Workbenches (1 times)
• Top 3 coauthors:
  • Sebastian Gabmeyer (1 times)
  • Petra Kaufmann (1 times)
  • Martina Seidl (1 times)
• Made 2 contributions (see below)

List of contributions

• (SLE 2014) Coauthored Model Checking of CTL-Extended OCL Specifications (Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl)
• (SLE 2017) Coauthored Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation (Robert Bill, Patrick Neubauer, Manuel Wimmer)

---

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