Mohammad Afzal

2020202120222023202410 16 11 15 10

Priyanka DarkeScientist, TCS ResearchVerified email at tcs.com
Advaita DatarTata Research Development & Design Centre ,Verified email at tcs.com
Divyesh UnadkatResearch Scholar, Indian Institute of Technology Bombay, Mumbai and Researcher, TCS Research, PuneVerified email at tcs.com
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
Alvaro VelasquezProgram Manager, DARPAVerified email at darpa.mil
S AkshayIIT BombayVerified email at cse.iitb.ac.in
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Guy KatzThe Hebrew University of JerusalemVerified email at cs.huji.ac.il
Hrishikesh KarmarkarIIT BombayVerified email at cse.iitb.ac.in
Yizhak Yisrael ElboherThe Hebrew University of JerusalemVerified email at mail.huji.ac.il
Kumar MadhukarTata Research Development and Design CenterVerified email at tcs.com

Mohammad Afzal

TCS Research Pune India and Indian Institute of Technology Bombay India

Verified email at tcs.com - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
VeriAbs: Verification by abstraction and test generation M Afzal, A Asia, A Chauhan, B Chimdyalwar, P Darke, A Datar, S Kumar, ... 2019 34th IEEE/ACM International Conference on Automated Software …, 2019	45	2019
Veriabs: Verification by abstraction and test generation (competition contribution) M Afzal, S Chakraborty, A Chauhan, B Chimdyalwar, P Darke, A Gupta, ... Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020	16	2020
LTL-Based Non-Markovian Inverse Reinforcement Learning M Afzal, S Gambhir, A Gupta, A Trivedi, A Velasquez arXiv preprint arXiv:2110.13616, 2021	2	2021
Using Counterexamples to Improve Robustness Verification in Neural Networks M Afzal, A Gupta, S Akshay International Symposium on Automated Technology for Verification and …, 2023		2023
Efficiently Finding Adversarial Examples with DNN Preprocessing A Chauhan, M Afzal, H Karmarkar, Y Elboher, K Madhukar, G Katz arXiv preprint arXiv:2211.08706, 2022		2022
System and method for software verification P Darke, B Chimdyalwar, A Chauhan, P Shah, S Kumar, M Afzal, ... US Patent 11,275,860, 2022		2022
Quantitative Learning of LTL from Finite Traces. M Afzal, S Gambhir, A Gupta, S Krishna CoRR, 2021		2021

The system can't perform the operation now. Try again later.

Articles 1–7

Citations per year