Magdalena Widl

13 papers A* 1A 1B 3Journal 3Unranked 5

Year	Rank	Type	Title / 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