Home      Log In      Contacts      FAQs      INSTICC Portal
Special Session
Special Session on
domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
 - AMARETTO 2018

22 - 24 January, 2018 - Funchal, Madeira, Portugal

Within the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2018


Francesca Lonetti
National Research Council (CNR) Pisa

Brief Bio
Francesca Lonetti is a researcher at CNR-ISTI, Italy. Her current research focuses on monitoring and testing of software systems. In particular, she is interested in: model-based monitoring approaches; testing of security systems (access control and usage control systems); methodologies and tools for robustness testing of web services, and business process modeling and assessment. Her expertise on these research topics has been applied in the context of several national and European research projects including LearnPAd, CHOReOS, TAS3, NESSoS, CONNECT, D-ASAP. She currently serves as member of the Editorial Board of International Journal of Communication Networks and Information Security (IJCNIS). She is and has been part of the program committee of several international conferences and workshops in the field, such as ICST, MODELSWARD, AST, QUATIC, ENASE. She has been publications chair of ICST 2012 and proceedings co-chair of ICSE 2015. She is co-chair of the 11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016).
Antonello Calabrò
Istituto di Scienza e Tecnologie dell'Informazione "A.Faedo"
Brief Bio
Dr. Antonello Calabrò received his degree in Computer Science from the University of Pisa in 2007. He is a researcher and software developer at CNR-ISTI in Pisa. Since 2007 he joined Human Interface in Information System group developing software solutions for improving mobility and text recognition of blind and visually impaired people within the project INPUT and Book4All. Currently, he is working at Software Engineering and Dependable Computing Laboratory (SEDC) at CNR-ISTI, investigating on software infrastructures for monitoring of complex systems (GLIMPSE) and focusing his research on: event-driven monitoring, business processes modeling and assessment, complex events processing. His expertise on these research topics has been applied in the context of several European research projects including CONNECT, Tas3, ChoreOS and LearnPAd. He is author of several publications and was member of the ICSE 2015 organizing committee.
Eda Marchetti

Brief Bio
Eda Marchetti is a researcher at CNR-ISTI. She graduated summa cum laude in Computer Science from the University of Pisa (1997) and got a PhD from the same University (2003). Her research activity focuses on software testing in general and in particular on the introduction of novel methodologies for testing emerging software technologies. Her research topics include: security testing, testing of access control systems, model-based testing, SOA and component based testing, requirement management and assessment, monitoring business process, testing process management and scheduling, structural testing, interoperability testing, domain specific testing, product certification and assessment. She has served as a reviewer for several international conferences and journals, and she has been part of program committee of numerous international workshops and conferences. She has been part of the organizing committee in different international conferences and workshops; she has served as guest editor for different special issues; she has been the poster chair and publicity chair in several international conferences; she has been the track chair and the co-chair for several international conferences and workshops. She has been the responsible for ISTI-CNR of several national and international EU projects and she actively participated to more than 15 national and international projects. She has (co)authored over 50 papers in international journals and conferences.


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 of the domain and leverage domain knowledge to adapt and customize well-known model-based approaches for verification and validation. Specifically, in the last decades software development is driven by emerging trends such as the widespread diffusion of mobile technology, cloud infrastructures adoption as well as big data analysis and software as a service paradigm that point out new constraints and challenges for the verification and validation activity.

The Special Session is held at MODELSWARD 2018 and continues the successful tradition of the last two editions of AMARETTO in the investigation of different aspects and domain specific solutions for model-based verification and validation. This Special Session 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
Testing of large scale systems
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, Networks and Media
Cloud Computing and Web Services
Mobile Devices
Big Data
Automotive and Transportation
Security and Privacy
Cyber-Physical Systems
Future Internet
Internet of Things
Finance & Business
Social Networks


Paper Submission: November 14, 2017 (expired)
Authors Notification: November 21, 2017 (expired)
Camera Ready and Registration: November 29, 2017 (expired)


Cesare Bartolini, Université du Luxembourg, Luxembourg
Said Daoudagh, ISTI-CNR, Pisa, Italy, Department of Computer Science, University of Pisa, Pisa, Italy, Italy
Guglielmo De Angelis, IASI-CNR, Italy
Felicita Digiandomenico, , Italy
Boni García, Universidad Rey Juan Carlos, Spain
Lom Hillah, LIP6 (CNRS, Sorbonne Université), France
Maria Jose Escalona, University of Seville, Spain
Leonardo Mariani, University of Milano Bicocca, Italy
Ana C. Paiva, Faculty of Engineering of University of Porto, Portugal
Ioannis Parissis, Grenoble INP LCIS, F-26902 Valence, France
Antonino Sabetta, , France
Jacopo Soldani, Università di Pisa, Italy
Maurice ter Beek, ISTI-CNR, Pisa, Italy
Yves Traon, University of Luxembourg, Luxembourg


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: Paper Templates
Please also check the Guidelines.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.


After thorough reviewing by the special session program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital support - and submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), DBLP, EI (Elsevier Engineering Village Index), Scopus, Google Scholar, Semantic Scholar, and Microsoft Academic.
SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier).
All papers presented at the conference venue will be available at the SCITEPRESS Digital Library


MODELSWARD Special Sessions - AMARETTO 2018
e-mail: modelsward.secretariat@insticc.org