FAME: Formalizing and Managing Evolution in Model-Driven Engineering

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
FAME
 
Project Title (de) Projekttitel (de)
FAME: Formalizing and Managing Evolution in Model-Driven Engineering
 
Project Title (en) Projekttitel (en)
FAME: Formalizing and Managing Evolution in Model-Driven Engineering
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT10-018
 

Publications

Results 1-9 of 9 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-Based Debugging Tool for State Machines and Sequence DiagramsKonferenzbeitrag Inproceedings 2014
2Widl, Magdalena ; Musliu, Nysret The break scheduling problem: complexity results and practical algorithmsArtikel Article2014
3Balabanov, Valeriy ; Widl, Magdalena ; Jiang, Jie-Hong R. QBF Resolution Systems and Their Proof ComplexitiesKonferenzbeitrag Inproceedings 2014
4Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena Efficient Extraction of QBF (Counter)models from Long-Distance Resolution ProofsKonferenzbeitrag Inproceedings 2014
5Egly, Uwe ; Widl, Magdalena Solution extraction from long-distance resolution proofsKonferenzbeitrag Inproceedings 2013
6Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF SolvingKonferenzbeitrag Inproceedings 2013
7Widl, Magdalena Test Case Generation by Grammar-based Fuzzing for Model-driven EngineeringKonferenzbeitrag Inproceedings2012
8Kaufmann, 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
9Widl, Magdalena Towards a Uniform Framework to Support the Evolution of Software ModelsKonferenzbeitrag Inproceedings 2011