Neeraj Kumar Singh

86
Documents

Publications

Publications

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), 15393, Shaoying Liu, pp.X, 289, 2024, 978-981-96-1620-6
Proceedings/Recueil des communications hal-04853615 v1
Image document

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éry et 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-04095980 v1
Image document

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-04308810 v1
Image document

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-04046949 v1
Image document

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-04049910 v1
Image document

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-03540955 v2

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-03385081 v1
Image document

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-03857803 v2
Image document

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-03487183 v1
Image document

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-03487118 v2
Image document

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-03265788 v1

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-03266062 v1
Image document

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

Neeraj Kumar Singh , Yamine Aït-Ameur , Dominique Méry , David Navarre , Philippe Palanque et 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-02942767 v1

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 Kobayashi et 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-03266056 v1

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-02999148 v1
Image document

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-02421634 v1
Image document

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-03012569 v1

Modelling Hybrid Train Speed Controller using Proof and Refinement

Paulius Stankaitis , Guillaume Dupont , Neeraj Kumar Singh , Yamine Aït-Ameur , Alexei Iliasov et 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-03265768 v1
Image document

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-02421919 v1
Image document

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-02353400 v1
Image document

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-02353335 v1

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-02983162 v1
Image document

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-02450998 v1
Image document

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 Hacid et 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-01797538 v1
Image document

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-02353273 v1
Image document

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-02451007 v1
Image document

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-01782961 v1
Image document

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-02353832 v1
Image document

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-03172256 v1
Image document

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-03155064 v1
Image document

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-02354040 v1
Image document

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-02354182 v1
Image document

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-02354252 v1
Image document

Is current incremental safety assurance sound ?

Valentin Cassano , Silviya Grigorova , Neeraj Kumar Singh , Morayo Adedjouma , Mark Lawford et 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-02354197 v1

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-01097645 v1

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-00985010 v1

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-00995176 v1

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-01018125 v1

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-03617696 v1

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 hal-00862077 v1

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-00819256 v1
Image document

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-00734131 v1

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-00747305 v1

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-00638486 v1

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-00637768 v1

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-00638478 v1

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-00638467 v1

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-00638473 v1

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-00637765 v1
Image document

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-00540005 v1

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-00540008 v1

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-02304399 v1

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-02870468 v1

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 Navarre et al.
Journal of Software: Evolution and Process, In press, 35 (7), pp.e2439. ⟨10.1002/smr.2439⟩
Article dans une revue hal-03617603 v1

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éry et al.
Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Article dans une revue hal-03904803 v1
Image document

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-03513847 v1
Image document

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-03836811 v1
Image document

The β-Secretase BACE1 in Alzheimer’s Disease

Harald Hampel , Robert Vassar , Bart de Strooper , John Hardy , Michael Willem et al.
Biological Psychiatry, 2021, 89 (8), pp.745-756. ⟨10.1016/j.biopsych.2020.02.001⟩
Article dans une revue hal-03197728 v1

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-03617647 v1

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-03224780 v1

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-03266069 v1

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-03617652 v1

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-00924525 v1

Formal Specification of Medical Systems by Proof-Based Refinement

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-00637756 v1

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-00637761 v1

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-00540007 v1
Image document

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-04019340 v1

Empowering the Event-B Method Using External Theories

Yamine Aït-Ameur , Ismail Mendil , Guillaume Dupont , Dominique Méry , Marc Pantel et 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-03904799 v1

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-03199742 v1

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-03250787 v1

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-01246669 v1

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-01216779 v1

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-00926335 v1

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-00762822 v1

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-00762821 v1

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-02366141 v1