Validation of Safety critical Collaboration systems(VSC 2017)

June 21-23,2017,Poznan, Poland

Call For Papers

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 correcteness, 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. 

Topics of Interest

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

Static and run-time techniques for byte-code level 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 based apps

Performance analysis of security-related features

Performance and QoS testing

Testing and analysis tools

Important Dates

Submission deadline: March 15, 2017

Notification Due: Aug 9, 2017.

Final Version Due: April 15, 2017

User Name : Anika
Posted 30-12-2016 on 09:27:27 AEDT

Related CFPs

CGDEIJ   Computer Game Development and Education
SOFEA 2026   12th International Conference on Software Engineering and Applications (SOFEA 2026)
CDKP 2026   15th International Conference on Data Mining & Knowledge Management Process (CDKP 2026)
SOFT 2026   12th International Conference on Software Engineering