New York Professional Events List

AMARETTO 2018 - International Workshop on domAin specific Model-based AppRo...

Jan 22, 2018 - 08:00 AM - Jan 24, 05:00 PM
New York Media Technologies LLC in association with INSTICC
Hotel Vila Galé Santa CruzRua São Fernando, 59100-173 Santa CruzPortugal,

ZIP: Portugal


International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - AMARETTO 2018

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

In conjunction with 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ò 

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

Dr. 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 workshop 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 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 
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


Important Dates


Regular Papers
Paper Submission: September 7, 2017 (extended) 
Authors Notification: October 18, 2017 
Camera Ready and Registration: November 1, 2017

Position Papers
Paper Submission: September 29, 2017 
Authors Notification: November 7, 2017 
Camera Ready and Registration: November 20, 2017

Workshop Proposal: August 31, 2017
Paper Submission: November 7, 2017
Authors Notification: November 21, 2017
Camera Ready and Registration: November 29, 2017

Doctoral Consortium
Paper Submission: November 9, 2017
Authors Notification: November 22, 2017
Camera Ready and Registration: December 5, 2017

Special Sessions
Special Session Proposal: August 31, 2017

Tutorial Proposal: November 24, 2017

Industrial Panels
Paper Submission: November 7, 2017
Authors Notification: November 21, 2017
Camera Ready and Registration: November 29, 2017

Demo Proposal: November 24, 2017

Panel Proposal: November 24, 2017

Open Communications
Paper Submission: November 9, 2017
Authors Notification: November 22, 2017
Camera Ready and Registration: December 5, 2017

European Project Spaces
Paper Submission: November 21, 2017
Authors Notification: November 29, 2017
Camera Ready and Registration: April 16, 2018


Keynote Lectures

Designing 3D Video Games with Models at Run-time
Franck Barbier, University of Pau, France

Engineering Software Languages for the Digital World
Bernhard Rumpe, RWTH Aachen University, Germany

Languages for Programming: From Punched Cards to Wise Computing
David Harel, The Weizmann Institute of Science, Israel


Designing 3D Video Games with Models at Run-time 

Franck Barbier 
University of Pau 

Brief Bio

Franck Barbier is full professor in software engineering at the University of Pau (France). His research activities and interests are object/component/service modeling through UML and the State Chart XML W3 standard, model-driven development, software design, test and runtime management for mobile and distributed systems, software adaptation, executable models and models at run-time. His last book is "Reactive Internet Programming – State Chart XML in Action", ACM Books, Morgan & Claypool, 2016. Beyond his academic position, Franck Barbier acts as business consultant for small, medium and large companies, as expert as well for the European Union and many French and worldwide organizations.

After 30 years, it is reasonably time to look critically at model-driven software development (MSDE). Who may nowadays claim that MSDE has been massively adopted by the software industry? Who may show numbers demonstrating that MSDE allowed/allows massive cost savings in daily software development, but, above all, software evolution? This keynote aims at showing that MSDE failed in some cases while it successes in others: "embedded models", a "composite" overview of "executable models" and "models at run-time". The keynote weakly discusses the idea and power of "embedded models" in a theoretical way. Instead, it provides feebacks and lessons learned from the use of "embedded models" for designing a professional mobile 3D video game. Models rely on the State Chart XML W3C standard and related libraries. As concrete illustration, the keynote includes demonstrations of the game.


Engineering Software Languages for the Digital World 

Bernhard Rumpe 
RWTH Aachen University 

Brief Bio

Bernhard Rumpe is heading the Software Engineering department at the RWTH Aachen University, Germany (one of the top three universities in CS as well as Mechanical Engineering). Earlier he had positions at INRIA/IRISA, Rennes, Colorado State University, TU Braunschweig, Vanderbilt University, Nashville, and TU Munich.
His main interests are rigorous and practical software and system development methods based on adequate modeling techniques. This includes agile development methods like XP and SCRUM as well as model-engineering based on UML-like notations and domain specific languages. He has to many modeling techniques, including the UML standardization. He also applies modeling, e.g. to autonomous cars, human brain simulation, BIM energy management, juristical contract digitalization, production automation, cloud, and many more. In his projects he intensively collaborates with all large German car manufacturers, energy companies, insurance and banking companies, a major aircraft company, a space company as well as innovative start-ups in the IT-related domains.
He is author and editor of ten books and Editor-in-Chief of the Springer International Journal on Software and Systems Modeling ( His newest books "Agile Modeling with the UML" and "Engineering Modeling Languages: Turning Domain Knowledge into Tools" were published in 2016 and 2017.


Languages for Programming: From Punched Cards to Wise Computing


David Harel 
The Weizmann Institute of Science 

Brief Bio

Prof. David Harel is the Vice President of the Israel Academy of Sciences and Humanities, and has been at the Weizmann Institute of Science since 1980, serving in the past as Dean of the Faculty of Mathematics and Computer Science. He has worked in logic and computability, software and systems engineering, modeling biological systems, odor reproduction, and more. He invented Statecharts and co-invented Live Sequence Charts. Among his books are “Algorithmics: The Spirit of Computing”, “Computers Ltd.: What They Really Can't Do” and "Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine". His awards include the ACM Karlstrom Outstanding Educator Award, the Israel Prize, the ACM Software System Award, the Eme”t Prize, and five honorary degrees. He is a Fellow of ACM, the IEEE and the AAAS, a member of the Academia Europaea and the Israel Academy of Sciences and Humanities, and a foreign member of the US National Academy of Engineering and the American Academy of Arts and Sciences.

After very briefly discussing the main milestones in the development of programming languages, the talk will provide some details about more recent means for programming complex reactive systems. These will include scenario-based programing, the use of natural language, and a futuristic "wise computing" approach.


Please contact the event manager Marilyn below for the following: 
- Discounts for registering 5 or more participants.
- If you company requires a price quotation.
Event Manager Contact: marilyn.b.turner(at)
You can also contact us if you require a visa invitation letter, after ticket purchase. 
We can also provide a certificate of completion for this event if required.

This Event Listing is Promoted by
New York Media Technologies LLC in association
MYL170818CEV MAR170926UPT


Event Categories
Keywords: fun, analysis, access , arts, assessment , Book , business , communication , conference , craf


Events Calendar

31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31 1 2 3


VIP Life Time Subscription to our Newsletters!

Forbes Women's Summit 2018
Disrupt SF 2018 - Brought to you by Techcrunch
U.S. Naval Institute Annual Meeting 2018
Breast Cancer Research Foundation
Children’s Health Fund
The World Energy Engineering Congress (WEEC)
                            Oct. 17-19, 2018
                            Charlotte, NC