Publications
Workshop, Symposium, Conference, and Journal Publications
U. Egly, M. Widl, Solution Extraction from Long-distance Resolution Proofs. International Workshop on Quantified Boolean Formulas, 2013.
C. Artho, A. Biere, M. Seidl, Model-Based Testing for Verification Back-Ends. Proceedings of the Int. Conference on Tests and Proofs (TAP 2013); 39-55; Springer 2013
M. Widl, A. Biere, P. Brosch, U. Egly, M. Heule, G. Kappel, M. Seidl, H. Tompits, Guided Merging of Sequence Diagrams, Software Language Engineering, Lecture Notes in Computer Science Volume 7745, Springer, 2013
S. Gabmeyer, P. Brosch, M. Seidl, A Classification of Model Checking-Based Verification Approaches for Software Models, Proceedings of the STAF Workshop on Verification of Model Transformations (VOLT 2013),1 - 7, 2013
P. Brosch, M. Seidl, M. Widl, Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams, Workshop on Comparison and Versioning of Software Models (CVSM 2013); "Softwaretechnik-Trends", Gesellschaft für Informatik, 33/2, 2013
Wieland, P. Langer, M. Seidl, M. Wimmer, G. Kappel, Turning Conflicts into Collaboration - Concurrent Modeling in the Early Phases of Software Development, Computer Supported Cooperative Work: The Journal of Collaborative Computing, 22, 2-3; 181 - 240, 2013
P. Langer, M. Wimmer, P. Brosch, M. Herrmannsdoerfer, M. Seidl, K. Wieland, G. Kappel, A Posteriori Operation Detection in Evolving Software Models, Journal of Systems and Software, 86(2); 551 - 566, 2013
M. Widl, Test Case Generation by Grammar-based Fuzzing for Model-driven Engineering, 8th Haifa Verification Conference, 2012
S. Gabmeyer, Formal Verification Techniques for Model Transformations Specified By-Demonstration, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ACM, pp. 390-393, 2012
M. Widl, A. Biere, P. Brosch, U. Egly, M. Heule, G. Kappel, M. Seidl, H. Tompits, Guided Merging of Sequence Diagrams, 5th International Conference on Software Language Engineering, Springer, LNCS 7745, pp. 164-183, 2012
P. Brosch, S. Gabmeyer, G. Kappel, M. Seidl, On Formalizing EMF Modeling Operations with Graph Transformations, ACM SIGSOFT Software Engineering Notes, ACM, vol. 37, no. 4, 2012
P. Brosch, G. Kappel, P. Langer, M. Seidl, K. Wieland, M. Wimmer, An Introduction to Model Versioning, Formal Methods for Model-Driven Engineering, Springer, LNCS 7320, pp. 336-398, 2012
M. Seidl, F. Lonsing, A. Biere, qbf2epr: A Tool for Generating EPR Formulas from QBF, Proceedings of PAAR 2012, 2012
A. Niemetz, M. Preiner, F. Lonsing, M. Seidl, A. Biere, Resolution-Based Certificate Extraction for QBF, Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Springer, LNCS 7317, pp. 430-435, 2012
J. Oetsch, J. Puehrer, M. Seidl, H. Tompits, P. Zwickl, VIDEAS: A Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology, 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Springer, pp. 382-387, 2011
P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer, Towards Semantics-Aware Merge Support in Optimistic Model Versioning, Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers, Springer, LNCS 7167, pp 246-256, 2012
M. Widl, Towards a Uniform Framework to Support the Evolution of Software Models, Doctoral Symposium of the 14th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2011
P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer, Towards Scenario-Based Testing of UML Diagrams, Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012), Springer, LNCS 7305, pp. 149-155, 2012
N. Creignou, U. Egly, M. Seidl, A Framework for the Specification of Random SAT and QSAT Formulas, Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012), Springer, LNCS 7305, pp 163-168, 2012
P. Brosch, M. Seidl, M. Wimmer, G. Kappel, Conflict Visualization for Evolving UML Models, Journal of Object Technology, vol. 11, no. 3, pp. 1 - 30, 2012
P. Brosch, H. Kargl, P. Langer, M. Seidl, K. Wieland, M. Wimmer, G. Kappel, Conflicts as First-Class Entities: A UML Profile for Model Versioning, Models in Software Engineering - Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers, LNCS 6627, pp. 184-193, 2011
M. Seidl, P. Clarke, Software Modeling in Education, The 6th Educators' Symposium at MODELS 2010, Models in Software Engineering - Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers, Springer, LNCS 6627, pp. 35-39, 2011
M. Seidl, P. Clarke, Preface of the 34th edition of the EASST, Proceedings of the 6th Educators' Symposium @ MODELS 2010, European Association of Software Science and Technology, 2010
P. Brosch, P. Langer, M. Seidl, K. Wieland, M. Wimmer, G. Kappel, The Past, Present, and Future of Model Versioning, Emerging Technologies for the Evolution and Maintenance of Software Models, IGI Global, 2011
Others
S. Gabmeyer, Formalization of the Operation Recorder based on Graph Transformation Theory, Master's Thesis, Vienna University of Technology, 2011
P. Brosch, Conflict Resolution in Model Versioning, PhD Thesis, Vienna University of Technology, 2012
F. Zoubek, Visualization of Merge Advice in Sequence Diagrams, Bachelor Thesis, 2012