Neeraj Kumar Singh

ORCID

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 36

Top Venues

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Neeraj Kumar Singh, Nikhil R. Pal
Convolutional Neural Networks Exploiting Attributes of Biological Neurons. CoRR (2023)
Jawaharlal Bhukya, Neeraj Kumar Singh, Vasundhara Mahajan
Impact of aggregated model-based optimization for wind farm and electric vehicle on power system stability. Comput. Electr. Eng. 105 (2023)
Neeraj Kumar Singh, Koyel Ghosh, Joy Mahapatra, Utpal Garain, Apurbalal Senapati
HCDIR: End-to-end Hate Context Detection, and Intensity Reduction model for online comments. CoRR (2023)
Neeraj Kumar Singh, Utpal Garain
An Analysis of Transformer-based Models for Code-mixed Conversational Hate-speech Identification. FIRE (Working Notes) (2022)
Neeraj Kumar Singh, Vasundhara Mahajan
End-User Privacy Protection Scheme from cyber intrusion in smart grid advanced metering infrastructure. Int. J. Crit. Infrastructure Prot. 34 (2021)
Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
A formal approach to rigorous development of critical systems. J. Softw. Evol. Process. 33 (4) (2021)
Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods (2021)
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
Standard Conformance-by-Construction with Event-B. FMICS (2021)
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA (2021)
Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interact. Comput. 33 (1) (2021)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Trans. Embed. Comput. Syst. 20 (4) (2021)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Event-B Refinement for Continuous Behaviours Approximation. ATVA (2021)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ (2020)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. IFM (2020)
Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque
An Integrated Framework for the Formal Analysis of Critical Interactive Systems. APSEC (2020)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM (2020)
Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Julien Ordioni, Abderrahmane Feliachi
Handling B models in the PERF integrated verification framework: Formalised and certified embedding. Sci. Comput. Program. 196 (2020)
Neeraj Kumar Singh, Hao Wang
Virtual Environment Model of Glucose Homeostasis for Diabetes Patients. ICPS (2019)
Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni
Certified Embedding of B Models in an Integrated Verification Framework. TASE (2019)
Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS (2019)
Neeraj Kumar Singh
Detection of postural balance degradation using fuzzy neural network. Int. J. Bioinform. Res. Appl. 15 (4) (2019)
Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS (2019)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. TASE (2019)
Preeti Ranjan Panda, Namita Sharma, Srikanth Kurra, Khushboo Anil Bhartia, Neeraj Kumar Singh
Exploration of Loop Unroll Factors in High Level Synthesis. VLSI Design (2018)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. ABZ (2018)
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. MEDI Workshops (2018)
Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry
Formal Ontology Driven Model Refactoring. ICECCS (2018)
Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ (2018)
Romain Geniet, Neeraj Kumar Singh
Refinement Based Formal Development of Human-Machine Interface. STAF Workshops (2018)
Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Use of Tabular Expressions for Refinement Automation. MEDI (2017)
Neeraj Kumar Singh, Arun Kumar Sunaniya
An adaptive image sharpening scheme based on local intensity variations. Signal Image Video Process. 11 (5) (2017)
Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït Ameur, Julien Ordioni
B-PERFect - Applying the PERF Approach to B Based System Developments. RSSRail (2017)
Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït Ameur
Correct-by-Construction Evolution of Realisable Conversation Protocols. MEDI (2016)
Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. ICECCS (2016)
Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
A System Substitution Mechanism for Hybrid Systems in Event-B. ICFEM (2016)
Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. ABZ (2016)
Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops (2015)
Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. HCI (17) (2015)
Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
Stateflow to Tabular Expressions. SoICT (2015)
Dominique Méry, Neeraj Kumar Singh
Analyzing Requirements Using Environment Modelling. HCI (17) (2015)
Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Formalizing the Cardiac Pacemaker Resynchronization Therapy. HCI (17) (2015)
Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? IEEE Des. Test 32 (5) (2015)
Dominique Méry, Neeraj Kumar Singh
The Semantics of Refinement Chart. HCI (20) (2014)
Dominique Méry, Neeraj Kumar Singh
Modelling an Aircraft Landing System in Event-B (Full Report). CoRR (2014)
Dominique Méry, Neeraj Kumar Singh
Modeling an Aircraft Landing System in Event-B. ABZ (Case Study) (2014)
Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Formalizing the Glucose Homeostasis Mechanism. HCI (20) (2014)
Dominique Méry, Neeraj Kumar Singh
Formal evaluation of landing gear system. SoICT (2014)
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Analysis of Self-⋆ and P2P Systems Using Refinement. ABZ (2014)
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Revisiting snapshot algorithms by refinement-based techniques. Comput. Sci. Inf. Syst. 11 (1) (2014)
Dominique Méry, Neeraj Kumar Singh
Ideal Mode Selection of a Cardiac Pacing System. HCI (22) (2013)
Dominique Méry, Neeraj Kumar Singh
Formal Specification of Medical Systems by Proof-Based Refinement. ACM Trans. Embed. Comput. Syst. 12 (1) (2013)
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. IFM (2013)
Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael J. Butler
A mixed approach to rigorous development of control designs. CACSD (2013)
Dominique Méry, Neeraj Kumar Singh
Critical systems development methodology using formal techniques. SoICT (2012)
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Revisiting Snapshot Algorithms by Refinement-Based Techniques. PDCAT (2012)
Dominique Méry, Neeraj Kumar Singh
Closed-Loop Modeling of Cardiac Pacemaker and Heart. FHIES (2012)
Neeraj Kumar Singh, Andy J. Wellings, Ana Cavalcanti
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada. JTRES (2012)
Neeraj Kumar Singh, Jyoti Sharma, Navneet Kaur
Citation Analysis of Journal of Documentation. Webology 8 (1) (2011)
Dominique Méry, Neeraj Kumar Singh
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. FHIES (2011)
Dominique Méry, Neeraj Kumar Singh
Analysis of DSR Protocol in Event-B. SSS (2011)
Dominique Méry, Neeraj Kumar Singh
Medical Protocol Diagnosis Using Formal Methods. FHIES (2011)
Dominique Méry, Neeraj Kumar Singh
Automatic code generation from event-B models. SoICT (2011)
Dominique Méry, Neeraj Kumar Singh
A generic framework: from modeling to code. Innov. Syst. Softw. Eng. 7 (4) (2011)
Dominique Méry, Neeraj Kumar Singh
Trustable Formal Specification for Software Certification. ISoLA (2) (2010)
Dominique Méry, Neeraj Kumar Singh
Real-Time Animation for Formal Specification. CSDM (2010)
Neeraj Kumar Singh, Preeti Mahajan
Design and development of a chemistry subject portal at Panjab University Library, India. Program 44 (3) (2010)
Neeraj Kumar Singh, Hichem Snoussi, David J. Hewson, Jacques Duchêne
Detection of the Critical Point Interval of Postural Control Strategy using Wavelet Transform Analysis. BIOSIGNALS (2009)
Neeraj Kumar Singh, Hichem Snoussi, David J. Hewson, Jacques Duchêne
Wavelet Transform Analysis of the Power Spectrum of Centre of Pressure Signals to Detect the Critical Point Interval of Postural Control. BIOSTEC (Selected Papers) (2009)
Srikanth Kurra, Neeraj Kumar Singh, Preeti Ranjan Panda
The impact of loop unrolling on controller delay in high level synthesis. DATE (2007)

Neeraj Kumar Singh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Neeraj Kumar Singh