Detection of the Critical Point Interval of Postural Control Strategy using Wavelet Transform Analysis. - Neeraj Kumar Singh 001; Hichem Snoussi; David J. Hewson; Jacques Duchêne (BIOSIGNALS, 2009)

Wavelet Transform Analysis of the Power Spectrum of Centre of Pressure Signals to Detect the Critical Point Interval of Postural Control. - Neeraj Kumar Singh 001; Hichem Snoussi; David J. Hewson; Jacques Duchêne (BIOSTEC (Selected Papers), 2009)

Real-Time Animation for Formal Specification. - Dominique Méry; Neeraj Kumar Singh 001 (CSDM, 2010)

Trustable Formal Specification for Software Certification. - Dominique Méry; Neeraj Kumar Singh 001 (ISoLA (2), 2010)

Medical Protocol Diagnosis Using Formal Methods. - Dominique Méry; Neeraj Kumar Singh 001 (FHIES, 2011)

Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. - Dominique Méry; Neeraj Kumar Singh 001 (FHIES, 2011)

Automatic code generation from event-B models. - Dominique Méry; Neeraj Kumar Singh 001 (SoICT, 2011)

Analysis of DSR Protocol in Event-B. - Dominique Méry; Neeraj Kumar Singh 001 (SSS, 2011)

A generic framework: from modeling to code. - Dominique Méry; Neeraj Kumar Singh 001 (Innov. Syst. Softw. Eng., 2011)

Reliability and Safety of Critical Device Software Systems. (Fiabilité et sûreté des systèmes informatiques critiques). - Neeraj Kumar Singh 001 (2011)

Closed-Loop Modeling of Cardiac Pacemaker and Heart. - Dominique Méry; Neeraj Kumar Singh 001 (FHIES, 2012)

The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada. - Neeraj Kumar Singh 001; Andy J. Wellings; Ana Cavalcanti 001 (JTRES, 2012)

Critical systems development methodology using formal techniques. - Dominique Méry; Neeraj Kumar Singh 001 (SoICT, 2012)

Using Event-B for Critical Device Software Systems. - Neeraj Kumar Singh 001 (Springer, 2013)

A mixed approach to rigorous development of control designs. - Manoranjan Satpathy; S. Ramesh 002; Colin F. Snook; Neeraj Kumar Singh 001; Michael J. Butler (CACSD, 2013)

Ideal Mode Selection of a Cardiac Pacing System. - Dominique Méry; Neeraj Kumar Singh 001 (HCI (22), 2013)

Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. - Manamiary Bruno Andriamiarina; Dominique Méry; Neeraj Kumar Singh 001 (IFM, 2013)

Formal Specification of Medical Systems by Proof-Based Refinement. - Dominique Méry; Neeraj Kumar Singh 001 (ACM Trans. Embed. Comput. Syst., 2013)

Analysis of Self-⋆ and P2P Systems Using Refinement. - Manamiary Bruno Andriamiarina; Dominique Méry; Neeraj Kumar Singh 001 (ABZ, 2014)

Modeling an Aircraft Landing System in Event-B. - Dominique Méry; Neeraj Kumar Singh 001 (ABZ (Case Study), 2014)

The Semantics of Refinement Chart. - Dominique Méry; Neeraj Kumar Singh 001 (HCI (20), 2014)

Formalizing the Glucose Homeostasis Mechanism. - Neeraj Kumar Singh 001; Hao Wang 003; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (HCI (20), 2014)

Formal evaluation of landing gear system. - Dominique Méry; Neeraj Kumar Singh 001 (SoICT, 2014)

Revisiting snapshot algorithms by refinement-based techniques. - Manamiary Bruno Andriamiarina; Dominique Méry; Neeraj Kumar Singh 001 (Comput. Sci. Inf. Syst., 2014)

Modelling an Aircraft Landing System in Event-B (Full Report). - Dominique Méry; Neeraj Kumar Singh 001 (CoRR, 2014)

Analyzing Requirements Using Environment Modelling. - Dominique Méry; Neeraj Kumar Singh 001 (HCI (17), 2015)

Formalizing the Cardiac Pacemaker Resynchronization Therapy. - Neeraj Kumar Singh 001; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (HCI (17), 2015)

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. - Neeraj Kumar Singh 001; Hao Wang 003; Mark Lawford; Thomas Stephen Edward Maibaum; Alan Wassyng (HCI (17), 2015)

Is Current Incremental Safety Assurance Sound? - Valentin Cassano; Silviya Grigorova; Neeraj Kumar Singh 001; Morayo Adedjouma; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (SAFECOMP Workshops, 2015)

Stateflow to Tabular Expressions. - Neeraj Kumar Singh 001; Mark Lawford; Thomas Stephen Edward Maibaum; Alan Wassyng (SoICT, 2015)

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? - Alan Wassyng; Neeraj Kumar Singh 001; Mischa Geven; Nicholas Proscia; Hao Wang 003; Mark Lawford; Tom Maibaum (IEEE Des. Test, 2015)

Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. - Guillaume Babin; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (ABZ, 2016)

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Marc Pantel; Arnaud Dieumegard; Eric Jenn (ICECCS, 2016)

A System Substitution Mechanism for Hybrid Systems in Event-B. - Guillaume Babin; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (ICFEM, 2016)

Correct-by-Construction Evolution of Realisable Conversation Protocols. - Sarah Benyagoub; Meriem Ouederni; Neeraj Kumar Singh 001; Yamine Aït Ameur (MEDI, 2016)

Use of Tabular Expressions for Refinement Automation. - Neeraj Kumar Singh 001; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (MEDI, 2017)

B-PERFect - Applying the PERF Approach to B Based System Developments. - Alexandra Halchin; Abderrahmane Feliachi; Neeraj Kumar Singh 001; Yamine Aït Ameur; Julien Ordioni (RSSRail, 2017)

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. - 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 001; Laurent Voisin (ABZ, 2018)

Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (ABZ, 2018)

Formal Ontology Driven Model Refactoring. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Dominique Méry (ICECCS, 2018)

Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (MEDI Workshops, 2018)

Refinement Based Formal Development of Human-Machine Interface. - Romain Geniet; Neeraj Kumar Singh 001 (STAF Workshops, 2018)

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Dominique Méry; David Navarre; Philippe A. Palanque; Marc Pantel (FTSCS, 2019)

Modelling Hybrid Train Speed Controller using Proof and Refinement. - Paulius Stankaitis; Guillaume Dupont; Neeraj Kumar Singh 001; Yamine Aït Ameur; Alexei Iliasov; Alexander B. Romanovsky (ICECCS, 2019)

Virtual Environment Model of Glucose Homeostasis for Diabetes Patients. - Neeraj Kumar Singh 001; Hao Wang 003 (ICPS, 2019)

Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (TASE, 2019)

Certified Embedding of B Models in an Integrated Verification Framework. - Alexandra Halchin; Yamine Aït Ameur; Neeraj Kumar Singh 001; Abderrahmane Feliachi; Julien Ordioni (TASE, 2019)

Detection of postural balance degradation using fuzzy neural network. - Neeraj Kumar Singh 001 (Int. J. Bioinform. Res. Appl., 2019)

An Integrated Framework for the Formal Analysis of Critical Interactive Systems. - Ismaïl Mendil; Neeraj Kumar Singh 001; Yamine Aït Ameur; Dominique Méry; Philippe A. Palanque (APSEC, 2020)

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (ABZ, 2020)

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh 001; Fuyuki Ishikawa; Tsutomu Kobayashi; Marc Pantel (ICFEM, 2020)

An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (IFM, 2020)

Handling B models in the PERF integrated verification framework: Formalised and certified embedding. - Alexandra Halchin; Yamine Aït Ameur; Neeraj Kumar Singh 001; Julien Ordioni; Abderrahmane Feliachi (Sci. Comput. Program., 2020)

Event-B Refinement for Continuous Behaviours Approximation. - Guillaume Dupont; Yamine Aït Ameur; Marc Pantel; Neeraj Kumar Singh 001 (ATVA, 2021)

Towards Leveraging Domain Knowledge in State-Based Formal Methods. - Yamine Aït Ameur; Régine Laleau; Dominique Méry; Neeraj Kumar Singh 001 (Logic, Computation and Rigorous Methods, 2021)

Standard Conformance-by-Construction with Event-B. - Ismaïl Mendil; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (FMICS, 2021)

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. - Ismaïl Mendil; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (SETTA, 2021)

On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Romain Geniet; Dominique Méry; Philippe A. Palanque (Interact. Comput., 2021)

A formal approach to rigorous development of critical systems. - Neeraj Kumar Singh 001; Mark Lawford; Thomas Stephen Edward Maibaum; Alan Wassyng (J. Softw. Evol. Process., 2021)

Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (ACM Trans. Embed. Comput. Syst., 2021)

Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. - Ismaïl Mendil; Peter Riviere; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (APSEC, 2022)

EB4EB: A Framework for Reflexive Event-B. - Peter Riviere; Neeraj Kumar Singh 001; Yamine Aït Ameur (ICECCS, 2022)

Reachability Analysis and Simulation for Hybridised Event-B Models. - Yamine Aït Ameur; Sergiy Bogomolov; Guillaume Dupont; Neeraj Kumar Singh 001; Paulius Stankaitis (IFM, 2022)

Empowering the Event-B Method Using External Theories. - Yamine Aït Ameur; Guillaume Dupont; Ismaïl Mendil; Dominique Méry; Marc Pantel; Peter Riviere; Neeraj Kumar Singh 001 (IFM, 2022)

Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh 001; Marc Pantel (Sci. Comput. Program., 2022)

Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. - Peter Riviere; Neeraj Kumar Singh 001; Yamine Aït Ameur; Guillaume Dupont (NFM, 2023)

Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. - Peter Riviere; Neeraj Kumar Singh 001; Yamine Aït-Ameur; Guillaume Dupont (ABZ, 2023)

Formal domain-driven system development in Event-B: Application to interactive critical systems. - Ismaïl Mendil; Yamine Aït-Ameur; Neeraj Kumar Singh 001; Guillaume Dupont; Dominique Méry; Philippe A. Palanque (J. Syst. Archit., 2023)

F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. - Neeraj Kumar Singh 001; Yamine Aït-Ameur; Ismaïl Mendil; Dominique Méry; David Navarre; Philippe A. Palanque; Marc Pantel (J. Softw. Evol. Process., 2023)

Rigorous Safety-Critical Cyber-Physical Systems Development using Formal Methods. - Neeraj Kumar Singh 001 (2024)

A Complete Fragment of LTL(EB). - Flavio Ferrarotti; Peter Rivière; Klaus-Dieter Schewe; Neeraj Kumar Singh 001; Yamine Aït Ameur (FoIKS, 2024)

On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. - Peter Rivière; Tsutomu Kobayashi; Neeraj Kumar Singh 001; Fuyuki Ishikawa; Yamine Aït Ameur; Guillaume Dupont (ICFEM, 2024)

Generating Simulink Models from Hybridised Event-B Models. - Neeraj Kumar Singh 001; Guillaume Dupont; Yamine Aït Ameur; Marc Pantel (SFPVV, 2024)

Reflexive Event-B: Semantics and Correctness the EB4EB Framework. - Peter Rivière; Neeraj Kumar Singh 001; Yamine Aït-Ameur (IEEE Trans. Reliab., 2024)

A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B. - Christophe Chen; Peter Rivière; Neeraj Kumar Singh 001; Guillaume Dupont; Yamine Aït-Ameur; Marc Frappier (FormaliSE, 2025)

Extending the EB4EB framework with parameterised events. - Peter Rivière; Neeraj Kumar Singh 001; Yamine Aït-Ameur; Guillaume Dupont (Sci. Comput. Program., 2025)