Peer Reviewed Journal Articles 

1. Neeraj Kumar Singh, Cristina David, Meng Sun and Meng Wang “Introduction to the TASE 2023 Special Issue", Science of Computer Programming, Volume 243, p. 103262, 2025. https://doi.org/10.1016/j.scico.2025.103262

2. Peter Reviere, Neeraj Kumar Singh, Yamine Ait-Ameur and Guillaume Dupont “Extending the EB4EB framework with parameterised events", Science of Computer Programming, Volume 243, p. 103279, 2025. https://doi.org/10.1016/j.scico.2025.103279

3. Ismail Mendil, Yamine Ait-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Mery, and Philippe Planque, “Formal domain-driven system development in Event-B: Application to interactive critical systems”, Journal of Systems Architecture, Volume 135, ISSN 1383-7621, 2023.

4. Peter Reviere, Neeraj Kumar Singh, and Yamine Ait-Ameur,“Reflexive Event-B: Semantics and Correctness The EB4EB framework”, IEEE Transactions on Reliability, p. 1-16, 2022.

5. Neeraj Kumar Singh, Yamine Ait Ameur, Ismail Mendil, Dminique Mery, David Navarre, Philippe Palanque and Marc Pantel, “Framework for Developing Critical Interactive Systems in FLUID”, Journal of Software: Evolution and Process, 2022.

6. Guillaume Dupont, Yamine Ait Ameur, Neeraj Kumar Singh, and Marc Pantel “Formally Verified Architectural Patterns of Hybrid Systems Using Proof and Refinement with Event-B”, Science of Computer Programming, Vol. 216, p. 102765, 2022.

7. Neeraj Kumar Singh, Yamine Ait Ameur, Romain Geniet, Dominique Mery and Philippe Palanque “On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications”, Interacting with Computers, Volume 33, Issue 1, January 2021, Pages 9–114. https://doi.org/10.1093/iwcomp/iwab016

8. Neeraj Kumar Singh, Mark Lawford, Tom Maibaum, and Alan Wassyng “A Formal Approach to Rigorous Development of Critical Systems”, Journal of Software: Evolution and Process, 2021,33:e2334. https://doi.org/10.1002/smr.2334

9. Guillaume Dupont, Yamine Ait Ameur, Neeraj Kumar Singh, and Marc Pantel “Event-B Hybridation:A Proof and Refinement Based Framework for Modelling Hybrid Systems”, ACM Transactions on Embedded Computing Systems, 20, 4,  Article 35 (June 2021), 37 pages. https: //doi.org/10.1145/3448270

10. Alexandra Halchin, Yamine Ait Ameur, Neeraj Kumar Singh, Julien Ordioni, and Abderrahmane Feliachi “Handling B Models in the PERF Integrated Verification Framework: Formalized and certified embedding”, Science of Computer Programming, Volume 196, p. 102477, 2020. https://doi.org/10.1016/j.scico.2020.102477

11. Neeraj Kumar Singh, “Detection of Postural Balance Degradation using Fuzzy Neural Network”, International Journal of Bioinformatics Research and Applications, 2017.

12. Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, and Thomas S.E. Maibaum “Can Product Specific Assurance Case Templates be Used as Medical Device Standards”, Design & Test, IEEE, PP(99):1–10, 2015. 

13. Manamiary Bruno Andriamiarina, Dominique Méry, and Neeraj Kumar Singh “Revisiting Snapshot Algorithms by Refinement- based Techniques”, Computer Science and Information Systems, 11(1):251–270, 2014. [PDF]

14. Andy Wellings, Alan Burns, Ana Cavalcanti, and Neeraj Kumar Singh “Programming Simple Reactive Systems in Ada: Premature Program Termination”, ACM SIG Ada Letters, Vol-33(2), 75–86, 2013. [PDF]

15. Dominique Méry, and Neeraj Kumar Singh “A Generic Framework: from Modeling to Code”, Journal of Innovations in Systems and Software Engineering, Springer London, 1–9, 2011. [PDF]

16. Dominique Méry, and Neeraj Kumar Singh “Formal Specification of Medical Systems by Proof-Based Refinement”, ACM Transaction on Embedded Computing Systems, Vol-12(1), 15:1–15:25, January 2013. [PDF]

17. Dominique Méry, and Neeraj Kumar Singh “Functional behaviour of a cardiac pacing system”, International Journal of Discrete Event Control System, Vol-1, 129-149, January 2011. [PDF]

Book Chapters  

1. Neeraj Kumar Singh, Akshay M. Fajge, Raju Halder, and Md. Imran Alam, “Formal Verification and Code Generation for Solidity Smart Contracts”, In R. Pandey, S Goundar, and S. Fatima (Eds.), ” Distributed Computing to Blockchain: Architecture, Technology, and Applications”, Elsevier, 2022.

2. [B2] Raju Halder, Md. Imran Alam, Akshay M. Fajge, Neeraj Kumar Singh and Agostino Cortesi, “Analyzing Information Flow in Solidity Smart Contract”, In R. Pandey, S Goundar, and S. Fatima (Eds.), ”Distributed Computing to Blockchain: Architecture, Technology, and Applications”, Elsevier, 2022.

3. Neeraj Kumar Singh, Yamine Ait Ameur, and Dominique Mery “Formal Ontological Analysis for Medical Protocols”, In Y. Ait Ameur, S. Nakajima and D. Mery (Eds.), "Implicit and Explicit Semantics Integration in Proof Based Development of Discrete Systems", Lecture Notes in Computer Science, 2020.

4. Neeraj Kumar Singh, Mark Lawford, Thomas S.E. Maibaum and Alan Wassyng “Verifying Trustworthy Cyber-Physical Systems using Closed-loop Modeling ”, In A. Romanovsky and F. Ishikawa (Eds.), "Trustworthy Cyber-Physical Systems Engineering", CRC Press Taylor & Francis Group, New York, pp. 462, ISBN 9781498742450. [Web] 

5. Sasan Vakili, Neeraj Kumar Singh, Mark Lawford, and Alan Wassyng “Stop and Go Adaptive Cruise Control: A Case Study of Automotive Cyber-Physical Systems”, In A. Romanovsky and F. Ishikawa (Eds.), "Trustworthy Cyber-Physical Systems Engineering", CRC Press Taylor & Francis Group, New York, pp. 462, ISBN 9781498742450. [Web] 

6. Alan Wassyng, Neeraj Kumar Singh, Mark Lawford, and Thomas S.E. Maibaum “New Standards for Trustworthy Cyber-Physical Systems”, In A. Romanovsky and F. Ishikawa (Eds.), "Trustworthy Cyber-Physical Systems Engineering", CRC Press Taylor & Francis Group, New York, pp. 462, ISBN 9781498742450. [Web] 

7. Dominique Méry, Manamiary Bruno Andriamiarina, and Neeraj Kumar Singh “Incremental proof-based development for resilient distributed systems”, In A. Romanovsky and F. Ishikawa (Eds.), "Trustworthy Cyber-Physical Systems Engineering", CRC Press Taylor & Francis Group, New York, pp. 462, ISBN 9781498742450. [Web] 

8. Dominique Méry, and Neeraj Kumar Singh “Event-B”, Jean-Louis Boulanger. Mise en oeuvre de la méthode B, HERMES, Apr. 2013, Informatique et Systems d’Informations, ISBN : 978-2-7462-3810-7. [Web]

9. Dominique Méry, and Neeraj Kumar Singh “Event-B”, in Formal Methods Applied to Industrial Complex System: Implementation of the B Method, John Wiley & Sons, 253-298, 2014. [Web]

Peer Reviewed Conference Papers 

1. Christophe Chen, Peter Riviere, Neeraj Kumar Singh, Guillaume Dupont, Yamine Ait- Ameur and Marc Frappier “A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B", 13th International Conference on Formal Methods in Software Engineering (For- maliSE 2025), pp. 25–57, ACM, Ottawa, Ontario, Canada, 2025.

2. Peter Riviere, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Ait-Ameur and Guillaume Dupont "On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS, The 25th International Conference on Formal Engineering Methods (ICFEM 2024), Lecture Notes in Computer Science, Hiroshima, Japan, 2024. 

3. Neeraj Kumar Singh, Guillaume Dupont, Yamine Ait-Ameur, and Marc Pantel "Generating Simulink Models from Hybridised Event-B Models", 1st International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2024), Hiroshima, Japan, 2024.

4. Flavio Ferrarotti, Peter Reviere, Klaus-Dieter Schewe, Neeraj Kumar Singh, and Yamine Ait-Ameur, “A Complete Fragment of LTL(EB)”, 13th International Symposium on Foundations of Information and Knowledge Systems, Lecture Notes in Computer Science, Springer, Sheffield, UK, 2024.

5. Abhishek Kumar Saxena, Rajiv Pandey, and Neeraj Kumar Singh. "Optimizing Edge Node Efficiency Through Data Reduction Using Dimension Reduction Techniques," 2024 IEEE 16th International Conference on Computational Intelligence and Communication Networks (CICN), Indore, India, 2024, pp. 1237-1241, doi: 10.1109/CICN63059.2024.10847550.

6. Abhishek Kumar Saxena, Rajiv Pandey, and Neeraj Kumar Singh, "Dimension Reduction Techniques for Optimization," 2024 International Conference on Computing, Sciences and Communications (ICCSC), Ghaziabad, India, 2024, pp. 1-6, doi: 10.1109/ICCSC62048.2024.10830306.

7. Dominique Cansell and Neeraj Kumar Singh, “Correct-by-Construction Synthesis of Sequential Algorithms”, The 11th Rodin User and Developer Workshop, 25th June, 2024, Bergamo, Italy.

8. Peter Reviere, Neeraj Kumar Singh, Yamine Ait-Ameur, and Guillaume Dupont, “Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework”, NASA Formal Methods, Lecture Notes in Computer Science, Springer International Publishing, USA, 2023.

9. Peter Reviere, Neeraj Kumar Singh, Yamine Ait-Ameur, and Guillaume Dupont, “Standalone Event-B models analysis using the reflexive EB4EB framework”, 9th International Conference on Rigorous State Based Methods, Lecture Notes in Computer Science, Springer International Publishing, France 2023.

10. Abhishek Kumar Saxena, Rajiv Pandey, and Neeraj Kumar Singh. “Latency Analysis and Reduction Methods for Edge Computing”, 2023 IEEE World Conference on Applied Intelligence and Computing (AIC), India 2023, pp. 480-484.

11. Ismail Mendil, Peter Riviere, Yamine Ait Ameur, Neeraj Kumar Singh, Dominique Mery and Philippe Palanque, “Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours”, The 29th Asia-Pacific Software Engineering Conference (APSEC ’22), IEEE, pp. 129-138, Japan 2022.

12. Yamine Ait Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis “Reachability Analysis and Simulation for Hybridised Event-B Models”, Integrated Formal Methods - 17th International Conference, IFM 2022, Lecture Notes in Computer Science, p. 109–128, Lugano, Switzerland, 2022.

13. Yamine Ait Ameur, Guillaume Dupont, Ismail Mendil, Dominique Mery, Marc Pantel, Peter Riviere, and Neeraj Kumar Singh, “Empowering the Event-B Method Using External Theories”, Integrated Formal Methods - 17th International Conference, IFM 2022, Lecture Notes in Computer Science, p. 18–35, Lugano, Switzerland, 2022.

14. Peter Riviere, Neeraj Kumar Singh, and Yamine Ait-Ameur, “EB4EB: A Framework for Reflexive Event-B”, 26th International Conference on Engineering of Complex Computer Systems (ICECCS ’22), IEEE, p. 71-80, Hiroshima City, Japan, 2022.

15. Ismail Mendil, Yamine Ait Ameur,  Neeraj Kumar Singh, Dominique Mery and Philippe Palanque “ Leveraging Event-B Theories for Hnadling domin knowledge in design models", Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, page-40-58, vol- 13071, Lecture Notes in Computer Science, Beijing, China, 2021.

16. Ismail Mendil, Yamine Ait Ameur,  Neeraj Kumar Singh, Dominique Mery and Philippe Palanque “ Standard Conformance-by-Construction with Event-B", Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS2021, page 126-146, vol- 12863,Lecture Notes in Computer Science, Paris, France, 2021.

17. Guillaume Dupont, Yamine Ait Ameur, Marc Pantel and Neeraj Kumar Singh, "Event-B Refinement for Continuous Behaviours Approximation", The 19th International Symposium on Automated Technology for Verification and Analysis (ATVA'21), Lecture Notes in Computer Science, Springer, Gold Coast, Australia, 2020.

18. Yamine Ait Ameur, Regine Laleau, Dominique Mery and Neeraj Kumar Singh, "Towards Leveraging Domain Knowledge in State-Based Formal Methods", In: Raschke A., Riccobene E., Schewe KD. (eds) Logic, Computation and Rigorous Methods. Lecture Notes in Computer Science, vol 12750. Springer, Cham. https://doi.org/10.1007/978-3-030-76020-5_1

19. Ismail Mendil, Neeraj Kumar Singh, Yamine Ait Ameur, Dominique Mery and Philippe Palanque “An Integrated Framework for the Formal Analysis of Critical Interactive Systems", The 27th Asia-Pacific Software Engineering Conference (APSEC ’20), IEEE, 139-148, Singapore, 2020. https://doi.ieeecomputersociety.org/10.1109/APSEC51365.2020.00022

20. Guillaume Dupont, Yamine Ait Ameur, Marc Pantel and Neeraj Kumar Singh, “An Event-B Based Generic Framework for Hybrid Systems Formal Modelling”, 16th International Conference on integrated Formal Methods (iFM ’20) , Lecture Notes in Computer Science, Springer International Publishing,, Lugano, Switzerland, 2020.

21. Guillaume Dupont, Yamine Ait Ameur, Neeraj Kumar Singh, F. Ishikawa, T. Kobayashi, and Marc Pantel, “Embedding Approximation in Event-B: Safe Hybrid System Design using Proof and Refinement”, the 22nd International Conference on Formal Engineering Methods (ICFEM ’20), Lecture Notes in Computer Science, Springer, Singapore, 2020. (Best Paper Award)

22. Guillaume Dupont, Yamine Ait Ameur, Marc Pantel and Neeraj Kumar Singh, “Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B”, 7th In- ternational ABZ Conference ASM, Alloy, B, TLA, VDM, Z (ABZ ’20) , Lecture Notes in Computer Science, Springer International Publishing, p. 169-185, Ulm, Germany, 2020.

23. Neeraj Kumar Singh, Yamine Ait Ameur, Dominique Mery, David Navarre, Philippe Palanque and Marc Pantel “Formal Development of Multi-Purpose Interactive Application (MPIA) for AR- INC 661 ”, Seventh International Workshop on Formal Techniques for Safety-Critical Systems, Co-located with ICFEM’2019, Shenzhen, China, 2019.

24. Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Ait Ameur, Alexei Iliasov and Alexander B. Romanovsky “Modelling Hybrid Train Speed Controller using Proof and Refinement”, 24th International Conference on Engineering of Complex Computer Systems (ICECCS ’19), IEEE, Guangzhou, Chin, 2019.

25. Alexandra Halchin, Yamine Ait Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi and Julien Ordioni “Certified Embedding of B Models in an Integrated Verification Framework”, 13th International Symposium on Theoretical Aspects of Software Engineering (TASE '19), IEEE, Guilin, China, 2019.

26. Guillaume Dupont, Yamine Ait Ameur, Marc Pantel and Neeraj Kumar Singh, “Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B”, 13th International Symposium on Theoretical Aspects of Software Engineering (TASE '19), IEEE, Guilin, China, 2019.

27. Neeraj Kumar Singh, Hao Wang “Virtual Environment Model of Glucose Homeostasis for  Diabetes Patients”, IEEE International Conference on Industrial Cyber-Physical Systems (ICPS ’19), IEEE, Taipei, Taiwan, 2019.

28. Alexandra Halchin, Neeraj Kumar Singh, Yamine Ait Ameur Abderrahmane Feliachi and Julien Ordioni “Validation of Formal Models Transformation through Animation”, First International Workshop on Knowledge and MOdel-driven Engineering in formal development of Trustworthy Systems (KMOTS '19). Co-located with TASE '19, Guilin, China, 2019.

29. Neeraj Kumar. Singh, Yamine Ait Ameur, and Dominique Mery “Formal Ontology Driven Model Refactoring”, 23th International Conference on Engineering of Complex Computer Systems (ICECCS ’18), IEEE, Melbourne, Australia, 2018.

30. Guillaume Dupont, Yamine Ait Ameur, Marc Pantel and Neeraj Kumar Singh, “Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist”, 2nd International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS 2018), CCIS Springer, 2018, Marrakesh, Morocco.

31. Romain Geniet and Neeraj Kumar Singh “Refinement Based Formal Development of Huma-Machine Interface”, 7th International Workshop on Formal Methods for Interactive Systems FMIS’18, Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2018, Toulouse, France.

32. Guillaume Dupont, Yamine Ait Ameur, Marc Pantel and Neeraj Kumar Singh, “Proof-based approach to hybrid systems development: Dynamic Logic and Event-B”, 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z (ABZ ’18) , Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2018, Southampton, UK.

33. Guillaume Dupont, Yamine Ait Ameur, Neeraj Kumar Singh and Marc Pantel, “On the use of the Theory Plug-In to define theories for differential equations”, In 7th Rodin Workshop, ABZ 2018, Southampton, UK, June 5, 2018.

34. Yamine Ait Ameur, Dominique Mery, Idir Ait Sadoune, Neeraj Kumar Singh, Laurent Voisin and Paul Gibson “On the importance of explicit domain modelling in refinement-based modelling design. Experiment with Event-B”, 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z (ABZ ’18), Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2018, Southampton, UK.

35. Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Ait Ameur, and Julien Ordioni “BPERFect: Applying the PERF approach to B based system development”, International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification RSSR ’17, Lecture Notes in Computer Science, Springer, 2017, Pistoia, Italy.

36. Neeraj Kumar Singh, Mark Lawford, Thomas S. E. Maibaum, and Alan Wassyng “Use of Tabular Expressions for Refinement Automation”, 7th International Conference on Model and Data Engineering MEDI ’17, Lecture Notes in Computer Science, Springer, 2017, Barcelona, Spain.

37. Neeraj Kumar Singh, Yamine Ait Ameur, Marc Pantel, Arnaud Dieumegard, and Eric Jenn “Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study”, 21th International Conference on Engineering of Complex Computer Systems (ICECCS ’16), IEEE, Dubai, UAE, 2016.

38. Guillaume Babin, Yamine Ait Ameur, Neeraj Kumar Singh, and Marc Pantel “A System Substitution Mechanism for Hybrid Systems in Event-B”, 18th International Conference on Formal Engineering Methods (ICFEM ’16), Lecture Notes in Computer Science, Springer, 2016, Tokyo, Japan.

39. Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, and Yamine Ait Ameur “Correct-by-Construction Evolution of Realisable Conversation Protocols”, 6th International Conference on Model and Data Engineering MEDI’16, Lecture Notes in Computer Science, Springer, 2016, Almeria, Spain.

40. Neeraj Kumar Singh, “A Virtual Glucose Homeostasis Model for Verification, Simulation and Clinical Trials”, EuroSPI ’16 , CCIS Springer, 2016, Graz, Austria.

41. Guillaume Babin, Yamine Ait Ameur, Neeraj Kumar Singh, and Marc Pantel, “Handling continuous functions in hybrid systems reconfigurations : a formal Event-B development”, 5th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, ABZ ’16 , Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2016, Linz, Austria.

42. Neeraj Kumar Singh, “Detection of Hesitant Dynamic Postural Control”, 12th IEEE Colloquium on Signal Processing and its Applications (CSPA'2016), IEEE, pp. 36-40, Malacca, Malaysia, 2016.

43. Neeraj Kumar Singh, Mark Lawford, Thomas S. E. Maibaum, and Alan Wassyng “Stateflow to Tabular Expressions”, 6th Symposium on Information and Communication Technology, SoICT'15, pp. 312--319, ACM New York, USA, 2015.

44. Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, Thomas S. E. Maibaum, and Alan Wassyng “Is Current Incremental Safety Assurance Sound?”, SAFECOMP Workshops 2015, Lecture Notes in Computer Science, Springer, pp. 397-408, Vol-9338, 2015.

45. Dominique Méry, and Neeraj Kumar Singh “Analyzing Requirements using Environment Modelling”, 17th International Conference on Human-Computer Interaction (HCI 2015), Lecture Notes in Computer Science, Springer, pp. 345-357, Vol-9185, 2015.

46. Neeraj Kumar Singh, Mark Lawford, Thomas S. E. Maibaum, and Alan Wassyng “Formalizing The Cardiac Pacemaker Resynchronization Therapy”, 17th International Conference on Human-Computer Interaction (HCI 2015), Lecture Notes in Computer Science, Springer, 374–386, Vol-9185, 2015.

47. Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas S. E. Maibaum, and Alan Wassyng “Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements”, 17th International Conference on Human-Computer Interaction (HCI 2015), Lecture Notes in Computer Science, Springer, 387–398, Vol-9185, 2015.

48. Dominique Méry, and Neeraj Kumar Singh “Formal Evaluation of Landing Gear System”, The  Fifth Symposium on Information and Communication Technology, SoICT ’14, ACM, New York, USA, 2014.

49. Dominique Méry, and Neeraj Kumar Singh “Modelling an Aircraft Landing System in Event-B ”, ABZ 2014: The Landing Gear Case Study, Communications in Computer and Information Science, Springer International Publishing, pp. 154–159, Vol-433, 2014.

50. Manamiary Bruno Andriamiarina, D. Méry, and Neeraj Kumar Singh “Analysis of Self-* and P2P Systems Using Refinement”, ABZ ’14, Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 117-123, Vol-8477, 2014.

51. Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas S. E. Maibaum, and Alan Wassyng “Formalizing the Glucose Homeostasis Mechanism”, 16th International Conference on Human-Computer Interaction (HCI 2014), Lecture Notes in Computer Science, Springer, pp. 460–4271, Vol-8529, 2014.

52. Dominique Méry, and Neeraj Kumar Singh “The Semantics of Refinement Chart”, 16th International Conference on Human-Computer Interaction (HCI 2014), Lecture Notes in Computer Science, Springer, pp. 415–426, Vol-8529, 2014.

53. Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, and Michael J. Butler “A Mixed Approach to Rigorous Development of Control Designs”, 2011 IEEE International Symposium on Computer-Aided Control System Design (CACSD ’13), pp. 7–12, 2013.

54. Manamiary Bruno Andriamiarina, Dominique Méry, and Neeraj Kumar Singh “Integrating Proved State-Based Models for Constructing Correct Distributed Algorithm”, Integrated Formal Methods, Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 268-284, Vol-7940, 2013.

55. Dominique Méry, and Neeraj Kumar Singh “Ideal Mode Selection of a Cardiac Pacing System”, 15th International Conference on Human-Computer Interaction (HCII 2013), Lecture Notes in Computer Science, Springer Berlin Heidelbergevada, pp. 258-267, Vol-8025, 2013.

56. Manamiary Bruno Andriamiarina, Dominique Méry, and Neeraj Kumar Singh “Revisiting Snapshot Algorithms by Refinement- based Techniques”, 13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2012), pp. 343-349, IEEE, 2012.

57. Neeraj Kumar Singh, Andy Wellings, and Ana Cavalcanti “The Cardiac Pacemaker Case Study and its Implementation in Safety-Critical Java and Ravenscar Ada”, Proceedings of the 10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), ACM, 62–71, 2012.

58. Dominique Méry, and Neeraj Kumar Singh “Closed-loop modelling of Cardiac Pacemaker and Heart”, International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2012), Springer LNCS, Vol-7789, pp. 151-166, 2013.

59. Dominique Méry, and Neeraj Kumar Singh “Critical Systems Development Methodology using Formal Techniques”, Proceedings of the Third Symposium on Information and Communication Technology, SoICT ’12, ACM, New York, USA, pp. 3–12, 2012.

60. Dominique Méry, and Neeraj Kumar Singh “Automatic Code Generation from Event-B Models”, Proceedings of the Second Symposium on Information and Communication Technology, SoICT ’11, ACM, New York, USA, pp. 179–188,2011.

61. Dominique Méry, and Neeraj Kumar Singh “Analysis of DSR protocol in Event-B”, 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Springer LNCS, Vol-6976, pp. 401–415, October 2011.

62. Dominique Méry, and Neeraj Kumar Singh “Formal Development and Automatic Code Generation: Cardiac Pacemaker”, International Conference on Computers and Advanced Technology in Education (ICCATE 2011), Beijing, China, 3-4 November 2011 (Appear in a book EICE 2012, ASME Press, New York).

63. Dominique Méry, and Neeraj Kumar Singh “EB2J: Code Generation from Event-B to Java”, 14th Brazilian Symposium on Formal Methods (SBMF 2011), ISBN: 978-85-87837-21-9, 2011.

64. Dominique Méry, and Neeraj Kumar Singh “Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata”, International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2011), Springer LNCS, Vol-7151, pp. 140-159, 2012.

65. Dominique Méry, and Neeraj Kumar Singh “Medical Protocol Diagnosis using Formal Methods”, International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2011), Springer LNCS, Vol-7151, pp. 1-20, 2012.

66. Dominique Méry, and Neeraj Kumar Singh “Trustable Formal Specification for Software Certification”, in Proceeding ISoLA (2), Springer LNCS, Vol-6416, pp. 312-326, 2010.

67. Dominique Méry, and Neeraj Kumar Singh “Real-time animation for formal specification”, in Proceeding Complex Systems Design & Management, Springer Berlin Heidelberg, pp. 49-60, 2010.

68. Dominique Méry, and Neeraj Kumar Singh “EB2C: A Tool for Event-B to C Conversion Support”, Poster and Tool Demo submission, and published in a CNR Technical Report in SEFM 2010.

69. David J. Hewson, Neeraj Kumar Singh, Hichem Snoussi, and Jacques Duchêne, “Classification of elderly as fallers and non-fallers using Centre of Pressure velocity” in Proceeding IEEE Engineering in Medicine and Biology Society (EMBS), 2010, p.3678-81.

70. Neeraj Kumar Singh, Hichem Snoussi, David J. Hewson, and Jacques. Duchêne, “Wavelet transform analysis of the power spectrum of centre of pressure signals to detect the critical point interval of postural control” Communications in Computer and Information Science: Biomedical Engineering Systems and Technologies, vol. 52 (3), p. 235-244, 2010. [PDF]

71. Neeraj Kumar Singh, Hichem Snoussi, David Hewson, and J. Duchêne, “Detection of the critical point interval of postural control strategy using wavelet transform analysis” in Proceeding BIOSIGNAL 2009- Bio-inspired Systems and Signal Processing, p. 96-101, 2009. (Best Paper Award)

72. Vrijendra Singh, Sandeep Yadav, Neeraj Kumar Singh, and Prem Kumar Kalra “Color image compression using block-based independent component analysis” , 5th International Symposium on Image and Signal Processing and Analysis (ISPA’ 07), pp. 288-292, 2007.

HDR (Habilitation)

1. Neeraj Kumar Singh “Rigorous Safety-Critical Cyber-Physical Systems Development using Formal Methods ”, Habilitation diriger des recherches (HDR), Toulouse INP, 2024.

Thesis

2. Neeraj Kumar Singh “Reliability and Safety of Critical Device Software Systems ”, PhD Thesis, Department of Computer Science, LORIA, INRIA, Université Henri Poincaré Nancy 1, France, 380 pages, 2011. Extended version appeared as book Using Event-B for Critical Device Software Systems, Springer, 2013.

3. Neeraj Kumar Singh “Use of statistical mechanics methods to assess the effects of sensory perturbation and aging on stability during upright stance & Classification and detection of an increased risk of falling in elderly a Fuzzy Neural Network (FNN) ”, Master’s Thesis, University of Technology of Troyes, Charles Delaunay Institute, Troyes, France, 155 pages, 2008. [PDF]

4. Neeraj Kumar Singh “Modeling, Classification and Fault Detection of Sensors using Artificial Intelligence & Blind Source Separation using ICA Algorithms ”, MCA (Master of Computer Applications) Thesis, Uttar Pradesh Technical University, Lucknow, India, 135 pages, 2006. 

Technical Reports

1. Neeraj Kumar Singh, Mark Lawford, Thomas S. E. Maibaum, and Alan Wassyng “Report 19: Formal Evaluation of The Cardiac Pacemaker Resynchronization Therapy”, (https://www.mcscert.ca/index.php/documents/mcscert-reports) Technical Report 19, McSCert, McMaster University, October 2014.

2. Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas S. E. Maibaum, and Alan Wassyng “Report18 : Formalizing Insulin Pump using Event-B”, (https://www.mcscert.ca/index.php/documents/mcscert-reports) Technical Report 18, McSCert, McMaster University, October 2014. [PDF]

3. Dominique Méry, and Neeraj Kumar Singh “Technical Report on Modelling an Aircraft Landing System in Event-B”, Technical Report (http://hal.inria.fr/hal-00971787), 2014.

4. Dominique Méry, and Neeraj Kumar Singh “Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata ”, Technical Report (http://hal.inria.fr/inria-00600339/en/), 2011.

5. Dominique Méry, and Neeraj Kumar Singh “Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods”, Technical Report (http://hal.inria.fr/inria-00584177/en/), 2011.

6. Dominique Méry, and Neeraj Kumar Singh “Formal Development of Two-Electrode Cardiac Pacing System” Technical Report, (https://hal.archives-ouvertes.fr/inria-00465061/en/), 2010).

7. Dominique Méry, and Neeraj Kumar Singh “Pacemaker’s Functional Behavior in Event-B”, Technical Report (http://hal.inria.fr/inria-00419973/en/), 2009.