posted by user: Lonetti || 1395 views || tracked by 2 users: [display]

AMARETTO 2016 : 1st 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   verification

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

MDASD 2020   6th Workshop on Model Driven Approaches in System Development
VTS 2021   39th IEEE VLSI Test Symposium
ENASE 2021   16th International Conference on Evaluation of Novel Approaches to Software Engineering
PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
ADRW 2021   «Archives during rebellions and wars». From the age of Napoleon to the cyber war era
QuASoQ 2020   8th International Workshop on Quantitative Approaches to Software Quality
ModComp 2020   ModComp 2020 Call for Papers
IEEE TC on Domain-Specific Architectures 2020   Call for Papers: IEEE TC Special Issue on Domain-Specific Architectures for Emerging Applications
IEEE TC 2020   CALL FOR PAPERS: IEEE Transactions on Computers Special Issue on Domain-Specific Architectures for Emerging Applications