Doctoral Symposium

You are here: Home » Doctoral Symposium

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.

Submission Process

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.

Contributions must not exceed 10 pages in Springer LNCS format (see format) and must be submitted via EasyChair (with the following URL

An award will be recognized: No Magic Europe offered a one year license as best paper award at the doctoral symposium.

Important Dates

  • - Submission – 01 May 2015
  • - Notification – 10 June 2015
  • - STAF 2015 Doctoral Symposium – July 20 2015


Program Committee

List of accepted papers


STAF 2015 Doctoral Symposium Programme

Monday, July 20th
Room 1F

9:00 – 10:30
STAF Keynote
Lionel Briand
Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned.

10:30 – 11:00
Coffee break

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.