default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNeeraj Kumar Singh 0001
Person information
- affiliation: University of Toulouse, Toulouse, France
Other persons with the same name
- Neeraj Kumar Singh — disambiguation page
- Neeraj Kumar Singh 0002
![[0000-0002-4797-860X]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-4797-860X")
— Panjab University, Chandigarh, India - Neeraj Kumar Singh 0003 — Sardar Vallabhbhai National Institute of Technology, Surat, Gujarat, India
- Neeraj Kumar Singh 0004 — Indian Institute of Technology Delhi, New Delhi, India
- Neeraj Kumar Singh 0005 — National Institute of Technology, Silchar, Assam, India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j13]Peter Rivière, Neeraj Kumar Singh, Yamine Aït-Ameur:
Reflexive Event-B: Semantics and Correctness the EB4EB Framework. IEEE Trans. Reliab. 73(2): 835-850 (2024)- [c56]Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur:
A Complete Fragment of LTL(EB). FoIKS 2024: 237-255 - [i2]Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur:
A Complete Fragment of LTL(EB). CoRR abs/2401.16838 (2024) - 2023
- [j12]Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque:
Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. 135: 102798 (2023) - [j11]Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel:
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. 35(7) (2023) - [c55]Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur, Guillaume Dupont:
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NFM 2023: 312-331 - [c54]Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont:
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ 2023: 193-211 - 2022
- [j10]Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel:
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Sci. Comput. Program. 216: 102765 (2022) - [c53]Ismaïl Mendil, Peter Riviere, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. APSEC 2022: 129-138 - [c52]Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur:
EB4EB: A Framework for Reflexive Event-B. ICECCS 2022: 71-80 - [c51]Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh:
Empowering the Event-B Method Using External Theories. IFM 2022: 18-35 - [c50]Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis:
Reachability Analysis and Simulation for Hybridised Event-B Models. IFM 2022: 109-128 - 2021
- [j9]Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque:
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interact. Comput. 33(1): 92-114 (2021) - [j8]Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng:
A formal approach to rigorous development of critical systems. J. Softw. Evol. Process. 33(4) (2021) - [j7]Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel:
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Trans. Embed. Comput. Syst. 20(4): 35:1-35:37 (2021) - [c49]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Event-B Refinement for Continuous Behaviours Approximation. ATVA 2021: 320-336 - [c48]Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh:
Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods 2021: 1-13 - [c47]Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Standard Conformance-by-Construction with Event-B. FMICS 2021: 126-146 - [c46]Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA 2021: 40-58 - 2020
- [j6]Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Julien Ordioni, Abderrahmane Feliachi:
Handling B models in the PERF integrated verification framework: Formalised and certified embedding. Sci. Comput. Program. 196: 102477 (2020) - [c45]Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque:
An Integrated Framework for the Formal Analysis of Critical Interactive Systems. APSEC 2020: 139-148 - [c44]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ 2020: 169-185 - [c43]Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel:
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM 2020: 251-267 - [c42]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. IFM 2020: 82-102
2010 – 2019
- 2019
- [j5]Neeraj Kumar Singh:
Detection of postural balance degradation using fuzzy neural network. Int. J. Bioinform. Res. Appl. 15(4): 371-394 (2019) - [c41]Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel:
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS 2019: 21-39 - [c40]Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky:
Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS 2019: 107-113 - [c39]Neeraj Kumar Singh, Hao Wang:
Virtual Environment Model of Glucose Homeostasis for Diabetes Patients. ICPS 2019: 417-422 - [c38]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. TASE 2019: 9-16 - [c37]Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni:
Certified Embedding of B Models in an Integrated Verification Framework. TASE 2019: 168-175 - [e1]Klaus-Dieter Schewe, Neeraj Kumar Singh:
Model and Data Engineering - 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings. Lecture Notes in Computer Science 11815, Springer 2019, ISBN 978-3-030-32064-5 [contents] - 2018
- [c36]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. ABZ 2018: 155-170 - [c35]Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin:
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ 2018: 425-430 - [c34]Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry:
Formal Ontology Driven Model Refactoring. ICECCS 2018: 136-145 - [c33]Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. MEDI Workshops 2018: 153-158 - [c32]Romain Geniet, Neeraj Kumar Singh:
Refinement Based Formal Development of Human-Machine Interface. STAF Workshops 2018: 240-256 - 2017
- [c31]Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Use of Tabular Expressions for Refinement Automation. MEDI 2017: 167-182 - [c30]Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït Ameur, Julien Ordioni:
B-PERFect - Applying the PERF Approach to B Based System Developments. RSSRail 2017: 160-172 - 2016
- [c29]Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel:
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. ABZ 2016: 290-296 - [c28]Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn:
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. ICECCS 2016: 43-52 - [c27]Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel:
A System Substitution Mechanism for Hybrid Systems in Event-B. ICFEM 2016: 106-121 - [c26]Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït Ameur:
Correct-by-Construction Evolution of Realisable Conversation Protocols. MEDI 2016: 260-273 - 2015
- [j4]Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum:
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? IEEE Des. Test 32(5): 45-55 (2015) - [c25]Dominique Méry, Neeraj Kumar Singh:
Analyzing Requirements Using Environment Modelling. HCI (17) 2015: 345-357 - [c24]Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Formalizing the Cardiac Pacemaker Resynchronization Therapy. HCI (17) 2015: 374-386 - [c23]Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng:
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. HCI (17) 2015: 387-398 - [c22]Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops 2015: 397-408 - [c21]Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng:
Stateflow to Tabular Expressions. SoICT 2015: 312-319 - 2014
- [j3]Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh:
Revisiting snapshot algorithms by refinement-based techniques. Comput. Sci. Inf. Syst. 11(1): 251-270 (2014) - [c20]Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh:
Analysis of Self-⋆ and P2P Systems Using Refinement. ABZ 2014: 117-123 - [c19]Dominique Méry, Neeraj Kumar Singh:
Modeling an Aircraft Landing System in Event-B. ABZ (Case Study) 2014: 154-159 - [c18]Dominique Méry, Neeraj Kumar Singh:
The Semantics of Refinement Chart. HCI (20) 2014: 415-426 - [c17]Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Formalizing the Glucose Homeostasis Mechanism. HCI (20) 2014: 460-471 - [c16]Dominique Méry, Neeraj Kumar Singh:
Formal evaluation of landing gear system. SoICT 2014: 75-84 - [i1]Dominique Méry, Neeraj Kumar Singh:
Modelling an Aircraft Landing System in Event-B (Full Report). CoRR abs/1407.0927 (2014) - 2013
- [b2]Neeraj Kumar Singh:
Using Event-B for Critical Device Software Systems. Springer 2013, ISBN 978-1-4471-5259-0, pp. I-XVIII, 1-326 - [j2]Dominique Méry, Neeraj Kumar Singh:
Formal Specification of Medical Systems by Proof-Based Refinement. ACM Trans. Embed. Comput. Syst. 12(1): 15:1-15:25 (2013) - [c15]Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael J. Butler:
A mixed approach to rigorous development of control designs. CACSD 2013: 7-12 - [c14]Dominique Méry, Neeraj Kumar Singh:
Ideal Mode Selection of a Cardiac Pacing System. HCI (22) 2013: 258-267 - [c13]Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh:
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. IFM 2013: 268-284 - 2012
- [c12]Dominique Méry, Neeraj Kumar Singh:
Closed-Loop Modeling of Cardiac Pacemaker and Heart. FHIES 2012: 151-166 - [c11]Neeraj Kumar Singh, Andy J. Wellings, Ana Cavalcanti:
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada. JTRES 2012: 62-71 - [c10]Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh:
Revisiting Snapshot Algorithms by Refinement-Based Techniques. PDCAT 2012: 343-349 - [c9]Dominique Méry, Neeraj Kumar Singh:
Critical systems development methodology using formal techniques. SoICT 2012: 3-12 - 2011
- [b1]Neeraj Kumar Singh:
Reliability and Safety of Critical Device Software Systems. (Fiabilité et sûreté des systèmes informatiques critiques). Henri Poincaré University, Nancy, France, 2011 - [j1]Dominique Méry, Neeraj Kumar Singh:
A generic framework: from modeling to code. Innov. Syst. Softw. Eng. 7(4): 227-235 (2011) - [c8]Dominique Méry, Neeraj Kumar Singh:
Medical Protocol Diagnosis Using Formal Methods. FHIES 2011: 1-20 - [c7]Dominique Méry, Neeraj Kumar Singh:
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. FHIES 2011: 140-159 - [c6]Dominique Méry, Neeraj Kumar Singh:
Automatic code generation from event-B models. SoICT 2011: 179-188 - [c5]Dominique Méry, Neeraj Kumar Singh:
Analysis of DSR Protocol in Event-B. SSS 2011: 401-415 - 2010
- [c4]Dominique Méry, Neeraj Kumar Singh:
Real-Time Animation for Formal Specification. CSDM 2010: 49-60 - [c3]Dominique Méry, Neeraj Kumar Singh:
Trustable Formal Specification for Software Certification. ISoLA (2) 2010: 312-326
2000 – 2009
- 2009
- [c2]Neeraj Kumar Singh, Hichem Snoussi, David J. Hewson, Jacques Duchêne:
Detection of the Critical Point Interval of Postural Control Strategy using Wavelet Transform Analysis. BIOSIGNALS 2009: 101-106 - [c1]Neeraj Kumar Singh, Hichem Snoussi, David J. Hewson, Jacques Duchêne:
Wavelet Transform Analysis of the Power Spectrum of Centre of Pressure Signals to Detect the Critical Point Interval of Postural Control. BIOSTEC (Selected Papers) 2009: 235-244
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
