Concepedia

Neeraj Kumar Singh

NK

Statistics

Publications

11

Citations

304

H-Index

10

Active since

2009

Affiliations

Institut National Polytechnique de Toulouse(Current)

École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications

Université de Lorraine

Neeraj Kumar Singh is an author at Institut National Polytechnique de Toulouse specializing in engineering, systems engineering, and software design.

Top concepts

EngineeringSystems EngineeringFormal MethodsSoftware DesignFormal VerificationVerificationComputer ScienceAutomated ReasoningComputer EngineeringFormal Specification

Publications per year

2009–2022

11

Publications

11

Automatic code generation from event-B models

Neeraj Kumar Singh · 2011 · 95 citations

Software Maintenance, Engineering, Translation Process +24

Formal Specification of Medical Systems by Proof-Based Refinement

Neeraj Kumar Singh · ACM Transactions on Embedded Computing Systems · 2013 · 34 citations

Engineering, Verification, Complex Systems +20

Framework for Automated GD&T Inspection Using 3D Scanner

Vimal Kumar Pathak, A.K. Singh, Manukrishna Sivadasan et al. · Journal of The Institution of Engineers (India) Series C · 2016 · 28 citations

Geometric Modeling, Engineering, Inspection +8

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?

Alan Wassyng, Neeraj Kumar Singh, Mischa Geven et al. · IEEE Design and Test · 2015 · 26 citations

International Standards, Safety Case, Engineering +22

Functional Behavior of a Cardiac Pacing System

Domingo Mery, Neeraj Kumar Singh · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 23 citations

1–5 of 11