Neeraj Kumar Singh

Cited by

	All	Since 2019
Citations	1130	516
h-index	17	12
i10-index	40	20

140

105

2010201120122013201420152016201720182019202020212022202320249 42 46 88 115 65 69 74 83 89 72 133 95 111 15

Public access

View all

7 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Dominique MéryProfessor of Computer Science, University of LorraineVerified email at univ-lorraine.fr
YAMINE AIT AMEURIRIT/INPT-ENSEEIHT, University of ToulouseVerified email at n7.fr
Marc PantelAssociate Professor in Computer Science, Université de ToulouseVerified email at enseeiht.fr
Alan WassyngMcMaster University, Dept Computing and Software, McMaster Centre for Software CertificationVerified email at McMaster.ca
Mark LawfordMcMaster UniversityVerified email at mcmaster.ca
Guillaume DupontAssociate Professor, Toulouse INP-ENSEEIHT, Institut de Recherche en Informatique de ToulouseVerified email at irit.fr
Hao WangXidian UniversityVerified email at ieee.org
Philippe PalanqueProfessor in Computer Science, ICS-IRIT, Université Paul Sabatier - Toulouse IIIVerified email at irit.fr
David HewsonProfessor of Health and Ageing, University of Bedfordshire, UKVerified email at beds.ac.uk
Hichem SnoussiProfessor of Signal and Image Processing, University of Technology of TroyesVerified email at utt.fr
Ismail MendilPhD student at IRIT/INP-ENSEEIHTVerified email at irit.fr
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkVerified email at york.ac.uk
Fuyuki IshikawaAssociate Professor, National Institute of InformaticsVerified email at nii.ac.jp
Arnaud DieumegardSoftware architect @ObeoVerified email at obeo.fr
Paulius StankaitisLecturer in AI/Data ScienceVerified email at stir.ac.uk
Alexei IliasovNewcastle University, School of Computing ScienceVerified email at newcastle.ac.uk
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org
Regine LaleauVerified email at u-pec.fr
Raju HalderIndian Institute of Technology PatnaVerified email at iitp.ac.in

Neeraj Kumar Singh

INPT-ENSEEIHT/IRIT, University of Toulouse, Toulouse

Verified email at enseeiht.fr - Homepage

Formal Methods Software Engineering Software Certification Code Generation Cyber Physical System


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automatic code generation from Event-B models D Méry, NK Singh Proceedings of the 2nd Symposium on Information and Communication Technology …, 2011	130	2011
Classification of elderly as fallers and non-fallers using centre of pressure velocity DJ Hewson, NK Singh, H Snoussi, J Duchene 2010 Annual International Conference of the IEEE Engineering in Medicine and …, 2010	50	2010
Using Event-B for Critical Device Software Systems NK Singh Springer Science & Business Media, 2013	48	2013
Formal specification of medical systems by proof-based refinement D Méry, NK Singh ACM Transactions on Embedded Computing Systems (TECS) 12 (1), 1-25, 2013	47	2013
Trustable formal specification for software certification D Méry, NK Singh International Symposium On Leveraging Applications of Formal Methods …, 2010	43	2010
Pacemaker's functional behaviors in event-b D Méry, NK Singh	35	2009
Can product-specific assurance case templates be used as medical device standards? A Wassyng, NK Singh, M Geven, N Proscia, H Wang, M Lawford, ... IEEE Design & Test 32 (5), 45-55, 2015	34	2015
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada NK Singh, A Wellings, A Cavalcanti Proceedings of the 10th international workshop on Java technologies for real …, 2012	33	2012
Proof-based approach to hybrid systems development: dynamic logic and Event-B G Dupont, Y Aït-Ameur, M Pantel, NK Singh Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018	31	2018
Revisiting snapshot algorithms by refinement-based techniques MB Andriamiarina, D Méry, NK Singh 2012 13th International Conference on Parallel and Distributed Computing …, 2012	30	2012
Functional behavior of a cardiac pacing system D Méry, NK Singh International Journal of Discrete Event Control Systems 1 (2), 129-149, 2011	30	2011
Real-time animation for formal specification D Méry, NK Singh Complex Systems Design & Management: Proceedings of the First International …, 2010	29	2010
Formalization of heart models based on the conduction of electrical impulses and cellular automata D Méry, NK Singh Foundations of Health Informatics Engineering and Systems: First …, 2012	28	2012
Medical protocol diagnosis using formal methods D Méry, NK Singh Foundations of Health Informatics Engineering and Systems: First …, 2012	28	2012
Analysis of DSR protocol in Event-B D Méry, NK Singh Stabilization, Safety, and Security of Distributed Systems: 13th …, 2011	26	2011
Event-B hybridation: a proof and refinement-based framework for modelling hybrid systems G Dupont, Y Ait-Ameur, NK Singh, M Pantel ACM Transactions on Embedded Computing Systems (TECS) 20 (4), 1-37, 2021	19	2021
Closed-loop modeling of cardiac pacemaker and heart D Méry, NK Singh Foundations of Health Information Engineering and Systems: Second …, 2013	18	2013
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B G Dupont, Y Ait-Ameur, NK Singh, M Pantel Science of Computer Programming 216, 102765, 2022	16	2022
Stepwise formal modeling and verification of self-adaptive systems with Event-B. The automatic rover protection case study NK Singh, Y Aït-Ameur, M Pantel, A Dieumegard, E Jenn 2016 21st International Conference on Engineering of Complex Computer …, 2016	16	2016
Technical report on formal development of two-electrode cardiac pacing system D Méry, NK Singh	16	2010

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

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors