Announcement: Special Issue on Verifiability in Systems and Data Engineering (invite only)

Guest Editors
Nabendu Chaki, University of Calcutta, India
Agostino Cortesi, Ca Foscari University, Venice, Italy
Rituparna Chaki, University of Calcutta, India

Innovations in Systems & Software Engineering will publish a special issue titled 'Verifiability in Systems and Data Engineering. It will consist of selected papers from the 8th International Doctoral Symposium on Applied Computation and Security Systems (ACSS-2021), held in Kolkata, India, and is expected to cover the following research areas:

  • Requirements engineering
  • Verifiability in agile software development
  • Security, privacy, and verifiability
  • Verifiability for mission control systems
  • Modeling for software analysis and design verification
  • Services and data engineering
  • Data modelling
  • Distributed storage
  • Concurrency control in large systems
  • Verifiability for smart systems and IoT
  • Remote Healthcare
  • Analysis and Verification Techniques

Submission is by invitation only. Authors will be invited separately if their paper qualifies for the SI. The selected papers for the SI must undergo a minimum of 30% change from the symposium version. 

Please see the ACSS 2021 homepage for further details.