- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j1 |      | Petra Brosch, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl: On formalizing EMF modeling operations with graph transformations. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012) |
| c3 | | Sebastian Gabmeyer: Formal verification techniques for model transformations specified by-demonstration. ASE 2012: 390-393 |
| c2 | | Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer: Towards Scenario-Based Testing of UML Diagrams. TAP 2012: 149-155 |
| 2011 | ||
| c1 | | Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer: Towards Semantics-Aware Merge Support in Optimistic Model Versioning. MoDELS Workshops 2011: 246-256 |
| 1 | Petra Brosch | |
| 2 | Uwe Egly | |
| 3 | Gerti Kappel | |
| 4 | Martina Seidl | |
| 5 | Hans Tompits | |
| 6 | Magdalena Widl | |
| 7 | Manuel Wimmer |
Data released under the ODC-BY 1.0 license — See also our legal information page