Neeraj Kumar Singh
Publications
Publications
|
|
A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B2025 |
|
|
Rigorous Safety-Critical Cyber-Physical Systems Development using Formal MethodsComputer Science [cs]. Toulouse INP, 2024 |
Generating Simulink Models from Hybridised Event-B Models1st 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 |
|
|
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⟩ |
|
|
Proof automation for Event-B theories10th Rodin User and Developer Workshop (Rodin 2023), May 2023, Nancy, France |
|
|
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 |
|
|
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 |
|
|
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⟩ |
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⟩ |
|
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
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 |
|
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
Refinement Based Formal Development of Human-Machine Interface7th International Workshop on Formal Methods for Interactive Systems (FMIS), Jun 2018, Toulouse, France. pp.240-256 |
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⟩ |
|
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
Use of Tabular Expressions for Refinement AutomationMEDI 2017 - Model and Data Engineering - 7th International Conference, Oct 2017, Barcelona, Spain. pp.167-182 |
|
|
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 |
|
|
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⟩ |
|
|
Correct-by-Construction Evolution of Realisable Conversation ProtocolsMEDI 2016 - Model and Data Engineering - 6th International Conference, Sep 2016, Almería, Spain. pp.260-273 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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 |
|
|
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⟩ |
|
|
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 |
Modeling an Aircraft Landing System in Event-BABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159 |
|
Formal Evaluation of Landing Gear SystemSoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam |
|
The Semantics of Refinement ChartHCI International, Jun 2014, Heraklion, Greece. pp.415-426, ⟨10.1007/978-3-319-07725-3_42⟩ |
|
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
Integrating Proved State-Based Models for Constructing Correct Distributed AlgorithmsiFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland |
|
|
|
Revisiting Snapshot Algorithms by Refinement-based TechniquesPDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China |
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⟩ |
|
Formal Development and Automatic Code Generation : Cardiac PacemakerInternational Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China |
|
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 |
|
Medical Protocol Diagnosis using Formal MethodsInternational Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa |
|
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 |
|
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 |
|
Automatic Code Generation from Event-B ModelsSoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam |
|
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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 |
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
Incremental Proof-Based Development for Resilient Distributed SystemsTrustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering |
|
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⟩ |
|
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 |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
|
Analysis of Self-* and P2P Systems using Refinement (Full Report)[Research Report] 2014 |
|
|
Modelling an Aircraft Landing System in Event-B (Full Report)[Research Report] 2014 |
|
|
Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata[Technical Report] 2011 |
|
|
Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods[Technical Report] 2011 |
|
|
Technical Report on Formal Development of Two-Electrode Cardiac Pacing System[Research Report] 2010 |
|
|
Pacemaker's Functional Behaviors in Event-B[Research Report] 2009 |
|
|
Reliability and Safety of Critical Device Software SystemsOther [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10129⟩ |
|
|
EB2C : A Tool for Event-B to C Conversion Support2010 |