posted by user: Lonetti || 1469 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

A-MOST 2021   Advances in Model-Based Software Testing
IJCSEA 2021   International Journal of Computer Science, Engineering and Applications
FDL 2021   24th IEEE Forum on specification & Design Languages
QEST 2021   International Conference on Quantitative Evaluation of SysTems
ENASE 2021   16th International Conference on Evaluation of Novel Approaches to Software Engineering
BPMDS 2021   Business Process Modeling, Development, and Support (BPMDS) Working Conference
ECSQARU 2021   The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
ICE 2021   14th Interaction and Concurrency Experience
Multilingual NLP 2021   Multilingual Approaches to NLP
ECSQARU 2021   16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty