posted by organizer: FrancescaLonetti || 258 views || tracked by 2 users: [display]

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


When Feb 19, 2017 - Feb 21, 2017
Where Porto, Portugal
Submission Deadline Oct 31, 2016
Notification Due Dec 14, 2016
Final Version Due Dec 28, 2016

Call For Papers


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:
Please also check the Guidelines (
Papers should be submitted electronically via the web-based submission system at:

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 (
SCITEPRESS is a member of CrossRef ( 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, Switzerland
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, Switzerland

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

Related Resources

ST: Model-Based Testing 2016   Theme issue on Model-Based Testing : Software and Systems Modeling Journal (SoSyM)
ITSLE 2016   Industry Track for Software Language Engineering
AMARETTO 2016   1st domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
SAC PL 2017   ACM SAC'17 PL Track
AMARETTO 2016   domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
DSLDI 2016   4th Workshop on Domain Specific Language Design and Implementation
ENASE 2017   12th International Conference on Evaluation of Novel Approaches to Software Engineering
GPCE 2016   International Conference on Generative Programming: Concepts & Experiences
ModComp 2016   3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2016
A-MOST 2017   Advances in Model-Based Software Testing