================================================================================
CALL FOR PAPERS

2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn AMARETTO 2017
http://www.modelsward.org/AMARETTO.aspx
In conjunction with the 5th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2017 - 20 February, 2017 - Porto, Portugal
================================================================================

SCOPE
Recent years have witnessed the emergence of domain specific model-based approaches for verification and validation in software development. These approaches are tailored to specific needs and use domain knowledge to adapt well-known model-based approaches for verification and validation. It is generally agreed that the use of domain specific solutions is cost effective and can offer vast improvements in assessment of final software product.
The workshop is held at MODELSWARD 2017 and continues the successful tradition of the first edition of Amaretto in the investigation of different aspects and domain specific solutions for model-based verification and validation. This workshop provides a forum for academia, industry, and research and development communities to share their knowledge, exchange experiences and ideas, and discuss challenges and future research directions.

TOPICS
V&V solutions for specific domain
Domain specific testing strategies
Safety and Security V&V
Model-based security assessment
Requirements elicitation and modeling
Methodological approaches for V&V
Generation of domain-specific V&V frameworks
Model-driven test suite generation
Domain specific V&V tools
Customization of V&V methodologies to specific domain
V&V approaches at design level
Simulation and monitoring for specific application domain
Business process modeling and assessment
Certification and assessment of software products
In-house vs. third party V&V solutions
Empirical studies and industrial experiences
Identification of problems and visions of the future



Welcome domains of application include, but are not limited to:

Healthcare
Telecommunication and Networks
Cloud Computing and Web Services
Mobile Devices
Automotive and Transportation
Learning
Legal
Smart Grid, Smart Cities, and Smart Spaces
Public Administration
Finance & Business
Social Networks
Media and Audio-Visual

IMPORTANT DATES
Papers Submission: October 31, 2016
Authors Notification: December 14, 2016
Camera Ready and Registration: December 28, 2016


PAPER SUBMISSION
Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: http://www.modelsward.org/Templates.aspx
Please also check the Guidelines (http://www.modelsward.org/Guidelines.aspx).
Papers should be submitted electronically via the web-based submission system at: http://www.insticc.org/Primoris

PAPER PUBLICATION
After thorough reviewing by the workshop program committee complemented by members of the main conference program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on CD-ROM support.
All papers presented at the conference venue will be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/).
SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier).



PROGRAM COMMITTEE
Marco Autili, University of L'Aquila, Italy
Cesare Bartolini, University of Luxembourg, Luxembourg
Antonia Bertolino, ISTI-CNR, Italy
Emanuela Cartaxo, Federal University of Campina Grande, Brazil
Ana Cavalli, TELECOM SudParis, France
Antinisca Di Marco, University of L’Aquila, Italy
María José Escalona, ETS Ingeniería Informática, Spain
Angelo Gargantini, Università di Bergamo, Italy
Paul Grace, University of Southampton, UK
Knut Hinkelmann, University of Applied Sciences Northwestern FHNW, Switzerland
Sylvia Christova Ilieva, Sofia University, Bulgaria
Yves Le Traon, University of Luxembourg, Luxembourg
Leonardo Mariani, University of Milano Bicocca, Italy
Ilaria Matteucci, IIT-CNR, Italy
Raffaela Mirandola, Politecnico di Milano, Italy
Ana Cristina Paiva, University of Porto, Portugal
Ioannis Parissis, Grenoble INP - Esisar, France
Patrizio Pelliccione, University of Gothenburg, Sweden
Sasikumar Punnekkat, Malardalen University, Sweden
Antonino Sabetta, Security Research, SAP Labs, France
Gayane Sedrakyan, Katholieke Universiteit Leuven, Belgium
Paola Spoletini, Kennesaw State University, USA
Maurice H. ter Beek, ISTI-CNR, Italy
Barbara Thönssen, University of Applied Sciences Northwestern FHNW, Switzerland



CO-CHAIRS
Antonello Calabrò ISTI-CNR, Italy
Francesca Lonetti ISTI-CNR, Italy
Eda Marchetti ISTI-CNR, Italy