Magdalena Widl |
 |
|
| email: |
widl at kr.tuwien.ac.at |
| Phone: |
+43 (1) 58 801-18415 |
| Fax: |
+43 (1) 58 801-18493 |
| Office hours: |
by appointment |
|
I am currently working as research assistant in the
FAME project. My research interests are in the areas of QBF solving and certification, formal methods in model engineering, and heuristic optimization.
I received an MSc in Computational Intelligence in May 2010 and a BSc in Business Informatics in December 2006. In 2006/07 I spent a year at the University of Alicante in Spain.
In my spare time I enjoy playing the violin, swimming, cooking, travelling, and learning languages.
Publications
Magdalena Widl:
Test Case Generation by Grammar-based Fuzzing for Model-driven Engineering.
8th Haifa Verification Conference,
Haifa, Israel, 2012.
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.
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.
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.
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.
A Memetic Algorithm for a Break Scheduling Problem.
Magdalena Widl,
Nysret Musliu,
Werner Schafhauser:
8th Metaheuristics International Conference. Hamburg, Germany, 2009.
Talks
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.
A Memetic Algorithm for a Break Scheduling Problem. Junior Scientist Conference, a student research conference held by the Vienna University of Technology and the City College of New York. Vienna, Austria, 2010.
Grants and Awards
Research Grant from the Faculty of Informatics, 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.
Address
Technische Universität Wien
Institut für Informationssysteme 184/3
Abteilung für Wissensbasierte Systeme
Favoritenstraße 9-11
A-1040 Wien, Austria
