| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Bloem, Roderick ; Könighofer, Robert ; Seidl, Martina ; McMillan, Kenneth ; Rival, Xavier | SAT-Based Synthesis Methods for Safety Specs | Konferenzbeitrag Inproceedings | 2014 |
| 2 | | Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina | A Feature-Based Classification of Formal Verification Techniques for Software Models | Bericht Report | 2014 |
| 3 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2013 |
| 4 | | Scholz, Marion ; Kaufmann, Petra ; Seidl, Martina | Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling | Konferenzbeitrag Inproceedings | 2013 |
| 5 | | Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena | Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines | Konferenzbeitrag Inproceedings | 2013 |
| 6 | | Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina | OCL meets CTL: Towards CTL-Extended OCL Model Checking | Konferenzbeitrag Inproceedings | 2013 |
| 7 | | Kaufmann, Petra ; Seidl, Martina ; Widl, Magdalena | Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams | Konferenzbeitrag Inproceedings | 2013 |
| 8 | | Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina | A Classification of Model Checking-Based Verification Approaches for Software Models | Konferenzbeitrag Inproceedings | 2013 |
| 9 | | Dubois, Cathrine ; Famelis, Michalis ; Gogolla, Martin ; Nobrega, Leonel ; Ober, Ileana ; Seidl, Martina ; Völter, Markus | Research Questions for Validation and Verification in the Context of Model-Based Engineering | Konferenzbeitrag Inproceedings | 2013 |
| 10 | | Goultiaeva, Alexandra ; Seidl, Martina ; Biere, Armin | Bridging the gap between dual propagation and CNF-based QBF solving | Konferenzbeitrag Inproceedings | 2013 |
| 11 | | Artho, Cyrille ; Seidl, Martina ; Biere, Armin | Model-Based Testing for Verification Back-Ends | Konferenzbeitrag Inproceedings | 2013 |
| 12 | | Wieland, Konrad ; Langer, Philip ; Seidl, Martina ; Wimmer, Manuel ; Kappel, Gerti | Turning Conflicts into Collaboration - Concurrent Modeling in the Early Phases of Software Development | Artikel Article | 2013 |
| 13 | | Langer, Philip ; Wimmer, Manuel ; Kaufmann, Petra ; Herrmannsdoerfer, Markus ; Seidl, Martina ; Wieland, Konrad ; Kappel, Gerti | A Posteriori Operation Detection in Evolving Software Models | Artikel Article | 2013 |
| 14 | | Kaufmann, Petra ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tracz, Will | On Formalizing EMF Modeling Operations with Graph Transformations | Konferenzbeitrag Inproceedings | 2012 |
| 15 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Czarnecki, Krzysztof ; Hedin, Görel | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2012 |
| 16 | | Seidl, Martina ; Lonsing, Florian ; Biere, Armin ; Fontaine, Pascal ; Schmidt, Renate ; Schulz, Stephan | qbf2epr: A Tool for Generating EPR Formulas from QBF | Konferenzbeitrag Inproceedings | 2012 |
| 17 | | Kaufmann, Petra ; Langer, Philip ; Seidl, Martina ; Wimmer, Manuel ; Kappel, Gerti | Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue | Konferenzbeitrag Inproceedings | 2012 |
| 18 | | Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel | Towards Semantics-Aware Merge Support in Optimistic Model Versioning | Konferenzbeitrag Inproceedings | 2012 |
| 19 | | Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin ; Cimatti, Alessandro ; Sebastiani, Roberto | Resolution-Based Certificate Extraction for QBF | Konferenzbeitrag Inproceedings | 2012 |
| 20 | | Creignou, Nadia ; Egly, Uwe ; Seidl, Martina | A Framework for the Specification of Random SAT and QSAT Formulas | Konferenzbeitrag Inproceedings | 2012 |