[1] Manamiary Bruno Andriamiarina, Dominique Méry, and Neeraj Kumar Singh. Analysis of self-* and p2p systems using refinement. In ABZ 2014 Proceedings, volume 8477 of Lecture Notes in Computer Science, 2014. [ bib ]
[2] Dominique Méry and Neeraj Kumar Singh. Modeling an aircraft landing system in Event-B. In ABZ 2014 Case Study Track, volume 433 of Communications in Computer and Information Science, 2014. [ bib ]
[3] Dominique Méry and Neeraj Kumar Singh. Modeling an aircraft landing system in Event-B (complete version). Technical report, LORIA UMR 7503 (CNRS-Université de Lorraine), 2014. [ bib ]
[4] Yamine Aït Ameur, J. Paul Gibson, and Dominique Méry. On implicit and explicit semantics: Integration issues in proof-based development of systems. In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, pages 604--618, 2014. [ bib | DOI | http ]
[5] Dominique Méry and Neeraj Kumar Singh. The semantics of refinement chart. In Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management - 5th International Conference, DHM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings, pages 415--426, 2014. [ bib | DOI | http ]
[6] Dominique Méry. Playing with state-based models for designing better algorithms. In Model and Data Engineering - 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings, pages 1--3, 2014. [ bib | DOI | http ]
[7] Dominique Méry, Bernhard Schätz, and Alan Wassyng. The pacemaker challenge: Developing certifiable medical devices (dagstuhl seminar 14062). Dagstuhl Reports, 4(2):17--38, 2014. [ bib | DOI | http ]
[8] Laurent Voisin and Jean-Raymond Abrial. The rodin platform has turned ten. In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pages 1--8, 2014. [ bib | DOI | http ]
[9] J. Paul Gibson and Idir Aït-Sadoune. Semantic heterogeneity in the formal development of complex systems: An introduction. In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, pages 570--572, 2014. [ bib | DOI | http ]
[10] Rushikesh Sawant. Implicit and explicit features in modelling. Master's thesis, Université de Lorraine, June 2014. [ bib ]

This file was generated by bibtex2html 1.98.