| A survey on model versioning approaches K Altmanninger, M Seidl, M Wimmer International Journal of Web Information Systems 5 (3), 271-304, 2009 | 244 | 2009 |
| UML@ Classroom An Introduction to Object-Oriented Modeling M Seidl, M Scholz, C Huemer, G Kappel by dpunkt. verlag GmbH, Heidelberg, Germany., 2012 | 166 | 2012 |
| Blocked clause elimination for QBF A Biere, F Lonsing, M Seidl Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011 | 149 | 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 | 102 | 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 | 97 | 2008 |
| SAT-based synthesis methods for safety specs R Bloem, R Könighofer, M Seidl Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 93 | 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 | 82 | 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 | 82 | 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 | 65 | 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 | 62 | 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 | 60 | 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 | 59 | 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 | 58 | 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 | 57 | 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 | 51 | 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 | 48 | 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 | 46 | 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 | 45 | 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 | 43 | 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 | 42 | 2015 |
