Technology Conference Listing
Featured: Women in STEM Conference and Award, San Francisco, Sept 10-12, 2017
Featured: PrecisionAg Vision Conference, Phoenix, Oct 10-12, 2017
Featured: SPTechCon, SharePoint Technology Conference, Washington, DC, Nov 12-15, 2017
San Francisco Professional Events List
International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - AMARETTO 2021
Date
Organizer
Location
International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - AMARETTO 2021
22 - 24 January, 2021 - Funchal, Madeira, Portugal
In conjunction with the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2021
CO-CHAIRS
Francesca Lonetti
National Research Council (CNR) Pisa
Italy
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 2021. She is co-chair of the 11th IEEE/ACM International Workshop on Automation of Software Test (AST 2021).Antonello Calabrò
CNR-ISTI
Italy
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 2021 organizing committee.Eda Marchetti
ISTI-CNR
Italy
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.SCOPE
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 2021 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.
Topics:
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:
Healthcare
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
Conference
Regular Papers
Paper Submission: September 7, 2021 (extended)
Authors Notification: October 18, 2021
Camera Ready and Registration: November 1, 2021
Position Papers
Paper Submission: September 29, 2021
Authors Notification: November 7, 2021
Camera Ready and Registration: November 20, 2021
Workshops
Workshop Proposal: August 31, 2021
Paper Submission: November 7, 2021
Authors Notification: November 21, 2021
Camera Ready and Registration: November 29, 2021
Doctoral Consortium
Paper Submission: November 9, 2021
Authors Notification: November 22, 2021
Camera Ready and Registration: December 5, 2021
Special Sessions
Special Session Proposal: August 31, 2021
Tutorials
Tutorial Proposal: November 24, 2021
Industrial Panels
Paper Submission: November 7, 2021
Authors Notification: November 21, 2021
Camera Ready and Registration: November 29, 2021
Demos
Demo Proposal: November 24, 2021
Panels
Panel Proposal: November 24, 2021
Open Communications
Paper Submission: November 9, 2021
Authors Notification: November 22, 2021
Camera Ready and Registration: December 5, 2021
European Project Spaces
Paper Submission: November 21, 2021
Authors Notification: November 29, 2021
Camera Ready and Registration: April 16, 2021
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
France
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, 2021. 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.
Abstract
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
Germany
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 (www.sosym.org). His newest books "Agile Modeling with the UML" and "Engineering Modeling Languages: Turning Domain Knowledge into Tools" were published in 2021 and 2021.
Languages for Programming: From Punched Cards to Wise Computing
David Harel
The Weizmann Institute of Science
Israel
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.
Abstract
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)nyeventslist.com
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.
NO REFUNDS ALLOWED ON REGISTRATIONS
-----------------------------------------------------------------
This Event Listing is Promoted by
New York Media Technologies LLC in association
with INSTICC
http://www.NyEventsList.com
http://www.BostonEventsList.com
http://www.SFBayEventsList.com
-----------------------------------------------------------------
MYL170818CEV MAR170926UPT JOA171219CEV