Martina Seidl

Dipl.-Ing. Dr.techn.

    From 1998 to 2003, I studied Computer Science at the Vienna Technical University. My main focus was set on theoretical computer science and programming languages. My master thesis was about virtual machines. From 2003 to 2007, I worked on my PhD thesis with the title „A Solver for Quantified Boolean Formulas in Negation Normal Form“. In 2005 I joined the Information & Software Engineering Group as university assistant. Since the beginning of 2006 I am working at the Business Informatics Group as research assistant.

    Since 2010 I am assistant professor at the Institute for Formal Models at the Johnannes Kepler Universität Linz.

    Interests

    • Quantified Boolean Formulas
    • Automated Reasoning
    • Model Versioning
    • Model Engineering

    Projects

    .js-id-Finished
    Ongoing Finished All

    A Semantic Infrastructure for Model-based Tool Integration

    by Martina Seidl, Manuel Wimmer, Michael Strommer, Horst Kargl, Gerti Kappel

    With the rise of model-driven software development, more and more development tasks are being performed on models. A rich variety of modeling tools is available supporting different tasks, such as model creation, model simulation, model checking, and code generation.

    Read more

    Formalizing and Managing Evolution in Model-Driven Engineering

    by Martina Seidl, Sebastian Gabmeyer, Petra Kaufmann, Gerti Kappel

    Like traditional program code, software models are not resistant to change, but evolve over time by undergoing continuous extensions, corrections, and modifications. In model-driven engineering (MDE), evolution is multidimensional leading to the model management tasks of synchronization, versioning, and co-evolution.

    Read more

    Adaptable Model Versioning

    by Konrad Wieland, Martina Seidl, Petra Kaufmann, Philip Langer, Manuel Wimmer, Gerti Kappel

    The development of complex software systems requires appropriate abstraction mechanisms in terms of model-driven engineering techniques (MDE) and proper support for allowing developers to work in parallel in terms of version control systems (VCS).

    Read more

    Publications

    Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel (2019). A Feature-Based Classification of Formal Verification Techniques for Software Models.

    Software and Systems Modeling, 18 (2019), 1; 473 - 498.

    PDF DB

    Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel (2015). UML@Classroom: An Introduction to Object-Oriented Modeling.

    Springer, Heidelberg, 2015, ISBN: 978-3-319-12741-5; 206 pages.

    PDF DB

    Marion Scholz, Petra Kaufmann, Martina Seidl (2013). Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling.

    Talk: MODELS 2013 Educators Symposium, Miami, USA; 09-30-2013; in: “Proceedings of the Educators’ Symposium co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)", CEUR Workshop Proceedings, Vol-1134 (2013), ISSN: 1613-0073; 1 - 8.

    DB

    Philip Langer, Manuel Wimmer, Petra Kaufmann, Markus Herrmannsdoerfer, Martina Seidl, Konrad Wieland, Gerti Kappel (2013). A Posteriori Operation Detection in Evolving Software Models.

    Journal of Systems and Software, 86 (2013), 2; 551 - 566.

    PDF DB

    Magdalena Widl, Armin Biere, Petra Kaufmann, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits (2013). Guided Merging of Sequence Diagrams.

    in: “Software Language Engineering”, Lecture Notes in Computer Science Volume 7745, Springer, 2013, ISSN: 0302-9743, 164 - 183.

    DB

    Konrad Wieland, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel (2013). Turning Conflicts into Collaboration - Concurrent Modeling in the Early Phases of Software Development.

    Computer Supported Cooperative Work: The Journal of Collaborative Computing, 22 (2013), 2-3; 181 - 240.

    PDF DB

    Marion Scholz, Tanja Mayerhofer, Martina Seidl, Christian Huemer (2012). Replacing Traditional Classroom Lectures with Lecture Videos - An Experience Report.

    Talk: Educators’ Symposium @ MODELS 2012, Innsbruck; 09-30-2012 - 10-05-2012; in: “Proceedings of the 8th Educators’ Symposium @ MODELS 2012: Software Modeling in Education (EduSymp'12)", ACM Digital Library, (2012), 21 - 27.

    PDF DB

    Magdalena Widl, Armin Biere, Petra Kaufmann, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits (2012). Guided Merging of Sequence Diagrams.

    Talk: 5th International Conference on Software Language Engineering, Dresden; 09-26-2012 - 09-28-2012; in: “SLE 2012 - Pre-proceedings”, K. Czarnecki, G. Hedin (ed.); Dresden (2012), 163 - 182.

    DB

    Petra Kaufmann, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel (2012). Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue.

    Talk: International Workshop on Comparison and Versioning of Software Models (CVSM 2012), Essen, Germany; 09-03-2012; in: “Softwaretechnik- Trends”, Gesellschaft für Informatik, 32 / 4 (2012), ISSN: 0720-8928.

    DB

    Petra Kaufmann, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl (2012). On Formalizing EMF Modeling Operations with Graph Transformations.

    Talk: UML and FM 2012, Paris; 08-27-2012; in: “ACM SIGSOFT Software Engineering Notes”, W. Tracz (ed.); ACM, Volume 37 Issue 4 (2012), ISSN: 0163-5948; 8 pages.

    PDF DB

    Petra Kaufmann, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer (2012). An Introduction to Model Versioning.

    Talk: International School on Formal Methods for the Design of Computer, Communcation, and Software Systems, Bertinoro, Italy (invited); 06-18-2012 - 06-23-2012; in: “Formal Methods for Model-Driven Engineering”, M. Bernardo, V. Cortellessa, A. Pierantonio (ed.); Springer, LNCS 7320 (2012), ISSN: 0302-9743; 336 - 398.

    PDF DB

    Petra Kaufmann, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer (2012). Towards Scenario-Based Testing of UML Diagrams.

    Talk: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 05-31-2012 - 06-01-2012; in: “Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)", Springer, LNCS 7305 (2012), ISBN: 978-3-642-30472-9; 149 - 155.

    PDF DB

    Petra Kaufmann, Martina Seidl, Manuel Wimmer, Gerti Kappel (2012). Conflict Visualization for Evolving UML Models.

    Journal of Object Technology, 11 (2012), 3; 1 - 30.

    PDF DB

    Petra Kaufmann, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer (2012). Towards Semantics-Aware Merge Support in Optimistic Model Versioning.

    in: “Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers”, Springer LNCS, Berlin-Heidelberg, 2012, ISSN: 0302-9743, 246 - 256.

    PDF DB

    Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel (2012). UML@Classroom - Eine Einführung in die objektorientierte Modellierung.

    dpunkt.verlag, Heidelberg, 2012, ISBN: 978-3-89864-776-2; 250 pages.

    PDF DB

    Petra Kaufmann, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer (2011). Towards Semantics-Aware Merge Support in Optimistic Model Versioning.

    Talk: Models & Evolution Workshop @ ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, New Zealand; 10-18-2011; in: “Proceedings of the Models and Evolution Workshop @ MoDELS'11”, (2011), 10 pages.

    PDF DB

    Petra Kaufmann, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel (2011). Conflicts as First-Class Entities: A UML Profile for Model Versioning.

    in: “Models in Software Engineering - Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers”, Lecture Notes in Computer Science Volume 6627, Springer, 2011, ISBN: 978-3-642-21209-3, 184 - 193.

    PDF DB

    Petra Kaufmann, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel (2011). The Past, Present, and Future of Model Versioning.

    in: “Emerging Technologies for the Evolution and Maintenance of Software Models”, IGI Global, 2011, ISBN: 9781613504383, 410 - 443.

    PDF DB

    Konrad Wieland, Geraldine Fitzpatrick, Gerti Kappel, Martina Seidl, Manuel Wimmer (2011). Towards an Understanding of Requirements for Model Versioning Support.

    International Journal of People-Oriented Programming (IJPOP), 1 (2011), 2; 1 - 23.

    DB

    Petra Kaufmann, Martina Seidl, Gerti Kappel (2010). A Recommender for Conflict Resolution Support in Optimistic Model Versioning.

    Talk: Onward! 2010, Reno/Tahoe, Nevada, USA; 10-17-2010 - 10-21-2010; in: “SPLASH ‘10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion”, ACM, (2010), ISBN: 978-1-4503-0240-1; 43 - 50.

    PDF DB

    Christian Pichler, Martina Seidl, Christian Huemer (2010). Managing Variability and Evolution of Business Document Models.

    Talk: Workshop on Model-driven Product Line Engineering (MDPLE 2010), Paris; 06-16-2010; in: “Proceedings of the 2nd International Workshop on Model-driven Product Line Engineering (MDPLE 2010)", G. Botterweck, P. Heymans, I. Maman, A. Pleuss, J. Rubin (ed.); CEUR-WS.org, (2010), ISSN: 1613-0073; 61 - 72.

    PDF DB

    Petra Kaufmann, Gerti Kappel, Martina Seidl, Konrad Wieland, Manuel Wimmer, Horst Kargl, Philip Langer (2010). Adaptable Model Versioning in Action.

    Talk: Modellierung 2010, Klagenfurt; 03-24-2010 - 03-26-2010; in: “Modellierung 2010”, GI, LNI 161 (2010), ISBN: 978-3-88579-255-0; 221 - 236.

    DB

    Petra Kaufmann, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel (2010). Concurrent Modeling in Early Phases of the Software Development Life Cycle.

    in: “Proceedings of the 16th Collaboration Researchers’ International Working Group Conference on Collaboration and Technology (CRIWG 2010)", Springer, 2010, ISBN: 978-3-642-15713-4, 129 - 144.

    PDF DB

    Petra Kaufmann, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel (2010). Representation and Visualization of Merge Conflicts with UML Profiles.

    in: “Proceedings of the International Workshop on Models and Evolution (ME 2010) @ MoDELS 2010”, Online Publication, 2010, 53 - 62.

    PDF DB

    Petra Kaufmann, Gerti Kappel, Martina Seidl, Manuel Wimmer (2009). Teaching Model Engineering in the Large.

    Talk: Educators’ Symposium @ Models 2009, Denver, USA; 10-06-2009; in: “Educators’ Symposium @ Models 2009”, (2009).

    PDF DB

    Marion Scholz, Martina Seidl, Gerti Kappel (2009). Teaching Models@BIG: On Efficiently Assessing Modeling Concepts.

    Talk: Educators’ Symposium @ Models 2009, Denver, USA; 10-06-2009; in: “Educators’ Symposium @ Models 2009”, (2009), 8 pages.

    PDF DB

    Petra Kaufmann, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger (2009). An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example.

    Talk: 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09), Denver, USA; 10-04-2009 - 10-09-2009; in: “Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09)", Springer, LNCS 5795 (2009), ISBN: 978-3-642-04424-3; 271 - 285.

    PDF DB

    Kerstin Altmanninger, Petra Kaufmann, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer (2009). Why Model Versioning Research is Needed!? An Experience Report.

    Talk: Joint MoDSE-​MC­CM 2009 Work­shop - Models and Evolution, Denver, USA; 10-04-2009; in: “Proceedings of the Joint MoDSE-MC­CM 2009 Workshop”, (2009), Paper ID 8, 12 pages.

    PDF DB

    Marion Scholz, Martina Seidl (2009). Verbesserung der Qualität in der Massenlehre durch die Moodle-Adaptierung TUWEL.

    Talk: 6. Internationale Österreichische MoodleMoot.at, Wien; 09-24-2009 - 09-25-2009.

    DB

    Manuel Wimmer, Martina Seidl, Petra Kaufmann, Horst Kargl, Gerti Kappel (2009). On Realizing a Framework for Self-tuning Mappings.

    Keynote Lecture: 47th International Conference, TOOLS EUROPE 2009, June 29-July 3, 2009., Zurich, Switzerland; 06-29-2009 - 07-03-2009; in: “Objects, Components, Models and Patterns - Proceedings of the 47th International Conference TOOLS EUROPE 2009”, Springer, LNBIP 33 (2009), ISSN: 1865-1348; 1 - 16.

    PDF DB

    Horst Kargl, Manuel Wimmer, Martina Seidl, Gerti Kappel (2009). SmartMatcher: Improving Automatically Generated Transformations.

    Datenbank Spektrum - Zeitschrift für Datenbanktechnologie und Information Retrieval, 9 (2009), 29; 42 - 52.

    DB

    Kerstin Altmanninger, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Martina Seidl, Wieland Schwinger, Manuel Wimmer (2008). AMOR - Towards Adaptable Model Versioning.

    Talk: 1st International Workshop on Model Co-Evolution and Consistency Management, Toulouse, Frankreich; 09-30-2008; in: “1st Int. Workshop on Model Co-Evolution and Consistency Management, in conjunction with Models'08”, (2008), 7 pages.

    PDF DB

    Marion Scholz, Martina Seidl, Manuel Wimmer, Christian Huemer, Gerti Kappel (2008). Exercises for Object-Oriented Modeling.

    Talk: Educators Symposium @ MODELS 2008, Toulouse, Frankreich (invited); 09-29-2008.

    PDF DB

    Marion Scholz, Martina Seidl, Manuel Wimmer, Christian Huemer, Gerti Kappel (2008). Teaching Models @ BIG - How to Give 1000 Students an Understanding of the UML.

    Talk: Models 2008 (Int. Conference) - Educators Symposium, Toulouse, Frankreich; 09-29-2008; in: “Promoting Software Modeling Through Active Education, Educators Symposium Models'08”, M. Śmiałek (ed.); Warsaw University of Technology, (2008), ISBN: 83-916444-8-0; 64 - 68.

    PDF DB

    Gerti Kappel, Horst Kargl, Gerhard Kramler, Andrea Schauerhuber, Martina Seidl, Michael Strommer, Manuel Wimmer (2007). Matching Metamodels with Semantic Systems - An Experience Report.

    Talk: Model Management und Metadaten-Verwaltung BTW 2007 Workshop, Aachen; 03-05-2007 - 03-09-2007; in: “Datenbanksysteme in Business, Technologie und Web (BTW 2007), Workshop Proceedings”, Verlag Mainz, (2007), ISBN: 3-86130-929-7; 38 - 52.

    PDF DB

    Gerti Kappel, Horst Kargl, Manuel Wimmer, Michael Strommer, Gerhard Kramler, Werner Retschitzegger, Kerstin Altmanninger, Thomas Reiter, Wieland Schwinger, Elisabeth Kapsammer, Gabriele Kotsis, Martina Seidl (2006). From Models to Ontologies and Back Again: The ModelCVS Approach for Integrating Modeling Tools.

    Poster: ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Genua, Italien; 10-01-2006 - 10-06-2006.

    DB