Neeraj Kumar Singh

发表

A Novel Approach to Hide Text Data in Colour Image

Santosh Kumar, Suvamoy Changder, Suraj Kumar, 2018, 2018 7th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO).

Refinement Based Formal Development of Human-Machine Interface

Neeraj Kumar Singh, Romain Geniet, N. Singh, 2018, STAF Workshops.

Correct-by-Construction Evolution of Realisable Conversation Protocols

Yamine Aït Ameur, Meriem Ouederni, Neeraj Kumar Singh, 2016, MEDI.

Detection of cyber cascade failure in smart grid substation using advance grey wolf optimization

Neeraj Kumar Singh, Vasundhara Mahajan, V. Mahajan, 2020 .

Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B

Marc Pantel, Yamine Aït Ameur, Guillaume Dupont, 2018, ABZ.

B-PERFect - Applying the PERF Approach to B Based System Developments

Yamine Aït Ameur, Abderrahmane Feliachi, Julien Ordioni, 2017, RSSRail.

Formalizing the Glucose Homeostasis Mechanism

Hao Wang, T. S. E. Maibaum, Alan Wassyng, 2014, HCI.

A generic framework: from modeling to code

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2011, Innovations in Systems and Software Engineering.

Coordination and performance analysis of pumped hydro storage system integrated with solar, wind hybrid system

Neeraj Kumar Singh, Gangadharayya Salimath, Shilpa S Badge, 2017, 2017 International Conference on Energy, Communication, Data Analytics and Soft Computing (ICECDS).

Detection of the Critical Point Interval of Postural Control Strategy using Wavelet Transform Analysis

David J. Hewson, Jacques Duchêne, Hichem Snoussi, 2009, BIOSIGNALS.

Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods

Dominique Méry, Neeraj Kumar Singh, 2011 .

Analysis of DSR Protocol in Event-B

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2011, SSS.

The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada

Andy J. Wellings, Ana Cavalcanti, Neeraj Kumar Singh, 2012, JTRES '12.

Closed-Loop Modeling of Cardiac Pacemaker and Heart

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2012, FHIES.

Ideal Mode Selection of a Cardiac Pacing System

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2013, HCI.

Fuzzy Logic for Reducing Data Loss during Cyber Intrusion in Smart Grid Wireless Network

Neeraj Kumar Singh, Vasundhara Mahajan, 2019, 2019 IEEE Student Conference on Research and Development (SCOReD).

Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2011 .

Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2011, FHIES.

IOT and XBee triggered based adaptive intrusion detection using geophone and quick response by UAV

Rajesh Singh, Anita Gehlot, Neeraj Kumar Singh, 2018 .

Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)

Dominique Méry, Neeraj Kumar Singh, Manamiary Bruno Andriamiarina, 2014 .

Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms

Dominique Méry, Neeraj Kumar Singh, Manamiary Bruno Andriamiarina, 2013, IFM.

Analysis of Self-⋆ and P2P Systems Using Refinement

Dominique Méry, Neeraj Kumar Singh, Manamiary Bruno Andriamiarina, 2014, ABZ.

Wavelet Transform Analysis of the Power Spectrum of Centre of Pressure Signals to Detect the Critical Point Interval of Postural Control

David J. Hewson, Jacques Duchêne, Hichem Snoussi, 2009, BIOSTEC.

Power comparison of single and dual rail 2:1 MUX designs at different levels of technology

Neeraj Kumar Singh, Purnima Kumari Sharma, 2014, 2014 International Conference on Control, Instrumentation, Communication and Computational Technologies (ICCICCT).

A novel fault detection and classification technique for double circuit transmission line using Artificial Neural Network

Neeraj Kumar Singh, Shilpa S Badge, 2017, 2017 International Conference on Intelligent Computing, Instrumentation and Control Technologies (ICICICT).

Functional Behavior of a Cardiac Pacing System

Dominique Méry, Neeraj Kumar Singh, 2010 .

Improved BDD compression by combination of variable ordering techniques

Neeraj Kumar Singh, Purnima Kumari Sharma, 2014, 2014 International Conference on Communication and Signal Processing.

Design and development of air quality management devices with sensors and web of things

Rajesh Singh, Anita, Neeraj Kumar Singh, 2018 .

Key Ingredients and Selection Considerations

Neeraj Kumar Singh, Porselvan Muthukrishnan, Satyanarayana Sanpini, 2019 .

Pacemaker's Functional Behaviors in Event-B

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2009 .

Formal Development and Automatic Code Generation: Cardiac Pacemaker

Dominique Méry, Neeraj Kumar Singh, 2011 .

Predicting Carfilzomib Resistance Mechanisms and Therapeutics Using Computational Modelling of Genomics and Proteomics

Taher Abbasi, Neeraj Kumar Singh, Shireen Vali, 2018 .

Revisiting Snapshot Algorithms by Refinement-Based Techniques

Dominique Méry, Neeraj Kumar Singh, Manamiary Bruno Andriamiarina, 2012, 2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies.

Critical systems development methodology using formal techniques

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2012, SoICT.

Formal Logic Based Heart-Model

Neeraj Kumar Singh, N. Singh, 2013 .

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements

Hao Wang, T. S. E. Maibaum, Alan Wassyng, 2015, HCI.

A sub-threshold operation of XOR based energy efficient full adder

Neeraj Kumar Singh, Divakar Tamang, Vinay Pandey, 2016, 2016 International Conference on Communication and Signal Processing (ICCSP).

Intrusion Detection in Wireless Network of Smart Grid Using Intelligent Trust-Weight Method

Neeraj Kumar Singh, Vasundhara Mahajan, Praveen Kumar Gupta, 2020 .

Modelling Hybrid Train Speed Controller using Proof and Refinement

Alexei Iliasov, Yamine Aït Ameur, Guillaume Dupont, 2019, 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS).

Design and development of a chemistry subject portal at Panjab University Library, India

Neeraj Kumar Singh, Preeti Mahajan, 2010, Program.

Monitoring of Cyber Intrusion in Wireless Smart Grid Network Using Weight Reduction Technique

Neeraj Kumar Singh, Vasundhara Mahajan, Praveen Kumar Gupta, 2020, 2020 International Conference on Electrical and Electronics Engineering (ICE3).

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

Hao Wang, T. S. E. Maibaum, Alan Wassyng, 2015, IEEE Design & Test.

Reliability and Safety of Critical Device Software Systems. (Fiabilité et sûreté des systèmes informatiques critiques)

Neeraj Kumar Singh, 2011 .

Power and delay comparison of 1 Bit full adder designs at 180nm and 90nm technology

Neeraj Kumar Singh, Purnima Kumari Sharma, 2014, 2014 International Conference on Control, Instrumentation, Communication and Computational Technologies (ICCICCT).

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

Philippe A. Palanque, Dominique Méry, Marc Pantel, 2019, FTSCS.

Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

Klaus-Dieter Schewe, Neeraj Kumar Singh, 2019, MEDI.

Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh, N. Singh, 2013, Springer London.

A novel hybrid GWO-SCA approach for optimization problems

Neeraj Kumar Singh, S. B. Singh, Narinder Singh, 2017 .

A System Substitution Mechanism for Hybrid Systems in Event-B

Marc Pantel, Yamine Aït Ameur, Neeraj Kumar Singh, 2016, ICFEM.

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study

Marc Pantel, Arnaud Dieumegard, Yamine Aït Ameur, 2016, 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS).

Generic SoC Architecture Components

Sanjeeb Mishra, Neeraj Kumar Singh, Vijayakrishnan Rousseau, 2015 .

Use of Tabular Expressions for Refinement Automation

T. S. E. Maibaum, Alan Wassyng, Mark Lawford, 2017, MEDI.

Drone Hardware Development

Neeraj Kumar Singh, Porselvan Muthukrishnan, Satyanarayana Sanpini, 2019 .

SoC Design Fundamentals and Evolution

Sanjeeb Mishra, Neeraj Kumar Singh, Vijayakrishnan Rousseau, 2015 .

Drone System Design Flow

Neeraj Kumar Singh, Porselvan Muthukrishnan, Satyanarayana Sanpini, 2019 .

Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

Marc Pantel, Yamine Aït Ameur, Guillaume Dupont, 2018, MEDI Workshops.

Power generation in Odisha

Neeraj Kumar Singh, Ankit Kumar, Prakash Kumar, 2018 .

Modelling an Aircraft Landing System in Event-B (Full Report) pdf

Dominique Méry, Neeraj Kumar Singh, 2014, ArXiv.

Real-Time Animator and Requirements Traceability

Neeraj Kumar Singh, 2013 .

Analyzing Requirements Using Environment Modelling

Dominique Méry, Neeraj Kumar Singh, 2015, HCI.

Formal Specification of Medical Systems by Proof-Based Refinement

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2013, TECS.

Reliability and Safety of Critical Device Software Systems

Neeraj Kumar Singh, N. Singh, 2011 .

Critical System Development Methodology

Neeraj Kumar Singh, N. Singh, 2013 .

A mixed approach to rigorous development of control designs

Colin F. Snook, Michael J. Butler, S. Ramesh, 2013, 2013 IEEE Conference on Computer Aided Control System Design (CACSD).

Detection of postural balance degradation using fuzzy neural network

Neeraj Kumar Singh, 2019 .

Smart Grid:Cyber Attack Identification And Recovery Approach

Neeraj Kumar Singh, Vasundhara Mahajan, 2019, 2019 2nd International Conference on Innovations in Electronics, Signal Processing and Communication (IESC).

Formal Ontological Analysis for Medical Protocols

Dominique Méry, Neeraj Kumar Singh, Yamine Aït-Ameur, 2021 .

Formal Ontology Driven Model Refactoring

Dominique Méry, Yamine Aït Ameur, Neeraj Kumar Singh, 2018, 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS).

The Semantics of Refinement Chart

Dominique Méry, Neeraj Kumar Singh, 2014, HCI.

An adaptive image sharpening scheme based on local intensity variations

Arun Kumar Sunaniya, Neeraj Kumar Singh, 2017, Signal Image Video Process..

Monitoring Cyber-Physical Layer of Smart Grid Using Graph Theory Approach

Neeraj Kumar Singh, Atul Kumar Yadav, Vasundhara Mahajan, 2020 .

Revisiting Snapshot Algorithms by Refinement-Based Techniques

Dominique Méry, Neeraj Kumar Singh, Manamiary Bruno Andriamiarina, 2012, PDCAT.

Mathematical Model of Cyber Intrusion in Smart Grid

Neeraj Kumar Singh, Vasundhara Mahajan, 2019, 2019 IEEE PES GTD Grand International Conference and Exposition Asia (GTD Asia).

EB2C : A Tool for Event-B to C Conversion Support

Dominique Méry, Neeraj Kumar Singh, 2010, SEFM 2010.

Industrial System Engineering for Drones: A Guide with Best Practices for Designing

Neeraj Kumar Singh, Porselvan Muthukrishnan, Satyanarayana Sanpini, 2019 .

Formalizing the Cardiac Pacemaker Resynchronization Therapy

T. S. E. Maibaum, Alan Wassyng, Mark Lawford, 2015, HCI.

Analysis of Self-* and P2P Systems using Reﬁnement (Full Report)

Dominique Méry, Neeraj Kumar Singh, Manamiary Bruno Andriamiarina, 2014 .

Exploration of Loop Unroll Factors in High Level Synthesis

Preeti Ranjan Panda, Neeraj Kumar Singh, Namita Sharma, 2018, 2018 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID).

Understanding Power Consumption Fundamentals

Sanjeeb Mishra, Neeraj Kumar Singh, Vijayakrishnan Rousseau, 2015 .

Algorithm to read various sensors to detect the hazardous parameters in industry

Rajesh Singh, Anita Gehlot, Neeraj Kumar Singh, 2018 .

A novel 4T XOR based 1 bit full adder design

Neeraj Kumar Singh, Purnima Kumari Sharma, 2014, International Conference for Convergence for Technology-2014.

Drone Product Certification

Neeraj Kumar Singh, Porselvan Muthukrishnan, Satyanarayana Sanpini, 2019 .

Citation Analysis of Journal of Documentation

Navneet Kaur, Neeraj Kumar Singh, Jyoti Sharma, 2011, Webology.

Formal evaluation of landing gear system

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2014, SoICT.

Detection of postural balance degradation using fuzzy neural network

Neeraj Kumar Singh, 2019, Int. J. Bioinform. Res. Appl..

The Impact of Loop Unrolling on Controller Delay in High Level Synthesis

Preeti Ranjan Panda, Neeraj Kumar Singh, Srikanth Kurra, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development

Marc Pantel, Yamine Aït Ameur, Neeraj Kumar Singh, 2016, ABZ.

The Modelling Framework: Event-B

Neeraj Kumar Singh, N. Singh, 2013 .

An Event-B Based Generic Framework for Hybrid Systems Formal Modelling

Marc Pantel, Yamine Aït Ameur, Neeraj Kumar Singh, 2020, IFM.

Technical Report on Formal Development of Two-Electrode Cardiac Pacing System

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2010 .

Modeling an Aircraft Landing System in Event-B

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2014, ABZ.

Event B (english version)

Dominique Méry, Neeraj Kumar Singh, 2014 .

BDD based area and power efficient digital circuit design using 2T and 4T MUX at 90 nm technology

Neeraj Kumar Singh, Purnima Kumari Sharma, 2014, 2014 International Conference on Control, Instrumentation, Communication and Computational Technologies (ICCICCT).

Trustable Formal Specification for Software Certification

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2010, ISoLA.

Stateflow to Tabular Expressions

T. S. E. Maibaum, Alan Wassyng, Mark Lawford, 2015, SoICT.

Handling B models in the PERF integrated verification framework: Formalised and certified embedding

Yamine Aït Ameur, Abderrahmane Feliachi, Julien Ordioni, 2020, Sci. Comput. Program..

Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B

Marc Pantel, Neeraj Kumar Singh, Yamine Ait Ameur, 2019 .

Automatic code generation from event-B models

Dominique Méry, Neeraj Kumar Singh, 2011, SoICT '11.

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement

Marc Pantel, Yamine Aït Ameur, Neeraj Kumar Singh, 2020, ICFEM.

Medical Protocol Diagnosis Using Formal Methods

Dominique Méry, Neeraj Kumar Singh, N. Singh, 2011, FHIES.

Real-Time Animation for Formal Specification

Dominique Méry, Neeraj Kumar Singh, 2010, CSDM.

System Assembly, Bring-Up and Validation

Neeraj Kumar Singh, Porselvan Muthukrishnan, Satyanarayana Sanpini, 2019 .

Is Current Incremental Safety Assurance Sound?

Morayo Adedjouma, T. S. E. Maibaum, Alan Wassyng, 2015, SAFECOMP Workshops.

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B

Dominique Méry, Yamine Aït Ameur, Kahina Hacid, 2018, ABZ.

Incremental Proof-Based Development for Resilient Distributed Systems

Dominique Méry, Neeraj Kumar Singh, Manamiary Bruno Andriamiarina, 2016 .

A formal approach to rigorous development of critical systems

T. S. E. Maibaum, Alan Wassyng, Mark Lawford, 2021, J. Softw. Evol. Process..

End-User Privacy Protection Scheme from cyber intrusion in smart grid advanced metering infrastructure

Neeraj Kumar Singh, Vasundhara Mahajan, V. Mahajan, 2021, Int. J. Crit. Infrastructure Prot..

Reliability of Smart Grid Including Cyber Impact

Neeraj Kumar Singh, Vasundhara Mahajan, Lalit Tak, 2021 .

Event-B Refinement for Continuous Behaviours Approximation

Marc Pantel, Yamine Aït Ameur, Guillaume Dupont, 2021, ATVA.

Standard Conformance-by-Construction with Event-B

Philippe A. Palanque, Dominique Méry, Yamine Aït Ameur, 2021, FMICS.

Towards Leveraging Domain Knowledge in State-Based Formal Methods

Dominique Méry, Régine Laleau, Yamine Aït Ameur, 2021, Logic, Computation and Rigorous Methods.

Algorithm and Data Structure

Neeraj Kumar Singh, Paul D. Crutcher, Peter Tiegs, 2021 .

On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications

Dominique Méry, Philippe Palanque, Neeraj Kumar Singh, 2021, Interact. Comput..

Computer Networks and Distributed Systems

Neeraj Kumar Singh, Paul D. Crutcher, Peter Tiegs, 2021 .

Event-B Hybridation

Marc Pantel, Yamine Aït Ameur, Guillaume Dupont, 2021, ACM Trans. Embed. Comput. Syst..

Intrusion Detection in Cyber-Physical Layer of Smart Grid Using Intelligent Loop Based Artificial Neural Network Technique

Neeraj Kumar Singh, Vasundhara Mahajan, Praveen Kumar Gupta, 2021 .

Cyber Intrusion Detection in Smart Grid Using KPCA and Novel Trust Method

Neeraj Kumar Singh, Vasundhara Mahajan, Tharun Balaji, 2021 .

International cloud computing literature: A scientometric analysis for 2004–13

Ritu Gupta, B. M. Gupta, Neeraj Kumar Singh, 2015 .

E-learning in LIS education in India

Neeraj Kumar Singh, P. S. Kawatra, N. Singh, 2006 .

Stock Market Forecasting using Hybrid Methodology

Neeraj Kumar Singh, Vivek Sharma, Samarth Kumar, 2016 .

Online Guides to Indian Languages with Particular Reference to Hindi, Punjabi, and Sanskrit

Neeraj Kumar Singh, Preeti Mahajan, 2012 .

Research Data Management Policy And Institutional Framework

Neeraj Kumar Singh, Navjyoti Dhingra, N. Singh, 2018, 2018 5th International Symposium on Emerging Trends and Technologies in Libraries and Information Services (ETTLIS).

Internet of Things (IoT): An Opportunity for Energy-Food-Water Nexus

Archana Dash, Nallapaneni Manoj Kumar, Neeraj Kumar Singh, 2018, 2018 International Conference on Power Energy, Environment and Intelligent Control (PEEIC).

Near-field Communication (NFC): An Alternative to RFID in Libraries

Neeraj Kumar Singh, N. Singh, 2020 .