Magdalena Widl

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Dependency Graph

Top Venues

Comput. Lang. Syst. Struct.

Softwaretechnik-Trends

Publications

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Intra- and interdiagram consistency checking of behavioral multiview models. Comput. Lang. Syst. Struct. 44 (2015)
Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. AAAI (2015)
Valeriy Balabanov, Magdalena Widl, Jie-Hong R. Jiang
QBF Resolution Systems and Their Proof Complexities. SAT (2014)
Magdalena Widl, Nysret Musliu
The break scheduling problem: complexity results and practical algorithms. Memetic Comput. 6 (2) (2014)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. SLE (2014)
Uwe Egly, Florian Lonsing, Magdalena Widl
Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving. LPAR (2013)
Petra Brosch, Martina Seidl, Magdalena Widl
Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams. Softwaretechnik-Trends 33 (2) (2013)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. MoDeVVa@MoDELS (2013)
Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer
Towards Scenario-Based Testing of UML Diagrams. TAP@TOOLS (2012)
Magdalena Widl
Test Case Generation by Grammar-Based Fuzzing for Model-Driven Engineering. Haifa Verification Conference (2012)
Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits
Guided Merging of Sequence Diagrams. SLE (2012)
Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer
Towards Semantics-Aware Merge Support in Optimistic Model Versioning. MoDELS (Workshops) (2011)
Magdalena Widl, Nysret Musliu
An Improved Memetic Algorithm for Break Scheduling. Hybrid Metaheuristics (2010)