An Improved Memetic Algorithm for Break Scheduling. - Magdalena Widl; Nysret Musliu (Hybrid Metaheuristics, 2010)

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

Test Case Generation by Grammar-Based Fuzzing for Model-Driven Engineering. - Magdalena Widl (Haifa Verification Conference, 2012)

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

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

Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving. - Uwe Egly; Florian Lonsing; Magdalena Widl (LPAR, 2013)

Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (MoDeVVa@MoDELS, 2013)

Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams. - Petra Brosch; Martina Seidl; Magdalena Widl (Softwaretechnik-Trends, 2013)

QBF Resolution Systems and Their Proof Complexities. - Valeriy Balabanov; Magdalena Widl; Jie-Hong R. Jiang (SAT, 2014)

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (SLE, 2014)

The break scheduling problem: complexity results and practical algorithms. - Magdalena Widl; Nysret Musliu (Memetic Comput., 2014)

Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. - Valeriy Balabanov; Jie-Hong Roland Jiang; Mikolas Janota; Magdalena Widl (AAAI, 2015)

Intra- and interdiagram consistency checking of behavioral multiview models. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (Comput. Lang. Syst. Struct., 2015)