VSC @IEEE WETICE 2020 : Track on Validating Software for Critical Systems (VSC)
VSC @IEEE WETICE 2020 : Track on Validating Software for Critical Systems (VSC)

VSC @IEEE WETICE 2020 : Track on Validating Software for Critical Systems (VSC)

Basque Coast - Bayonne, France
Event Date: June 10, 2020 - June 12, 2020
Submission Deadline: February 29, 2020
Notification of Acceptance: March 21, 2020
Camera Ready Version Due: April 04, 2020


VSC track brings the opportunity for researchers and developers from industry and the academic world to report the state of the art and exchange ideas on correctness, confidentiality, security, privacy and reliability of software technologies. The idea is to foster research and development for the advanced support needed to enhance the level of quality and of user trust on services holding personal data and involving collaboration with unknown remote parties.

Nowadays, the widespread use of smart devices, such as smart cards, watches, phones, and tablets, connected by the ubiquitous public Internet network, enables us to easily access a vast range of useful services. Distributed technologies such as blockchains have emerged to foster collaboration and data preservation. Such devices and infrastructures allow people to perform every day activities that either play a role in a collaborative task or are actually supported by some real-time or asynchronous collaboration technology. Example services and applications include the monitoring of health-related functions, messaging, the trading of goods, remote writing or signing of digital documents, activities on social networks or work groups, remotely locating someone/something, and even services improving our ability to observe/control the environment around us. In this context, applications that hold or exchange sensitive user data, like personal details, security pin-codes, or biometric data, need special protection against software failures or malicious behaviour of downloaded code, that may expose the user to highly undesired consequences, such as threats to confidentiality and even financial or health danger.

The trend is indeed towards integration, that is, not to have many specialized access devices but a single, multi-purpose host handling many (or all) kinds of user services and its related data together, even though with limited computing resources. Moreover, inherent mobility and distribution of these small, open computing devices increases the complexity of the solutions to be adopted for handling secure and reliable execution of untrusted code, in order to ensure the data confidentiality strongly required by the applications. As a consequence, new and specially designed techniques can be devised and applied in order to reach the goal of increasing the trust on such a distributed computing environment to a level of strength matching with the high strength of the above safety critical requirements.

Call for Papers

Topics Covered 

Submission is encouraged, but not limited, to the following topics: 

- Verification techniques 
- Novel testing and validation algorithms 
- Dependability assessment techniques 
- Model-based validation and testing techniques for security and privacy 
- Analysis of threats and countermeasures to the security of smart devices 
- Blockchain analysis tailored to security and privacy 
- Static and run-time techniques for byte-code verification and validation 
- Validation testing of safety critical technologies 
- Validation of large-scale distributed applications 
- Software testing in multi-core environments 
- Risk-based approaches to software validation 
- Assessing security and robustness of applications 
- Software architectures for securing software on collaboration devices 
- Static code analysis tailored to security and privacy for iOS and Android 
- Performance analysis of security-related features 
- Performance and QoS testing 
- Testing and analysis tools 
- Security and Privacy in Cyber-Physical Systems 
- Cyber Insurance 

Andrea CALVAGNA, Università degli Studi di Catania, Italy 
Andrea FORNAIA, Università degli Studi di Catania, Italy 
Emiliano TRAMONTANA, Università degli Studi di Catania, Italy 

Paper Submission 

Papers up to six double-column pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template. 
Each paper will be reviewed by at least three reviewers for ensuring high quality. 

Authors must upload their paper as PDF file using the EasyChair submission system: 

Accepted papers will be published in the conference proceedings, and will be published by the IEEE Computer Society Press, indexed by Scopus, Google Scholar, etc. 

Authors of high quality papers will be invited to submit their work for a special issue of a journal to be selected. 

Best Deals


VSC @IEEE WETICE 2020 : Track on Validating Software for Critical Systems (VSC) will take place in Basque Coast - Bayonne, France. It’s a 3 days event starting on Jun 10, 2020 (Wednesday) and will be winded up on Jun 12, 2020 (Friday).

VSC @IEEE WETICE 2020 falls under the following areas: SOFTWARE TESTING, STATIC ANALYSIS, FORMAL VERIFICATION, SECURITY & PRIVACY, etc. Submissions for this Conference can be made by Feb 29, 2020. Authors can expect the result of submission by Mar 21, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Apr 04, 2020 to the official website of the Conference.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the VSC @IEEE WETICE 2020

  • Short Name: VSC @IEEE WETICE 2020
  • Full Name: Track on Validating Software for Critical Systems (VSC)
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of VSC @IEEE WETICE 2020
  • Event Type: Conference
  • Website Link:
  • Location/Address: Basque Coast - Bayonne, France

Credits and Sources

[1] VSC @IEEE WETICE 2020 : Track on Validating Software for Critical Systems (VSC)

Check other Conferences, Workshops, Seminars, and Events


SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
ICSEA 2021: The Sixteenth International Conference on Software Engineering Advances
Barcelona, Spain
Oct 03, 2021
SEAS 2021: 10th International Conference on Software Engineering and Applications
Dubai, UAE
Feb 20, 2021
TASE 2021: The 15th International Symposium on Theoretical Aspects of Software Engineering
Aug 25, 2021
JSS SI on Test Automation 2021: Special Issue on - Test Automation: Trends, Benefits, and Costs



FMAS 2020: Second Workshop on Formal Methods for Autonomous Systems
Dec 07, 2020
Indocrypt 2020: 21st International Conference on Cryptology in India
Bengaluru, India
Dec 13, 2020
GandAlf 2019: The Tenth International Symposium on Games, Automata, Logics, and Formal Verification
Bordeaux, France
Sep 2, 2019
FVPS 2019: 2nd Workshop on Formal Verification of Physical Systems
Prague, Czech Republic
Jul 8, 2019
FT4DAS 2019: Formal Techniques for Dependable Autonomous Systems
Turku, Finland
Sep 10, 2019