Martina Seidl
Martina Seidl
Assoc. Univ.-Prof., JKU Linz
Verified email at jku.at - Homepage
TitleCited byYear
A survey on model versioning approaches
K Altmanninger, M Seidl, M Wimmer
International Journal of Web Information Systems 5 (3), 271-304, 2009
1862009
Blocked clause elimination for QBF
A Biere, F Lonsing, M Seidl
International Conference on Automated Deduction, 101-115, 2011
1112011
AMOR–towards adaptable model versioning
K Altmanninger, G Kappel, A Kusel, W Retschitzegger, M Seidl, ...
1st International Workshop on Model Co-Evolution and Consistency Management …, 2008
782008
An example is worth a thousand words: Composite operation modeling by-example
P Brosch, P Langer, M Seidl, K Wieland, M Wimmer, G Kappel, ...
International Conference on Model Driven Engineering Languages and Systems …, 2009
682009
An introduction to model versioning
P Brosch, G Kappel, P Langer, M Seidl, K Wieland, M Wimmer
Proceedings of the 12th international conference on Formal Methods for the …, 2012
622012
SAT-based synthesis methods for safety specs
R Bloem, R Könighofer, M Seidl
International Conference on Verification, Model Checking, and Abstract …, 2014
602014
Matching Metamodels with Semantic Systems-An Experience Report.
G Kappel, H Kargl, G Kramler, A Schauerhuber, M Seidl, M Strommer, ...
BTW workshops, 38-52, 2007
512007
Clause elimination for SAT and QSAT
M Heule, M Järvisalo, F Lonsing, M Seidl, A Biere
Journal of Artificial Intelligence Research 53, 127-168, 2015
502015
Resolution-based certificate extraction for QBF
A Niemetz, M Preiner, F Lonsing, M Seidl, A Biere
International Conference on Theory and Applications of Satisfiability …, 2012
482012
A posteriori operation detection in evolving software models
P Langer, M Wimmer, P Brosch, M Herrmannsdörfer, M Seidl, K Wieland, ...
Journal of Systems and Software 86 (2), 551-566, 2013
462013
Comparing different prenexing strategies for quantified boolean formulas
U Egly, M Seidl, H Tompits, S Woltran, M Zolda
International Conference on Theory and Applications of Satisfiability …, 2003
442003
Why model versioning research is needed!? an experience report
K Altmanninger, P Brosch, G Kappel, P Langer, M Seidl, K Wieland, ...
Proceedings of the MoDSE-MCCM 2009 Workshop@ MoDELS 9, 1-12, 2009
432009
We can work it out: Collaborative conflict resolution in model versioning
P Brosch, M Seidl, K Wieland, M Wimmer, P Langer
ECSCW 2009, 207-214, 2009
422009
A unified proof system for QBF preprocessing
MJH Heule, M Seidl, A Biere
International Joint Conference on Automated Reasoning, 91-106, 2014
402014
Adaptable model versioning in action
P Brosch, G Kappel, M Seidl, K Wieland, M Wimmer, H Kargl, P Langer
Modellierung 2010, 2010
342010
Towards end-user adaptable model versioning: The by-example operation recorder
P Brosch, P Langer, M Seidl, M Wimmer
Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of …, 2009
342009
Bridging the gap between dual propagation and CNF-based QBF solving
A Goultiaeva, M Seidl, A Biere
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 811-814, 2013
332013
UML@ Classroom
M Seidl, M Brandsteidl, C Huemer, G Kappel
Dpunkt, 2012
332012
Enhancing search-based QBF solving by dynamic blocked clause elimination
F Lonsing, F Bacchus, A Biere, U Egly, M Seidl
Logic for Programming, Artificial Intelligence, and Reasoning, 418-433, 2015
322015
Efficient extraction of Skolem functions from QRAT proofs
MJH Heule, M Seidl, A Biere
Proceedings of the 14th Conference on Formal Methods in Computer-Aided …, 2014
292014
The system can't perform the operation now. Try again later.
Articles 1–20