Nombre de documents

55


Article dans une revue13 documents

  • 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〉
  • Yamine Ait Ameur, Dominique Méry. Making explicit domain knowledge in formal system development. Science of Computer Programming, Elsevier, 2016, 121 (100--127), 〈ELSEVIER〉. 〈10.1016/j.scico.2015.12.004〉. 〈hal-01245832〉
  • 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 (SoSyM), Springer, 2015. 〈hal-01245819〉
  • 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〉. 〈hal-00924525〉
  • 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. Refinement-Based Guidelines for Algorithmic Systems. International Journal of Software and Informatics (IJSI), ISCAS, 2009, 3 (2-3), pp.197-239. 〈http://www.ijsi.org/IJSI/ch/reader/view_abstract.aspx?file_no=197&flag=1〉. 〈inria-00426383〉
  • Dominique Méry. A Simple Refinement-based Method for Constructing Algorithms. ACM SIGCSE Bulletin, 2009, inroads — SIGCSE Bulletin, 41 (2), pp.51-59. 〈10.1145/1595453.1595462〉. 〈inria-00426384〉
  • Dominique Cansell, Dominique Méry, Cyril Proch. System-on-chip design by proof-based refinement. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2009, 11 (3), pp.217-238. 〈10.1007/s10009-009-0104-7〉. 〈inria-00426385〉
  • Dominique Cansell, Paul Gibson, Dominique Méry. Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 183, pp.39-55. 〈10.1016/j.entcs.2007.01.060〉. 〈inria-00594892〉
  • Thierry Lecomte, Dominique Méry, Dominique Cansell. Patrons de conception prouvés. Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes, GL & IS - 8, rue du Parc - 92190 MEUDON, 2007, Ingénierie dirigée par les modèles, pp.14-18. 〈inria-00184827〉
  • 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 Cansell, Dominique Méry. Incremental Parametric Development of Greedy Algorithms. Electronic Notes in Theoretical Computer Science, Elsevier, 2007, roceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), 185, pp.47-62. 〈10.1016/j.entcs.2007.05.028〉. 〈inria-00594883〉
  • Dominique Cansell, Dominique Méry. Formal and Incremental Construction of Distributed Algorithms: On the Distributed Reference Counting Algorithm. Theoretical Computer Science, Elsevier, 2006. 〈inria-00093164〉

Communication dans un congrès25 documents

  • Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Dominique Mery. A Formal Approach for Maintaining Forest Topologies in Dynamic Networks. 16th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2017), May 2017, Wuhan, France. 〈hal-01495807〉
  • 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-01245994〉
  • Dominique Méry, Sawant Rushikesh, Anton Tarasyuk. Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study. Ladjel Bellatreche; Yannis Manolopoulos. Model and Data Engineering - 5th International Conference, MEDI 2015, Sep 2015, Rhodes, Greece. springer, lncs 9344, pp.89-102, 2015, Model and Data Engineering - 5th International Conference, MEDI 2015. 〈http://link.springer.com/book/10.1007%2F978-3-319-23781-7〉. 〈hal-01245991〉
  • 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-01018125〉
  • Dominique Méry, Mike Poppleton. Formal Modelling and Verification of Population Protocols. Einar Broch Johnsen and Luigia Petre. iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland. Springer, 2013, LNCS. 〈hal-00813033〉
  • 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-00819256〉
  • 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. 〈10.1007/978-3-642-39173-6_31〉. 〈hal-00862077〉
  • Mohammed Tounsi, Mohammed Mosbah, Dominique Méry. From Event-B Specifications to Programs for Distributed Algorithms. Sumitra Reddy and Mohammed Jmaiel. WETICE 2013: 22th IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises., Jun 2013, Hammamet, Tunisia. IEEE, 2013, 22nd IEEE WETICE Conference. 〈10.1109/WETICE.2013.44〉. 〈hal-00862056〉
  • Dominique Méry, Monahan Rosemary. Transforming EVENT B Models into Verified C# Implementations. Alexei Lisitsa and Andrei Nemytykh. VPT 2013 - First International Workshop on Verification and Program Transformation, Jul 2013, Saint Petersburg, Russia. 16, pp.57-73, 2013, EPIC. 〈http://www.easychair.org/publications/?page=692335489〉. 〈hal-00862050〉
  • 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. 2012. 〈hal-00734131〉
  • Manamiary Bruno Andriamiarina, Hayat Daoud, Mostefa Belarbi, Dominique Méry, Camel Tanougast. Formal Verification of Fault Tolerant NoC-based Architecture. First International Workshop on Mathematics and Computer Science (IWMCS2012), Dec 2012, Tiaret, Algeria. 2012. 〈hal-00763092〉
  • 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-00747305〉
  • Yamine Ait Ameur, Dominique Méry. Handling Heterogeneity in Formal Developments of Hardware and Software Systems. Tiziana Margaria and Bernhard Steffen. ISoLA - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - 2012, Oct 2012, Amirandes, Heraklion, Greece. Springer, 7610, pp.327-328, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34032-1_33〉. 〈hal-00743810〉
  • Nazim Benaissa, Dominique Méry. Proof-Based Design of Security Protocols. Ernst W. Mayr. 5th International Computer Science Symposium in Russia, CSR 2010, Jun 2010, KAZAN, Russia. Springer, 6072, pp.25-36, 2010, Lecture Notes in Computer Science. 〈inria-00542919〉
  • Dominique Méry, Mohammed Mosbah, Mohammed Tounsi. Proving Distributed Algorithms by Combining Refinement and Local Computations. Jens Bendisposto, Michael Leuschel, Markus Roggenbach. AVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, Sep 2010, Dusseldorf, Germany. 2010. 〈inria-00547302〉
  • Nazim Benaissa, Dominique Méry. Cryptologic protocols analysis using proof-based patterns. Seventh International Andrei Ershov Memorial Conference "PERSPECTIVES OF SYSTEM INFORMATICS" - PSI 2009, Jun 2009, Novosibirsk, Russia. Springer-Verlag, 2009, Lecture Notes in Computer Science. 〈inria-00431253〉
  • Nazim Benaissa, Dominique Méry. Cryptographic Protocols Analysis in Event B. Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» - PSI 2009, Jun 2009, Novosibisrk, Russia. Springer-Verlag, 2009, Lectures Notes in Computer Science. 〈inria-00431264〉
  • Dominique Cansell, Paul Gibson, Dominique Méry. Formal verification of tamper-evident storage for e-voting. Mike Hinchey and Tiziana Margaria. 5th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2007, Sep 2007, LONDON, United Kingdom. IEEE, pp.329-338, 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007. 〈10.1109/SEFM.2007.21〉. 〈inria-00184833〉
  • Dominique Cansell, Dominique Méry. Proved-Patterns-Based Development for Structured Programs.. Volker Diekert and Mikhail V. Volkov and Andrei Voronkov. Computer Science - Theory and Applications, Second International, Symposium on Computer Science in Russia - CSR 2007, Sep 2007, Ekaterinburg, Russia. Springer Berlin / Heidelberg, 4649, pp.104-114, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-74510-5_13〉. 〈inria-00168307〉
  • Nazim Benaissa, Dominique Cansell, Dominique Mery. Integration of Security Policy into System Modeling. The 7th International B Conference - B2007, Jan 2007, Besançon, France, 2007. 〈inria-00155143〉
  • Dominique Cansell, Dominique Méry. Incremental Parametric Development of Greedy Algorithms. Stephan Merz and Tobias Nipkow. 6th International Workshop on Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy, France. pp.48-62, 2006, Automatic Verification of Critical Systems (AVoCS 2006). 〈inria-00089497〉
  • Dominique Méry, Stephan Merz. Event Systems and Access Control. Dieter Gollmann and Jan Jürjens. Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, Mar 2006, Vienna/Austria, Vienna University of Technology, pp.40-54, 2006. 〈inria-00001262〉
  • 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. ESOCE, pp.93-101, 2002, ISBN : 0 85358 113 4. 〈hal-00120944〉
  • Dominique Cansell, Dominique Méry, Stephan Merz. Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams. Martin Wirsing. Integrating Diagrammatic and Formal Specification Techniques, 2001, Wien, Austria, pp.39-45, 2001. 〈inria-00110548〉
  • Dominique Méry, Jean-François Pétin. Formal engineering methods for modelling and verification of control systems. 9th symposium on information control problems in manufacturing Advances in Industrial Engineering - INCOM'98, 1998, Nancy/France, ELSEVIER, 6 p, 1998, IFAC. 〈inria-00098619〉

Ouvrage (y compris édition critique et traduction)1 document

  • Dimitra Giannakopoulou, Dominique Méry. FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Dimitra Giannakopoulou and Dominique Méry. Springer, 7436, pp.488, 2012, LNCS - Lecture Notes in Computer Science, 978-3-642-32758-2. 〈10.1007/978-3-642-32759-9〉. 〈hal-00743808〉

Chapitre d'ouvrage8 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〉
  • 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-01216779〉
  • 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-00926335〉
  • 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-00762822〉
  • 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-00762821〉
  • Dominique Cansell, Dominique Méry. The Event-B Modelling Method - Concepts and Case Studies. Dines Bjoerner and Martin Henson. Logics of Specification Languages, Springer, pp.33-140, 2008, Monographs in Theoretical Computer Science. 〈inria-00579550〉
  • Dominique Cansell, Dominique Méry. Designing old and new distributed algorithms by replaying an incremental proof-based development. Jean-Raymond Abrial and Uwe Glässer. Festschrift for Egon Börger, Springer-Verlag, 2007, LNCS. 〈inria-00174023〉
  • Dominique Cansell, Dominique Méry. Event B. Henri Habrias and Marc Frappier. Software Specification Methods, HERMES, 2006, 1-905209-34-7. 〈inria-00096696〉

Direction d'ouvrage, Proceedings, Dossier2 documents

Pré-publication, Document de travail1 document

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

Rapport4 documents

  • Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh. Analysis of Self-* and P2P Systems using Refinement (Full Report). [Research Report] 2014. 〈hal-01018162〉
  • Dominique Méry, Neeraj Kumar Singh. Modelling an Aircraft Landing System in Event-B (Full Report). [Research Report] 2014. 〈hal-00971787〉
  • Jean-Marc Dupont, Romain Lieber, Gérard Morel, Dominique Méry, Fabien Bouffaron. Spécification d'un Processus Technico-Physiologique de Perception de Fermeture et Verrouillage d'un capot moteur en situation de maintenance aéronautique. 2012. 〈hal-00769223〉
  • Dominique Cansell, Dominique Méry, Joris Rehm. Intégration de contraintes temps-réel au sein d'un processus de développement incrémental basé sur la preuve (Livrable 2). [Rapport de recherche] 2008. 〈inria-00593372〉

Cours1 document

  • Dominique Cansell, Dominique Méry. Tutorial on the event-based B method. IFIP FORTE 2006 Paris, 2006. 〈inria-00092846〉