8th European Conference on
July 2-5, 2012, Technical University of Denmark |
 |
ECMFA Main conference program: Thursday, July 5
| 830–900 | Registration | ||
| 900–915 | Welcome | ||
| 915–1030 |
Keynote talk (Glassalen) chaired+) by Antonio Vallecillo |
||
|
Ed Seidewitz, Model Driven Solutions, USA: Executable UML: From multi-domain to multi-core |
|||
| 1030–1100 | Coffee break (with posters and tool demo in the Foyer in front of lecture hall M1) | ||
| 1100–1230 |
Model transformation (Glassalen) chaired+) by Esther Guerra |
Metamodeling 1 (M1) chaired+) by Juan de Lara |
|
|
M. Lauder, A. Anjorin, G. Varró and A. Schürr: Bidirectional Model Transformation with Precedence Triple Graph Grammars
J. Rieke and O. Sudmann:
P. Smolik and P. Vitkovsky: |
S. Mosser, M. Blay-Fornarino and L. Duchien: A Commutative Model Composition Operator to Support Software Adaptation
C. Atkinson, R. Gerbig and B. Kennel:
G. Batori, Z. Theisz and D. Asztalos: |
||
| 1230–1330 | Lunch break | ||
| 1330–1430 |
Verification 1 (Glassalen) chaired+) by Christopher Preschern |
Simulation (M1) chaired+) by Andy Schürr |
|
|
T. N. Qureshi, D. Chen and M. Torngren: A timed automata-based method to analyze EAST-ADL timing constraints specifications
N. Ge and M. Pantel: |
A. Radjenovic, R. Paige, L. Rose, J. Woodcock and S. King: A Plug-In Based Approach for UML Model Simulation
U. Winkler, M. Fritzsche, W. Gilani and A. Marshall: |
||
| 1430–1500 | Coffee break | ||
| 1500–1630 |
Verification 2 (Glassalen) chaired+) by Ekkart Kindler |
Metamodeling 2 (M1) chaired+) by Reda Bendraou |
|
|
M. Kuhlmann and M. Gogolla: Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations
F. Büttner and J. Cabot:
L. Hamann, O. Hofrichter and M. Gogolla: |
J. De Lara and E. Guerra: Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering
C. Guy, B. Combemale, S. Derrien, J. Steel and J.-M. Jezequel:
G. Zhang: |
||
| 1630–1645 | Closing session (Glassalen) | ||
+) Speakers are asked to contact their session chairs before the session (see more details in the guidelines for speakers).