Neeraj Kumar Singh

Publications

Pré-publication, Document de travail (1)

A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B Christophe Chen,Peter Riviere,Neeraj Kumar Singh,Guillaume Dupont,Yamine Ait Ameuret al. 2025 Pré-publication, Document de travail hal-05081879v1

Article dans une revue (17)

Reduced Graphene Oxide/Polypyrrole (rGO/PPy) Nanocomposite Optimization and Electrochemical Performance for High-Performance Supercapacitors Neeraj Singh Journal of Energy Research and Reviews, 2025, 17 (12), pp.19-30 Article dans une revue hal-05400115v1
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID Neeraj Kumar Singh,Yamine Aït-Ameur,Ismail Mendil,Dominique Méry,David Navarreet al. Journal of Software: Evolution and Process, In press, 35 (7), pp.e2439. ⟨10.1002/smr.2439⟩ Article dans une revue hal-03617603v1
Formal domain-driven system development in Event-B: Application to interactive critical systems Ismail Mendil,Yamine Aït-Ameur,Neeraj Kumar Singh,Guillaume Dupont,Dominique Méryet al. Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩ Article dans une revue hal-03904803v1
A Study on Farmers Knowledge and Challenges with Direct Seeded Rice under the Rice-Wheat Cropping System in Eastern Uttar Pradesh, India Kamlesh Meena,Rajneesh Srivastava,Ajay Tiwari,Ajay Kumar,Anup Pratap Singhet al. International Journal of Environment and Climate Change, 2022, 12 (11), pp.3752-3761 Article dans une revue hal-05212541v1
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B Guillaume Dupont,Yamine Aït-Ameur,Neeraj Kumar Singh,Marc Pantel Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩ Article dans une revue hal-03513847v1
Performance of Cowpea Variety (Kashi Kanchan) under Front Line Demonstration in Eastern Part of Uttar Pradesh, India Rajneesh Srivastva,Kamlesh Meena,Anup Pratap Singh,Neeraj Singh,T. K Behera International Journal of Plant & Soil Science, 2022, 34 (23), pp.1135-1140 Article dans une revue hal-05202193v1
Optimization of Operational Parameters for Axial Flow Paddy Thresher Using RSM Dilwar Singh Parihar,Atul Kumar Shrivastava,Avesh Kumar Singh,Neeraj Kumar Singh,Akshay Sanjay Mahadiket al. International Journal of Environment and Climate Change, 2022, 12 (9), pp.253-263 Article dans une revue hal-05213893v1
Reflexive Event-B: Semantics and Correctness The EB4EB framework Peter Riviere,Neeraj Kumar Singh,Yamine Aït-Ameur IEEE Transactions on Reliability, 2022, pp.1-16. ⟨10.1109/TR.2022.3219649⟩ Article dans une revue hal-03836811v1
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems Guillaume Dupont,Yamine Aït-Ameur,Neeraj Kumar Singh,Marc Pantel ACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩ Article dans une revue hal-03266069v1
A formal approach to rigorous development of critical systems Neeraj Kumar Singh,Mark Lawford,Thomas Maibaum,Alan Wassyng Journal of Software: Evolution and Process, 2021, Special issue : Safe and secure cyber-physical systems, 33 (e2334), pp.1-27. ⟨10.1002/smr.2334⟩ Article dans une revue hal-03617647v1
The β-Secretase BACE1 in Alzheimer’s Disease Harald Hampel,Robert Vassar,Bart de Strooper,John Hardy,Michael Willemet al. Biological Psychiatry, 2021, 89 (8), pp.745-756. ⟨10.1016/j.biopsych.2020.02.001⟩ Article dans une revue hal-03197728v1
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications Neeraj Kumar Singh,Yamine Aït-Ameur,Romain Geniet,Dominique Méry,Philippe Palanque Interacting with Computers, 2021, 33 (1), pp.Pages 92-114. ⟨10.1093/iwcomp/iwab016⟩ Article dans une revue hal-03224780v1
Detection of postural balance degradation using fuzzy neural network Neeraj Kumar Singh International Journal of Bioinformatics Research and Applications, 2019, 15 (4), pp.371-394. ⟨10.1504/IJBRA.2019.103788⟩ Article dans une revue hal-03617652v1
Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version) Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh Computer Science and Information Systems, 2014, Computer Science and Information System, 11 (1), pp.251-270. ⟨10.2298/CSIS130122007A⟩ Article dans une revue hal-00924525v1
Formal Speciﬁcation of Medical Systems by Proof-Based Reﬁnement Dominique Méry,Neeraj Kumar Singh ACM Transactions on Embedded Computing Systems (TECS), 2013, 12 (1), pp.15. ⟨10.1145/2406336.2406351⟩ Article dans une revue inria-00637756v1
A generic framework: from modeling to code Dominique Méry,Neeraj Kumar Singh Innovations in Systems and Software Engineering (ISSE), 2011, pp.1-9 Article dans une revue inria-00637761v1
Functional Behavior of a Cardiac Pacing System Dominique Méry,Neeraj Kumar Singh International Journal of Discrete Event Control Systems (IJDECS), 2010 Article dans une revue inria-00540007v1

HDR (1)

Rigorous Safety-Critical Cyber-Physical Systems Development using Formal Methods Neeraj Kumar Singh Computer Science [cs]. Toulouse INP, 2024 HDR tel-04695651v1

Proceedings/Recueil des communications (1)

Generating Simulink Models from Hybridised Event-B Models Neeraj Kumar Singh,Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel 1st International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2024), 2024, ?, France. 15393, Shaoying Liu, pp.X, 289, 2024, 978-981-96-1620-6 Proceedings/Recueil des communications hal-04853615v1

Communication dans un congrès (52)

Standalone Event-B models analysis relying on the EB4EB meta-theory Peter Riviere,Neeraj Kumar Singh,Yamine Aït-Ameur,Guillaume Dupont 9th International Conference on Rigorous State-based Methods (ABZ 2023), LORIA : laboratoire lorrain de recherche en informatique et ses applications, Université de Lorraine, May 2023, Nancy, France Communication dans un congrès hal-04049910v1
Proof automation for Event-B theories Peter Riviere,Yamine Aït-Ameur,Neeraj Kumar Singh,Guillaume Dupont 10th Rodin User and Developer Workshop (Rodin 2023), May 2023, Nancy, France Communication dans un congrès hal-04308810v1
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours Ismail Mendil,Peter Riviere,Yamine Aït-Ameur,Neeraj Kumar Singh,Dominique Méryet al. 29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, Virtual conference, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩ Communication dans un congrès inserm-04095980v1
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework Peter Riviere,Neeraj Kumar Singh,Yamine Aït-Ameur,Guillaume Dupont NASA Formal Methods (NFM 2023), NASA: National Aeronautics and Space Administration, May 2023, Houston, United States. pp.1-18 Communication dans un congrès hal-04046949v1
EB4EB: A Framework for Reflexive Event-B Peter Riviere,Neeraj Kumar Singh,Yamine Aït-Ameur 26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), Mar 2022, Hiroshima, Japan. pp.71-80, ⟨10.1109/ICECCS54210.2022.00017⟩ Communication dans un congrès hal-03540955v2
Standard Conformance-by-Construction with Event-B Ismail Mendil,Yamine Aït-Ameur,Neeraj Kumar Singh,Dominique Méry,Philippe Palanque FMICS 2021 - 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩ Communication dans un congrès hal-03487118v2
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models Ismail Mendil,Yamine Aït-Ameur,Neeraj Kumar Singh,Dominique Méry,Philippe Palanque 7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩ Communication dans un congrès hal-03857803v2
Data-types definitions: Use of Theory and Context instantiations Plugins Peter Riviere,Neeraj Kumar Singh,Yamine Aït-Ameur 9th Rodin User and Developer Workshop collocated with the ABZ 2021 Conference, Jun 2021, Ulm (virtual), Germany. pp.1-6 Communication dans un congrès hal-03487183v1
Event-B Refinement for Continuous Behaviours Approximation Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj Kumar Singh 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩ Communication dans un congrès hal-03385081v1
An Integrated Framework for the Formal Analysis of Critical Interactive Systems Ismail Mendil,Neeraj Kumar Singh,Yamine Aït-Ameur,Dominique Méry,Philippe Palanque The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10 Communication dans un congrès hal-02999148v1
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj Kumar Singh 16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩ Communication dans un congrès hal-03265788v1
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 7th International Conference on Rigorous State-Based Methods (ABZ 2020), May 2020, Ulm, Germany. pp.169-185, ⟨10.1007/978-3-030-48077-6_12⟩ Communication dans un congrès hal-03266062v1
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661 Neeraj Kumar Singh,Yamine Aït-Ameur,Dominique Méry,David Navarre,Philippe Palanqueet al. 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩ Communication dans un congrès hal-02942767v1
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement Guillaume Dupont,Yamine Aït-Ameur,Neeraj Kumar Singh,Fuyuki Ishikawa,Tsutomu Kobayashiet al. 22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩ Communication dans un congrès hal-03266056v1
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj Kumar Singh 13th International Symposium on Theoretical Aspects of Software Engineering - TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩ Communication dans un congrès hal-03012569v1
Modelling Hybrid Train Speed Controller using Proof and Refinement Paulius Stankaitis,Guillaume Dupont,Neeraj Kumar Singh,Yamine Aït-Ameur,Alexei Iliasovet al. 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Nov 2019, Guangzhou, China. pp.107-113, ⟨10.1109/ICECCS.2019.00019⟩ Communication dans un congrès hal-03265768v1
Virtual environment model of glucose homeostasis for diabetes patients Neeraj Kumar Singh,Hao Wang 2019 IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), May 2019, Taipei, Taiwan. pp.417-422 Communication dans un congrès hal-02421634v1
Certified embedding of B models in an integrated verification framework Alexandra Halchin,Yamine Aït-Ameur,Neeraj Kumar Singh,Abderrahmane Feliachi,Julien Ordioni 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Jul 2019, Guilin, China. pp.168-175 Communication dans un congrès hal-02421919v1
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj Kumar Singh 6th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), University of Southampton, Jun 2018, Southampton, United Kingdom. pp.155-170 Communication dans un congrès hal-02450998v1
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B Yamine Aït-Ameur,Idir Ait-Sadoune,Pierre Castéran,John Paul Gibson,Kahina Hacidet al. 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩ Communication dans un congrès hal-01797538v1
Formal Ontology Driven Model Refactoring Neeraj Kumar Singh,Yamine Aït-Ameur,Dominique Mery 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩ Communication dans un congrès hal-02353400v1
Refinement Based Formal Development of Human-Machine Interface Romain Geniet,Neeraj Kumar Singh 7th International Workshop on Formal Methods for Interactive Systems (FMIS), Jun 2018, Toulouse, France. pp.240-256 Communication dans un congrès hal-02353335v1
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj Kumar Singh MEDI 2018 - The 8h International Conference on Model and Data Engineering, Oct 2018, Marrakech, Morocco. pp.153--158, ⟨10.1007/978-3-030-02852-7_14⟩ Communication dans un congrès hal-02983162v1
Use of Tabular Expressions for Refinement Automation Neeraj Kumar Singh,Mark Lawford,Thomas S. E. Maibaum,Alan Wassyng MEDI 2017 - Model and Data Engineering - 7th International Conference, Oct 2017, Barcelona, Spain. pp.167-182 Communication dans un congrès hal-02353273v1
B-PERFect - Applying the PERF Approach to B Based System Developments Alexandra Halchin,Abderrahmane Feliachi,Neeraj Kumar Singh,Yamine Aït-Ameur,Julien Ordioni International Conference Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2017), Nov 2017, Pristoia, Italy. pp.160-172 Communication dans un congrès hal-02451007v1
Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study Neeraj Kumar Singh,Yamine Aït-Ameur,Marc Pantel,Arnaud Dieumegard,Eric Jenn 21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp.1-10, ⟨10.1109/ICECCS.2016.015⟩ Communication dans un congrès hal-01782961v1
Correct-by-Construction Evolution of Realisable Conversation Protocols Sarah Benyagoub,Meriem Ouederni,Neeraj Kumar Singh,Yamine Aït-Ameur MEDI 2016 - Model and Data Engineering - 6th International Conference, Sep 2016, Almería, Spain. pp.260-273 Communication dans un congrès hal-02353832v1
A System Substitution Mechanism for Hybrid Systems in Event-B Guillaume Babin,Yamine Aït-Ameur,Neeraj Kumar Singh,Marc Pantel International Conference on Formal Engineering Methods, Nov 2016, Tokyo, Japan. pp.106--121, ⟨10.1007/978-3-319-47846-3_8⟩ Communication dans un congrès hal-03172256v1
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development Guillaume Babin,Yamine Aït-Ameur,Neeraj Kumar Singh,Marc Pantel ABZ 2016 - 5th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z, May 2016, Linz, Austria. pp.290--296, ⟨10.1007/978-3-319-33600-8_23⟩ Communication dans un congrès hal-03155064v1
Is current incremental safety assurance sound ? Valentin Cassano,Silviya Grigorova,Neeraj Kumar Singh,Morayo Adedjouma,Mark Lawfordet al. Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, Sep 2015, Delft, Netherlands. pp.397-408 Communication dans un congrès hal-02354197v1
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements Neeraj Kumar Singh,Hao Wang,Mark Lawford,Thomas S. E. Maibaum,Alan Wassyng Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference (DHM 2015), Aug 2015, Los Angeles, United States. pp.387-398 Communication dans un congrès hal-02354182v1
Analyzing Requirements Using Environment Modelling Dominique Mery,Neeraj Kumar Singh DHM 2015 - 6th International Conference on Digital Human Modeling Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, Aug 2015, Los Angeles, United States. pp.345-357, ⟨10.1007/978-3-319-21070-4_35⟩ Communication dans un congrès hal-02354252v1
Formalizing the Cardiac Pacemaker Resynchronization Therapy Neeraj Kumar Singh,Mark Lawford,Thomas S. E. Maibaum,Alan Wassyng Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference (DHM 2015), Aug 2015, Los Angeles, United States. pp.374-386 Communication dans un congrès hal-02354040v1
Formal Evaluation of Landing Gear System Dominique Méry,Neeraj Kumar Singh SoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam Communication dans un congrès hal-01097645v1
Modeling an Aircraft Landing System in Event-B Dominique Méry,Neeraj Kumar Singh ABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159 Communication dans un congrès hal-00985010v1
The Semantics of Refinement Chart Dominique Méry,Neeraj Kumar Singh HCI International, Jun 2014, Heraklion, Greece. pp.415-426, ⟨10.1007/978-3-319-07725-3_42⟩ Communication dans un congrès hal-00995176v1
Analysis of Self-* and P2P Systems using Refinement Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh ABZ 2014 - 4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z, Yamine AIT AMEUR and Klaus-Dieter SCHEWE, Jun 2014, Toulouse, France. pp.117-123, ⟨10.1007/978-3-662-43652-3_9⟩ Communication dans un congrès hal-01018125v1
Ideal Mode Selection of a Cardiac Pacing System Dominique Méry,Neeraj Kumar Singh 4th International Conference - Digital Human Modeling and applications in Health, Safety, Ergonomics and Risk Management - DHM 2013 (HCI International 2013), Jul 2013, Las Vegas, United States. pp.258-267, ⟨10.1007/978-3-642-39173-6_31⟩ Communication dans un congrès istex hal-00862077v1
A mixed approach to rigorous development of control designs Manoranjan Satpathy,S. Ramesh,Colin F. Snook,Neeraj Kumar Singh,Michael Butler 2013 IEEE Conference on Computer Aided Control System Design (CACSD), IEEE, Aug 2013, Hyderabad, India. pp.7-12, ⟨10.1109/CACSD.2013.6663474⟩ Communication dans un congrès hal-03617696v1
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland Communication dans un congrès hal-00819256v1
Revisiting Snapshot Algorithms by Refinement-based Techniques Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh PDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China Communication dans un congrès hal-00734131v1
Critical systems development methodology using formal techniques Dominique Méry,Neeraj Kumar Singh 3rd International Symposium on Information and Communication Technology - SoICT 2012, Aug 2012, Ha Long, Vietnam. pp.3-12, ⟨10.1145/2350716.2350720⟩ Communication dans un congrès hal-00747305v1
Automatic Code Generation from Event-B Models Dominique Méry,Neeraj Kumar Singh SoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam Communication dans un congrès inria-00637765v1
Analysis of DSR Protocol in Event-B Dominique Méry,Neeraj Kumar Singh 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.401-415 Communication dans un congrès inria-00637768v1
Formal Development and Automatic Code Generation : Cardiac Pacemaker Dominique Méry,Neeraj Kumar Singh International Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China Communication dans un congrès inria-00638486v1
Medical Protocol Diagnosis using Formal Methods Dominique Méry,Neeraj Kumar Singh International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa Communication dans un congrès inria-00638478v1
EB2J : Code Generation from Event-B to Java Dominique Méry,Neeraj Kumar Singh SBMF - Brazilian Symposium on Formal Methods, CBSoft - Brazilian Conference on Software: Theory and Practice, Sep 2011, São Paulo, Brazil Communication dans un congrès inria-00638467v1
Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata Dominique Méry,Neeraj Kumar Singh International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa Communication dans un congrès inria-00638473v1
Classification of elderly as fallers and non-fallers using Centre of Pressure velocity David Hewson,Neeraj Kumar Singh,Hichem Snoussi,Jacques Duchene 2010 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2010), Aug 2010, Buenos Aires, Argentina. pp.3678-3681, ⟨10.1109/IEMBS.2010.5627649⟩ Communication dans un congrès hal-02304399v1
Real-Time Animation for Formal Specification Dominique Méry,Neeraj Kumar Singh Complex Systems Design & Management 2010, Oct 2010, Paris, France. pp.49-60, ⟨10.1007/978-3-642-15654-0_3⟩ Communication dans un congrès inria-00540005v1
Trustable Formal Specification for Software Certification Dominique Méry,Neeraj Kumar Singh 4th International Symposium On Leveraging Applications of Formal Methods - ISOLA 2010, Oct 2010, Heraklion, Crete, Greece. pp.312-326, ⟨10.1007/978-3-642-16561-0_31⟩ Communication dans un congrès istex inria-00540008v1
Detection of the critical point interval of postural control strategy using wavelet transform analysis Neeraj Kumar Singh,Hichem Snoussi,David Hewson,Jacques Duchene 2nd International Conference on Bio-Inspired Systems and Signal Processing (Biosignals 2009), Jan 2009, Porto, Portugal Communication dans un congrès hal-02870468v1

Chapitre d'ouvrage (10)

Formal Verification and Code Generation for Solidity Smart Contracts Neeraj Kumar Singh,Akshay M Fajge,Raju Halder,Md. Imran Alam Rajiv Pandey; Sam Goundar; Shahnaz Fatima. Distributed Computing to Blockchain: Architecture, Technology, and Applications, Elsevier, pp.125-144, 2023, 978-0323961462. ⟨10.1016/B978-0-323-96146-2.00028-0⟩ Chapitre d'ouvrage hal-04019340v1
Empowering the Event-B Method Using External Theories Yamine Aït-Ameur,Ismail Mendil,Guillaume Dupont,Dominique Méry,Marc Pantelet al. Integrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩ Chapitre d'ouvrage hal-03904799v1
Formal Ontological Analysis for Medical Protocols Neeraj Kumar Singh,Yamine Aït-Ameur,Dominique Méry Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩ Chapitre d'ouvrage hal-03199742v1
Towards Leveraging Domain Knowledge in State-Based Formal Methods Yamine Aït-Ameur,Régine Laleau,Dominique Méry,Neeraj Kumar Singh Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩ Chapitre d'ouvrage hal-03250787v1
Incremental Proof-Based Development for Resilient Distributed Systems Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering Chapitre d'ouvrage hal-01246669v1
Event B (english version) Neeraj Kumar Singh,Dominique Méry Jean-Louis Boulanger. Formal Methods Applied to Complex Systems, Wiley, 2014, Formal Methods Applied to Complex Systems, 9781119002727. ⟨10.1002/9781119002727.ch10⟩ Chapitre d'ouvrage hal-01216779v1
Event B Dominique Méry,Neeraj Kumar Singh Jean-Louis Boulanger. Mise en oeuvre de la méthode B, HERMES, 2013, Informatique et Systèmes d'Informations, ISBN : 978-2-7462-3810-7 Chapitre d'ouvrage hal-00926335v1
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata Dominique Méry,Neeraj Kumar Singh Liu; Zhiming and Wassyng; Alan. Foundations of Health Informatics Engineering and Systems}, 7151, Springer Berlin Heidelberg, pp.140-159, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. ⟨10.1007/978-3-642-32355-3_9⟩ Chapitre d'ouvrage hal-00762821v1
Medical Protocol Diagnosis Using Formal Methods Dominique Méry,Neeraj Kumar Singh Liu; Zhiming and Wassyng; Alan. Foundations of Health Informatics Engineering and Systems, 7151, Springer Berlin Heidelberg, pp.1-20, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. ⟨10.1007/978-3-642-32355-3_1⟩ Chapitre d'ouvrage hal-00762822v1
Wavelet Transform Analysis of the Power Spectrum of Centre of Pressure Signals to Detect the Critical Point Interval of Postural Control Neeraj Kumar Singh,Hichem Snoussi,David Hewson,Jacques Duchene Biomedical Engineering Systems and Technologies, pp.235-244, 2010, ⟨10.1007/978-3-642-11721-3_18⟩ Chapitre d'ouvrage hal-02366141v1

Rapport (6)

Modelling an Aircraft Landing System in Event-B (Full Report) Dominique Méry,Neeraj Kumar Singh [Research Report] 2014 Rapport (rapport de recherche) hal-00971787v1
Analysis of Self-* and P2P Systems using Reﬁnement (Full Report) Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh [Research Report] 2014 Rapport (rapport de recherche) hal-01018162v1
Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods Dominique Méry,Neeraj Kumar Singh [Technical Report] 2011 Rapport (rapport technique) inria-00584177v1
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 [Technical Report] 2011 Rapport (rapport technique) inria-00600339v1
Technical Report on Formal Development of Two-Electrode Cardiac Pacing System Dominique Méry,Neeraj Kumar Singh [Research Report] 2010 Rapport (rapport de recherche) inria-00465061v2
Pacemaker's Functional Behaviors in Event-B Dominique Méry,Neeraj Kumar Singh [Research Report] 2009 Rapport (rapport de recherche) inria-00419973v2

Thèse (1)

Reliability and Safety of Critical Device Software Systems Neeraj Kumar Singh Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10129⟩ Thèse tel-01746287v1

Autre publication scientifique (1)

EB2C : A Tool for Event-B to C Conversion Support Dominique Méry,Neeraj Kumar Singh 2010 Autre publication scientifique inria-00540006v1