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

Filter:
Author:  Kaufmann, Petra

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

PreviewAuthor(s)TitleTypeIssue Date
1Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina A Feature-Based Classification of Formal Verification Techniques for Software ModelsBericht Report2014
2Langer, Philip ; Wimmer, Manuel ; Brosch, Petra ; Herrmannsdörfer, Markus ; Seidl, Martina ; Wieland, Konrad ; Kappel, Gertrude A posteriori operation detection in evolving software modelsArtikel Article Feb-2013
3Scholz, Marion ; Kaufmann, Petra ; Seidl, Martina Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented ModellingKonferenzbeitrag Inproceedings 2013
4Kaufmann, Petra ; Seidl, Martina ; Widl, Magdalena Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine DiagramsKonferenzbeitrag Inproceedings2013
5Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina A Classification of Model Checking-Based Verification Approaches for Software ModelsKonferenzbeitrag Inproceedings 2013
6Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina OCL meets CTL: Towards CTL-Extended OCL Model CheckingKonferenzbeitrag Inproceedings 2013
7Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans Guided Merging of Sequence DiagramsKonferenzbeitrag Inproceedings 2013
8Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State MachinesKonferenzbeitrag Inproceedings 2013
9Kaufmann, Petra ; Langer, Philip ; Seidl, Martina ; Wimmer, Manuel ; Kappel, Gerti Generic vs. Language-Specific Model Versioning - Adaptability to the RescueKonferenzbeitrag Inproceedings2012
10Kaufmann, Petra ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina On Formalizing EMF Modeling Operations with Graph TransformationsKonferenzbeitrag Inproceedings 2012
11Kaufmann, 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
12Kaufmann, Petra ; Seidl, Martina ; Wimmer, Manuel ; Kappel, Gerti Conflict Visualization for Evolving UML ModelsArtikel Article2012
13Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Scenario-Based Testing of UML DiagramsKonferenzbeitrag Inproceedings 2012
14Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans Guided Merging of Sequence DiagramsKonferenzbeitrag Inproceedings 2012
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 2011