Number of documents

122


Journal articles18 documents

  • Dominique Méry. Playing with State-Based Models for Designing Better Algorithms. Future Generation Computer Systems, Elsevier, 2017, 68, pp.445-455. ⟨10.1016/j.future.2016.04.019⟩. ⟨hal-01316026⟩
  • Dominique Méry, Mike Poppleton. Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems: with application to Population Protocols. Software and Systems Modeling, Springer Verlag, 2017, 16 (4), pp.1083--1115. ⟨hal-01245819⟩
  • Yamine Ait Ameur, Dominique Méry. Making explicit domain knowledge in formal system development. Science of Computer Programming, Elsevier, 2016, 121 (100--127), ⟨10.1016/j.scico.2015.12.004⟩. ⟨hal-01245832⟩
  • Mohamed Mosbah, Mohamed Tounsi, Dominique Mery. From Event-B specifications to programs for distributed algorithms. International Journal of Autonomous and Adaptive Communications Systems (IJAACS), 2016, 9 (34), pp.223 - 242. ⟨hal-01495802⟩
  • 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. ⟨10.2298/CSIS130122007A⟩. ⟨hal-00924525⟩
  • Dominique Méry, Bernhard Schätz, Alan Wassyng. The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2014, 4 (2), pp.17--37. ⟨hal-01097629⟩
  • Gérard Morel, Jean-Marc Dupont, Romain Lieber, Fabien Bouffaron, Dominique Méry, et al.. Spécification d'exigences physico-physiologiques d'interaction homme-machine en ingénierie système. Génie logiciel, C & S, 2013, Mars 2013 (104), pp.29-39. ⟨hal-00805851⟩
  • 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⟩. ⟨inria-00637756⟩
  • 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. ⟨http://dx.doi.org/10.1007/s11334-011-0165-0⟩. ⟨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⟩
  • Dominique Méry, Neeraj Kumar Singh. Functional Behavior of a Cardiac Pacing System. International Journal of Discrete Event Control Systems (IJDECS), Dr. Mohamed Khalgui, 2010. ⟨inria-00540007⟩
  • Dominique Méry, Stephan Merz. Specification and Refinement of Access Control. Journal of Universal Computer Science, Springer, 2007, 13 (8), pp.1073-1093. ⟨inria-00147824⟩
  • Dominique Méry, Dominique Cansell, Cyril Proch, Denis Abraham, Patrick Ditsch. The challenge of QoS for digital television services. EBU Technical Review, European Broadcasting Union, 2005, 302 (Avril), 11 p. ⟨inria-00001252⟩
  • Dominique Cansell, Dominique Méry, Cyril Proch. Un système d'analyse de la qualité: de la norme au produit en passant par le raffinement. Génie logiciel, C & S, 2005, pp.44-50. ⟨inria-00000196⟩
  • Dominique Cansell, Dominique Méry. Foundations of the B method. Computers and Informatics, 2003, 22, 31 p. ⟨inria-00099794⟩
  • Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. Formal Aspects of Computing, Springer Verlag, 2003, 14 (3), pp.215-227. ⟨inria-00099531⟩
  • Dominique Cansell, Dominique Méry, Stephan Merz. Diagrams Refinement for the Design of Reactive Systems. Journal of Universal Computer Science, Springer, 2000, 7 (2), pp.159-174. ⟨inria-00099265⟩
  • Bruno Mermet, Dominique Méry, Dmitri Samborski. Spécification de services : une approche avec B. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (9), pp.1157-1180. ⟨inria-00098448⟩

Conference papers74 documents

  • Dominique Méry. Modelling by Patterns for Correct-by-Construction Process.. ISOLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.399-423. ⟨hal-01933971⟩
  • Neeraj Kumar Singh, Yamine Ait Ameur, Dominique Méry. Formal Ontological Driven Model Refactoring. ICECCS 2018 - 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. ⟨hal-01939006⟩
  • Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Dominique Méry. A Formal Approach for Maintaining Forest Topologies in Dynamic Networks. ICIS 2017 - 16th IEEE/ACIS International Conference on Computer and Information Science, May 2017, Wuhan, China. pp.123-137, ⟨10.1007/978-3-319-60170-0_9⟩. ⟨hal-01495807⟩
  • Souad Kherroubi, Dominique Méry. Contextualization and Dependency in State-Based Modelling - Application to Event-B. MEDI 2017 - International Conference on Model and Data Engineering, Oct 2017, Barcelona, Spain. pp.137--152, ⟨10.1007/978-3-319-66854-3_11⟩. ⟨hal-01631017⟩
  • Paul Gibson, Souad Kherroubi, Dominique Méry. Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩. ⟨hal-01658423⟩
  • John Paul Gibson, Dominique Méry. Explicit modelling of physical measures: from Event-B to Java. IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64 - 79, ⟨10.4204/EPTCS.271.5⟩. ⟨hal-01798224⟩
  • Dominique Méry, Rosemary Monahan, Cheng Zheng. On two Friends for getting Correct Programs Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. ISOLA 2016 , Bernhard Steffen and Tiziana Margaria, Oct 2016, CORFU, Greece. pp.18, ⟨10.1007/978-3-319-47166-2_57⟩. ⟨hal-01369425⟩
  • Dominique Méry, Sawant Rushikesh, Anton Tarasyuk. Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study. Model and Data Engineering - 5th International Conference, MEDI 2015, Sep 2015, Rhodes, Greece. pp.89-102. ⟨hal-01245991⟩
  • Dominique Méry, Neeraj Kumar Singh. Analyzing Requirements Using Environment Modelling. 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. ⟨hal-01245994⟩
  • Dominique Méry. Playing with State-Based Models for Designing Better Algorithms. Model and Data Engineering - 4th International Conference, MEDI 2014, Sep 2014, Larrnaca, Greece. pp.1-3. ⟨hal-01097625⟩
  • Dominique Méry, Neeraj Kumar Singh. Formal Evaluation of Landing Gear System. SoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam. ⟨hal-01097645⟩
  • Dominique Méry, Neeraj Kumar Singh. The Semantics of Refinement Chart. HCI International, Jun 2014, Heraklion, Greece. pp.415-426, ⟨10.1007/978-3-319-07725-3_42⟩. ⟨hal-00995176⟩
  • Dominique Méry, Neeraj Kumar Singh. Modeling an Aircraft Landing System in Event-B. ABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159. ⟨hal-00985010⟩
  • Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh. Analysis of Self-* and P2P Systems using Refinement. ABZ 2014 - 4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z, Yamine AIT AMEUR and Klaus-Dieter SCHEWE, Jun 2014, Toulouse, France. pp.117-123, ⟨10.1007/978-3-662-43652-3_9⟩. ⟨hal-01018125⟩
  • Yamine Aït Ameur, J. Paul Gibson, Dominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium,, Tiziana Margaria and Bernhard Steffen, Oct 2014, Corfu, Greece. pp.604-618. ⟨hal-01097624⟩
  • Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh. Revisiting Snapshot Algorithms by Refinement-based Techniques. PDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China. ⟨hal-00734131⟩
  • 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. 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, 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⟩
  • 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. 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. Automatic Code Generation from Event-B Models. SoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam. ⟨inria-00637765⟩
  • Dominique Méry, Neeraj Kumar Singh. Trustable Formal Specification for Software Certification. 4th International Symposium On Leveraging Applications of Formal Methods - ISOLA 2010, Oct 2010, Heraklion, Crete, Greece. pp.312-326, ⟨10.1007/978-3-642-16561-0_31⟩. ⟨inria-00540008⟩
  • Dominique Méry, Neeraj Kumar Singh. Real-Time Animation for Formal Specification. Complex Systems Design & Management 2010, Oct 2010, Paris, France. pp.49-60, ⟨10.1007/978-3-642-15654-0_3⟩. ⟨inria-00540005⟩
  • Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Dominique Méry. A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems. Integration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany. ⟨hal-00361933⟩
  • Nazim Benaissa, Dominique Méry. Développement combiné et prouvé de systèmes transactionnels cryptologiques. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2009, Jan 2009, Toulouse, France. ⟨inria-00426405⟩
  • Dominique Méry. Teaching programming methodology using Event B. The B Method: from Research to Teaching, Henri Habrias, Jul 2008, Nantes, France. ⟨inria-00287231v2⟩
  • Dominique Cansell, Dominique Méry, Joris Rehm. Time Constraint Patterns for Event B Development. 7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. pp.140-154, ⟨10.1007/11955757_13⟩. ⟨hal-00149163⟩
  • Dominique Méry, Stephan Merz. Event Systems and Access Control. Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, Mar 2006, Vienna/Austria, pp.40-54. ⟨inria-00001262⟩
  • Dominique Cansell, Dominique Méry. Incremental Parametric Development of Greedy Algorithms. 6th International Workshop on Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy, France. pp.48-62. ⟨inria-00089497⟩
  • Dominique Evrot, Jean-François Pétin, Dominique Méry. Formal specification of safe manufacturing machines using the B method : application to a mechanical press. May 2006, pp.CDROM. ⟨hal-00120743⟩
  • Dominique Cansell, Dominique Méry. Formal and Incremental Construction of a Distributed Reference Counting Algorithm.. APPSEM 2005, Martin Hofmann, Sep 2005, Frauenchiemsee Germany. ⟨inria-00000788⟩
  • Denis Abraham, Dominique Cansell, Patrick Ditsch, Dominique Méry, Cyril Proch. Synthesis of the QoS for digital TV services. First International Workshop on Incentive Based Computing - IBC'05, Sep 2005, Amsterdam/Hollande. ⟨inria-00000565⟩
  • Dominique Cansell, Dominique Méry, Cyril Proch. Modelling SystemC scheduler by refinement. IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation - ISOLA'05, Sep 2005, Columbia/USA. ⟨inria-00000564⟩
  • Loïc Fejoz, Dominique Méry, Stephan Merz. DIXIT: a Graphical Toolkit for Predicate Abstractions. Fourth International Workshop on Automated Verification of Infinite-State Systems - AVIS'05, Apr 2005, Edinburgh / U.K., pp.39-48. ⟨inria-00000767⟩
  • Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. Refinement and Reachability in Event_B. ZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Apr 2005, Guilford/UK, pp.222-241, ⟨10.1007/11415787_14⟩. ⟨inria-00001245⟩
  • Dominique Cansell, Dominique Méry. Tutorial on the event-based B method : Concepts and Case Studies. Logics of Formal Software Specification Languages - LFSL'2004, 2004, The High Tatras, Slovakia. ⟨inria-00100065⟩
  • Dominique Cansell, Jean-François Culat, Dominique Méry, Cyril Proch. Derivation of SystemC code from abstract system models. Forum on specification and Design Languages - FDL'04, 2004, Lille, France, 12 p. ⟨inria-00107780⟩
  • Dominique Méry. Synthèse formelle par raffinement de modèles et de logiciels pour l'automaisation. Journées d'Etude "Automatique et Informatique", Club des Enseignants et des Chercheurs en Electronique, Electrotechnique et Automatique, Section Automatique, 2004, Cachan, France. ⟨inria-00100064⟩
  • Gérard Morel, Dominique Méry, Jean-Baptiste Léger, Thierry Lecomte. Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues. 7th IFAC Symposium on Cost Oriented Automation - COA'2004, 2004, Gatineau, Québec, Canada. ⟨inria-00100068⟩
  • Dominique Cansell, Camel Tanougast, Yves Berviller, Dominique Méry, Cyril Proch, et al.. Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement. Forum on specification and Design Languages - FDL'03, 2003, Frankfurt, Germany, France. 12 p. ⟨inria-00099834⟩
  • Dominique Cansell, Dominique Méry. Designing event-driven systems by combining coordination and refinement. 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments - RCS'03, 2003, Turku, Finland. ⟨inria-00099835⟩
  • Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. Formal derivation of spanning trees algorithms. Third International Conference of B and Z Users - ZB'2003, Marina Walden, 2003, Turku, Finland, pp.457-476. ⟨inria-00099793⟩
  • Dominique Méry, Nidhal Rezg, Xiaolan Xie. Modélisation des systèmes réactifs. 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2003, 2003, Metz, France, 568 p. ⟨inria-00099541⟩
  • Hervé Panetto, Jean-François Pétin, Dominique Méry. Formalisation of enterprise modelling standards using UML and the B method.. 8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. pp.93-101. ⟨hal-00120944⟩
  • Dominique Cansell, Dominique Méry. Integration of the proof process in the system development through refinement steps. 5th Forum on Specification and Design Language - Workshop SFP in FDL'02, 2002, Marseille, France, 12 p. ⟨inria-00100945⟩
  • Dominique Cansell, Ganesh Gopalakrishnan, Mike Jones, Dominique Méry, Airy Weinzoepflen. Incremental Proof of the Producer/Consumer Property for the PCI Protocol. 2nd International Conference of B and Z Users - ZB 2002, 2002, Grenoble, France, pp.22-41. ⟨inria-00100888⟩
  • Dominique Cansell, Dominique Méry, Airy Weinzoepflen. Modélisation et analyse de la documentation technique d'un système. Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2001, 2001, Toulouse, France, 16 p. ⟨inria-00101089⟩
  • Dominique Cansell, Jacques Jaray, Dominique Mery. Utilisation de B pour l'aide à la spécification d'un système de diagnostic. Approche Formelles dans l'Assistance au Développement de Logiciels - AFADl'2001, Jun 2001, Nancy, France, 15 p. ⟨inria-00100931⟩
  • Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. Specification and Design of the Leader Election Protocol of IEEE 1394. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, 3 p. ⟨inria-00100598⟩
  • Dominique Cansell, Dominique Méry, Stephan Merz. Verifying Reactive Systems Using Predicate Diagrams. FM-TOOLS'2000, Wolfgang Reif & Gerhard Schellhorn, 2000, Ulm, 5 p. ⟨inria-00099261⟩
  • Dominique Cansell, Dominique Méry, Stephan Merz. Predicate diagrams for the verification of reactive systems. Second International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, pp.380-397. ⟨inria-00099125⟩
  • Paul Gibson, Geoff Hamilton, Dominique Méry. A taxonomy for triggered interactions using fair object semantics. Feature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p. ⟨inria-00099267⟩
  • Dominique Cansell, Dominique Méry, Christophe Tabacznyj. Abstraction and Refinement of Concurrent Programs and Formal Specification. Workshop on Formal Methods for Parallel Programming - FMPPTA'2000, Dominique Méry & Beverly Sanders, 2000, Cancun, Mexico, pp.1037-1038. ⟨inria-00099262⟩
  • Dominique Cansell, Dominique Méry. Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem. International Conference on B & Z Users - ZB'2000, 2000, York, GB, pp.148-167. ⟨inria-00099157⟩
  • Dominique Cansell, Dominique Méry, Stephan Merz. Predicate diagrams. Workshop on Requirement, Design, Correct Construction & Verification, M.V. Cengarle, 2000, Munich, Germany. ⟨inria-00099263⟩
  • Dominique Méry, Yassine Mokhtari. Validation of formal specifications. AAAI'99, Fall Symposium, Nov 1999, none, 5 p. ⟨inria-00108115⟩
  • Jean-Paul Gibson, Dominique Méry. Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach. Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.155-179. ⟨inria-00098998⟩
  • John Paul Gibson, Geoff Hamilton, Dominique Méry. Integration Problems in Telephone Feature requirements. Workshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p. ⟨inria-00098882⟩
  • Patrick Lamboley, Jean-François Pétin, Dominique Méry. Towards a formal engineering framework for process automation. Seventh IEEE International Conference on Emerging Technologies & Factory Automation - ETFA'99, 1999, Barcelona, Spain, 8 p. ⟨inria-00098874⟩
  • Dominique Cansell, Dominique Méry. Abstract animator for temporal specifications Application to TLA. International Symposium on Static Analysis - SAS'99, Gilberto Fil & Agostino Cortesi, 1999, Venise, Italie, pp.284-299. ⟨inria-00098953⟩
  • Dominique Méry. Requirements for a Temporal B
    Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems : Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. Integrated Formal Methods - IFM'99, A. Galloway, 1999, York, UK, 20 p. ⟨inria-00108066⟩
  • Dominique Cansell, Dominique Méry. Abstract Animator for Temporal Specifications. Workshop on Modelling & Verification, Françoise Bellegarde, Olga Kouchnarenko & Jacques Julliand, 1999, Besançon, France. ⟨inria-00098918⟩
  • Raphaël Couturier, Bertrand Couturier, Dominique Méry. A compiler for parallel Unity programs using OpenMp. Parallel and Distributed Processing Techniques & Applications - PDPTA'99, Jul 1999, Las Vegas, USA, 21 p. ⟨inria-00098760⟩
  • Jean-Paul Gibson, Dominique Méry, Yassine Mokhtari. Animating formal specifications : a telephone simulation case study. 13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145. ⟨inria-00108114⟩
  • Raphaël Couturier, Dominique Méry. An experiment in parallelizing an application using formal methods. International Conference on Computer Aided Verification - CAV'98, 1998, Vancouver, Canada, 10 p. ⟨inria-00098540⟩
  • Dominique Cansell, Dominique Méry. Interprétation de spécifications temporelles à l'aide d'un outil de preuve. AFADl'98, 1998, none, 13 p. ⟨inria-00098541⟩
  • Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley. Process control engineering: contribution to a formal structuring framework with the B method. The 2nd International B Conference, 1998, Montpellier, France. pp.198-209. ⟨inria-00098406⟩
  • Jean-Paul Gibson, Dominique Méry. Teaching Formal Methods: Lessons to learn. Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p. ⟨inria-00098616⟩
  • Bruno Mermet, Dominique Méry. Service specifications to B, or not to B. Second Workshop on Formal Methods in Software Practice, 1998, Clearwater Beach, Florida, USA, 8 p. ⟨inria-00098409⟩
  • Jean-Paul Gibson, Dominique Méry. Always and Eventually in Object Requirements. Rigorous Object Oriented Methods, 1998, none, 20 p. ⟨inria-00098617⟩
  • Dominique Méry, Jean-Paul Gibson. Fair Objects. Object Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p. ⟨inria-00098620⟩
  • Raphaël Couturier, Dominique Méry. Parallelization of a Monte Carlo simulation of a spins system. Parallel and Distributed Processing Techniques and Applications - PDPTA'98, 1998, Las Vegas, USA, 5 p. ⟨inria-00098542⟩

Book sections4 documents

  • 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. ⟨hal-01246669⟩
  • 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⟩
  • John Paul Gibson, Dominique Méry. Fair Objects. H. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering. ⟨inria-00099324⟩
  • Dominique Cansell, Dominique Méry. Abstraction and refinement of features. Stephen, Gilmore et Mark, Ryan. Language Constructs for Designing Features, Springer, 2000. ⟨inria-00099264⟩

Directions of work or proceedings12 documents

  • El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez. Model and Data Engineering. MEDI 2018 - International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakech, Morocco. 11163, Springer, 2018, Lecture Notes in Computer Science, 978-3-030-00855-0. ⟨https://doi.org/10.1007/978-3-030-00856-7⟩. ⟨hal-01933977⟩
  • El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, et al.. New Trends in Model and Data Engineering. MEDI 2018 - International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. Communications in Computer and Information Science (929), Springer, 2018, 978-3-030-02851-0. ⟨10.1007/978-3-030-02852-7⟩. ⟨hal-01933975⟩
  • Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna. Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD). Electronic Proceedings in Theoretical Computer Science, 271, 2018, ⟨10.4204/EPTCS.271⟩. ⟨hal-01933762⟩
  • Catherine Dubois, Paolo Masci, Dominique Méry. Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. Nov 2016, Cyprus. Electronic Proceedings in Theoretical Computer Science, 240, 2017, ⟨10.4204/EPTCS.240⟩. ⟨hal-01652413⟩
  • Catherine Dubois, Paolo Masci, Dominique Méry. Second International Workshop on Formal Integrated Development Environment. Jun 2015, France. EPTCS, 2015, EPTCS ⟨10.4204/EPTCS.187⟩. ⟨hal-01246691⟩
  • Gabriel Ciobanu, Dominique Méry. Theoretical Aspects of Computing – ICTAC 2014. Gabriel Ciobanu; Dominique Méry. Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, Sep 2014, Bucharest, Romania. 8687, Springer, 2014, Lecture Notes in Computer Science, ⟨10.1007%2F978-3-319-10882-7⟩. ⟨hal-01097627⟩
  • Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry. Proceedings 1st Workshop on Formal Integrated Development Environment. Catherine Dubois; Dimitra Giannakopoulou; Dominique Méry. France. 149, EPTCS, pp.105, 2014, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.149⟩. ⟨hal-00987531⟩
  • Dominique Méry, Stephan Merz. Integrated Formal Methods. Dominique Méry and Stephan Merz. 6396, Springer, pp.335, 2010, Lecture Notes in Computer Science, 978-3-642-16264-0. ⟨10.1007/978-3-642-16265-7⟩. ⟨inria-00539785⟩
  • Dominique Méry, Guy-René Perrin. Edition Spéciale RenPar'10. Hermès, 1999, TSI. ⟨inria-00108067⟩
  • Dominique Méry. Special Issue FMPPTA'98. World Scientific, 1999, Parallel Processing Letters. ⟨inria-00108068⟩
  • Guy-René Perrin, Dominique Méry. RenPar'10. ULP, 264 p, 1998. ⟨inria-00098635⟩
  • Dominique Méry, Beverly Sanders. Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications. Springer Verlag, 100 p, 1998, Lecture Notes in Computer Science. ⟨inria-00098618⟩

Other publications1 document

  • Dominique Méry, Neeraj Kumar Singh. EB2C : A Tool for Event-B to C Conversion Support. 2010. ⟨inria-00540006⟩

Preprints, Working Papers, ...1 document

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

Reports11 documents

  • Dominique Méry, Neeraj Kumar Singh. Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods. [Technical Report] 2011. ⟨inria-00584177⟩
  • 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⟩
  • 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 Formal Development of Two-Electrode Cardiac Pacing System. [Research Report] 2010. ⟨inria-00465061v2⟩
  • Julien Siebert, Joris Rehm, Vincent Chevrier, Laurent Ciarletta, Dominique Méry. AA4MM coordination model and event-B specification. [Research Report] RR-7081, INRIA. 2009, pp.22. ⟨inria-00435569v3⟩
  • Dominique Méry, Neeraj Kumar Singh. Pacemaker's Functional Behaviors in Event-B. [Research Report] 2009. ⟨inria-00419973v2⟩
  • Nazim Benaissa, Dominique Méry. Développement incrémental prouvé de systèmes répartis : le cas Mondex. [Rapport de recherche] 2008, pp.13. ⟨inria-00336655⟩
  • Dominique Cansell, Dominique Méry. The invoice case study modelling in Event B. [Research Report] 2005. ⟨inria-00000857⟩
  • Cyril Proch, Dominique Cansell, Dominique Mery. Projet RNRT EQUAST ; SP2 Spécification incrémentale du système. [Interne] A04-R-237 || proch04a, 2004. ⟨inria-00100222⟩
  • Dominique Cansell, Dominique Méry. Développement de fonctions définies récursivement en B : Application du B événementiel. [Interne] A02-R-347 || cansell02b, 2002, 25 p. ⟨inria-00101076⟩
  • Dominique Cansell, Jacques Jaray, Dominique Méry. Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B.. [Contrat] A00-R-047 || cansell00a, 2000, 34 p. ⟨inria-00099343⟩

Theses1 document

  • Dominique Méry. Une méthode de raffinement et de développement pour la programmation parallèle : econtribution à l'étude du raffinement de programmes parallèles : une approche fondée sur le concept de preuve. Autre. Université Henri Poincaré - Nancy 1, 1993. Français. ⟨NNT : 1993NAN10019⟩. ⟨tel-01753615⟩