| Vol-1499 urn:nbn:de:0074-1499-4 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# STAF-DS 2015
STAF 2015 Doctoral Symposium

### Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015)

### L'Aquila, Italy, July 20, 2015.

Edited by

### Martin Gogolla *
Henry Muccini **
Dániel Varró ***

* University of Bremen, PO Box 330440, D-28334 Bremen, Germany
** Università degli Studi dell'Aquila, Via Vetoio, Coppito, 67100 L'Aquila, Italy
*** Budapest University of Technology and Economics, Muegyetem rkp. 3, 1111 Budapest, Hungary

## Table of Contents

- Preface

### All contributions

- Reasoning about Properties with Abstract State Machines 1-10
  Gennaro Vessio
- Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering 11-20
  Alessio Bucaioni
- A Proposal for a Common Representation Language for MDE Artifacts and Settings 21-31
  Fábio Paulo Basso
- Complementing the B-Method with Model-Based Testing 32-41
  Ernesto Cid Brasil de Matos
- Communication with Models 42-49
  Jóhan Davidsen
- Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps 50-60
  Eric Umuhoza

2015-11-03: submitted by Dániel Varró, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-03: published on CEUR-WS.org |valid HTML5|