Følg
Neeraj Kumar Singh
Neeraj Kumar Singh
INPT-ENSEEIHT/IRIT, University of Toulouse, Toulouse
Verifisert e-postadresse på enseeiht.fr - Startside
Tittel
Sitert av
Sitert av
År
Automatic code generation from Event-B models
D Méry, NK Singh
Proceedings of the 2nd Symposium on Information and Communication Technology …, 2011
1392011
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
562010
Using Event-B for Critical Device Software Systems
NK Singh
Springer Science & Business Media, 2013
542013
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
482013
Trustable formal specification for software certification
D Méry, NK Singh
International Symposium On Leveraging Applications of Formal Methods …, 2010
432010
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
402015
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
382018
Pacemaker's functional behaviors in event-b
D Méry, NK Singh
362009
Revisiting snapshot algorithms by refinement-based techniques
MB Andriamiarina, D Méry, NK Singh
2012 13th International Conference on Parallel and Distributed Computing …, 2012
352012
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
342012
Medical protocol diagnosis using formal methods
D Méry, NK Singh
Foundations of Health Informatics Engineering and Systems: First …, 2012
312012
Functional behavior of a cardiac pacing system
D Méry, NK Singh
International Journal of Discrete Event Control Systems 1 (2), 129-149, 2011
312011
Real-time animation for formal specification
D Méry, NK Singh
Complex Systems Design & Management: Proceedings of the First International …, 2010
292010
Analysis of DSR protocol in Event-B
D Méry, NK Singh
Stabilization, Safety, and Security of Distributed Systems: 13th …, 2011
282011
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
262021
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
252012
New standards for trustworthy cyber-physical systems
A Wassyng, P Joannou, M Lawford, T Maibaum, NK Singh
Trustworthy Cyber-Physical Systems Engineering, 337-368, 2016
202016
Handling refinement of continuous behaviors: a proof based approach with event-B
G Dupont, Y Aït-Ameur, M Pantel, NK Singh
2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019
192019
Formally verified architecture patterns of hybrid systems using proof and refinement with Event-B
G Dupont, Y Aït-Ameur, M Pantel, NK Singh
International Conference on Rigorous State-Based Methods, 169-185, 2020
182020
Closed-loop modeling of cardiac pacemaker and heart
D Méry, NK Singh
Foundations of Health Information Engineering and Systems: Second …, 2013
182013
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20