Magdalena Widl |
 |
This website is no longer updated. |
Please go here for an up-to-date version. |
|
| email: |
magdalena at crespo-widl.at |
| Office hours: |
by appointment |
|
I am working as a research assistant in the project
RiSE (Rigorous Systems Engineering), and
was previously employed in the project
FAME (Formalizing and Managing Evolution in Model Driven Engineering).
My research interests are in the areas of QBF solving and certification, formal methods in model engineering, and heuristic optimization.
I received a PhD in Computer Science
(my
PhD thesis)
in January 2016,
an MSc in Computational Intelligence
(my
Master thesis)
in May 2010, and
a BSc in Business Informatics in December 2006.
In autumn of 2013 I visited
Roland Jiang's group at the National Taiwan University.
I was
blogging a bit about about my life there.
In 2006 and 2007 I spent a year at the University of Alicante in Spain.
From 2005 to 2008 I additionally worked in web and database development.
Since December 2014 I am also permanently working on our
lifetime project.
In my spare time I enjoy playing the violin, cooking, travelling, and learning languages, in particular Mandarin Chinese.
Grants and Awards
Best Paper Award for the work presented at the
7th International Conference on Software Language Engineering, 2014. together with
Petra Kaufmann,
Martin Kronegger,
Andreas Pfandler, and
Martina Seidl.
"Stipendium für kurzfristige wissenschaftliche Arbeiten im Ausland" (Research Visit Grant) from the International Office of the Vienna University of Technology, 2013.
"Förderungsstipendium" (Research Grant) from the Faculty of Informatics of the Vienna University of Technology, 2011.
Distinguished Young Alumnus Award of the Faculty of Informatics, Vienna University of Technology at the
EPILOG 2010, an event held twice a year. Awarded for the best Master thesis.
Special Recognition Award at the Junior Scientist Conference 2010 for the poster exhibited at the poster session.
Publications
Quantified Boolean Formulas
Valeriy Balabanov,
Jie-Hong Roland Jiang,
Mikoláš Janota,
Magdalena Widl:
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs.
29th Conference on Artificial Intelligence
.
Austin, Texas, 2015.
Valeriy Balabanov,
Jie-Hong Roland Jiang,
Mikoláš Janota,
Magdalena Widl:
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs.
Second International Workshop on Quantified Boolean Formulas
.
Vienna, Austria, 2014.
Valeriy Balabanov,
Magdalena Widl,
Jie-Hong Roland Jiang:
QBF Resolution Systems and their Proof Complexities.
17th International Conference on Theory and Applications of Satisfiability Testing
, LNCS 8561.
Vienna, Austria, 2014.
Uwe Egly,
Florian Lonsing,
Magdalena Widl:
Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving.
Logic for Programming Artificial Intelligence and Reasoning LNCS 8312.
Stellenbosch, South Africa, 2013.
Talk,
Paper.
Uwe Egly,
Magdalena Widl:
Solution Extraction from Long-distance Resolution Proofs.
International Workshop on Quantified Boolean Formulas.
Helsinki, Finland, 2013.
Talk.
Software Model Evolution
Petra Kaufmann,
Martin Kronegger,
Andreas Pfandler,
Martina Seidl,
Magdalena Widl:
Intra- and interdiagram consistency checking of behavioral multiview models
Computer Languages, Systems & Structures 44: 72-88, 2015.
Petra Kaufmann,
Martin Kronegger,
Andreas Pfandler,
Martina Seidl,
Magdalena Widl:
A SAT-based Debugging Tool for State Machines and Sequence Diagrams.
7th International Conference on Software Language Engineering.
Västerås, Sweden, 2014. Awarded "Best Paper".
Talk.
Petra Kaufmann,
Martin Kronegger,
Andreas Pfandler,
Martina Seidl,
Magdalena Widl:
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines.
Workshop on Model-Driven Engineering, Verification, and Validation.
Miami, United States, 2013.
Magdalena Widl:
Test Case Generation by Grammar-based Fuzzing for Model-driven Engineering.
8th Haifa Verification Conference, LNCS 7875.
Haifa, Israel, 2012.
Poster.
Magdalena Widl,
Armin Biere,
Petra Brosch,
Uwe Egly,
Marijn Heule,
Gerti Kappel,
Martina Seidl,
Hans Tompits:
Guided Merging of Sequence Diagrams.
5th International Conference on Software Language Engineering, LNCS 7745.
Dresden, Germany, 2012.
Talk.
Petra Brosch,
Uwe Egly,
Sebastian Gabmeyer,
Gerti Kappel,
Martina Seidl,
Hans Tompits,
Magdalena Widl,
Manuel Wimmer:
Towards Scenario-Based Testing of UML Diagrams.
6th International Conference on Tests and Proofs, LNCS 7305.
Prag, Czech Republic, 2012.
Talk.
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 and Evolution Workshop. Wellington, LNCS 7167. New Zealand, 2011.
Talk.
Magdalena Widl:
Towards a Uniform Framework to Support the Evolution of Software Models .
Doctoral Symposium of the 14th International Conference on Model Driven Engineering Languages and Systems (MODELS). Wellington, New Zealand, 2011.
Talk.
Memetic Algorithms
Magdalena Widl,
Nysret Musliu:
The break scheduling problem: complexity results and practical algorithms
.
Journal of Memetic Computing, 6/2, 2014.
Magdalena Widl,
Nysret Musliu:
An Improved Memetic Algorithm for Break Scheduling.
Proceedings of the 7th International Workshop on Hybrid Metaheuristics, LNCS 6373. Vienna, Austria, 2010.
Nysret Musliu,
Werner Schafhauser,
Magdalena Widl:
A Memetic Algorithm for a Break Scheduling Problem.
8th Metaheuristics International Conference. Hamburg, Germany, 2009.
Address
Technische Universität Wien
Institut für Informationssysteme 184/3
Abteilung für Wissensbasierte Systeme
Favoritenstraße 9-11
A-1040 Wien, Austria
