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: 9.

Conference or Workshop Item

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).

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).

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 Thu Nov 14 13:12:38 2019 CET.