[ecoop-info] Call for Papers: 2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - AMARETTO 2017

Francesca Lonetti francesca.lonetti at isti.cnr.it
Mon Sep 19 21:23:08 CEST 2016

[Please accept our apologies if you receive multiple copies of this CFP]



2nd International Workshop on domAin specific Model-based AppRoaches to 
vErificaTion and validaTiOn - AMARETTO 2017


In conjunction with the 5th International Conference on Model-Driven 
Engineering and Software Development - MODELSWARD 2017 -19-21 February, 
2017 - Porto, Portugal


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.


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:


Telecommunication and Networks

Cloud Computing and Web Services

Mobile Devices

Automotive and Transportation



Smart Grid, Smart Cities, and Smart Spaces

Public Administration

Finance & Business

Social Networks

Media and Audio-Visual


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


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 

Papers should be submitted electronically via the web-based submission 
system at: http://www.insticc.org/Primoris


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).


Marco Autili, University of L'Aquila, Italy

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, 

Sylvia Christova Ilieva, Sofia University, Bulgaria

Ives Le Traon, University of Luxembourg, Luxembourg

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, 


Antonello Calabrò ISTI-CNR, Italy

Francesca Lonetti ISTI-CNR, Italy

Eda Marchetti ISTI-CNR, Italy

Francesca Lonetti
via Moruzzi, 1, 56124, Pisa (Italy)
francesca.lonetti at isti.cnr.it
Tel. +39 050 3153468 Fax +39 050 3152924

More information about the ecoop-info mailing list