OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Singh, Neeraj Kumar"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 15.

Conference or Workshop Item

Halchin, Alexandra and Aït-Ameur, Yamine and Singh, Neeraj Kumar and Feliachi, Abderrahmane and Ordioni, Julien. Certified embedding of B models in an integrated verification framework. (2019) In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 29 July 2019 - 31 July 2019 (Guilin, China).

Singh, Neeraj Kumar and Wang, Hao. Virtual environment model of glucose homeostasis for diabetes patients. (2019) In: 2019 IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), 6 May 2019 - 9 May 2019 (Taipei, Taiwan, Province Of China).

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Mèry, Dominique. Formal Ontology Driven Model Refactoring. (2018) In: 23rd IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2018), 12 December 2018 - 14 December 2018 (Melbourne, Australia).

Geniet, Romain and Singh, Neeraj Kumar. Refinement Based Formal Development of Human-Machine Interface. (2018) In: 7th International Workshop on Formal Methods for Interactive Systems (FMIS), 25 June 2018 (Toulouse, France).

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Mery, Dominique. Formal Ontology Driven Model Refactoring. (2018) In: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 12 December 2018 - 14 December 2018 (Melbourne, Australia).

Dupont, Guillaume and Aït-Ameur, Yamine and Pantel, Marc and Singh, Neeraj Kumar. Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. (2018) In: International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), 5 June 2018 - 8 June 2018 (Southampton, United Kingdom).

Halchin, Alexandra and Feliachi, Abderrahmane and Singh, Neeraj Kumar and Aït-Ameur, Yamine and Ordioni, Julien. B-PERFect - Applying the PERF Approach to B Based System Developments. (2017) In: International Conference Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2017), 14 November 2017 - 16 November 2017 (Pristoia, Italy).

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Pantel, Marc and Dieumegard, Arnaud and Jenn, Eric. Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study. (2017) In: ICECCS 2016 (21th International Conference on Engineering of Complex Computer Systems), 6 November 2016 - 8 November 2016 (Dubaï, United Arab Emirates).

Singh, Neeraj Kumar and Lawford, Mark and Maibaum, Thomas S. E. and Wassyng, Alan. Use of Tabular Expressions for Refinement Automation. (2017) In: MEDI 2017 - Model and Data Engineering - 7th International Conference, 4 October 2017 - 6 October 2017 (Barcelona, Spain).

Benyagoub, Sarah and Ouederni, Meriem and Singh, Neeraj Kumar and Aït-Ameur, Yamine. Correct-by-Construction Evolution of Realisable Conversation Protocols. (2016) In: MEDI 2016 - Model and Data Engineering - 6th International Conference, 21 September 2016 - 23 September 2016 (Almería, Spain).

Benyagoub, Sarah and Ouederni, Meriem and Singh, Neeraj Kumar and Aït-Ameur, Yamine. Correct-by-Construction Evolution of Realisable Conversation Protocols. (2016) In: International Conference on Model and Data Engineering (MEDI 2016), 21 September 2016 - 23 September 2016 (Almeria, Spain).

Mery, Dominique and Singh, Neeraj Kumar. Analyzing Requirements Using Environment Modelling. (2015) In: Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference (DHM 2015), 2 August 2015 - 7 August 2015 (Los Angeles, United States).

Singh, Neeraj Kumar and Lawford, Mark and Maibaum, Thomas S. E. and Wassyng, Alan. Formalizing the Cardiac Pacemaker Resynchronization Therapy. (2015) In: Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference (DHM 2015), 2 August 2015 - 7 August 2015 (Los Angeles, United States).

Cassano, Valentin and Grigorova, Silviya and Singh, Neeraj Kumar and Adedjouma, Morayo and Lawford, Mark and Maibaum, Thomas S. E. and Wassyng, Alan. Is current incremental safety assurance sound ? (2015) In: Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, 22 September 2015 (Delft, Netherlands).

Singh, Neeraj Kumar and Wang, Hao and Lawford, Mark and Maibaum, Thomas S. E. and Wassyng, Alan. Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. (2015) In: Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference (DHM 2015), 2 August 2015 - 7 August 2015 (Los Angeles, United States).

This list was generated on Sat May 30 08:57:45 2020 CEST.