N. Singh

Most-cited papers

Performance, energy loss, and degradation prediction of roof-integrated crystalline solar PV system installed in Northern India
Nallapaneni Manoj Kumar, R. Gupta, Mobi Mathew, Arunkumar Jayakumar +1 more
2019Case Studies in Thermal Engineering150 citations Open access
Semantic Scholar
End-User Privacy Protection Scheme from cyber intrusion in smart grid advanced metering infrastructure
N. Singh, V. Mahajan
2021Int. J. Crit. Infrastructure Prot.39 citations Open access
Semantic Scholar
Internet of Things (IoT): An Opportunity for Energy-Food-Water Nexus
Nallapaneni Manoj Kumar, Archana Dash, N. Singh
20182018 International Conference on Power Energy, Environment and Intelligent Control (PEEIC)31 citations
Semantic Scholar
Statistical machine learning defensive mechanism against cyber intrusion in smart grid cyber-physical network
N. Singh, M. Majeed, V. Mahajan
2022Computers & security25 citations
Semantic Scholar
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
G. Dupont, Y. Ait-Ameur, M. Pantel, N. Singh
2018International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z24 citations Open access
Semantic Scholar
Analysis and Evaluation of Cyber-attack Impact on Critical Power System Infrastructure
N. Singh, V. Mahajan
2020Smart Science22 citations
Semantic Scholar
Detection of cyber cascade failure in smart grid substation using advance grey wolf optimization
N. Singh, V. Mahajan
2020Journal of Interdisciplinary Mathematics19 citations
Semantic Scholar
Scientometric Analysis of the Research Output of Physics and Astronomy of Guru Nanak Dev University during 2006-15
S. Khanna, N. Singh, Deepika Tewari, H. Saini
201715 citations Open access
Semantic Scholar
System on Chip Interfaces for Low Power Design
Sanjeeb Mishra, Vijayakrishnan Rousseau, N. Singh
201613 citations
Semantic Scholar
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
G. Dupont, Y. Ait-Ameur, M. Pantel, N. Singh
2020International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z12 citations Open access
Semantic Scholar
Intrusion Detection in Wireless Network of Smart Grid Using Intelligent Trust-Weight Method
N. Singh, P. Gupta, V. Mahajan
2020Smart Science12 citations
Semantic Scholar
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B
G. Dupont, Y. Ait-Ameur, M. Pantel, N. Singh
2019Theoretical Aspects of Software Engineering12 citations Open access
Semantic Scholar
Impact of aggregated model-based optimization for wind farm and electric vehicle on power system stability
Jawaharlal Bhukya, N. Singh, V. Mahajan
2023Computers & electrical engineering11 citations
Semantic Scholar
Event-B Hybridation
G. Dupont, Y. Ait-Ameur, N. Singh, M. Pantel
2021ACM Transactions on Embedded Computing Systems10 citations
Semantic Scholar
Intrusion Detection in Cyber-Physical Layer of Smart Grid Using Intelligent Loop Based Artificial Neural Network Technique
P. Gupta, N. Singh, V. Mahajan
2021International Journal of Engineering10 citations Open access
Semantic Scholar
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist
G. Dupont, Y. Ait-Ameur, M. Pantel, N. Singh
2018MEDI Workshops10 citations
Semantic Scholar
Refinement Based Formal Development of Human-Machine Interface
Romain Geniet, N. Singh
2018STAF Workshops10 citations Open access
Semantic Scholar
Use of Tabular Expressions for Refinement Automation
N. Singh, M. Lawford, T. Maibaum, A. Wassyng
2017International Conference on Model and Data Engineering9 citations Open access
Semantic Scholar
A System Substitution Mechanism for Hybrid Systems in Event-B
Guillaume Babin, Y. Ait-Ameur, N. Singh, M. Pantel
2016IEEE International Conference on Formal Engineering Methods9 citations Open access
Semantic Scholar
A Novel Approach to Hide Text Data in Colour Image
Suraj Kumar, Santosh Kumar, N. Singh, A. Majumder +1 more
20182018 7th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO)8 citations
Semantic Scholar
Formal Ontology Driven Model Refactoring
N. Singh, Y. Ait-Ameur, D. Méry
2018IEEE International Conference on Engineering of Complex Computer Systems7 citations Open access
Semantic Scholar
Research Data Management Policy And Institutional Framework
N. Singh, Harpreet Monu, Navjyoti Dhingra
20182018 5th International Symposium on Emerging Trends and Technologies in Libraries and Information Services (ETTLIS)7 citations
Semantic Scholar
Exploration of Loop Unroll Factors in High Level Synthesis
P. Panda, Namita Sharma, S. Kurra, Khushboo Anil Bhartia +1 more
2018International Conference on VLSI Design7 citations
Semantic Scholar
Correct-by-Construction Evolution of Realisable Conversation Protocols
Sarah Benyagoub, Meriem Ouederni, N. Singh, Y. Ait-Ameur
2016International Conference on Model and Data Engineering7 citations Open access
Semantic Scholar
EB4EB: A Framework for Reflexive Event-B
Peter Rivière, N. Singh, Y. Ait-Ameur
2022IEEE International Conference on Engineering of Complex Computer Systems6 citations Open access
Semantic Scholar
Mathematical Model of Cyber Intrusion in Smart Grid
N. Singh, V. Mahajan
20192019 IEEE PES GTD Grand International Conference and Exposition Asia (GTD Asia)6 citations
Semantic Scholar
Certified Embedding of B Models in an Integrated Verification Framework
Alexandra Halchin, Y. Ait-Ameur, N. Singh, Abderrahmane Feliachi +1 more
2019Theoretical Aspects of Software Engineering6 citations Open access
Semantic Scholar
Modelling Hybrid Train Speed Controller using Proof and Refinement
P. Stankaitis, G. Dupont, N. Singh, Y. Ait-Ameur +2 more
2019IEEE International Conference on Engineering of Complex Computer Systems6 citations Open access
Semantic Scholar
Solar Tracking for Optimizing Conversion Efficiency Using ANN
N. Singh, Shilpa S Badge, Gangadharayya F. Salimath
20186 citations
Semantic Scholar
B-PERFect - Applying the PERF Approach to B Based System Developments
Alexandra Halchin, Abderrahmane Feliachi, N. Singh, Y. Ait-Ameur +1 more
2017International Conference on Reliability, Safety, and Security of Railway Systems6 citations
Semantic Scholar
Stock Market Forecasting using Hybrid Methodology
Samarth Kumar, V. Sharma, N. Singh, Suraj Sengar +1 more
20166 citations
Semantic Scholar
Contribution and citation impact of Panjab University in Chemistry research during 2008-15.
N. Singh
20166 citations
Semantic Scholar
Formal domain-driven system development in Event-B: Application to interactive critical systems
Ismaïl Mendil, Y. Ait-Ameur, N. Singh, G. Dupont +2 more
2022Journal of systems architecture5 citations Open access
Semantic Scholar
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications
N. Singh, Y. Ait-Ameur, Romain Geniet, D. Méry +1 more
2021Interacting with computers5 citations
Semantic Scholar
A formal approach to rigorous development of critical systems
N. Singh, M. Lawford, T. Maibaum, A. Wassyng
2021J. Softw. Evol. Process.5 citations
Semantic Scholar
Standard Conformance-by-Construction with Event-B
Ismail Mendil, Y. Ait-Ameur, N. Singh, D. Méry +1 more
2021International Workshop on Formal Methods for Industrial Critical Systems5 citations Open access
Semantic Scholar
Global Research on Terminalia arjuna: A Quantitative and Qualitative Assessment of Publications during 2004-18
K. Mueen Ahmed, Bhavna Gupta, Jivesh Bansal, N. Singh +1 more
20205 citations
Semantic Scholar
Formal Ontological Analysis for Medical Protocols
N. Singh, Y. Ait-Ameur, D. Méry
20205 citations
Semantic Scholar
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B
G. Dupont, Y. A. Ameur, M. Pantel, N. Singh
20195 citations
Semantic Scholar
A sub-threshold operation of XOR based energy efficient full adder
Divakar Tamang, V. S. Pandey, N. Singh
2016International Conference on Cryptography, Security and Privacy5 citations
Semantic Scholar
An Analysis of Transformer-based Models for Code-mixed Conversational Hate-speech Identification
N. Singh, Utpal Garain
2022Fire4 citations
Semantic Scholar
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
I. Mendil, Y. Ait-Ameur, N. Singh, D. Méry +1 more
2021International Symposium on Software Engineering: Theories, Tools, and Applications4 citations Open access
Semantic Scholar
Algorithm and Data Structure
Paul D. Crutcher, N. Singh, Peter Tiegs
20214 citations
Semantic Scholar
An Integrated Framework for the Formal Analysis of Critical Interactive Systems
Ismail Mendil, N. Singh, Y. Ait-Ameur, D. Méry +1 more
2020Asia-Pacific Software Engineering Conference4 citations
Semantic Scholar
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
N. Singh, Y. Ait-Ameur, D. Méry, D. Navarre +2 more
2019International Workshop on Formal Techniques for Safety-Critical Systems4 citations Open access
Semantic Scholar
Industrial System Engineering for Drones
N. Singh, Porselvan Muthukrishnan, Satyanarayana Sanpini
2019Apress4 citations
Semantic Scholar
Empowering the Event-B Method Using External Theories
Y. A. Ameur, G. Dupont, I. Mendil, D. Méry +3 more
2022International Conference on Integrated Formal Methods3 citations
Semantic Scholar
A Survey of Resource Management in IoT Data Centre: Techniques and Open Issues
V. Priya, Harshit Sharma, N. Singh, N. Dubey +2 more
20222022 2nd International Conference on Innovative Sustainable Computational Technologies (CISCT)3 citations
Semantic Scholar
Industrial System Engineering for Drones: A Guide with Best Practices for Designing
N. Singh, Porselvan Muthukrishnan, Satyanarayana Sanpini
20193 citations
Semantic Scholar
Smart Grid:Cyber Attack Identification And Recovery Approach
N. Singh, V. Mahajan
20192019 2nd International Conference on Innovations in Electronics, Signal Processing and Communication (IESC)3 citations
Semantic Scholar