Publis

 

Publications HAL de dominique,mery

2018

Conference papers

titre
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
auteur
Yamine Ait Ameur, Idir Ait-Sadoune, Pierre Castéran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Mery, Linda Mohand Oussaid, Neeraj Kumar Singh, Laurent Voisin
article
Michael Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl. ABZ 2018 – 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. Springer, 10817, pp.425–430, 2018, Lecture Notes in Computer Science. 〈https://link.springer.com/chapter/10.1007/978-3-319-91271-4_35〉. 〈10.1007/978-3-319-91271-4_35〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01797538/file/AmeurACGHKMMSV18-1.pdf BibTex

2017

Journal articles

titre
Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
auteur
Dominique Méry, Mike Poppleton
article
Software and Systems Modeling (SoSyM), Springer, 2017, 16 (4), pp.1083–1115
Accès au bibtex
BibTex
titre
Playing with State-Based Models for Designing Better Algorithms
auteur
Dominique Méry
article
Future Generation Computer Systems, Elsevier, 2017, 68, pp.445-455. 〈ELSEVIER〉
Accès au bibtex
BibTex

Conference papers

titre
Explicit modelling of physical measures: from Event-B to Java
auteur
John Paul Gibson, Dominique Méry
article
IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. Electronic Proceedings in Theoretical Computer Science, Proceedings IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, 271, pp.64 – 79, 2018, 〈10.4204/EPTCS.271.5〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01798224/file/GibsonMery18.pdf BibTex
titre
Contextualization and Dependency in State-Based Modelling – Application to Event-B
auteur
Souad Kherroubi, Dominique Méry
article
MEDI 2017 – International Conference on Model and Data Engineering, Oct 2017, Barcelona, Spain. Springer, 10563, pp.137–152, 2017, Lecture Notes in Computer Science. 〈http://dblp.org/rec/bib/conf/medi/KherroubiM17〉. 〈10.1007/978-3-319-66854-3_11〉
Accès au bibtex
BibTex
titre
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B
auteur
Paul Gibson, Souad Kherroubi, Dominique Méry
article
Ahmed Bouajjani; Alexandra Silva. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10321, pp.124-138, 2017, Formal Techniques for Distributed Objects, Components, and Systems. 〈10.1007/978-3-319-60225-7_9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01658423/file/446833_1_En_9_Chapter.pdf BibTex
titre
A Formal Approach for Maintaining Forest Topologies in Dynamic Networks
auteur
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Dominique Méry
article
ICIS 2017 – 16th IEEE/ACIS International Conference on Computer and Information Science, May 2017, Wuhan, China. 719, pp.123-137, Studies in Computational Intelligence. 〈10.1007/978-3-319-60170-0_9〉
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016
auteur
Catherine Dubois, Paolo Masci, Dominique Méry
article
Nov 2016, Cyprus. 240, 2017, 〈10.4204/EPTCS.240〉
Accès au bibtex
BibTex

2016

Journal articles

titre
Making explicit domain knowledge in formal system development
auteur
Yamine Ait Ameur, Dominique Méry
article
Science of Computer Programming, Elsevier, 2016, 121 (100–127), 〈ELSEVIER〉. 〈10.1016/j.scico.2015.12.004〉
Accès au bibtex
BibTex
titre
From Event-B specifications to programs for distributed algorithms
auteur
Mohamed Mosbah, Mohamed Tounsi, Dominique Mery
article
International Journal of Autonomous and Adaptive Communications Systems (IJAACS), 2016, 9 (34), pp.223 – 242
Accès au bibtex
BibTex

Conference papers

titre
On two Friends for getting Correct Programs Automatically Translating Event B Specifications to Recursive Algorithms in Rodin
auteur
Dominique Méry, Rosemary Monahan, Cheng Zheng
article
Bernhard Steffen and Tiziana Margaria. ISOLA 2016 , Oct 2016, CORFU, Greece. Springer, I (9952), pp.18, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 〈10.1007/978-3-319-47166-2_57〉
Accès au bibtex
BibTex

Book sections

titre
Incremental Proof-Based Development for Resilient Distributed Systems
auteur
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article
Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
Accès au bibtex
BibTex

2015

Conference papers

titre
Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study
auteur
Dominique Méry, Sawant Rushikesh, Anton Tarasyuk
article
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〉
Accès au bibtex
BibTex
titre
Analyzing Requirements Using Environment Modelling
auteur
Dominique Méry, Neeraj Kumar Singh
article
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〉
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Second International Workshop on Formal Integrated Development Environment
auteur
Catherine Dubois, Paolo Masci, Dominique Méry
article
Jun 2015, France. EPTCS, 2015, EPTCS 〈10.4204/EPTCS.187〉
Accès au bibtex
BibTex

2014

Journal articles

titre
Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)
auteur
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article
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〉
Accès au bibtex
BibTex
titre
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
auteur
Dominique Méry, Bernhard Schätz, Alan Wassyng
article
Dagstuhl Reports, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2014, 4 (2), pp.17–37
Accès au bibtex
BibTex

Conference papers

titre
Formal Evaluation of Landing Gear System
auteur
Dominique Méry, Neeraj Kumar Singh
article
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
Accès au bibtex
BibTex
titre
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
auteur
Yamine Aït Ameur, J. Paul Gibson, Dominique Méry
article
Tiziana Margaria and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications – 6th International Symposium,, Oct 2014, Corfu, Greece. Springer, 8803, pp.604-618, 2014, Lectures Notes in Computer Science. 〈http://link.springer.com/chapter/10.1007%2F978-3-662-45231-8_50〉
Accès au bibtex
BibTex
titre
Playing with State-Based Models for Designing Better Algorithms
auteur
Dominique Méry
article
Yamine Aït Ameur; Ladjel Bellatreche; George A. Papadopoulos. Model and Data Engineering – 4th International Conference, MEDI 2014, Sep 2014, Larrnaca, Greece. Springer, 8748, pp.1-3, 2014, Lecture Notes in Computer Science. 〈http://link.springer.com/chapter/10.1007%2F978-3-662-45231-8_50〉
Accès au bibtex
BibTex
titre
The Semantics of Refinement Chart
auteur
Dominique Méry, Neeraj Kumar Singh
article
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〉
Accès au bibtex
BibTex
titre
Analysis of Self-* and P2P Systems using Refinement
auteur
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article
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〉
Accès au bibtex
BibTex
titre
Modeling an Aircraft Landing System in Event-B
auteur
Dominique Méry, Neeraj Kumar Singh
article
Frédéric Boniol. ABZ 2014 Case Study Track, Jun 2014, Toulouse, France. Springer, 433, pp.154-159, 2014, CCIS
Accès au bibtex
BibTex

Book sections

titre
Event B (english version)
auteur
Neeraj Kumar Singh, Dominique Méry
article
Jean-Louis Boulanger. Formal Methods Applied to Complex Systems, Wiley, 2014, Formal Methods Applied to Complex Systems, 9781119002727. 〈10.1002/9781119002727.ch10〉
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Theoretical Aspects of Computing – ICTAC 2014
auteur
Gabriel Ciobanu, Dominique Méry
article
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〉
Accès au bibtex
BibTex
titre
Proceedings 1st Workshop on Formal Integrated Development Environment
auteur
Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry
article
Catherine Dubois; Dimitra Giannakopoulou; Dominique Méry. France. 149, EPTCS, pp.105, 2014, Electronic Proceedings in Theoretical Computer Science, 〈10.4204/EPTCS.149〉
Accès au bibtex
BibTex

Reports

titre
Modelling an Aircraft Landing System in Event-B (Full Report)
auteur
Dominique Méry, Neeraj Kumar Singh
article
[Research Report] 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00971787/file/full.pdf BibTex
titre
Analysis of Self-* and P2P Systems using Refinement (Full Report)
auteur
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article
[Research Report] 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01018162/file/paperv1.pdf BibTex

2013

Journal articles

titre
Spécification d’exigences physico-physiologiques d’interaction homme-machine en ingénierie système
auteur
Gérard Morel, Jean-Marc Dupont, Romain Lieber, Fabien Bouffaron, Dominique Méry, Frédérique Mayer, Jean-Luc Marty
article
Génie logiciel, C & S, 2013, Mars 2013 (104), pp.29-39
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00805851/file/Specification_d_exigences_physico-physiologique_d_interaction_homme-machine_en_Ingenierie_Systeme.pdf.pdf BibTex
titre
Formal Specification of Medical Systems by Proof-Based Refinement
auteur
Dominique Méry, Neeraj Kumar Singh
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2013, 12 (1), pp.15. 〈10.1145/2406336.2406351〉
Accès au bibtex
BibTex

Conference papers

titre
Ideal Mode Selection of a Cardiac Pacing System
auteur
Dominique Méry, Neeraj Kumar Singh
article
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〉
Accès au bibtex
BibTex
titre
Transforming EVENT B Models into Verified C# Implementations
auteur
Dominique Méry, Monahan Rosemary
article
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〉
Accès au bibtex
BibTex
titre
From Event-B Specifications to Programs for Distributed Algorithms
auteur
Mohammed Tounsi, Mohammed Mosbah, Dominique Méry
article
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〉
Accès au bibtex
BibTex
titre
Formal Modelling and Verification of Population Protocols
auteur
Dominique Méry, Mike Poppleton
article
Einar Broch Johnsen and Luigia Petre. iFM – 10th International Conference on integrated Formal Methods – 2013, Jun 2013, Turku, Finland. Springer, 2013, LNCS
Accès au bibtex
BibTex
titre
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
auteur
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article
iFM – 10th International Conference on integrated Formal Methods – 2013, Jun 2013, Turku, Finland. 2013
Accès au bibtex
BibTex

Book sections

titre
Event B
auteur
Dominique Méry, Neeraj Kumar Singh
article
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
Accès au bibtex
BibTex

2012

Conference papers

titre
Formal Verification of Fault Tolerant NoC-based Architecture
auteur
Manamiary Bruno Andriamiarina, Hayat Daoud, Mostefa Belarbi, Dominique Méry, Camel Tanougast
article
First International Workshop on Mathematics and Computer Science (IWMCS2012), Dec 2012, Tiaret, Algeria. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763092/file/iwmcsv5.pdf BibTex
titre
Revisiting Snapshot Algorithms by Refinement-based Techniques
auteur
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article
PDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00734131/file/pdcat2012v14.pdf BibTex
titre
Handling Heterogeneity in Formal Developments of Hardware and Software Systems
auteur
Yamine Ait Ameur, Dominique Méry
article
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〉
Accès au bibtex
BibTex
titre
Critical systems development methodology using formal techniques
auteur
Dominique Méry, Neeraj Kumar Singh
article
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〉
Accès au bibtex
BibTex

Book sections

titre
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata
auteur
Dominique Méry, Neeraj Kumar Singh
article
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〉
Accès au bibtex
BibTex
titre
Medical Protocol Diagnosis Using Formal Methods
auteur
Dominique Méry, Neeraj Kumar Singh
article
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〉
Accès au bibtex
BibTex

Books

titre
FM 2012: Formal Methods – 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
auteur
Dimitra Giannakopoulou, Dominique Méry
article
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〉
Accès au bibtex
BibTex

Reports

titre
Spécification d’un Processus Technico-Physiologique de Perception de Fermeture et Verrouillage d’un capot moteur en situation de maintenance aéronautique
auteur
Jean-Marc Dupont, Romain Lieber, Gérard Morel, Dominique Méry, Fabien Bouffaron
article
2012
Accès au bibtex
BibTex

2011

Journal articles

titre
Proving Distributed Algorithms by Combining Refinement and Local Computations
auteur
Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
article
Electronic Communications of the EASST, 2011, 35, pp.ISSN 1863-2122
Accès au bibtex
BibTex
titre
A generic framework: from modeling to code
auteur
Dominique Méry, Neeraj Kumar Singh
article
Innovations in Systems and Software Engineering (ISSE), Springer London, 2011, pp.1-9. 〈http://dx.doi.org/10.1007/s11334-011-0165-0〉
Accès au bibtex
BibTex

Conference papers

titre
Formal Development and Automatic Code Generation : Cardiac Pacemaker
auteur
Dominique Méry, Neeraj Kumar Singh
article
International Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China. 2011
Accès au bibtex
BibTex
titre
Automatic Code Generation from Event-B Models
auteur
Dominique Méry, Neeraj Kumar Singh
article
SoICT 2011, Oct 2011, Hanoi, Vietnam. ACM ICPS, 2011
Accès au bibtex
BibTex
titre
Analysis of DSR Protocol in Event-B
auteur
Dominique Méry, Neeraj Kumar Singh
article
Défago, Xavier and Petit, Franck and Villain, Vincent. 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. Springer Berlin / Heidelberg, 6976, pp.401-415, 2011, Stabilization, Safety, and Security of Distributed Systems. 〈http://dx.doi.org/10.1007/978-3-642-24550-3_30〉
Accès au bibtex
BibTex
titre
EB2J : Code Generation from Event-B to Java
auteur
Dominique Méry, Neeraj Kumar Singh
article
SBMF – Brazilian Symposium on Formal Methods, Sep 2011, São Paulo, Brazil. 2011
Accès au bibtex
BibTex
titre
Medical Protocol Diagnosis using Formal Methods
auteur
Dominique Méry, Neeraj Kumar Singh
article
Zhiming Liu and Alan Wassyng. International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa. 2011, 〈http://www.iist.unu.edu/ICTAC/FHIES2011/Files/fhies2011_8_17.pdf〉
Accès au bibtex
BibTex
titre
Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata
auteur
Dominique Méry, Neeraj Kumar Singh
article
Zhiming Liu and Alan Wassyng. International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa. 2011, 〈http://www.iist.unu.edu/ICTAC/FHIES2011/Files/fhies2011_8_17.pdf〉
Accès au bibtex
BibTex
titre
Refinement-based Verification of Local Synchronization Algorithms
auteur
Dominique Méry, Mohamed Mosbah, Mohamed Tounsi
article
17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Jun 2011, Limerick, Ireland. Springer, à paraître, 2011, Lecture Notes in Computer Science
Accès au bibtex
BibTex

Book sections

titre
Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et Validation
auteur
Dominique Méry, Didier Fass
article
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
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00744242/file/papier-fassmery.pdf BibTex

Reports

titre
Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata
auteur
Dominique Méry, Neeraj Kumar Singh
article
[Technical Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00600339/file/Version1.pdf BibTex
titre
Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report)
auteur
Manamiary Bruno Andriamiarina, Dominique Méry
article
[Technical Report] LORIA – Université de Lorraine. 2011, pp.90
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606254/file/Rapport_v0.pdf BibTex
titre
Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods
auteur
Dominique Méry, Neeraj Kumar Singh
article
[Technical Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00584177/file/TechRepoECG2011.pdf BibTex

Preprints, Working Papers, …

titre
Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract)
auteur
Manamiary Bruno Andriamiarina, Dominique Méry
article
2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606201/file/_MERY-ANDRIAMIARINA_Abstract_Grande_Region_SECDAY_2011_v2.pdf BibTex

2010

Journal articles

titre
Functional Behavior of a Cardiac Pacing System
auteur
Dominique Méry, Neeraj Kumar Singh
article
International Journal of Discrete Event Control Systems (IJDECS), Dr. Mohamed Khalgui, 2010
Accès au bibtex
BibTex

Conference papers

titre
Real-Time Animation for Formal Specification
auteur
Dominique Méry, Neeraj Kumar Singh
article
Marc Aiguier and Francis Bretaudeau and Daniel Krob. Complex Systems Design & Management 2010, Oct 2010, Paris, France. Springer, pp.49-60, 2010, Proceedings of the First International Conference on Complex System Design & Management CSDM 2010. 〈10.1007/978-3-642-15654-0_3〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540005/file/Animator_CSDM2010.pdf BibTex
titre
Trustable Formal Specification for Software Certification
auteur
Dominique Méry, Neeraj Kumar Singh
article
T. Margaria and B. Ste. 4th International Symposium On Leveraging Applications of Formal Methods – ISOLA 2010, Oct 2010, Heraklion, Crete, Greece. Springer, 6416, pp.312-326, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-16561-0_31〉
Accès au bibtex
BibTex
titre
Proving Distributed Algorithms by Combining Refinement and Local Computations
auteur
Dominique Méry, Mohammed Mosbah, Mohammed Tounsi
article
Jens Bendisposto, Michael Leuschel, Markus Roggenbach. AVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, Sep 2010, Dusseldorf, Germany. 2010
Accès au bibtex
BibTex
titre
Proof-Based Design of Security Protocols
auteur
Nazim Benaissa, Dominique Méry
article
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
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Integrated Formal Methods
auteur
Dominique Méry, Stephan Merz
article
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〉
Accès au bibtex
BibTex

Other publications

titre
EB2C : A Tool for Event-B to C Conversion Support
auteur
Dominique Méry, Neeraj Kumar Singh
article
Poster and Tool Demo submission, and published in a CNR Technical Report. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540006/file/cameraready-sefm2010.pdf BibTex

Reports

titre
Technical Report on Formal Development of Two-Electrode Cardiac Pacing System
auteur
Dominique Méry, Neeraj Kumar Singh
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00465061/file/Report_2electrode.pdf BibTex

2009

Journal articles

titre
Refinement-Based Guidelines for Algorithmic Systems
auteur
Dominique Méry
article
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〉
Accès au bibtex
BibTex
titre
A Simple Refinement-based Method for Constructing Algorithms
auteur
Dominique Méry
article
ACM SIGCSE Bulletin, 2009, inroads — SIGCSE Bulletin, 41 (2), pp.51-59. 〈10.1145/1595453.1595462〉
Accès au bibtex
BibTex
titre
System-on-chip design by proof-based refinement
auteur
Dominique Cansell, Dominique Méry, Cyril Proch
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2009, 11 (3), pp.217-238. 〈10.1007/s10009-009-0104-7〉
Accès au bibtex
BibTex

Conference papers

titre
Cryptologic protocols analysis using proof-based patterns
auteur
Nazim Benaissa, Dominique Méry
article
Seventh International Andrei Ershov Memorial Conference « PERSPECTIVES OF SYSTEM INFORMATICS » – PSI 2009, Jun 2009, Novosibirsk, Russia. Springer-Verlag, 2009, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Cryptographic Protocols Analysis in Event B
auteur
Nazim Benaissa, Dominique Méry
article
Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» – PSI 2009, Jun 2009, Novosibisrk, Russia. Springer-Verlag, 2009, Lectures Notes in Computer Science
Accès au bibtex
BibTex
titre
A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems
auteur
Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Dominique Méry
article
Integration of Model-based Formal Methods and Tools – IM_FMT’2009 – in IFM’2009, Feb 2009, Düsseldorf, Germany
Accès au bibtex
BibTex
titre
Développement combiné et prouvé de systèmes transactionnels cryptologiques
auteur
Nazim Benaissa, Dominique Méry
article
Approches Formelles dans l’Assistance au Développement de Logiciels – AFADL 2009, Jan 2009, Toulouse, France. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00426405/file/soumissionbenaissamery.pdf BibTex

Reports

titre
Pacemaker’s Functional Behaviors in Event-B
auteur
Dominique Méry, Neeraj Kumar Singh
article
[Research Report] 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00419973/file/Pacemaker.pdf BibTex
titre
AA4MM coordination model and event-B specification
auteur
Julien Siebert, Joris Rehm, Vincent Chevrier, Laurent Ciarletta, Dominique Méry
article
[Research Report] RR-7081, INRIA. 2009, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00435569/file/RR-7081.pdf BibTex

2008

Journal articles

titre
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
auteur
Dominique Cansell, Paul Gibson, Dominique Méry
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 183, pp.39-55. 〈10.1016/j.entcs.2007.01.060〉
Accès au bibtex
BibTex

Conference papers

titre
Teaching programming methodology using Event B
auteur
Dominique Méry
article
Henri Habrias. The B Method: from Research to Teaching, Jul 2008, Nantes, France. APCB, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00287231/file/entcsmery.pdf BibTex

Book sections

titre
The Event-B Modelling Method – Concepts and Case Studies
auteur
Dominique Cansell, Dominique Méry
article
Dines Bjoerner and Martin Henson. Logics of Specification Languages, Springer, pp.33-140, 2008, Monographs in Theoretical Computer Science
Accès au bibtex
BibTex

Reports

titre
Intégration de contraintes temps-réel au sein d’un processus de développement incrémental basé sur la preuve (Livrable 2)
auteur
Dominique Cansell, Dominique Méry, Joris Rehm
article
[Rapport de recherche] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00593372/file/RIMEL_Livrable_2.pdf BibTex
titre
Développement incrémental prouvé de systèmes répartis : le cas Mondex
auteur
Nazim Benaissa, Dominique Méry
article
[Rapport de recherche] 2008, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336655/file/benaissamery.pdf BibTex

2007

Journal articles

titre
Patrons de conception prouvés
auteur
Thierry Lecomte, Dominique Méry, Dominique Cansell
article
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
Accès au bibtex
BibTex
titre
Specification and Refinement of Access Control
auteur
Dominique Méry, Stephan Merz
article
Journal of Universal Computer Science, Springer, 2007, 13 (8), pp.1073-1093
Accès au bibtex
BibTex
titre
Incremental Parametric Development of Greedy Algorithms
auteur
Dominique Cansell, Dominique Méry
article
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〉
Accès au bibtex
BibTex

Conference papers

titre
Proved-Patterns-Based Development for Structured Programs.
auteur
Dominique Cansell, Dominique Méry
article
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〉
Accès au bibtex
BibTex
titre
Formal verification of tamper-evident storage for e-voting
auteur
Dominique Cansell, Paul Gibson, Dominique Méry
article
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〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00184833/file/mery-e-voting.pdf BibTex
titre
Integration of Security Policy into System Modeling
auteur
Nazim Benaissa, Dominique Cansell, Dominique Mery
article
The 7th International B Conference – B2007, Jan 2007, Besançon, France, 2007
Accès au bibtex
BibTex
titre
Time Constraint Patterns for Event B Development
auteur
Dominique Cansell, Dominique Méry, Joris Rehm
article
Jacques Julliand, Olga Kouchnarenko. 7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. Springer-Verlag, 4355, pp.140-154, 2007, Lecture Notes in Computer Science. 〈10.1007/11955757_13〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00149163/file/B2007cansellmeryrehm.pdf BibTex

Book sections

titre
Designing old and new distributed algorithms by replaying an incremental proof-based development
auteur
Dominique Cansell, Dominique Méry
article
Jean-Raymond Abrial and Uwe Glässer. Festschrift for Egon Börger, Springer-Verlag, 2007, LNCS
Accès au bibtex
BibTex

2006

Journal articles

titre
Formal and Incremental Construction of Distributed Algorithms: On the Distributed Reference Counting Algorithm
auteur
Dominique Cansell, Dominique Méry
article
Theoretical Computer Science, Elsevier, 2006
Accès au bibtex
BibTex

Conference papers

titre
Incremental Parametric Development of Greedy Algorithms
auteur
Dominique Cansell, Dominique Méry
article
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)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00089497/file/canselmeryavocs.pdf BibTex
titre
Formal specification of safe manufacturing machines using the B method : application to a mechanical press
auteur
Dominique Evrot, Jean-François Pétin, Dominique Méry
article
IFAC. May 2006, Elsevier, pp.CDROM, 2006
Accès au bibtex
BibTex
titre
Event Systems and Access Control
auteur
Dominique Méry, Stephan Merz
article
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
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001262/file/final.pdf BibTex

Book sections

titre
Event B
auteur
Dominique Cansell, Dominique Méry
article
Henri Habrias and Marc Frappier. Software Specification Methods, HERMES, 2006, 1-905209-34-7
Accès au bibtex
BibTex

Lectures

titre
Tutorial on the event-based B method
auteur
Dominique Cansell, Dominique Méry
article
IFIP FORTE 2006 Paris, 2006
Accès au texte intégral et bibtex
https://cel.archives-ouvertes.fr/inria-00092846/file/tutorialforte2006mery.pdf BibTex

2005

Journal articles

titre
The challenge of QoS for digital television services
auteur
Dominique Méry, Dominique Cansell, Cyril Proch, Denis Abraham, Patrick Ditsch
article
EBU Technical Review, European Broadcasting Union, 2005, 302 (Avril), 11 p
Accès au bibtex
BibTex
titre
Un système d’analyse de la qualité: de la norme au produit en passant par le raffinement
auteur
Dominique Cansell, Dominique Méry, Cyril Proch
article
Génie logiciel, C & S, 2005, pp.44-50
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000196/file/NeptuneCansellMeryProch.pdf BibTex

Conference papers

titre
Modelling SystemC scheduler by refinement
auteur
Dominique Cansell, Dominique Méry, Cyril Proch
article
IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation – ISOLA’05, Sep 2005, Columbia/USA, 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000564/file/cansellmeryprochisola2005.pdf BibTex
titre
Formal and Incremental Construction of a Distributed Reference Counting Algorithm.
auteur
Dominique Cansell, Dominique Méry
article
APPSEM 2005, Sep 2005, Frauenchiemsee Germany, 2005
Accès au bibtex
BibTex
titre
Synthesis of the QoS for digital TV services
auteur
Denis Abraham, Dominique Cansell, Patrick Ditsch, Dominique Méry, Cyril Proch
article
First International Workshop on Incentive Based Computing – IBC’05, Sep 2005, Amsterdam/Hollande, 2005
Accès au bibtex
BibTex
titre
Refinement and Reachability in Event_B
auteur
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
article
Helen Treharne, Steve King, Martin Henson, Steve Schneider. ZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Apr 2005, Guilford/UK, Springer, 3455, pp.222-241, 2005, Lecture Notes in Computer Science. 〈10.1007/11415787_14〉
Accès au bibtex
BibTex
titre
DIXIT: a Graphical Toolkit for Predicate Abstractions
auteur
Loïc Fejoz, Dominique Méry, Stephan Merz
article
Ramesh Bharadwaj and Supratik Mukhopadhyay. Fourth International Workshop on Automated Verification of Infinite-State Systems – AVIS’05, Apr 2005, Edinburgh / U.K., pp.39-48, 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000767/file/workshop-paper.pdf BibTex

Reports

titre
The invoice case study modelling in Event B
auteur
Dominique Cansell, Dominique Méry
article
[Research Report] 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000857/file/eventb.pdf BibTex

2004

Conference papers

titre
Derivation of SystemC code from abstract system models
auteur
Dominique Cansell, Jean-François Culat, Dominique Méry, Cyril Proch
article
Forum on specification and Design Languages – FDL’04, 2004, Lille, France, 12 p, 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107780/file/A04-R-091.pdf BibTex
titre
Synthèse formelle par raffinement de modèles et de logiciels pour l’automaisation
auteur
Dominique Méry
article
Journées d’Etude « Automatique et Informatique », 2004, Cachan, France, 2004
Accès au bibtex
BibTex
titre
Tutorial on the event-based B method : Concepts and Case Studies
auteur
Dominique Cansell, Dominique Méry
article
Dines Bjoerner and Martin Henson. Logics of Formal Software Specification Languages – LFSL’2004, 2004, The High Tatras, Slovakia, 2004
Accès au bibtex
BibTex
titre
Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues
auteur
Gérard Morel, Dominique Méry, Jean-Baptiste Léger, Thierry Lecomte
article
7th IFAC Symposium on Cost Oriented Automation – COA’2004, 2004, Gatineau, Québec, Canada. 2004
Accès au bibtex
BibTex

Reports

titre
Projet RNRT EQUAST ; SP2 Spécification incrémentale du système
auteur
Cyril Proch, Dominique Cansell, Dominique Mery
article
[Interne] A04-R-237 || proch04a, 2004
Accès au bibtex
BibTex

2003

Journal articles

titre
Foundations of the B method
auteur
Dominique Cansell, Dominique Méry
article
Computers and Informatics, 2003, 22, 31 p
Accès au bibtex
BibTex
titre
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol
auteur
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
article
Formal Aspects of Computing, Springer Verlag, 2003, 14 (3), pp.215-227
Accès au bibtex
BibTex

Conference papers

titre
Modélisation des systèmes réactifs
auteur
Dominique Méry, Nidhal Rezg, Xiaolan Xie
article
Méry, Dominique et Rezg, Nidhal et Xie, Xiaolan. 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs – MSR 2003, 2003, Metz, France, Hermès, 568 p, 2003
Accès au bibtex
BibTex
titre
Designing event-driven systems by combining coordination and refinement
auteur
Dominique Cansell, Dominique Méry
article
2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments – RCS’03, 2003, Turku, Finland, 2003
Accès au bibtex
BibTex
titre
Formal derivation of spanning trees algorithms
auteur
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
article
Didier Bert, Jonathan Peter Bowen, Steve King, Marina Walden. Third International Conference of B and Z Users – ZB’2003, 2003, Turku, Finland, Springer Verlag, 2651, pp.457-476, 2003, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement
auteur
Dominique Cansell, Camel Tanougast, Yves Berviller, Dominique Méry, Cyril Proch, Hassan Rabah, Serge Weber
article
Forum on specification and Design Languages – FDL’03, 2003, Frankfurt, Germany, France. 12 p, 2003
Accès au bibtex
BibTex

2002

Conference papers

titre
Formalisation of enterprise modelling standards using UML and the B method.
auteur
Hervé Panetto, Jean-François Pétin, Dominique Méry
article
8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. ESOCE, pp.93-101, 2002, ISBN : 0 85358 113 4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00120944/file/panetto_et_al_ice2002.pdf BibTex
titre
Incremental Proof of the Producer/Consumer Property for the PCI Protocol
auteur
Dominique Cansell, Ganesh Gopalakrishnan, Mike Jones, Dominique Méry, Airy Weinzoepflen
article
D. Bert, J.P. Bowen, M.C. Henson, K. Robinson. 2nd International Conference of B and Z Users – ZB 2002, 2002, Grenoble, France, Springer, 2272, pp.22-41, 2002, Lectures Notes in Computer Science
Accès au bibtex
BibTex
titre
Integration of the proof process in the system development through refinement steps
auteur
Dominique Cansell, Dominique Méry
article
Eugenio Villar. 5th Forum on Specification and Design Language – Workshop SFP in FDL’02, 2002, Marseille, France, 12 p, 2002
Accès au bibtex
BibTex

Reports

titre
Développement de fonctions définies récursivement en B : Application du B événementiel
auteur
Dominique Cansell, Dominique Méry
article
[Interne] A02-R-347 || cansell02b, 2002, 25 p
Accès au bibtex
BibTex

2001

Conference papers

titre
Utilisation de B pour l’aide à la spécification d’un système de diagnostic
auteur
Dominique Cansell, Jacques Jaray, Dominique Mery
article
Approche Formelles dans l’Assistance au Développement de Logiciels – AFADl’2001, Jun 2001, Nancy, France, 15 p, 2001
Accès au bibtex
BibTex
titre
Formal Analysis of a Self-Stabilizing Algorithm – Using Predicate Diagrams
auteur
Dominique Cansell, Dominique Méry, Stephan Merz
article
Martin Wirsing. Integrating Diagrammatic and Formal Specification Techniques, 2001, Wien, Austria, pp.39-45, 2001
Accès au bibtex
BibTex
titre
Specification and Design of the Leader Election Protocol of IEEE 1394
auteur
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
article
S. Maharaj and J. Romijn and C. Shankland. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, University of Stirling, 3 p, 2001
Accès au bibtex
BibTex
titre
Modélisation et analyse de la documentation technique d’un système
auteur
Dominique Cansell, Dominique Méry, Airy Weinzoepflen
article
Colloque Francophone sur la Modélisation des Systèmes Réactifs – MSR 2001, 2001, Toulouse, France, Hermes, 16 p, 2001
Accès au bibtex
BibTex

2000

Journal articles

titre
Diagrams Refinement for the Design of Reactive Systems
auteur
Dominique Cansell, Dominique Méry, Stephan Merz
article
Journal of Universal Computer Science, Springer, 2000, 7 (2), pp.159-174
Accès au bibtex
BibTex

Conference papers

titre
Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem
auteur
Dominique Cansell, Dominique Méry
article
Jonathan P. Bowen & Steve Dunne & Andy Galloway & Steve King. International Conference on B & Z Users – ZB’2000, 2000, York, GB, Springer-Verlag, 1878, pp.148-167, 2000, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Predicate diagrams for the verification of reactive systems
auteur
Dominique Cansell, Dominique Méry, Stephan Merz
article
W. Grieskamp, T. Santen, B. Stoddart. Second International Conference on Integrated Formal Methods – IFM’2000, 2000, Dagstuhl Castle, Germany, Springer-Verlag, 1945, pp.380-397, 2000, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
A taxonomy for triggered interactions using fair object semantics
auteur
Paul Gibson, Geoff Hamilton, Dominique Méry
article
M. Calder & E. Magill. Feature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, IOS Press, 20 p, 2000
Accès au bibtex
BibTex
titre
Verifying Reactive Systems Using Predicate Diagrams
auteur
Dominique Cansell, Dominique Méry, Stephan Merz
article
Wolfgang Reif & Gerhard Schellhorn. FM-TOOLS’2000, 2000, Ulm, 5 p, 2000
Accès au bibtex
BibTex
titre
Abstraction and Refinement of Concurrent Programs and Formal Specification
auteur
Dominique Cansell, Dominique Méry, Christophe Tabacznyj
article
Jose Rolim et al. Workshop on Formal Methods for Parallel Programming – FMPPTA’2000, 2000, Cancun, Mexico, Springer-Verlag, 1800, pp.1037-1038, 2000, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Predicate diagrams
auteur
Dominique Cansell, Dominique Méry, Stephan Merz
article
M.V. Cengarle. Workshop on Requirement, Design, Correct Construction & Verification, 2000, Munich, Germany, 2000
Accès au bibtex
BibTex

Book sections

titre
Fair Objects
auteur
John Paul Gibson, Dominique Méry
article
H. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering
Accès au bibtex
BibTex
titre
Abstraction and refinement of features
auteur
Dominique Cansell, Dominique Méry
article
Stephen, Gilmore et Mark, Ryan. Language Constructs for Designing Features, Springer, 2000
Accès au bibtex
BibTex

Reports

titre
Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d’expertise sur l’utilisation de la méthode B.
auteur
Dominique Cansell, Jacques Jaray, Dominique Méry
article
[Contrat] A00-R-047 || cansell00a, 2000, 34 p
Accès au bibtex
BibTex

1999

Conference papers

titre
Validation of formal specifications
auteur
Dominique Méry, Yassine Mokhtari
article
AAAI’99, Fall Symposium, Nov 1999, none, 5 p, 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00108115/file/99-R-280.pdf BibTex
titre
A compiler for parallel Unity programs using OpenMp
auteur
Raphaël Couturier, Bertrand Couturier, Dominique Méry
article
Parallel and Distributed Processing Techniques & Applications – PDPTA’99, Jul 1999, Las Vegas, USA, 21 p, 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098760/file/99-R-121.pdf BibTex
titre
Animating formal specifications : a telephone simulation case study
auteur
Jean-Paul Gibson, Dominique Méry, Yassine Mokhtari
article
13th European Simulation Multiconference – ESM’99, Jun 1999, Warsaw, Poland, II, pp.139–145, 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00108114/file/99-R-161.pdf BibTex
titre
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
auteur
Dominique Méry
article
A. Galloway & K. Taguchi. Integrated Formal Methods – IFM’99, 1999, York, UK, Springer Verlag, 20 p, 1999
Accès au bibtex
BibTex
titre
Towards a formal engineering framework for process automation
auteur
Patrick Lamboley, Jean-François Pétin, Dominique Méry
article
Seventh IEEE International Conference on Emerging Technologies & Factory Automation – ETFA’99, 1999, Barcelona, Spain, IEEE, 8 p, 1999
Accès au bibtex
BibTex
titre
Abstract Animator for Temporal Specifications
auteur
Dominique Cansell, Dominique Méry
article
Françoise Bellegarde & Olga Kouchnarenko. Workshop on Modelling & Verification, 1999, Besançon, France, 1999
Accès au bibtex
BibTex
titre
Integration Problems in Telephone Feature requirements
auteur
John Paul Gibson, Geoff Hamilton, Dominique Méry
article
K. Araki & A. Galloway & K. Taguchi. Workshop on Integrated Formal Methods – IFM’99, 1999, York, England, Springer Verlag, 19 p, 1999
Accès au bibtex
BibTex
titre
Formal modelling of services for getting a better understanding of the feature interaction problem – multi-view approach
auteur
Jean-Paul Gibson, Dominique Méry
article
D. Bjorner, M. Broy, A. Zamulin. Andrei Ershov Third International Conference, Perspectives of system Informatics – PSI’99, 1999, Novosibirsk, Russia, Springer-Verlag, 1755, pp.155-179, 1999, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Abstract animator for temporal specifications Application to TLA
auteur
Dominique Cansell, Dominique Méry
article
Agostino Cortesi and Gilberto Fil. International Symposium on Static Analysis – SAS’99, 1999, Venise, Italie, Springer Verlag, 1694, pp.284-299, 1999, Lecture Notes in Computer Science
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Special Issue FMPPTA’98
auteur
Dominique Méry
article
World Scientific, 1999, Parallel Processing Letters
Accès au bibtex
BibTex
titre
Edition Spéciale RenPar’10
auteur
Dominique Méry, Guy-René Perrin
article
Hermès, 1999, TSI
Accès au bibtex
BibTex

1998

Journal articles

titre
Spécification de services : une approche avec B
auteur
Bruno Mermet, Dominique Méry, Dmitri Samborski
article
Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (9), pp.1157-1180
Accès au bibtex
BibTex

Conference papers

titre
An experiment in parallelizing an application using formal methods
auteur
Raphaël Couturier, Dominique Méry
article
Hu, Alan and Vardi, Moshe. International Conference on Computer Aided Verification – CAV’98, 1998, Vancouver, Canada, 10 p, 1998, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Teaching Formal Methods: Lessons to learn
auteur
Jean-Paul Gibson, Dominique Méry
article
Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p, 1998
Accès au bibtex
BibTex
titre
Interprétation de spécifications temporelles à l’aide d’un outil de preuve
auteur
Dominique Cansell, Dominique Méry
article
AFADl’98, 1998, none, 13 p, 1998
Accès au bibtex
BibTex
titre
Parallelization of a Monte Carlo simulation of a spins system
auteur
Raphaël Couturier, Dominique Méry
article
Arabnia, Hamid R. Parallel and Distributed Processing Techniques and Applications – PDPTA’98, 1998, Las Vegas, USA, 5 p, 1998
Accès au bibtex
BibTex
titre
Process control engineering: contribution to a formal structuring framework with the B method
auteur
Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley
article
Didier Bert. The 2nd International B Conference, 1998, Montpellier, France. Springer Verlag, 1393, pp.198-209, 1998, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Service specifications to B, or not to B
auteur
Bruno Mermet, Dominique Méry
article
Second Workshop on Formal Methods in Software Practice, 1998, Clearwater Beach, Florida, USA, ACM, 8 p, 1998
Accès au bibtex
BibTex
titre
Formal engineering methods for modelling and verification of control systems
auteur
Dominique Méry, Jean-François Pétin
article
9th symposium on information control problems in manufacturing Advances in Industrial Engineering – INCOM’98, 1998, Nancy/France, ELSEVIER, 6 p, 1998, IFAC
Accès au bibtex
BibTex
titre
Always and Eventually in Object Requirements
auteur
Jean-Paul Gibson, Dominique Méry
article
Rigorous Object Oriented Methods, 1998, none, 20 p, 1998
Accès au bibtex
BibTex
titre
Fair Objects
auteur
Dominique Méry, Jean-Paul Gibson
article
Object Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p, 1998
Accès au bibtex
BibTex

Directions of work or proceedings

titre
RenPar’10
auteur
Guy-René Perrin, Dominique Méry
article
ULP, 264 p, 1998
Accès au bibtex
BibTex
titre
Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications
auteur
Dominique Méry, Beverly Sanders
article
Springer Verlag, 100 p, 1998, Lecture Notes in Computer Science
Accès au bibtex
BibTex

1993

Theses

titre
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
auteur
Dominique Méry
article
Autre. Université Henri Poincaré – Nancy 1, 1993. Français. 〈NNT : 1993NAN10019〉
Accès au bibtex
BibTex