Neeraj Kumar Singh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
19
Active years
2007–2025
Best venue rank
National
Where they publish
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCNN | DLBacktrace: Model Agnostic Explainability for any Deep Learning Model. | Vinay Kumar Sankarapu, Chintan Chitroda, Yashwardhan Rathore, Neeraj Kumar Singh, Pratinav Seth |
| 2025 | MICCAI | Interpretability-Aware Pruning for Efficient Medical Image Analysis. | Nikita Malik, Pratinav Seth, Neeraj Kumar Singh, Chintan Chitroda, Vinay Kumar Sankarapu |
| 2025 | VECoS | Correct-by-Construction Code Generation from Event-B to Python. | Neeraj Kumar Singh |
| 2024 | ICFEM | On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. | Peter Rivire, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine At Ameur, Guillaume Dupont |
| 2022 | APSEC | Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. | Ismal Mendil, Peter Riviere, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2022 | ICECCS | EB4EB: A Framework for Reflexive Event-B. | Peter Riviere, Neeraj Kumar Singh, Yamine At Ameur |
| 2022 | IFM | Reachability Analysis and Simulation for Hybridised Event-B Models. | Yamine At Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis |
| 2022 | IFM | Empowering the Event-B Method Using External Theories. | Yamine At Ameur, Guillaume Dupont, Ismal Mendil, Dominique Mry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh |
| 2021 | ATVA | Event-B Refinement for Continuous Behaviours Approximation. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2021 | FMICS | Standard Conformance-by-Construction with Event-B. | Ismal Mendil, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2021 | SETTA | Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. | Ismal Mendil, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2020 | APSEC | An Integrated Framework for the Formal Analysis of Critical Interactive Systems. | Ismal Mendil, Neeraj Kumar Singh, Yamine At Ameur, Dominique Mry, Philippe A. Palanque |
| 2020 | ICFEM | Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. | Guillaume Dupont, Yamine At Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel |
| 2020 | IFM | An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2019 | ICECCS | Modelling Hybrid Train Speed Controller using Proof and Refinement. | Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine At Ameur, Alexei Iliasov, Alexander B. Romanovsky |
| 2019 | TASE | Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2019 | TASE | Certified Embedding of B Models in an Integrated Verification Framework. | Alexandra Halchin, Yamine At Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni |
| 2018 | ICECCS | Formal Ontology Driven Model Refactoring. | Neeraj Kumar Singh, Yamine At Ameur, Dominique Mry |
| 2018 | MEDI | Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2018 | VLSID | Exploration of Loop Unroll Factors in High Level Synthesis. | Preeti Ranjan Panda, Namita Sharma, Srikanth Kurra, Khushboo Anil Bhartia, Neeraj Kumar Singh |
| 2017 | MEDI | Use of Tabular Expressions for Refinement Automation. | Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2016 | ICECCS | Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. | Neeraj Kumar Singh, Yamine At Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn |
| 2016 | ICFEM | A System Substitution Mechanism for Hybrid Systems in Event-B. | Guillaume Babin, Yamine At Ameur, Neeraj Kumar Singh, Marc Pantel |
| 2016 | MEDI | Correct-by-Construction Evolution of Realisable Conversation Protocols. | Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine At Ameur |
| 2015 | HCI | Analyzing Requirements Using Environment Modelling. | Dominique Mry, Neeraj Kumar Singh |
| 2015 | HCI | Formalizing the Cardiac Pacemaker Resynchronization Therapy. | Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2015 | HCI | Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. | Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng |
| 2015 | SAFECOMP | Is Current Incremental Safety Assurance Sound? | Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2014 | HCI | The Semantics of Refinement Chart. | Dominique Mry, Neeraj Kumar Singh |
| 2014 | HCI | Formalizing the Glucose Homeostasis Mechanism. | Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2013 | HCI | Ideal Mode Selection of a Cardiac Pacing System. | Dominique Mry, Neeraj Kumar Singh |
| 2013 | IFM | Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. | Manamiary Bruno Andriamiarina, Dominique Mry, Neeraj Kumar Singh |
| 2012 | PDCAT | Revisiting Snapshot Algorithms by Refinement-Based Techniques. | Manamiary Bruno Andriamiarina, Dominique Mry, Neeraj Kumar Singh |
| 2011 | SSS | Analysis of DSR Protocol in Event-B. | Dominique Mry, Neeraj Kumar Singh |
| 2010 | ISoLA | Trustable Formal Specification for Software Certification. | Dominique Mry, Neeraj Kumar Singh |
| 2007 | DATE | The impact of loop unrolling on controller delay in high level synthesis. | Srikanth Kurra, Neeraj Kumar Singh, Preeti Ranjan Panda |