Scholar
Neeraj Kumar Singh
Google Scholar ID: koce0yMAAAAJ
INPT-ENSEEIHT/IRIT, University of Toulouse, Toulouse
Formal Methods
Software Engineering
Software Certification
Code Generation
Cyber Physical System
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,306
H-index
18
i10-index
46
Publications
20
Co-authors
21
list available
Publications
5 items
Formal Model Construction Guided by Model-Based Proof Sketches
2026
Cited
0
TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
2025
Cited
0
Interpretability-Aware Pruning for Efficient Medical Image Analysis
2025
Cited
0
xai_evals : A Framework for Evaluating Post-Hoc Local Explanation Methods
2025
Cited
0
DLBacktrace: A Model Agnostic Explainability for any Deep Learning Models
arXiv.org · 2024
Cited
0
Co-authors
8 total
Mark Lawford
McMaster University
Guillaume Dupont
Associate Professor, Toulouse INP-ENSEEIHT, Institut de Recherche en Informatique de Toulouse
Hao Wang
Xidian University
Hichem Snoussi
Professor of Signal and Image Processing, University of Technology of Troyes
Ana Cavalcanti
University of York
Fuyuki Ishikawa
Associate Professor, National Institute of Informatics
Ramesh S.
formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&D
Dr. Raju Halder
Associate Professor, Indian Institute of Technology Patna
