Neeraj Kumar Singh
Neeraj Kumar Singh
INPT-ENSEEIHT/IRIT, University of Toulouse, Toulouse
Verified email at - Homepage
Cited by
Cited by
Automatic code generation from Event-B models
D Méry, NK Singh
Proceedings of the 2nd Symposium on Information and Communication Technology …, 2011
Classification of elderly as fallers and non-fallers using centre of pressure velocity
DJ Hewson, NK Singh, H Snoussi, J Duchene
2010 Annual International Conference of the IEEE Engineering in Medicine and …, 2010
Using Event-B for Critical Device Software Systems
NK Singh
Springer Science & Business Media, 2013
Formal specification of medical systems by proof-based refinement
D Méry, NK Singh
ACM Transactions on Embedded Computing Systems (TECS) 12 (1), 1-25, 2013
Trustable formal specification for software certification
D Méry, NK Singh
International Symposium On Leveraging Applications of Formal Methods …, 2010
Pacemaker's functional behaviors in event-b
D Méry, NK Singh
Can product-specific assurance case templates be used as medical device standards?
A Wassyng, NK Singh, M Geven, N Proscia, H Wang, M Lawford, ...
IEEE Design & Test 32 (5), 45-55, 2015
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada
NK Singh, A Wellings, A Cavalcanti
Proceedings of the 10th international workshop on Java technologies for real …, 2012
Proof-based approach to hybrid systems development: dynamic logic and Event-B
G Dupont, Y Aït-Ameur, M Pantel, NK Singh
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
Revisiting snapshot algorithms by refinement-based techniques
MB Andriamiarina, D Méry, NK Singh
2012 13th International Conference on Parallel and Distributed Computing …, 2012
Functional behavior of a cardiac pacing system
D Méry, NK Singh
International Journal of Discrete Event Control Systems 1 (2), 129-149, 2011
Real-time animation for formal specification
D Méry, NK Singh
Complex Systems Design & Management: Proceedings of the First International …, 2010
Formalization of heart models based on the conduction of electrical impulses and cellular automata
D Méry, NK Singh
Foundations of Health Informatics Engineering and Systems: First …, 2012
Medical protocol diagnosis using formal methods
D Méry, NK Singh
Foundations of Health Informatics Engineering and Systems: First …, 2012
Analysis of DSR protocol in Event-B
D Méry, NK Singh
Stabilization, Safety, and Security of Distributed Systems: 13th …, 2011
Event-B hybridation: a proof and refinement-based framework for modelling hybrid systems
G Dupont, Y Ait-Ameur, NK Singh, M Pantel
ACM Transactions on Embedded Computing Systems (TECS) 20 (4), 1-37, 2021
Closed-loop modeling of cardiac pacemaker and heart
D Méry, NK Singh
Foundations of Health Information Engineering and Systems: Second …, 2013
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B
G Dupont, Y Ait-Ameur, NK Singh, M Pantel
Science of Computer Programming 216, 102765, 2022
Stepwise formal modeling and verification of self-adaptive systems with Event-B. The automatic rover protection case study
NK Singh, Y Aït-Ameur, M Pantel, A Dieumegard, E Jenn
2016 21st International Conference on Engineering of Complex Computer …, 2016
Technical report on formal development of two-electrode cardiac pacing system
D Méry, NK Singh
The system can't perform the operation now. Try again later.
Articles 1–20