FAME: Formalizing and Managing Evolution in Model-Driven Engineering


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
 
Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT10-018
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Bloem, Roderick ; Könighofer, Robert ; Seidl, Martina ; McMillan, Kenneth ; Rival, Xavier SAT-Based Synthesis Methods for Safety SpecsKonferenzbeitrag Inproceedings 2014
2Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina A Feature-Based Classification of Formal Verification Techniques for Software ModelsBericht Report2014
3Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans Guided Merging of Sequence DiagramsKonferenzbeitrag Inproceedings 2013
4Scholz, Marion ; Kaufmann, Petra ; Seidl, Martina Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented ModellingKonferenzbeitrag Inproceedings 2013
5Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State MachinesKonferenzbeitrag Inproceedings 2013
6Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina OCL meets CTL: Towards CTL-Extended OCL Model CheckingKonferenzbeitrag Inproceedings 2013
7Kaufmann, Petra ; Seidl, Martina ; Widl, Magdalena Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine DiagramsKonferenzbeitrag Inproceedings2013
8Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina A Classification of Model Checking-Based Verification Approaches for Software ModelsKonferenzbeitrag Inproceedings 2013
9Dubois, Cathrine ; Famelis, Michalis ; Gogolla, Martin ; Nobrega, Leonel ; Ober, Ileana ; Seidl, Martina ; Völter, Markus Research Questions for Validation and Verification in the Context of Model-Based EngineeringKonferenzbeitrag Inproceedings 2013
10Goultiaeva, Alexandra ; Seidl, Martina ; Biere, Armin Bridging the gap between dual propagation and CNF-based QBF solvingKonferenzbeitrag Inproceedings 2013
11Artho, Cyrille ; Seidl, Martina ; Biere, Armin Model-Based Testing for Verification Back-EndsKonferenzbeitrag Inproceedings 2013
12Wieland, Konrad ; Langer, Philip ; Seidl, Martina ; Wimmer, Manuel ; Kappel, Gerti Turning Conflicts into Collaboration - Concurrent Modeling in the Early Phases of Software DevelopmentArtikel Article2013
13Langer, Philip ; Wimmer, Manuel ; Kaufmann, Petra ; Herrmannsdoerfer, Markus ; Seidl, Martina ; Wieland, Konrad ; Kappel, Gerti A Posteriori Operation Detection in Evolving Software ModelsArtikel Article2013
14Kaufmann, Petra ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tracz, Will On Formalizing EMF Modeling Operations with Graph TransformationsKonferenzbeitrag Inproceedings 2012
15Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Czarnecki, Krzysztof ; Hedin, Görel Guided Merging of Sequence DiagramsKonferenzbeitrag Inproceedings 2012
16Seidl, Martina ; Lonsing, Florian ; Biere, Armin ; Fontaine, Pascal ; Schmidt, Renate ; Schulz, Stephan qbf2epr: A Tool for Generating EPR Formulas from QBFKonferenzbeitrag Inproceedings2012
17Kaufmann, Petra ; Langer, Philip ; Seidl, Martina ; Wimmer, Manuel ; Kappel, Gerti Generic vs. Language-Specific Model Versioning - Adaptability to the RescueKonferenzbeitrag Inproceedings2012
18Kaufmann, 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
19Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin ; Cimatti, Alessandro ; Sebastiani, Roberto Resolution-Based Certificate Extraction for QBFKonferenzbeitrag Inproceedings 2012
20Creignou, Nadia ; Egly, Uwe ; Seidl, Martina A Framework for the Specification of Random SAT and QSAT FormulasKonferenzbeitrag Inproceedings 2012