Volume 14, Issue 2 | Innovations in Systems and Software Engineering

Search all Innovations in Systems and Software Engineering articles

Volume 14, Issue 2

June 2018

Special Issue: Verification and Evaluation of Computer and Communication Systems (VECoS 2017)

Issue Editors:

Kamel Barkaoui,
Hanifa Boucheneb

5 articles in this issue

Introduction to special issue on verification and evaluation of computer systems
Kamel Barkaoui
Hanifa Boucheneb
Editorial 20 April 2018 Pages: 81 - 82
Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures
Muhammad Saad Ayub
Osman Hasan
S.I. : VECOS2017 18 May 2018 Pages: 83 - 100
Maximal software execution time: a regression-based approach
Ayoub Nouri
Peter Poplavko
Panagiotis Katsaros
S.I. : VECOS2017 14 May 2018 Pages: 101 - 116
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm
Hela Guesmi
Belgacem Ben Hedia
Briag Lenabec
S.I. : VECOS2017 15 June 2018 Pages: 117 - 142
FC-AMAT: factor-based C-AMAT analysis in memory system measurement
Qi Yu
Libo Huang
Zhiying Wang
S.I. : VECOS2017 19 May 2018 Pages: 143 - 156