Martina Seidl

Summary

• 5 papers in 4 bundles
• Top 3 popular topics:
  • T5D: Formal Methods (5 times)
  • T2B: Evolution (2 times)
  • T4A: Workbenches (2 times)
• Top 3 coauthors:
  • Petra Kaufmann (4 times)
  • Magdalena Widl (3 times)
  • Martin Kronegger (2 times)
• Made 6 contributions (see below)

List of contributions

• (SLE 2012) Coauthored Guided Merging of Sequence Diagrams (Magdalena Widl, Armin Biere, Petra Kaufmann, Uwe Egly, Marijn J. H. Heule, Gerti Kappel, Martina Seidl, Hans Tompits)
• (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) Coauthored Model Checking of CTL-Extended OCL Specifications (Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl)
• (SLE 2014 SI) Coauthored Intra- and interdiagram consistency checking of behavioral multiview models (Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl)
• (SLE 2025) Coauthored (Semantic) Feature Model Differences with (Q)SAT (Simone Heisinger, Maximilian Heisinger, Martina Seidl)
• (SLE 2025) Served on PC

---

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