Magdalena Widl

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