Production year

Number of documents

14


2011   

Journal articles2 documents

  • Dominique Méry, Neeraj Kumar Singh. A generic framework: from modeling to code. Innovations in Systems and Software Engineering (ISSE), Springer London, 2011, pp.1-9. ⟨inria-00637761⟩
  • Mohamed Tounsi, Mohamed Mosbah, Dominique Méry. Proving Distributed Algorithms by Combining Refinement and Local Computations. Electronic Communications of the EASST, 2011, 35, pp.ISSN 1863-2122. ⟨hal-00644187⟩

Conference papers7 documents

  • Dominique Méry, Neeraj Kumar Singh. Automatic Code Generation from Event-B Models. SoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam. ⟨inria-00637765⟩
  • Dominique Méry, Neeraj Kumar Singh. Analysis of DSR Protocol in Event-B. 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.401-415. ⟨inria-00637768⟩
  • Dominique Méry, Mohamed Mosbah, Mohamed Tounsi. Refinement-based Verification of Local Synchronization Algorithms. 17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Jun 2011, Limerick, Ireland. à paraître. ⟨hal-00579252⟩
  • Dominique Méry, Neeraj Kumar Singh. Formal Development and Automatic Code Generation : Cardiac Pacemaker. International Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China. ⟨inria-00638486⟩
  • Dominique Méry, Neeraj Kumar Singh. Medical Protocol Diagnosis using Formal Methods. International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa. ⟨inria-00638478⟩
  • Dominique Méry, Neeraj Kumar Singh. Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata. International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa. ⟨inria-00638473⟩
  • Dominique Méry, Neeraj Kumar Singh. EB2J : Code Generation from Event-B to Java. SBMF - Brazilian Symposium on Formal Methods, CBSoft - Brazilian Conference on Software: Theory and Practice, Sep 2011, São Paulo, Brazil. ⟨inria-00638467⟩

Book sections1 document

  • Dominique Méry, Didier Fass. Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et Validation. Francis JANOT. La Dame d'Antinoé : une "momie" au Château de Lunéville, Presse universitaire de Nancy, pp.132, 2011, Archéologie, Espaces, Patrimoines, 978-2-8143-0088-0. ⟨hal-00744242⟩

Preprints, Working Papers, ...1 document

  • Manamiary Bruno Andriamiarina, Dominique Méry. Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract). 2011. ⟨inria-00606201⟩

Reports3 documents

  • Dominique Méry, Neeraj Kumar Singh. Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods. [Technical Report] 2011. ⟨inria-00584177⟩
  • Manamiary Bruno Andriamiarina, Dominique Méry. Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report). [Technical Report] LORIA - Université de Lorraine. 2011, pp.90. ⟨inria-00606254v2⟩
  • Dominique Méry, Neeraj Kumar Singh. Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata. [Technical Report] 2011. ⟨inria-00600339⟩