| Automatic code generation from Event-B models D Méry, NK Singh Proceedings of the 2nd Symposium on Information and Communication Technology …, 2011 | 150 | 2011 |
| Near-field communication (NFC): an alternative to RFID in libraries NK Singh Information technology and libraries 39 (2), 2020 | 62 | 2020 |
| 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 | 58 | 2010 |
| Using Event-B for Critical Device Software Systems NK Singh Springer Science & Business Media, 2013 | 54 | 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 | 50 | 2013 |
| Trustable formal specification for software certification D Méry, NK Singh International Symposium On Leveraging Applications of Formal Methods …, 2010 | 45 | 2010 |
| 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 | 44 | 2015 |
| Revisiting snapshot algorithms by refinement-based techniques MB Andriamiarina, D Méry, NK Singh 2012 13th International Conference on Parallel and Distributed Computing …, 2012 | 37 | 2012 |
| Proof-based approach to hybrid systems development: dynamic logic and Event-B G Dupont, Y Aït-Ameur, M Pantel, NK Singh International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018 | 36 | 2018 |
| Pacemaker's functional behaviors in Event-B D Méry, NK Singh | 36 | 2009 |
| 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 | 35 | 2012 |
| 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 | 34 | 2021 |
| Functional behavior of a cardiac pacing system D Méry, NK Singh International Journal of Discrete Event Control Systems (IJDECS), 2010 | 33 | 2010 |
| Medical protocol diagnosis using formal methods D Méry, NK Singh International Symposium on Foundations of Health Informatics Engineering and …, 2011 | 32 | 2011 |
| Real-time animation for formal specification D Méry, NK Singh Complex Systems Design & Management: Proceedings of the First International …, 2010 | 30 | 2010 |
| Analysis of DSR protocol in Event-B D Méry, NK Singh Stabilization, Safety, and Security of Distributed Systems: 13th …, 2011 | 28 | 2011 |
| Formalization of heart models based on the conduction of electrical impulses and cellular automata D Méry, NK Singh International Symposium on Foundations of Health Informatics Engineering and …, 2011 | 27 | 2011 |
| EB4EB: A framework for reflexive Event-B P Riviere, NK Singh, Y Aït-Ameur 2022 26th International Conference on Engineering of Complex Computer …, 2022 | 26 | 2022 |
| Formalising liveness properties in Event-B with the reflexive EB4EB framework P Riviere, NK Singh, Y Aït-Ameur, G Dupont NASA Formal Methods Symposium, 312-331, 2023 | 21 | 2023 |
| A study on heterosis in tomato (Solanum lycopersicum L.) for yield and its component traits P Kumar, N Singh, PK Singh International Journal of Current Microbiology and Applied Sciences 6 (7 …, 2017 | 21 | 2017 |
Dominique MéryProfessor of Computer Science, University of LorraineVerified email at univ-lorraine.fr
