49 citations · 50 across the 4 of their papers we have counts for
6 papers
Code Review in the Classroom
Victor Rivera, Hamna Aslam, Alexandr Naumchev +3
This paper presents a case study to examine the affinity of the code review process among young developers in an academic setting. Code review is indispensable considering the posi…
A Machine to Machine framework for the charging of Electric Autonomous Vehicles
Ziyad Elbanna, Ilya Afanasyev, Luiz J. P. Araujo +7
Electric Autonomous Vehicles (EAVs) have gained increasing attention of industry, governments and scientific communities concerned about issues related to classic transportation in…
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education
Mansur Khazeev, Manuel Mazzara, Daniel De Carvalho +1
Formal methods yet advantageous, face challenges towards wide acceptance and adoption in software development practices. The major reason being presumed complexity. The issue can b…
Teaching Programming and Design-by-Contract
Daniel de Carvalho, Rasheed Hussain, Adil Khan +7
This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation.…
Initial steps towards assessing the usability of a verification tool
Mansur Khazeev, Victor Rivera, Manuel Mazzara +1
In this paper we report the experience of using AutoProof to statically verify a small object oriented program. We identified the problems that emerged by this activity and we clas…
Usability of AutoProof: a case study of software verification
Mansur Khazeev, Victor Rivera, Manuel Mazzara +1
Many verification tools come out of academic projects, whose natural constraints do not typically lead to a strong focus on usability. For widespread use, however, usability is ess…