|
Cyclone: A New Tool for Verifying/Testing Graph-Based Structures
Hao Wu
,
Thomas Flinkow
,
Dominique Méry
Tests and Proofs - 18th International Conference, {TAP} 2024, Marieke Huisman; Falk Howar, Sep 2024, MILAN, Italy. pp.107-124, ⟨10.1007/978-3-031-72044-4_6⟩
Communication dans un congrès
hal-04804849
v1
|
|
Checking Contracts in Event-B
Dominique Méry
Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea 2024, Emil Sekerinski; Leila Ribeiro, Sep 2024, Milan, Italy. pp.91-105, ⟨10.1007/978-3-031-71379-8_6⟩
Communication dans un congrès
hal-04804884
v1
|
|
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
Ismail Mendil
,
Peter Riviere
,
Yamine Aït-Ameur
,
Neeraj Kumar Singh
,
Dominique Méry
et al.
Communication dans un congrès
inserm-04095980
v1
|
|
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
Ismail Mendil
,
Yamine Aït-Ameur
,
Neeraj Kumar Singh
,
Dominique Méry
,
Philippe Palanque
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Communication dans un congrès
hal-03857803
v2
|
|
Refinement-based Construction of Correct Distributed Algorithms
Dominique Méry
ICI2ST 2021 - 2nd International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador. ⟨10.1109/ICI2ST51859.2021.00015⟩
Communication dans un congrès
hal-03199808
v1
|
|
A Refinement Strategy for Hybrid System Design with Safety Constraints
Zheng Cheng
,
Dominique Méry
Communication dans un congrès
hal-03298750
v1
|
|
Standard Conformance-by-Construction with Event-B
Ismail Mendil
,
Yamine Aït-Ameur
,
Neeraj Kumar Singh
,
Dominique Méry
,
Philippe Palanque
FMICS 2021 - 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Communication dans un congrès
hal-03487118
v2
|
|
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
Neeraj Kumar Singh
,
Yamine Aït-Ameur
,
Dominique Méry
,
David Navarre
,
Philippe Palanque
et al.
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Communication dans un congrès
hal-02942767
v1
|
|
Generating Distributed Programs from Event-B Models
Horatiu Cirstea
,
Alexis Grall
,
Dominique Méry
International Workshop on Verification and Program Transformation, Apr 2020, Dublin, Ireland. pp.110-124, ⟨10.4204/EPTCS.320.8⟩
Communication dans un congrès
hal-02997277
v1
|
|
An Integrated Framework for the Formal Analysis of Critical Interactive Systems
Ismail Mendil
,
Neeraj Kumar Singh
,
Yamine Aït-Ameur
,
Dominique Méry
,
Philippe Palanque
The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Communication dans un congrès
hal-02999148
v1
|
|
Verification by Construction of Distributed Algorithms
Dominique Méry
Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩
Communication dans un congrès
hal-02400379
v1
|
|
Modelling by Patterns for Correct-by-Construction Process.
Dominique Méry
ISOLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.399-423
Communication dans un congrès
hal-01933971
v1
|
|
Explicit modelling of physical measures: from Event-B to Java
John Paul Gibson
,
Dominique Méry
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⟩
Communication dans un congrès
hal-01798224
v1
|
|
Virtual environment design as automated "physiological" counter-measures in extreme environment: from intensive care to human space flight.
Didier Fass
,
Bruno Levy
,
Pierre Perez
,
Dominique Méry
AHFE 2018 - Human Factors and Simulation, Jul 2018, Orlando, United States
Communication dans un congrès
hal-03198564
v1
|
|
A Formal Approach for Maintaining Forest Topologies in Dynamic Networks
Faten Fakhfakh
,
Mohamed Tounsi
,
Mohamed Mosbah
,
Ahmed Hadj Kacem
,
Dominique Méry
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⟩
Communication dans un congrès
hal-01495807
v1
|
|
Contextualization and Dependency in State-Based Modelling - Application to Event-B
Souad Kherroubi
,
Dominique Méry
Communication dans un congrès
hal-01631017
v1
|
|
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B
Paul J. Gibson
,
Souad Kherroubi
,
Dominique Méry
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⟩
Communication dans un congrès
hal-01658423
v1
|
|
On two Friends for getting Correct Programs Automatically Translating Event B Specifications to Recursive Algorithms in Rodin
Dominique Méry
,
Rosemary Monahan
,
Cheng Zheng
Communication dans un congrès
hal-01369425
v1
|
|
Modelling bio-compatible and bio-integrative medical devices
Didier Fass
,
Dominique Méry
European & Asian System, Software & Service Process Improvement & Innovation - EUROSPII 2016, Sep 2016, Graz, Austria
Communication dans un congrès
hal-03198362
v1
|
|
Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study
Dominique Méry
,
Sawant Rushikesh
,
Anton Tarasyuk
Model and Data Engineering - 5th International Conference, MEDI 2015, Sep 2015, Rhodes, Greece. pp.89-102
Communication dans un congrès
hal-01245991
v1
|
|
Modeling an Aircraft Landing System in Event-B
Dominique Méry
,
Neeraj Kumar Singh
ABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159
Communication dans un congrès
hal-00985010
v1
|
|
Formal Evaluation of Landing Gear System
Dominique Méry
,
Neeraj Kumar Singh
SoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam
Communication dans un congrès
hal-01097645
v1
|
|
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
Yamine Aït-Ameur
,
John Paul Gibson
,
Dominique Méry
6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩
Communication dans un congrès
hal-01097624
v1
|
|
The Semantics of Refinement Chart
Dominique Méry
,
Neeraj Kumar Singh
Communication dans un congrès
hal-00995176
v1
|
|
Playing with State-Based Models for Designing Better Algorithms
Dominique Méry
Model and Data Engineering - 4th International Conference, MEDI 2014, Sep 2014, Larrnaca, Greece. pp.1-3
Communication dans un congrès
hal-01097625
v1
|
|
Analysis of Self-* and P2P Systems using Refinement
Manamiary Bruno Andriamiarina
,
Dominique Méry
,
Neeraj Kumar Singh
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⟩
Communication dans un congrès
hal-01018125
v1
|
|
Ideal Mode Selection of a Cardiac Pacing System
Dominique Méry
,
Neeraj Kumar Singh
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. pp.258-267, ⟨10.1007/978-3-642-39173-6_31⟩
Communication dans un congrès
hal-00862077
v1
|
|
Formal Modelling and Verification of Population Protocols
Dominique Méry
,
Mike Poppleton
iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland
Communication dans un congrès
hal-00813033
v1
|
|
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
Manamiary Bruno Andriamiarina
,
Dominique Méry
,
Neeraj Kumar Singh
iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland
Communication dans un congrès
hal-00819256
v1
|
|
Transforming EVENT B Models into Verified C# Implementations
Dominique Méry
,
Monahan Rosemary
VPT 2013 - First International Workshop on Verification and Program Transformation, Alexei Lisitsa and Andrei Nemytykh, Jul 2013, Saint Petersburg, Russia. pp.57-73
Communication dans un congrès
hal-00862050
v1
|
|
From Event-B Specifications to Programs for Distributed Algorithms
Mohammed Tounsi
,
Mohammed Mosbah
,
Dominique Méry
WETICE 2013: 22th IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises., Jun 2013, Hammamet, Tunisia. ⟨10.1109/WETICE.2013.44⟩
Communication dans un congrès
hal-00862056
v1
|
|
Handling Heterogeneity in Formal Developments of Hardware and Software Systems
Yamine Aït-Ameur
,
Dominique Méry
ISoLA - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - 2012, Tiziana Margaria and Bernhard Steffen, Oct 2012, Amirandes, Heraklion, Greece. pp.327-328, ⟨10.1007/978-3-642-34032-1_33⟩
Communication dans un congrès
hal-00743810
v1
|
|
Revisiting Snapshot Algorithms by Refinement-based Techniques
Manamiary Bruno Andriamiarina
,
Dominique Méry
,
Neeraj Kumar Singh
PDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China
Communication dans un congrès
hal-00734131
v1
|
|
Formal Verification of Fault Tolerant NoC-based Architecture
Manamiary Bruno Andriamiarina
,
Hayat Daoud
,
Mostefa Belarbi
,
Dominique Méry
,
Camel Tanougast
First International Workshop on Mathematics and Computer Science (IWMCS2012), Mostefa BELARBI - University of Tiaret - Algeria, Dec 2012, Tiaret, Algeria
Communication dans un congrès
hal-00763092
v1
|
|
Critical systems development methodology using formal techniques
Dominique Méry
,
Neeraj Kumar Singh
3rd International Symposium on Information and Communication Technology - SoICT 2012, Aug 2012, Ha Long, Vietnam. pp.3-12, ⟨10.1145/2350716.2350720⟩
Communication dans un congrès
hal-00747305
v1
|
|
Refinement-based Verification of Local Synchronization Algorithms
Dominique Méry
,
Mohamed Mosbah
,
Mohamed Tounsi
17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Jun 2011, Limerick, Ireland. à paraître
Communication dans un congrès
hal-00579252
v1
|
|
Formal Development and Automatic Code Generation : Cardiac Pacemaker
Dominique Méry
,
Neeraj Kumar Singh
International Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China
Communication dans un congrès
inria-00638486
v1
|
|
Analysis of DSR Protocol in Event-B
Dominique Méry
,
Neeraj Kumar Singh
13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.401-415
Communication dans un congrès
inria-00637768
v1
|
|
Medical Protocol Diagnosis using Formal Methods
Dominique Méry
,
Neeraj Kumar Singh
International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa
Communication dans un congrès
inria-00638478
v1
|
|
EB2J : Code Generation from Event-B to Java
Dominique Méry
,
Neeraj Kumar Singh
SBMF - Brazilian Symposium on Formal Methods, CBSoft - Brazilian Conference on Software: Theory and Practice, Sep 2011, São Paulo, Brazil
Communication dans un congrès
inria-00638467
v1
|
|
Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata
Dominique Méry
,
Neeraj Kumar Singh
International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa
Communication dans un congrès
inria-00638473
v1
|
|
Automatic Code Generation from Event-B Models
Dominique Méry
,
Neeraj Kumar Singh
SoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam
Communication dans un congrès
inria-00637765
v1
|
|
Proof-Based Design of Security Protocols
Nazim Benaissa
,
Dominique Méry
5th International Computer Science Symposium in Russia, CSR 2010, Farid Ablayev, Jun 2010, KAZAN, Russia. pp.25-36
Communication dans un congrès
inria-00542919
v1
|
|
Real-Time Animation for Formal Specification
Dominique Méry
,
Neeraj Kumar Singh
Communication dans un congrès
inria-00540005
v1
|
|
Proving Distributed Algorithms by Combining Refinement and Local Computations
Dominique Méry
,
Mohammed Mosbah
,
Mohammed Tounsi
AVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, Sep 2010, Dusseldorf, Germany
Communication dans un congrès
inria-00547302
v1
|
|
Trustable Formal Specification for Software Certification
Dominique Méry
,
Neeraj Kumar Singh
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⟩
Communication dans un congrès
istex
inria-00540008
v1
|
|
A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems
Mohamed Tounsi
,
Ahmed Hadj Kacem
,
Mohamed Mosbah
,
Dominique Méry
Integration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany
Communication dans un congrès
hal-00361933
v1
|
|
Développement combiné et prouvé de systèmes transactionnels cryptologiques
Nazim Benaissa
,
Dominique Méry
Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2009, Jan 2009, Toulouse, France
Communication dans un congrès
inria-00426405
v1
|
|
Cryptologic protocols analysis using proof-based patterns
Nazim Benaissa
,
Dominique Méry
Seventh International Andrei Ershov Memorial Conference "PERSPECTIVES OF SYSTEM INFORMATICS" - PSI 2009, Jun 2009, Novosibirsk, Russia
Communication dans un congrès
inria-00431253
v1
|
|
Cryptographic Protocols Analysis in Event B
Nazim Benaissa
,
Dominique Méry
Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» - PSI 2009, Jun 2009, Novosibisrk, Russia
Communication dans un congrès
inria-00431264
v1
|
|
Teaching programming methodology using Event B
Dominique Méry
The B Method: from Research to Teaching, Henri Habrias, Jul 2008, Nantes, France
Communication dans un congrès
inria-00287231
v2
|
|
Integration of Security Policy into System Modeling
Nazim Benaissa
,
Dominique Cansell
,
Dominique Mery
The 7th International B Conference - B2007, Jan 2007, Besançon, France
Communication dans un congrès
inria-00155143
v1
|
|
Time Constraint Patterns for Event B Development
Dominique Cansell
,
Dominique Méry
,
Joris Rehm
7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. pp.140-154, ⟨10.1007/11955757_13⟩
Communication dans un congrès
hal-00149163
v1
|
|
Formal verification of tamper-evident storage for e-voting
Dominique Cansell
,
Paul Gibson
,
Dominique Méry
5th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2007, Sep 2007, LONDON, United Kingdom. pp.329-338, ⟨10.1109/SEFM.2007.21⟩
Communication dans un congrès
inria-00184833
v1
|
|
Proved-Patterns-Based Development for Structured Programs.
Dominique Cansell
,
Dominique Méry
Computer Science - Theory and Applications, Second International, Symposium on Computer Science in Russia - CSR 2007, Ural State University (USU) ; Institute of Mathematics and Mechanics of Ural Branch of Russian Academy of Sciences, Sep 2007, Ekaterinburg, Russia. pp.104-114, ⟨10.1007/978-3-540-74510-5_13⟩
Communication dans un congrès
istex
inria-00168307
v1
|
|
Incremental Parametric Development of Greedy Algorithms
Dominique Cansell
,
Dominique Méry
6th International Workshop on Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy, France. pp.48-62
Communication dans un congrès
inria-00089497
v1
|
|
Formal specification of safe manufacturing machines using the B method : application to a mechanical press
Dominique Evrot
,
Jean-François Pétin
,
Dominique Méry
May 2006, pp.CDROM
Communication dans un congrès
hal-00120743
v1
|
|
Event Systems and Access Control
Dominique Méry
,
Stephan Merz
Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, Mar 2006, Vienna/Austria, pp.40-54
Communication dans un congrès
inria-00001262
v1
|
|
Modelling SystemC scheduler by refinement
Dominique Cansell
,
Dominique Méry
,
Cyril Proch
IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation - ISOLA'05, Sep 2005, Columbia/USA
Communication dans un congrès
inria-00000564
v1
|
|
Synthesis of the QoS for digital TV services
Denis Abraham
,
Dominique Cansell
,
Patrick Ditsch
,
Dominique Méry
,
Cyril Proch
First International Workshop on Incentive Based Computing - IBC'05, Sep 2005, Amsterdam/Hollande
Communication dans un congrès
inria-00000565
v1
|
|
Formal and Incremental Construction of a Distributed Reference Counting Algorithm.
Dominique Cansell
,
Dominique Méry
APPSEM 2005, Martin Hofmann, Sep 2005, Frauenchiemsee Germany
Communication dans un congrès
inria-00000788
v1
|
|
Refinement and Reachability in Event_B
Jean-Raymond Abrial
,
Dominique Cansell
,
Dominique Méry
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⟩
Communication dans un congrès
istex
inria-00001245
v1
|
|
DIXIT: a Graphical Toolkit for Predicate Abstractions
Loïc Fejoz
,
Dominique Méry
,
Stephan Merz
Fourth International Workshop on Automated Verification of Infinite-State Systems - AVIS'05, Apr 2005, Edinburgh / U.K., pp.39-48
Communication dans un congrès
inria-00000767
v1
|
|
Derivation of SystemC code from abstract system models
Dominique Cansell
,
Jean-François Culat
,
Dominique Méry
,
Cyril Proch
Forum on specification and Design Languages - FDL'04, 2004, Lille, France, 12 p
Communication dans un congrès
inria-00107780
v1
|
|
Synthèse formelle par raffinement de modèles et de logiciels pour l'automaisation
Dominique Méry
Journées d'Etude "Automatique et Informatique", Club des Enseignants et des Chercheurs en Electronique, Electrotechnique et Automatique, Section Automatique, 2004, Cachan, France
Communication dans un congrès
inria-00100064
v1
|
|
Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues
Gérard Morel
,
Dominique Méry
,
Jean-Baptiste Léger
,
Thierry Lecomte
7th IFAC Symposium on Cost Oriented Automation - COA'2004, 2004, Gatineau, Québec, Canada
Communication dans un congrès
inria-00100068
v1
|
|
Tutorial on the event-based B method : Concepts and Case Studies
Dominique Cansell
,
Dominique Méry
Logics of Formal Software Specification Languages - LFSL'2004, 2004, The High Tatras, Slovakia
Communication dans un congrès
inria-00100065
v1
|
|
Modélisation des systèmes réactifs
Dominique Méry
,
Nidhal Rezg
,
Xiaolan Xie
4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2003, 2003, Metz, France, 568 p
Communication dans un congrès
inria-00099541
v1
|
|
Designing event-driven systems by combining coordination and refinement
Dominique Cansell
,
Dominique Méry
2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments - RCS'03, 2003, Turku, Finland
Communication dans un congrès
inria-00099835
v1
|
|
Formal derivation of spanning trees algorithms
Jean-Raymond Abrial
,
Dominique Cansell
,
Dominique Méry
Third International Conference of B and Z Users - ZB'2003, Marina Walden, 2003, Turku, Finland, pp.457-476
Communication dans un congrès
inria-00099793
v1
|
|
Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement
Dominique Cansell
,
Camel Tanougast
,
Yves Berviller
,
Dominique Méry
,
Cyril Proch
et al.
Forum on specification and Design Languages - FDL'03, 2003, Frankfurt, Germany, France. 12 p
Communication dans un congrès
inria-00099834
v1
|
|
Formalisation of enterprise modelling standards using UML and the B method.
Hervé Panetto
,
Jean-François Pétin
,
Dominique Méry
8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. pp.93-101
Communication dans un congrès
hal-00120944
v1
|
|
Incremental Proof of the Producer/Consumer Property for the PCI Protocol
Dominique Cansell
,
Ganesh Gopalakrishnan
,
Mike Jones
,
Dominique Méry
,
Airy Weinzoepflen
2nd International Conference of B and Z Users - ZB 2002, 2002, Grenoble, France, pp.22-41
Communication dans un congrès
inria-00100888
v1
|
|
Integration of the proof process in the system development through refinement steps
Dominique Cansell
,
Dominique Méry
5th Forum on Specification and Design Language - Workshop SFP in FDL'02, 2002, Marseille, France, 12 p
Communication dans un congrès
inria-00100945
v1
|
|
Specification and Design of the Leader Election Protocol of IEEE 1394
Jean-Raymond Abrial
,
Dominique Cansell
,
Dominique Méry
IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, 3 p
Communication dans un congrès
inria-00100598
v1
|
|
Modélisation et analyse de la documentation technique d'un système
Dominique Cansell
,
Dominique Méry
,
Airy Weinzoepflen
Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2001, 2001, Toulouse, France, 16 p
Communication dans un congrès
inria-00101089
v1
|
|
Utilisation de B pour l'aide à la spécification d'un système de diagnostic
Dominique Cansell
,
Jacques Jaray
,
Dominique Mery
Approche Formelles dans l'Assistance au Développement de Logiciels - AFADl'2001, Jun 2001, Nancy, France, 15 p
Communication dans un congrès
inria-00100931
v1
|
|
Predicate diagrams for the verification of reactive systems
Dominique Cansell
,
Dominique Méry
,
Stephan Merz
Second International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, pp.380-397
Communication dans un congrès
inria-00099125
v1
|
|
Predicate diagrams
Dominique Cansell
,
Dominique Méry
,
Stephan Merz
Workshop on Requirement, Design, Correct Construction & Verification, M.V. Cengarle, 2000, Munich, Germany
Communication dans un congrès
inria-00099263
v1
|
|
Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem
Dominique Cansell
,
Dominique Méry
International Conference on B & Z Users - ZB'2000, 2000, York, GB, pp.148-167
Communication dans un congrès
inria-00099157
v1
|
|
A taxonomy for triggered interactions using fair object semantics
Paul Gibson
,
Geoff Hamilton
,
Dominique Méry
Feature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p
Communication dans un congrès
inria-00099267
v1
|
|
Abstraction and Refinement of Concurrent Programs and Formal Specification
Dominique Cansell
,
Dominique Méry
,
Christophe Tabacznyj
Workshop on Formal Methods for Parallel Programming - FMPPTA'2000, Dominique Méry & Beverly Sanders, 2000, Cancun, Mexico, pp.1037-1038
Communication dans un congrès
inria-00099262
v1
|
|
Verifying Reactive Systems Using Predicate Diagrams
Dominique Cansell
,
Dominique Méry
,
Stephan Merz
FM-TOOLS'2000, Wolfgang Reif & Gerhard Schellhorn, 2000, Ulm, 5 p
Communication dans un congrès
inria-00099261
v1
|
|
Abstract animator for temporal specifications Application to TLA
Dominique Cansell
,
Dominique Méry
International Symposium on Static Analysis - SAS'99, Gilberto Fil{é} & Agostino Cortesi, 1999, Venise, Italie, pp.284-299
Communication dans un congrès
inria-00098953
v1
|
|
Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach
Jean-Paul Gibson
,
Dominique Méry
Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.155-179
Communication dans un congrès
inria-00098998
v1
|
|
Animating formal specifications : a telephone simulation case study
Jean-Paul Gibson
,
Dominique Méry
,
Yassine Mokhtari
13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145
Communication dans un congrès
inria-00108114
v1
|
|
Integration Problems in Telephone Feature requirements
John Paul Gibson
,
Geoff Hamilton
,
Dominique Méry
Workshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p
Communication dans un congrès
inria-00098882
v1
|
|
A compiler for parallel Unity programs using OpenMp
Raphaël Couturier
,
Bertrand Couturier
,
Dominique Méry
Parallel and Distributed Processing Techniques & Applications - PDPTA'99, Jul 1999, Las Vegas, USA, 21 p
Communication dans un congrès
inria-00098760
v1
|
|
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
Dominique Méry
Integrated Formal Methods - IFM'99, A. Galloway, 1999, York, UK, 20 p
Communication dans un congrès
inria-00108066
v1
|
|
Validation of formal specifications
Dominique Méry
,
Yassine Mokhtari
AAAI'99, Fall Symposium, Nov 1999, none, 5 p
Communication dans un congrès
inria-00108115
v1
|
|
Towards a formal engineering framework for process automation
Patrick Lamboley
,
Jean-François Pétin
,
Dominique Méry
Seventh IEEE International Conference on Emerging Technologies & Factory Automation - ETFA'99, 1999, Barcelona, Spain, 8 p
Communication dans un congrès
inria-00098874
v1
|
|
Abstract Animator for Temporal Specifications
Dominique Cansell
,
Dominique Méry
Workshop on Modelling & Verification, Françoise Bellegarde, Olga Kouchnarenko & Jacques Julliand, 1999, Besançon, France
Communication dans un congrès
inria-00098918
v1
|
|
Interprétation de spécifications temporelles à l'aide d'un outil de preuve
Dominique Cansell
,
Dominique Méry
AFADl'98, 1998, none, 13 p
Communication dans un congrès
inria-00098541
v1
|
|
Fair Objects
Dominique Méry
,
Jean-Paul Gibson
Object Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p
Communication dans un congrès
inria-00098620
v1
|
|
An experiment in parallelizing an application using formal methods
Raphaël Couturier
,
Dominique Méry
International Conference on Computer Aided Verification - CAV'98, 1998, Vancouver, Canada, 10 p
Communication dans un congrès
inria-00098540
v1
|
|
Process control engineering: contribution to a formal structuring framework with the B method
Jean-François Pétin
,
Gérard Morel
,
Dominique Méry
,
Patrick Lamboley
The 2nd International B Conference, 1998, Montpellier, France. pp.198-209
Communication dans un congrès
inria-00098406
v1
|
|
Always and Eventually in Object Requirements
Jean-Paul Gibson
,
Dominique Méry
Rigorous Object Oriented Methods, 1998, none, 20 p
Communication dans un congrès
inria-00098617
v1
|
|
Service specifications to B, or not to B
Bruno Mermet
,
Dominique Méry
Second Workshop on Formal Methods in Software Practice, 1998, Clearwater Beach, Florida, USA, 8 p
Communication dans un congrès
inria-00098409
v1
|
|
Parallelization of a Monte Carlo simulation of a spins system
Raphaël Couturier
,
Dominique Méry
Parallel and Distributed Processing Techniques and Applications - PDPTA'98, 1998, Las Vegas, USA, 5 p
Communication dans un congrès
inria-00098542
v1
|
|
Teaching Formal Methods: Lessons to learn
Jean-Paul Gibson
,
Dominique Méry
Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p
Communication dans un congrès
inria-00098616
v1
|