Martin Kronegger

Summary

• 2 papers in 2 bundles
• Top 3 popular topics:
  • T5D: Formal Methods (2 times)
  • T4A: Workbenches (1 times)
  • T1C: Behavioural Semantics (1 times)
• Top 3 coauthors:
  • Petra Kaufmann (2 times)
  • Andreas Pfandler (2 times)
  • Martina Seidl (2 times)
• Made 2 contributions (see below)

List of contributions

• (SLE 2014) Coauthored A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl)
• (SLE 2014 SI) Coauthored Intra- and interdiagram consistency checking of behavioral multiview models (Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl)

---

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