M
Martina Seidl
Researcher at Johannes Kepler University of Linz
Publications - 128
Citations - 2335
Martina Seidl is an academic researcher from Johannes Kepler University of Linz. The author has contributed to research in topics: Conjunctive normal form & Unified Modeling Language. The author has an hindex of 25, co-authored 122 publications receiving 2074 citations. Previous affiliations of Martina Seidl include Vienna University of Technology.
Papers
More filters
Journal ArticleDOI
A survey on model versioning approaches
TL;DR: A feature‐based characterization of version control systems (VCSs) is provided, providing an overview about the state of the state‐of‐the‐art of versioning systems dedicated to modeling artifacts, and special focus is set on three‐way merging.
Book ChapterDOI
Blocked clause elimination for QBF
TL;DR: Novel preprocessing methods for QBF based on blocked clause elimination (BCE), a technique successfully applied in SAT, are presented and it is shown that preprocessing with QBCE reduces formulas substantially and allows to solve considerable more instances than the previous state-of-the-art.
Book ChapterDOI
SAT-Based Synthesis Methods for Safety Specs
TL;DR: In this paper, the authors propose several new methods to synthesize finite-state systems from safety specifications using decision procedures for the satisfiability of quantified and unquantified Boolean formulas SAT-, QBF- and EPR-solvers.
Book ChapterDOI
An introduction to model versioning
TL;DR: This tutorial gives an introduction to the foundations of model versioning, the underlying technologies for processing models and their evolution, as well as the state of the art in model versioned, to equip students and researchers alike with enough information for commencing to contribute to this challenging research area.
Journal ArticleDOI
Clause elimination for SAT and QSAT
TL;DR: It turns out that the importance of applying the clause elimination procedures developed in this work is empirically emphasized in the context of state-of-the-art QSAT solving.