
Neeraj Kumar Singh
86
Documents
Publications
Publications
|
A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B2025
Pré-publication, Document de travail
hal-05081879
v1
|
|
Rigorous Safety-Critical Cyber-Physical Systems Development using Formal MethodsComputer Science [cs]. Toulouse INP, 2024
HDR
tel-04695651
v1
|
Generating Simulink Models from Hybridised Event-B Models1st 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
|
|
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours29th 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
|
|
Proof automation for Event-B theories10th Rodin User and Developer Workshop (Rodin 2023), May 2023, Nancy, France
Communication dans un congrès
hal-04308810
v1
|
|
Formalising Liveness Properties in Event-B with the Reflexive EB4EB FrameworkNASA 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
|
|
Standalone Event-B models analysis relying on the EB4EB meta-theory9th 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
|
|
EB4EB: A Framework for Reflexive Event-B26th 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 Approximation19th 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
|
|
|
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models7th 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
|
|
Data-types definitions: Use of Theory and Context instantiations Plugins9th 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
|
|
Standard Conformance-by-Construction with Event-BFMICS 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
|
|
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling16th 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-B7th 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
|
|
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 6617th 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 Refinement22nd 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 SystemsThe 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Communication dans un congrès
hal-02999148
v1
|
|
|
Virtual environment model of glucose homeostasis for diabetes patients2019 IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), May 2019, Taipei, Taiwan. pp.417-422
Communication dans un congrès
hal-02421634
v1
|
|
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B13th 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 Refinement24th 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
|
|
Certified embedding of B models in an integrated verification framework2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Jul 2019, Guilin, China. pp.168-175
Communication dans un congrès
hal-02421919
v1
|
|
Formal Ontology Driven Model Refactoring2018 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
|
|
Refinement Based Formal Development of Human-Machine Interface7th 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 AssistMEDI 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
|
|
|
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B6th 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
|
|
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B6th 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
|
|
Use of Tabular Expressions for Refinement AutomationMEDI 2017 - Model and Data Engineering - 7th International Conference, Oct 2017, Barcelona, Spain. pp.167-182
Communication dans un congrès
hal-02353273
v1
|
|
B-PERFect - Applying the PERF Approach to B Based System DevelopmentsInternational 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
|
|
Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study21th 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
|
|
Correct-by-Construction Evolution of Realisable Conversation ProtocolsMEDI 2016 - Model and Data Engineering - 6th International Conference, Sep 2016, Almería, Spain. pp.260-273
Communication dans un congrès
hal-02353832
v1
|
|
A System Substitution Mechanism for Hybrid Systems in Event-BInternational 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
|
|
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B DevelopmentABZ 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
|
|
Formalizing the Cardiac Pacemaker Resynchronization TherapyDigital 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
|
|
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump RequirementsDigital 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
|
|
Analyzing Requirements Using Environment ModellingDHM 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
|
|
Is current incremental safety assurance sound ?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 SystemSoICT 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-BABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159
Communication dans un congrès
hal-00985010
v1
|
|
|
The Semantics of Refinement ChartHCI 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 RefinementABZ 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 designs2013 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 System4th 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 AlgorithmsiFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland
Communication dans un congrès
hal-00819256
v1
|
|
|
Revisiting Snapshot Algorithms by Refinement-based TechniquesPDCAT 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 techniques3rd 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 PacemakerInternational 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-B13th 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 MethodsInternational 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 JavaSBMF - 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-AutomataInternational 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 ModelsSoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam
Communication dans un congrès
inria-00637765
v1
|
|
|
Real-Time Animation for Formal SpecificationComplex 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 Certification4th 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 velocity2010 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 analysis2nd International Conference on Bio-Inspired Systems and Signal Processing (Biosignals 2009), Jan 2009, Porto, Portugal
Communication dans un congrès
hal-02870468
v1
|
|
Formal Verification and Code Generation for Solidity Smart ContractsRajiv 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 TheoriesIntegrated 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 ProtocolsImplicit 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 MethodsRaschke, 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 SystemsTrustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
Chapitre d'ouvrage
hal-01246669
v1
|
|
Event B (english version)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 BJean-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 MethodsLiu; 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 AutomataLiu; 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 ControlBiomedical Engineering Systems and Technologies, pp.235-244, 2010, ⟨10.1007/978-3-642-11721-3_18⟩
Chapitre d'ouvrage
hal-02366141
v1
|
|
Analysis of Self-* and P2P Systems using Refinement (Full Report)[Research Report] 2014
Rapport
(rapport de recherche)
hal-01018162
v1
|
|
Modelling an Aircraft Landing System in Event-B (Full Report)[Research Report] 2014
Rapport
(rapport de recherche)
hal-00971787
v1
|
|
Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods[Technical Report] 2011
Rapport
(rapport technique)
inria-00584177
v1
|
|
Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata[Technical Report] 2011
Rapport
(rapport technique)
inria-00600339
v1
|
|
Technical Report on Formal Development of Two-Electrode Cardiac Pacing System[Research Report] 2010
Rapport
(rapport de recherche)
inria-00465061
v2
|
|
Pacemaker's Functional Behaviors in Event-B[Research Report] 2009
Rapport
(rapport de recherche)
inria-00419973
v2
|
|
Reliability and Safety of Critical Device Software SystemsOther [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10129⟩
Thèse
tel-01746287
v1
|
|
EB2C : A Tool for Event-B to C Conversion Support2010
Autre publication scientifique
inria-00540006
v1
|
Chargement...
Chargement...