21st July, 2014
University of York
Sponsored by IBM UK
0900-1030STAF Keynote: Bertrand Meyer
1100-1230 Session ISimon Van Mierlo Explicit Modelling of Model Debugging and ExperimentationPhu H. Nguyen Model-Driven Security with Modularity and Reusability for Secure Systems DevelopmentSobhan Yassipour Tehrani and Kevin Lano Precise Requirements Engineering for Model Transformations
1400-1530 Session IIMichael Langhammer A Co-Evolution Approach for Component-Based Software Architecture and Source CodeGábor Szárnyas, István Ráth and Dániel Varró Scalable Query Evaluation in the CloudShinya Sato A low-level language for interaction nets
1600-1800 Session IIIMarwan Radwan and Reiko Heckel Refactoring Operational Smells within the Domain Name SystemJan Stückrath. Verification of Well-structured Graph Transformation SystemsMohammed Alabdullatif and Reiko Heckel A Game Theoretic Approach to Support Negotiation Based on Feature Models
STAF Doctoral Symposium
The STAF Doctoral Symposium is aimed at providing mentoring and feedback to PhD students working in the areas covered by Software Technologies: Applications and Foundations 2014.
Areas of interest include:
- Graph transformation
- Model transformation
- Model-Based Engineering
- Software testing
- Program verification
and in general any topic of interest for the conferences that will take place within STAF 2014, namely:
- ICGT'14 - Seventh International Conference on Graph Transformation
- ECMFA'14 - Tenth European Conference on Modelling Foundations and Applications
- ICMT'14 - Seventh International Conference on Model Transformation
- TAP'14 - Eighth International Conference on Tests and Proof
Presentations for the Doctoral Symposium will be selected by the Program Committee according to originality, significance, and general interest, on the basis of an extended abstract.
Speakers will be asked to give a short presentation, followed by discussion and feedback. There will also be ample time for informal discussion during the day. Our aim is to stimulate discussion and help PhD students refine their work.
- 13th June 2014 - extended submission deadline
- 23rd June 2014 - notification
- 21st July 2014 - STAF Doctoral Symposium
We solicit two kinds of abstract:
- Early-PhD work which clearly defines a research problem and possible solutions.
- Late-PhD work describing a fully-realised solution to a research problem.
The first author of a submitted abstract should be a PhD student as of 7th June (i.e. should not have submitted a thesis). Other authors, eg. supervisors, are allowed.
Each abstract should consist of 4-6 pages, including references / appendices formatted in LNCS style. Abstracts should be marked as 'early' or 'late' when submitted.
Abstracts can be submitted via Easychair through the following link: https://www.easychair.org/conferences/?conf=stafds2014
Accepted abstracts will be made available in PDF format to symposium participants, and in softbound format at the symposium itself.