Magdalena Widl

According to our database, Magdalena Widl authored at least 13 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs.

Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

The break scheduling problem: complexity results and practical algorithms.

Magdalena Widl, Nysret Musliu

Memetic Comput., 2014

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Proceedings of the Software Language Engineering - 7th International Conference, 2014

QBF Resolution Systems and Their Proof Complexities.

Valeriy Balabanov, Magdalena Widl, Jie-Hong R. Jiang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013

Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams.

Petra Brosch, Martina Seidl, Magdalena Widl

Softwaretechnik-Trends, 2013

Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving.

Uwe Egly, Florian Lonsing, Magdalena Widl

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Towards Scenario-Based Testing of UML Diagrams.

Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Guided Merging of Sequence Diagrams.

Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Test Case Generation by Grammar-Based Fuzzing for Model-Driven Engineering.

Magdalena Widl

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

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

Proceedings of the Models in Software Engineering, 2011

2010

An Improved Memetic Algorithm for Break Scheduling.

Magdalena Widl, Nysret Musliu

Proceedings of the Hybrid Metaheuristics - 7th International Workshop, 2010