Call for Papers for the Doctoral Symposium
The goal of the Doctoral Symposium is to provide a forum in which PhD students can present their work in progress. The symposium supports students by providing independent and constructive feedback about their already completed and, more importantly, planned research work. The symposium will be accompanied by prominent experts who will actively participate in critical discussions.
Relevant fields within Software Engineering include (but are not limited to):
- - Models: reasoning, execution, management, testing and validation
- - Model transformations: paradigms, algorithms, development, applications, tools
- - Graph theories
- - Domain Specific Languages
- - Proofs and Testing: debugging, frameworks, experiments, case studies
- - Model-Driven Engineering
Any topic of interest for the conferences that will take place within STAF 2015 is highly welcomed.
Submissions exclusively authored by the PhD student are invited from students who have settled on a PhD topic. We do accept papers on both initial stage (first or second year) and mature stage (third year, or later) of research. The authors shall clearly indicate their stage of research maturity in a footnote to be added to the paper title.
Each submission will be reviewed by at least 3 experts based on originality, significance, correctness and clarity. Submissions should describe research-in-progress that is meant to lead to a PhD dissertation, using the following structure:
- - Problem: The problem the research intends to solve, the target audience of this research, and a motivation of why the problem is important and needs to be solved.
- - Related work: A review of the relevant related work with an emphasis of how the proposed approach is different and what advantages it has over the existing state of the art.
- - Proposed solution: A description of the proposed solution and which other work (e.g., in the form of methods or tools) it depends on.
- - Preliminary work: A description of the work to-date and results achieved so far.
- - Expected contributions: A list of the expected contributions to both theory and practice.
- - Plan for evaluation and validation: A description of how it will be shown that the work does indeed solve the targeted problem and is superior to the existing state of the art (e.g., prototyping, industry case studies, user studies, experiments).
- - Current status: The current status of the work and a planned timeline for completion.
All accepted submissions to the Doctoral Symposium at STAF 2015 will be published in a post-conference volume of CEUR and will be submitted for inclusion in DBLP.
An award will be recognized: No Magic Europe offered a one year license as best paper award at the doctoral symposium.
- - Submission – 01 May 2015
- - Notification – 10 June 2015
- - STAF 2015 Doctoral Symposium – July 20 2015
- Martin Gogolla, University of Bremen, Germany
- Henry Muccini, University of L’Aquila, Italy
- Daniel Varrò, Budapest University of Technology and Economics, Budapest
- Reiko Heckel, University of Leicester, Unite Kingdom
- Jordi Cabot, INRIA-École des Mines de Nantes, France
- Manuel Wimmer, Business Informatics Group, Vienna University of Technology, Austria
- Antonio Vallecillo, Universidad de Málaga, Spain
- Luciano Baresi, DEIB – Politecnico di Milano, Italy
- Dimitris Kolovos, University of York, Unite Kingdom
- Massimiliano Di Penta, Dept. of Engineering – University of Sannio, Italy
- Gerti Kappel, Vienna University of Technology, Austria
List of accepted papers
- Fábio Basso and Toacy Oliveira: A Proposal for a Common Representation Language for MDE Settings.
- Ernesto Cid Brasil de Matos: Complementing the B-Method with Model-Based Testing.
- Alessio Bucaioni: Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering.
- Jóhan Davidsen: Communication with Models.
- Eric Umuhoza: Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps.
- Gennaro Vessio: Reasoning about Properties with Abstract State Machines.
STAF 2015 Doctoral Symposium Programme
Monday, July 20th
9:00 – 10:30
Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned.
10:30 – 11:00
11:00 – 12:30 (90 minutes -> 20 min max presentation )
Davidsen: Communication with Models.
Vessio: Reasoning about Properties with Abstract State Machines.
Bucaioni: Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering.
12:30 – 14:00
14:00 – 15:30
Brasil de Matos: Complementing the B-Method with Model-Based Testing.
Umuhoza: Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps.
Basso: A Proposal for a Common Representation Language for MDE Settings.