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.002 seconds).

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