Martina Seidl
Martina Seidl
Univ.-Prof., JKU Linz
Email confirmado em - Página inicial
Citado por
Citado por
A survey on model versioning approaches
K Altmanninger, M Seidl, M Wimmer
International Journal of Web Information Systems 5 (3), 271-304, 2009
UML@ Classroom An Introduction to Object-Oriented Modeling
M Seidl, M Scholz, C Huemer, G Kappel
by dpunkt. verlag GmbH, Heidelberg, Germany., 2012
Blocked clause elimination for QBF
A Biere, F Lonsing, M Seidl
Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011
An introduction to model versioning
P Brosch, G Kappel, P Langer, M Seidl, K Wieland, M Wimmer
Formal Methods for Model-Driven Engineering: 12th International School on …, 2012
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
SAT-based synthesis methods for safety specs
R Bloem, R Könighofer, M Seidl
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
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
An example is worth a thousand words: Composite operation modeling by-example
P Brosch, P Langer, M Seidl, K Wieland, M Wimmer, G Kappel, ...
Model Driven Engineering Languages and Systems: 12th International …, 2009
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
Resolution-Based Certificate Extraction for QBF: (Tool Presentation)
A Niemetz, M Preiner, F Lonsing, M Seidl, A Biere
Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012
A unified proof system for QBF preprocessing
MJH Heule, M Seidl, A Biere
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014
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
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
Comparing different prenexing strategies for quantified boolean formulas
U Egly, M Seidl, H Tompits, S Woltran, M Zolda
Lecture notes in computer science 2919, 214-228, 2004
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
Modbat: A model-based API tester for event-driven systems
CV Artho, A Biere, M Hagiya, E Platon, M Seidl, Y Tanabe, M Yamamoto
Hardware and Software: Verification and Testing: 9th International Haifa …, 2013
The first reactive synthesis competition (SYNTCOMP 2014)
S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ...
International journal on software tools for technology transfer 19, 367-390, 2017
Efficient extraction of Skolem functions from QRAT proofs
MJH Heule, M Seidl, A Biere
2014 Formal Methods in Computer-Aided Design (FMCAD), 107-114, 2014
Model-based testing for verification back-ends
C Artho, A Biere, M Seidl
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013
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: 20th …, 2015
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20