Volume 17, Issue 3

Search all Innovations in Systems and Software Engineering articles

September 2021

Special Issue: Verifiability in Systems and Data Engineering(VSDE)

Issue Editors:

Agostino Cortesi,
Nabendu Chaki,
Rituparna Chaki

11 articles in this issue

Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors
Agostino Cortesi
Nabendu Chaki
Rituparna Chaki
Editorial 31 May 2021 Pages: 185 - 186
Requirement-oriented risk management for incremental software development
Mandira Roy
Novarun Deb
Nabendu Chaki
S.I.: Verifiability in Systems and Data Engineering 19 June 2021 Pages: 187 - 204
Construction and distribution of materialized views in Non-binary data space
Santanu Roy
Bibekananda Shit
Agostino Cortesi
S.I. : Verifiability in Systems and Data Engineering Denis Gracanin 31 May 2021 Pages: 205 - 217
Designing balanced wrapper chains in 3D SoC under constrained TSVs
Sabyasachee Banerjee
Soumendu Ghorui
Subhashis Majumder
S.I. : Verifiability in Systems and Data Engineering 25 May 2021 Pages: 219 - 230
A framework for end-to-end verification for digital microfluidics
Pushpita Roy
Ansuman Banerjee
Bhargab B. Bhattacharya
S.I. : Verifiability in Systems and Data Engineering 05 May 2021 Pages: 231 - 245
A discrete genetic learning enabled PSO for targeted positive influence maximization in consumer review networks
Gouri Kundu
Sankhayan Choudhury
S.I. : Verifiability in Systems and Data Engineering 18 May 2021 Pages: 247 - 259
A novel hybrid genetic algorithm-based firefly mating algorithm for solving Sudoku
Sunanda Jana
Anamika Dey
Rajat Kumar Pal
S.I.: Verifiability in Systems and Data Engineering 24 May 2021 Pages: 261 - 275
STDNet: A CNN-based approach to single-/mixed-script detection
Mridul Ghosh
Himadri Mukherjee
Kaushik Roy
S.I. : Verifiability in Systems and Data Engineering 27 April 2021 Pages: 277 - 288
A mathematical framework for design discovery from multi-threaded applications using neural sequence solvers
Srijoni Majumdar
Nachiketa Chatterjee
Amlan Chakrabarti
S.I.: Verifiability in Systems and Data Engineering 22 April 2021 Pages: 289 - 307
Iris-based human identity recognition with machine learning methods and discrete fast Fourier transform
Maciej Szymkowski
Piotr Jasiński
Khalid Saeed
S.I.: Verifiability in Systems and Data Engineering Open access 26 March 2021 Pages: 309 - 317
Parallel simulation of cyber-physical systems
Kamal Das
Amit Gurung
Rajarshi Ray
S.I. : Verifiability in Systems and Data Engineering 01 April 2021 Pages: 319 - 331

Volume 17, Issue 3

Search

Navigation