Neeraj Kumar Singh

Orcid: 0000-0002-1124-0179

Affiliations:
  • University of Toulouse, Toulouse, France


According to our database1, Neeraj Kumar Singh authored at least 71 papers between 2009 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Reflexive Event-B: Semantics and Correctness the EB4EB Framework.
IEEE Trans. Reliab., June, 2024

A Complete Fragment of LTL(EB).
Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.
J. Softw. Evol. Process., July, 2023

Formal domain-driven system development in Event-B: Application to interactive critical systems.
J. Syst. Archit., February, 2023

Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory.
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B.
Sci. Comput. Program., 2022

Empowering the Event-B Method Using External Theories.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

Reachability Analysis and Simulation for Hybridised Event-B Models.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

EB4EB: A Framework for Reflexive Event-B.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems.
ACM Trans. Embed. Comput. Syst., 2021

A formal approach to rigorous development of critical systems.
J. Softw. Evol. Process., 2021

On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications.
Interact. Comput., 2021

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Standard Conformance-by-Construction with Event-B.
Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Towards Leveraging Domain Knowledge in State-Based Formal Methods.
Proceedings of the Logic, Computation and Rigorous Methods, 2021

Event-B Refinement for Continuous Behaviours Approximation.
Proceedings of the Automated Technology for Verification and Analysis, 2021

2020
Handling B models in the PERF integrated verification framework: Formalised and certified embedding.
Sci. Comput. Program., 2020

An Event-B Based Generic Framework for Hybrid Systems Formal Modelling.
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.
Proceedings of the Formal Methods and Software Engineering, 2020

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

An Integrated Framework for the Formal Analysis of Critical Interactive Systems.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019
Detection of postural balance degradation using fuzzy neural network.
Int. J. Bioinform. Res. Appl., 2019

Certified Embedding of B Models in an Integrated Verification Framework.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Virtual Environment Model of Glucose Homeostasis for Diabetes Patients.
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

Modelling Hybrid Train Speed Controller using Proof and Refinement.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2018
Refinement Based Formal Development of Human-Machine Interface.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist.
Proceedings of the New Trends in Model and Data Engineering, 2018

Formal Ontology Driven Model Refactoring.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
B-PERFect - Applying the PERF Approach to B Based System Developments.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Use of Tabular Expressions for Refinement Automation.
Proceedings of the Model and Data Engineering - 7th International Conference, 2017

2016
Correct-by-Construction Evolution of Realisable Conversation Protocols.
Proceedings of the Model and Data Engineering - 6th International Conference, 2016

A System Substitution Mechanism for Hybrid Systems in Event-B.
Proceedings of the Formal Methods and Software Engineering, 2016

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?
IEEE Des. Test, 2015

Stateflow to Tabular Expressions.
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

Is Current Incremental Safety Assurance Sound?
Proceedings of the Computer Safety, Reliability, and Security, 2015

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

Formalizing the Cardiac Pacemaker Resynchronization Therapy.
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

Analyzing Requirements Using Environment Modelling.
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

2014
Modelling an Aircraft Landing System in Event-B (Full Report).
CoRR, 2014

Revisiting snapshot algorithms by refinement-based techniques.
Comput. Sci. Inf. Syst., 2014

Formal evaluation of landing gear system.
Proceedings of the Fifth Symposium on Information and Communication Technology, 2014

Formalizing the Glucose Homeostasis Mechanism.
Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014

The Semantics of Refinement Chart.
Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014

Modeling an Aircraft Landing System in Event-B.
Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

Analysis of Self-⋆ and P2P Systems Using Refinement.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013
Formal Specification of Medical Systems by Proof-Based Refinement.
ACM Trans. Embed. Comput. Syst., 2013

Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Ideal Mode Selection of a Cardiac Pacing System.
Proceedings of the Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport, 2013

A mixed approach to rigorous development of control designs.
Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

Using Event-B for Critical Device Software Systems.
Springer, ISBN: 978-1-4471-5259-0, 2013

2012
Critical systems development methodology using formal techniques.
Proceedings of the Symposium on Information and Communication Technology 2012, 2012

The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada.
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

Closed-Loop Modeling of Cardiac Pacemaker and Heart.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012

2011
Reliability and Safety of Critical Device Software Systems. (Fiabilité et sûreté des systèmes informatiques critiques).
PhD thesis, 2011

A generic framework: from modeling to code.
Innov. Syst. Softw. Eng., 2011

Analysis of DSR Protocol in Event-B.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Automatic code generation from event-B models.
Proceedings of the 2011 Symposium on Information and Communication Technology, 2011

Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

Medical Protocol Diagnosis Using Formal Methods.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2010
Trustable Formal Specification for Software Certification.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Real-Time Animation for Formal Specification.
Proceedings of the Complex Systems Design & Management, 2010

2009
Wavelet Transform Analysis of the Power Spectrum of Centre of Pressure Signals to Detect the Critical Point Interval of Postural Control.
Proceedings of the Biomedical Engineering Systems and Technologies, 2009

Detection of the Critical Point Interval of Postural Control Strategy using Wavelet Transform Analysis.
Proceedings of the BIOSIGNALS 2009, 2009


  Loading...