Neeraj Kumar Singh
Orcid: 0000-0002-1124-0179Affiliations:
- University of Toulouse, Toulouse, France
According to our database1,
Neeraj Kumar Singh
authored at least 70 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
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
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
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
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
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
J. Softw. Evol. Process., 2021
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications.
Interact. Comput., 2021
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021
Proceedings of the Formal Methods for Industrial Critical Systems, 2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
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
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
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Int. J. Bioinform. Res. Appl., 2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019
2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the New Trends in Model and Data Engineering, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
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
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Proceedings of the Model and Data Engineering - 7th International Conference, 2017
2016
Proceedings of the Model and Data Engineering - 6th International Conference, 2016
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
IEEE Des. Test, 2015
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015
2014
Comput. Sci. Inf. Syst., 2014
Proceedings of the Fifth Symposium on Information and Communication Technology, 2014
Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014
Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014
Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
2013
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
Proceedings of the Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport, 2013
Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013
Springer, ISBN: 978-1-4471-5259-0, 2013
2012
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
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
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011
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
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011
2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
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