hal-01097645v1  Communication dans un congrès
Dominique Méry, Neeraj Kumar Singh. Formal Evaluation of Landing Gear System
Ngo Hong Son; Yves Deville; Marc Bui. SoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam. ACM, 2014, SoICT 2014 fifth symposium on Information and Communication Technology

hal-00747305v1  Communication dans un congrès
Dominique Méry, Neeraj Kumar Singh. Critical systems development methodology using formal techniques
3rd International Symposium on Information and Communication Technology - SoICT 2012, Aug 2012, Ha Long, Vietnam. ACM, pp.3-12, 2012, SoICT '12 - Proceedings of the Third Symposium on Information and Communication Technology. <10.1145/2350716.2350720>

hal-00762821v1  Chapitre d'ouvrage
Dominique Méry, Neeraj Kumar Singh. Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata
Liu, Zhiming and Wassyng, Alan. Foundations of Health Informatics Engineering and Systems}, 7151, Springer Berlin Heidelberg, pp.140-159, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. <10.1007/978-3-642-32355-3_9>

hal-00762822v1  Chapitre d'ouvrage
Dominique Méry, Neeraj Kumar Singh. Medical Protocol Diagnosis Using Formal Methods
Liu, Zhiming and Wassyng, Alan. Foundations of Health Informatics Engineering and Systems, 7151, Springer Berlin Heidelberg, pp.1-20, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. <10.1007/978-3-642-32355-3_1>

hal-00819256v1  Communication dans un congrès
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh. Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland. 2013

hal-00862077v1  Communication dans un congrès
Dominique Méry, Neeraj Kumar Singh. Ideal Mode Selection of a Cardiac Pacing System
Vincent G. Duffy. 4th International Conference - Digital Human Modeling and applications in Health, Safety, Ergonomics and Risk Management - DHM 2013 (HCI International 2013), Jul 2013, Las Vegas, United States. Springer, 8025, pp.258-267, 2013, Lecture Notes in Computer Science; HCI(22). <10.1007/978-3-642-39173-6_31>

hal-00926335v1  Chapitre d'ouvrage
Dominique Méry, Neeraj Kumar Singh. Event B
Jean-Louis Boulanger. Mise en oeuvre de la méthode B, HERMES, 2013, Informatique et Systèmes d'Informations, ISBN : 978-2-7462-3810-7

hal-00985010v1  Communication dans un congrès
Dominique Méry, Neeraj Kumar Singh. Modeling an Aircraft Landing System in Event-B
Frédéric Boniol. ABZ 2014 Case Study Track, Jun 2014, Toulouse, France. Springer, 433, pp.154-159, 2014, CCIS

hal-00995176v1  Communication dans un congrès
Dominique Méry, Neeraj Kumar Singh. The Semantics of Refinement Chart
Vincent G. Duffy. HCI International, Jun 2014, Heraklion, Greece. Springer, 8529, pp.415-426, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-07725-3_42>

hal-01018125v1  Communication dans un congrès
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh. Analysis of Self-* and P2P Systems using Refinement
Yamine AIT AMEUR and Klaus-Dieter SCHEWE. ABZ 2014 - 4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z, Jun 2014, Toulouse, France. Springer, 8477, pp.117-123, 2014, LNCS. <10.1007/978-3-662-43652-3_9>

hal-01216779v1  Chapitre d'ouvrage
Neeraj Kumar Singh, Dominique Méry. Event B (english version)
Jean-Louis Boulanger. Formal Methods Applied to Complex Systems, Wiley, 2014, Formal Methods Applied to Complex Systems, 9781119002727. <10.1002/9781119002727.ch10>

hal-01245994v1  Communication dans un congrès
Dominique Méry, Neeraj Kumar Singh. Analyzing Requirements Using Environment Modelling
Vincent G. Duffy. Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Aug 2015, Los Angeles, United States. Springer, Lecture Notes in Computer Science 9185,, 2015, Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Held as Part of HCI International 2015,. <http://link.springer.com/book/10.1007%2F978-3-319-21070-4>

hal-01246669v1  Chapitre d'ouvrage
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh. Incremental Proof-Based Development for Resilient Distributed Systems
Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering

inria-00637756v1  Article dans une revue
Dominique Méry, Neeraj Kumar Singh. Formal Specification of Medical Systems by Proof-Based Refinement
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2013, 12 (1), pp.15. <10.1145/2406336.2406351>

hal-00924525v1  Article dans une revue
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh. Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)
Computer Science and Information Systems, ComSIS Consortium, 2014, Computer Science and Information System, 11 (1), pp.251-270. <http://www.comsis.org/archive.php?show=pprpdcat1>. <10.2298/CSIS130122007A>