| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena | A SAT-Based Debugging Tool for State Machines and Sequence Diagrams | Konferenzbeitrag Inproceedings | 2014 |
| 2 | | Widl, Magdalena ; Musliu, Nysret | The break scheduling problem: complexity results and practical algorithms | Artikel Article | 2014 |
| 3 | | Balabanov, Valeriy ; Widl, Magdalena ; Jiang, Jie-Hong R. | QBF Resolution Systems and Their Proof Complexities | Konferenzbeitrag Inproceedings | 2014 |
| 4 | | Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena | Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs | Konferenzbeitrag Inproceedings | 2014 |
| 5 | | Kaufmann, Petra ; Seidl, Martina ; Widl, Magdalena | Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams | Konferenzbeitrag Inproceedings | 2013 |
| 6 | | Egly, Uwe ; Widl, Magdalena | Solution extraction from long-distance resolution proofs | Konferenzbeitrag Inproceedings | 2013 |
| 7 | | Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena | Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving | Konferenzbeitrag Inproceedings | 2013 |
| 8 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2013 |
| 9 | | 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 |
| 10 | | 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 |
| 11 | | Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel | Towards Scenario-Based Testing of UML Diagrams | Konferenzbeitrag Inproceedings | 2012 |
| 12 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2012 |
| 13 | | Widl, Magdalena | Test Case Generation by Grammar-based Fuzzing for Model-driven Engineering | Konferenzbeitrag Inproceedings | 2012 |
| 14 | | 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 | 2011 |
| 15 | | Widl, Magdalena | Towards a Uniform Framework to Support the Evolution of Software Models | Konferenzbeitrag Inproceedings | 2011 |