posted by user: rosa123 || 365 views || tracked by 1 users: [display]

AMARETTO 2016 : domAin specific Model-based AppRoaches to vErificaTion and validaTiOn


When Feb 19, 2016 - Feb 19, 2016
Where Rome
Submission Deadline Nov 25, 2015
Notification Due Dec 7, 2015
Categories    model-based development   validation   business process   case study

Call For Papers

1st domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016) workshop co-located with MODELSWARD 2016

19 February, 2016 - Rome (Italy)

Recent years have witnessed the emergence of domain-specific model based approaches for
verification and validation in software development. These approaches are tailored to the specific needs of the domain and use domain knowledge to adapt and customize well-known model based approaches for verification and validation. It is generally agreed that the use of domain-specific solutions are cost effective and can offer vast improvements in assessment of final software product.
The aim of this workshop is to investigate different aspects and solutions for model based verification and validation applied into domain-specific environments.
This workshop provides a forum for academia, industry, and the research and development
community to share their knowledge, exchange experiences and ideas, and discuss challenges and future research directions in the area of domain-specific model based verification and validation.


The topics of interest to the workshop include, but are not limited to:

Business process modeling and assessment
In-house vs. third party V&V solutions
Case studies
Methodological approaches for V&V
Certification and Assessment
Model based security assessment
Customization of generic V&V methodologies to specific domains
Model driven test suite generation
Domain specific testing strategies
Requirements elicitation and modeling
Domain-specific V&V tools
Safety and Security V&V
Empirical studies and industrial experiences
Simulation and monitoring inside specific application domain
Generation of domain-specific V&V frameworks
V&V approaches inside model based design

Welcome domains of application are (but 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
• Audio-Visual

Instructions for preparing the manuscript (in Word and Latex formats) are available at:

Please also check the Guidelines and Templates at:

Papers should be submitted electronically via the web-based submission system

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

Important dates

November 25, 2015 (EXTENDED)
Authors Notification December 7, 2015
Camera Ready and Registration December 18, 2015

Workshop Co-Chairs

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

Program Committee

Marco Autili, University of L'Aquila, Italy
Matthias Büchler, Technical University Munich, Germany
Ana Cavalli, Institut National des Telecommunications, France
María José Escalona, ETS Ingeniería Informática, Spain
João Carlos Pascoal Faria, University of Porto, Portugal
Angelo Gargantini, University of Bergamo, Italy
Paul Grace, University of Southampton, UK
Sylvia Christova Ilieva, Sofia University, Bulgaria
Leonardo Mariani, University of Milano Bicocca, Italy
Paolo Masci, Queen Mary University of London, UK
Raffaela Mirandola, Politecnico di Milano, Italy
Paolo Mori, IIT-CNR, Italy
Tejeddine Mouelhi, itrust consulting, Luxembourg
Ana Cristina Paiva, University of Porto, Portugal
Ioannis Parissis, Grenoble INP-Esisar, France
Patrizio Pelliccione, Chalmers University of Technology and University of Gothenburg, Sweden
Sasikumar Punnekkat, Malardalen University, Sweden
Antonino Sabetta, SAP Labs, France
Maurice H. ter Beek, ISTI-CNR, Italy
Sira Vegas, Universidad Politecnica de Madrid, Spain

Related Resources

AMARETTO 2017   2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
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
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