Name Card

Full name Familienname, Vorname
Widl, Magdalena
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 23 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gärtner, Johannes ; Arlinghaus, Anna ; Schafhauser, Werner ; Widl, Magdalena Estimating Injury Risks of Working Hours - Presenting a New Open Access Calculation EnginePräsentation Presentation2019
2Widl Magdalena - 2016 - Symbolic methods for the verification of software models.pdf.jpgWidl, Magdalena Symbolic methods for the verification of software modelsThesis Hochschulschrift 2016
3Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena Efficient Extraction of QBF (Counter)models from Long-Distance Resolution ProofsKonferenzbeitrag Inproceedings 2015
4Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Intra- and interdiagram consistency checking of behavioral multiview modelsArtikel Article2015
5Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-Based Debugging Tool for State Machines and Sequence DiagramsKonferenzbeitrag Inproceedings 2014
6Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-based Debugging Tool for State Machines and Sequence DiagramsPräsentation Presentation2014
7Widl, Magdalena ; Musliu, Nysret The break scheduling problem: complexity results and practical algorithmsArtikel Article2014
8Balabanov, Valeriy ; Widl, Magdalena ; Jiang, Jie-Hong R. QBF Resolution Systems and Their Proof ComplexitiesKonferenzbeitrag Inproceedings 2014
9Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena Efficient Extraction of QBF (Counter)models from Long-Distance Resolution ProofsKonferenzbeitrag Inproceedings 2014
10Kaufmann, Petra ; Seidl, Martina ; Widl, Magdalena Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine DiagramsKonferenzbeitrag Inproceedings2013
11Egly, Uwe ; Widl, Magdalena Solution extraction from long-distance resolution proofsKonferenzbeitrag Inproceedings 2013
12Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF SolvingKonferenzbeitrag Inproceedings 2013
13Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans Guided Merging of Sequence DiagramsKonferenzbeitrag Inproceedings 2013
14Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State MachinesKonferenzbeitrag Inproceedings 2013
15Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Semantics-Aware Merge Support in Optimistic Model VersioningKonferenzbeitrag Inproceedings 2012
16Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Scenario-Based Testing of UML DiagramsKonferenzbeitrag Inproceedings 2012
17Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans Guided Merging of Sequence DiagramsKonferenzbeitrag Inproceedings 2012
18Widl, Magdalena Test Case Generation by Grammar-based Fuzzing for Model-driven EngineeringKonferenzbeitrag Inproceedings2012
19Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Semantics-Aware Merge Support in Optimistic Model VersioningKonferenzbeitrag Inproceedings 2011
20Widl, Magdalena Towards a Uniform Framework to Support the Evolution of Software ModelsKonferenzbeitrag Inproceedings 2011