Neeraj Kumar Singh

81 papers B 9C 17Misc 3Journal 18Unranked 31

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B. FormaliSE Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït-Ameur, Marc Frappier
2025	J	`jnl`	Extending the EB4EB framework with parameterised events. Sci. Comput. Program. Peter Rivière, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
2025	J	`jnl`	Introduction to the TASE 2023 Special Issue. Sci. Comput. Program. Neeraj Kumar Singh, Cristina David, Meng Sun, Meng Wang
2025	J	`jnl`	TREBL - A Relative Complete Temporal Event-B Logic. Part I: Theory. CoRR Klaus-Dieter Schewe, Flavio Ferrarotti, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur
2024	—	`conf`	A Complete Fragment of LTL(EB). FoIKS Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
2024	J	`jnl`	A Complete Fragment of LTL(EB). CoRR Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
2024	—	`conf`	Generating Simulink Models from Hybridised Event-B Models. SFPVV Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur, Marc Pantel
2024	C	`conf`	On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. ICFEM Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont
2024	J	`jnl`	Reflexive Event-B: Semantics and Correctness the EB4EB Framework. IEEE Trans. Reliab. Peter Rivière, Neeraj Kumar Singh, Yamine Aït-Ameur
2024	—	`book`	Rigorous Safety-Critical Cyber-Physical Systems Development using Formal Methods. Neeraj Kumar Singh
2023	J	`jnl`	F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
2023	J	`jnl`	Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque
2023	—	`conf`	Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NFM Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont
2023	C	`conf`	Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
2022	B	`conf`	EB4EB: A Framework for Reflexive Event-B. ICECCS Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur
2022	B	`conf`	Empowering the Event-B Method Using External Theories. IFM Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
2022	J	`jnl`	Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Sci. Comput. Program. Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
2022	C	`conf`	Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. APSEC Ismaïl Mendil, Peter Riviere, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2022	B	`conf`	Reachability Analysis and Simulation for Hybridised Event-B Models. IFM Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
2021	J	`jnl`	A formal approach to rigorous development of critical systems. J. Softw. Evol. Process. Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
2021	J	`jnl`	Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Trans. Embed. Comput. Syst. Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
2021	B	`conf`	Event-B Refinement for Continuous Behaviours Approximation. ATVA Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2021	Misc	`conf`	Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2021	J	`jnl`	On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interact. Comput. Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque
2021	C	`conf`	Standard Conformance-by-Construction with Event-B. FMICS Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2021	—	`conf`	Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
2020	B	`conf`	An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. IFM Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2020	C	`conf`	An Integrated Framework for the Formal Analysis of Critical Interactive Systems. APSEC Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque
2020	C	`conf`	Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
2020	C	`conf`	Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2020	J	`jnl`	Handling B models in the PERF integrated verification framework: Formalised and certified embedding. Sci. Comput. Program. Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Julien Ordioni, Abderrahmane Feliachi
2019	Misc	`conf`	Certified Embedding of B Models in an Integrated Verification Framework. TASE Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni
2019	J	`jnl`	Detection of postural balance degradation using fuzzy neural network. Int. J. Bioinform. Res. Appl. Neeraj Kumar Singh
2019	—	`conf`	Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
2019	Misc	`conf`	Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. TASE Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2019	C	`ed.`	Model and Data Engineering - 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings MEDI Klaus-Dieter Schewe, Neeraj Kumar Singh
2019	B	`conf`	Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
2019	—	`conf`	Virtual Environment Model of Glucose Homeostasis for Diabetes Patients. ICPS Neeraj Kumar Singh, Hao Wang
2018	B	`conf`	Formal Ontology Driven Model Refactoring. ICECCS Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry
2018	—	`conf`	Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. MEDI Workshops Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2018	C	`conf`	On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ 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
2018	C	`conf`	Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. ABZ Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh
2018	—	`conf`	Refinement Based Formal Development of Human-Machine Interface. STAF Workshops Romain Geniet, Neeraj Kumar Singh
2017	—	`conf`	B-PERFect - Applying the PERF Approach to B Based System Developments. RSSRail Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït Ameur, Julien Ordioni
2017	C	`conf`	Use of Tabular Expressions for Refinement Automation. MEDI Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2016	C	`conf`	A System Substitution Mechanism for Hybrid Systems in Event-B. ICFEM Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
2016	C	`conf`	Correct-by-Construction Evolution of Realisable Conversation Protocols. MEDI Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït Ameur
2016	C	`conf`	Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. ABZ Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel
2016	B	`conf`	Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. ICECCS Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
2015	—	`conf`	Analyzing Requirements Using Environment Modelling. HCI (17) Dominique Méry, Neeraj Kumar Singh
2015	J	`jnl`	Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? IEEE Des. Test Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum
2015	—	`conf`	Formalizing the Cardiac Pacemaker Resynchronization Therapy. HCI (17) Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2015	—	`conf`	Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2015	—	`conf`	Stateflow to Tabular Expressions. SoICT Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
2015	—	`conf`	Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. HCI (17) Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
2014	C	`conf`	Analysis of Self-⋆ and P2P Systems Using Refinement. ABZ Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
2014	—	`conf`	Formal evaluation of landing gear system. SoICT Dominique Méry, Neeraj Kumar Singh
2014	—	`conf`	Formalizing the Glucose Homeostasis Mechanism. HCI (20) Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2014	—	`conf`	Modeling an Aircraft Landing System in Event-B. ABZ (Case Study) Dominique Méry, Neeraj Kumar Singh
2014	J	`jnl`	Modelling an Aircraft Landing System in Event-B (Full Report). CoRR Dominique Méry, Neeraj Kumar Singh
2014	J	`jnl`	Revisiting snapshot algorithms by refinement-based techniques. Comput. Sci. Inf. Syst. Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
2014	—	`conf`	The Semantics of Refinement Chart. HCI (20) Dominique Méry, Neeraj Kumar Singh
2013	—	`conf`	A mixed approach to rigorous development of control designs. CACSD Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael J. Butler
2013	J	`jnl`	Formal Specification of Medical Systems by Proof-Based Refinement. ACM Trans. Embed. Comput. Syst. Dominique Méry, Neeraj Kumar Singh
2013	—	`conf`	Ideal Mode Selection of a Cardiac Pacing System. HCI (22) Dominique Méry, Neeraj Kumar Singh
2013	B	`conf`	Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. IFM Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
2013	—	`book`	Using Event-B for Critical Device Software Systems. Neeraj Kumar Singh
2012	—	`conf`	Closed-Loop Modeling of Cardiac Pacemaker and Heart. FHIES Dominique Méry, Neeraj Kumar Singh
2012	—	`conf`	Critical systems development methodology using formal techniques. SoICT Dominique Méry, Neeraj Kumar Singh
2012	C	`conf`	Revisiting Snapshot Algorithms by Refinement-Based Techniques. PDCAT Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
2012	—	`conf`	The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada. JTRES Neeraj Kumar Singh, Andy J. Wellings, Ana Cavalcanti
2011	J	`jnl`	A generic framework: from modeling to code. Innov. Syst. Softw. Eng. Dominique Méry, Neeraj Kumar Singh
2011	C	`conf`	Analysis of DSR Protocol in Event-B. SSS Dominique Méry, Neeraj Kumar Singh
2011	—	`conf`	Automatic code generation from event-B models. SoICT Dominique Méry, Neeraj Kumar Singh
2011	—	`conf`	Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. FHIES Dominique Méry, Neeraj Kumar Singh
2011	—	`conf`	Medical Protocol Diagnosis Using Formal Methods. FHIES Dominique Méry, Neeraj Kumar Singh
2011	—	`—`	Reliability and Safety of Critical Device Software Systems. (Fiabilité et sûreté des systèmes informatiques critiques). Neeraj Kumar Singh
2010	—	`conf`	Real-Time Animation for Formal Specification. CSDM Dominique Méry, Neeraj Kumar Singh
2010	—	`conf`	Trustable Formal Specification for Software Certification. ISoLA (2) Dominique Méry, Neeraj Kumar Singh
2009	—	`conf`	Detection of the Critical Point Interval of Postural Control Strategy using Wavelet Transform Analysis. BIOSIGNALS Neeraj Kumar Singh, Hichem Snoussi, David J. Hewson, Jacques Duchêne
2009	—	`conf`	Wavelet Transform Analysis of the Power Spectrum of Centre of Pressure Signals to Detect the Critical Point Interval of Postural Control. BIOSTEC (Selected Papers) Neeraj Kumar Singh, Hichem Snoussi, David J. Hewson, Jacques Duchêne