Wieland, K., Langer, P., Seidl, M., Wimmer, M., & Kappel, G. (2013). Turning Conflicts into Collaboration. Computer Supported Cooperative Work, 22(2–3), 181–240. https://doi.org/10.1007/s10606-012-9172-4 ( reposiTUm)

Langer, P., Wimmer, M., Brosch, P., Herrmannsdörfer, M., Seidl, M., Wieland, K., & Kappel, G. (2013). A posteriori operation detection in evolving software models. Journal of Systems and Software, 86(2), 551–566. https://doi.org/10.1016/j.jss.2012.09.037 ( reposiTUm)

Kaufmann, P., Seidl, M., Wimmer, M., & Kappel, G. (2012). Conflict Visualization for Evolving UML Models. The Journal of Object Technology, 11(3), 2:1. https://doi.org/10.5381/jot.2012.11.3.a2 ( reposiTUm)

Bloem, R., Könighofer, R., & Seidl, M. (2014). SAT-Based Synthesis Methods for Safety Specs. In K. McMillan & X. Rival (Eds.), Lecture Notes in Computer Science. Springer LNCS. https://doi.org/10.1007/978-3-642-54013-4 ( reposiTUm)

Scholz, M., Kaufmann, P., & Seidl, M. (2013). Making UML “hip”: A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling. In Proceedings of the Educators’ Symposium co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013) (pp. 1–8). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/54868 ( reposiTUm)

Kaufmann, P., Kronegger, M., Pfandler, A., Seidl, M., & Widl, M. (2013). Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. In Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013) (pp. 31–40). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/54717 ( reposiTUm)

Bill, R., Gabmeyer, S., Kaufmann, P., & Seidl, M. (2013). OCL meets CTL: Towards CTL-Extended OCL Model Checking. In Proceedings of the MODELS 2013 OCL Workshop (pp. 13–22). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/54756 ( reposiTUm)

Kaufmann, P., Seidl, M., & Widl, M. (2013). Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams. In Softwaretechnik-Trends (pp. 1–3). Gesellschaft für Informatik. http://hdl.handle.net/20.500.12708/54587 ( reposiTUm)

Widl, M., Biere, A., Kaufmann, P., Egly, U., Heule, M., Kappel, G., Seidl, M., & Tompits, H. (2013). Guided Merging of Sequence Diagrams. In Software Language Engineering (pp. 164–183). Lecture Notes in Computer Science Volume 7745. https://doi.org/10.1007/978-3-642-36089-3_10 ( reposiTUm)

Gabmeyer, S., Kaufmann, P., & Seidl, M. (2013). A Classification of Model Checking-Based Verification Approaches for Software Models. In Proceedings of the STAF Workshop on Verification of Model Transformations (VOLT 2013) (pp. 1–7). http://hdl.handle.net/20.500.12708/54656 ( reposiTUm)

Goultiaeva, A., Seidl, M., & Biere, A. (2013). Bridging the gap between dual propagation and CNF-based QBF solving. In Proceedings of Design, Automation and Test in Europe (DATE) (pp. 811–814). http://hdl.handle.net/20.500.12708/54883 ( reposiTUm)

Artho, C., Seidl, M., & Biere, A. (2013). Model-Based Testing for Verification Back-Ends. In Tests and Proofs (pp. 39–55). Springer. https://doi.org/10.1007/978-3-642-38916-0_3 ( reposiTUm)

Dubois, C., Famelis, M., Gogolla, M., Nobrega, L., Ober, I., Seidl, M., & Völter, M. (2013). Research Questions for Validation and Verification in the Context of Model-Based Engineering. In Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2013), Miami, Florida, October 1st, 2013 (p. 10). http://hdl.handle.net/20.500.12708/54881 ( reposiTUm)

Kaufmann, P., Langer, P., Seidl, M., Wimmer, M., & Kappel, G. (2012). Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue. In Softwaretechnik- Trends. International Workshop on Comparison and Versioning of Software Models (CVSM 2012), Essen, Germany, EU. Gesellschaft für Informatik. http://hdl.handle.net/20.500.12708/54583 ( reposiTUm)

Kaufmann, P., Egly, U., Gabmeyer, S., Kappel, G., Seidl, M., Tompits, H., Widl, M., & Wimmer, M. (2012). Towards Scenario-Based Testing of UML Diagrams. In Tests and Proofs (pp. 149–155). Springer. https://doi.org/10.1007/978-3-642-30473-6_12 ( reposiTUm)

Creignou, N., Egly, U., & Seidl, M. (2012). A Framework for the Specification of Random SAT and QSAT Formulas. In Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012) (pp. 163–168). Springer. http://hdl.handle.net/20.500.12708/54164 ( reposiTUm)

Kaufmann, P., Gabmeyer, S., Kappel, G., & Seidl, M. (2012). On Formalizing EMF Modeling Operations with Graph Transformations. In W. Tracz (Ed.), ACM SIGSOFT Software Engineering Notes (p. 8). ACM. http://hdl.handle.net/20.500.12708/54205 ( reposiTUm)

Seidl, M., Lonsing, F., & Biere, A. (2012). qbf2epr: A Tool for Generating EPR Formulas from QBF. In P. Fontaine, R. Schmidt, & S. Schulz (Eds.), Proceedings of PAAR 2012 (p. 8). http://hdl.handle.net/20.500.12708/54418 ( reposiTUm)

Niemetz, A., Preiner, M., Lonsing, F., Seidl, M., & Biere, A. (2012). Resolution-Based Certificate Extraction for QBF. In A. Cimatti & R. Sebastiani (Eds.), Theory and Applications of Satisfiability Testing -- SAT 2012 (pp. 430–435). Springer LNCS. https://doi.org/10.1007/978-3-642-31612-8_33 ( reposiTUm)

Kaufmann, P., Egly, U., Gabmeyer, S., Kappel, G., Seidl, M., Tompits, H., Widl, M., & Wimmer, M. (2012). Towards Semantics-Aware Merge Support in Optimistic Model Versioning. In Models in Software Engineering (pp. 246–256). Springer LNCS. https://doi.org/10.1007/978-3-642-29645-1_24 ( reposiTUm)

Widl, M., Biere, A., Kaufmann, P., Egly, U., Heule, M., Kappel, G., Seidl, M., & Tompits, H. (2012). Guided Merging of Sequence Diagrams. In K. Czarnecki & G. Hedin (Eds.), SLE 2012 - Pre-proceedings (pp. 163–182). http://hdl.handle.net/20.500.12708/54255 ( reposiTUm)

Oetsch, J., Pührer, J., Seidl, M., Tompits, H., & Zwickl, P. (2011). VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. In Logic Programming and Nonmonotonic Reasoning (pp. 382–387). Springer. https://doi.org/10.1007/978-3-642-20895-9_45 ( reposiTUm)

Kaufmann, P., Egly, U., Gabmeyer, S., Kappel, G., Seidl, M., Tompits, H., Widl, M., & Wimmer, M. (2011). Towards Semantics-Aware Merge Support in Optimistic Model Versioning. In Proceedings of the Models and Evolution Workshop @ MoDELS’11 (p. 10). http://hdl.handle.net/20.500.12708/53735 ( reposiTUm)

Seidl, M., & Clarke, P. J. (2010). Software Modeling in Education: The 6th Educators’ Symposium at MODELS 2010. In J. Dingel & A. Solberg (Eds.), Models in Software Engineering (pp. 35–39). Springer LNCS. https://doi.org/10.1007/978-3-642-21210-9_4 ( reposiTUm)

Seidl, M., & Clarke, P. J. (2010). Preface of the 34th edition of the EASST. In Proceedings of the 6th Educators’ Symposium @ MODELS 2010 (p. 3). European Association of Software Science and Technology. http://hdl.handle.net/20.500.12708/53809 ( reposiTUm)

Gabmeyer, S., Kaufmann, P., & Seidl, M. (2014). A Feature-Based Classification of Formal Verification Techniques for Software Models (BIG-TR-2014-1). http://hdl.handle.net/20.500.12708/38048 ( reposiTUm)