Mansur Khazeev
Title
Cited by
Cited by
Year
Teaching programming and design-by-contract
D de Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ...
International Conference on Interactive Collaborative Learning, 68-76, 2018
62018
Initial steps towards assessing the usability of a verification tool
M Khazeev, V Rivera, M Mazzara, L Johard
International Conference in Software Engineering for Defence Applications, 31-40, 2016
22016
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education
M Khazeev, M Mazzara, D De Carvalho, H Aslam
arXiv preprint arXiv:1906.01430, 2019
12019
Usability of AutoProof: a case study of software verification
M Khazeev, V Rivera, M Mazzara, A Tchitchigin
arXiv preprint arXiv:1605.01663, 2016
12016
A Machine to Machine framework for the charging of Electric Autonomous Vehicles
Z Elbanna, I Afanasyev, LJP Araujo, R Hussain, M Khazeev, J Lamptey, ...
arXiv preprint arXiv:1911.03746, 2019
2019
Towards a Broader Acceptance of Formal Verification Tools
M Khazeev, M Mazzara, H Aslam, D de Carvalho
International Conference on Interactive Collaborative Learning, 188-200, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–6