- 53
- 26
- 24
- 23
- 17
- 7
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Dominique Méry
176
Documents
Presentation
- Full Professor in Computing Science
- Head of the team [MOSEL](http://mosel.loria.fr) of the [LORIA](http://www.loria.fr) laboratory
- Professor at [Telecom Nancy](https://telecomnancy.univ-lorraine.fr/)
- dominique dot mery at loria dot fr
- Tel.+33 (0)3.83.59.20.19
- Bureau B202
LORIA, Campus Scientifique,
F54506 Vandœuvre lès Nancy
- [Webpage on the LORIA laboratory](http://members.loria.fr/Mery)
Publications
- 131
- 53
- 40
- 34
- 9
- 5
- 1
- 1
- 52
- 31
- 20
- 17
- 17
- 16
- 13
- 12
- 12
- 11
- 11
- 10
- 10
- 9
- 9
- 8
- 8
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 12
- 9
- 7
- 3
- 1
- 4
- 5
- 9
- 4
- 2
- 2
- 6
- 5
- 2
- 12
- 8
- 8
- 14
- 8
- 9
- 5
- 8
- 6
- 8
- 5
- 6
- 4
- 3
- 10
- 11
- 11
- 1
|
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models7th 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⟩
Conference papers
hal-03857803v2
|
A Refinement Strategy for Hybrid System Design with Safety ConstraintsMEDI 2021 - 10th International Conference Model and Data Engineering, Jun 2021, Tallinn, Estonia. pp.3-17, ⟨10.1007/978-3-030-78428-7_1⟩
Conference papers
hal-03298750v1
|
|
Refinement-based Construction of Correct Distributed AlgorithmsICI2ST 2021 - 2nd International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador
Conference papers
hal-03199808v1
|
|
|
Standard Conformance-by-Construction with Event-BFMICS 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⟩
Conference papers
hal-03487118v2
|
Generating Distributed Programs from Event-B ModelsInternational Workshop on Verification and Program Transformation, Apr 2020, Dublin, Ireland. pp.110-124, ⟨10.4204/EPTCS.320.8⟩
Conference papers
hal-02997277v1
|
|
An Integrated Framework for the Formal Analysis of Critical Interactive SystemsThe 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Conference papers
hal-02999148v1
|
|
|
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 6617th 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⟩
Conference papers
hal-02942767v1
|
Verification by Construction of Distributed AlgorithmsTheoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩
Conference papers
hal-02400379v1
|
|
|
Virtual environment design as automated "physiological" counter-measures in extreme environment: from intensive care to human space flight.AHFE 2018 - Human Factors and Simulation, Jul 2018, Orlando, United States
Conference papers
hal-03198564v1
|
Modelling by Patterns for Correct-by-Construction Process.ISOLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.399-423
Conference papers
hal-01933971v1
|
|
Contextualization and Dependency in State-Based Modelling - Application to Event-BMEDI 2017 - International Conference on Model and Data Engineering, Oct 2017, Barcelona, Spain. pp.137--152, ⟨10.1007/978-3-319-66854-3_11⟩
Conference papers
hal-01631017v1
|
|
A Formal Approach for Maintaining Forest Topologies in Dynamic NetworksICIS 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⟩
Conference papers
hal-01495807v1
|
|
|
Explicit modelling of physical measures: from Event-B to JavaIMPEX 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⟩
Conference papers
hal-01798224v1
|
|
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B37th 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⟩
Conference papers
hal-01658423v1
|
On two Friends for getting Correct Programs Automatically Translating Event B Specifications to Recursive Algorithms in RodinISOLA 2016 , Bernhard Steffen and Tiziana Margaria, Oct 2016, CORFU, Greece. pp.18, ⟨10.1007/978-3-319-47166-2_57⟩
Conference papers
hal-01369425v1
|
|
|
Modelling bio-compatible and bio-integrative medical devicesEuropean & Asian System, Software & Service Process Improvement & Innovation - EUROSPII 2016, Sep 2016, Graz, Austria
Conference papers
hal-03198362v1
|
Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case StudyModel and Data Engineering - 5th International Conference, MEDI 2015, Sep 2015, Rhodes, Greece. pp.89-102
Conference papers
hal-01245991v1
|
|
Playing with State-Based Models for Designing Better AlgorithmsModel and Data Engineering - 4th International Conference, MEDI 2014, Sep 2014, Larrnaca, Greece. pp.1-3
Conference papers
hal-01097625v1
|
|
The Semantics of Refinement ChartHCI International, Jun 2014, Heraklion, Greece. pp.415-426, ⟨10.1007/978-3-319-07725-3_42⟩
Conference papers
hal-00995176v1
|
|
Modeling an Aircraft Landing System in Event-BABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159
Conference papers
hal-00985010v1
|
|
|
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems6th 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⟩
Conference papers
hal-01097624v1
|
Formal Evaluation of Landing Gear SystemSoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam
Conference papers
hal-01097645v1
|
|
Analysis of Self-* and P2P Systems using RefinementABZ 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⟩
Conference papers
hal-01018125v1
|
|
Transforming EVENT B Models into Verified C# ImplementationsVPT 2013 - First International Workshop on Verification and Program Transformation, Alexei Lisitsa and Andrei Nemytykh, Jul 2013, Saint Petersburg, Russia. pp.57-73
Conference papers
hal-00862050v1
|
|
Integrating Proved State-Based Models for Constructing Correct Distributed AlgorithmsiFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland
Conference papers
hal-00819256v1
|
|
Ideal Mode Selection of a Cardiac Pacing System4th 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⟩
Conference papers
hal-00862077v1
|
|
Formal Modelling and Verification of Population ProtocolsiFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland
Conference papers
hal-00813033v1
|
|
From Event-B Specifications to Programs for Distributed AlgorithmsWETICE 2013: 22th IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises., Jun 2013, Hammamet, Tunisia. ⟨10.1109/WETICE.2013.44⟩
Conference papers
hal-00862056v1
|
|
|
Formal Verification of Fault Tolerant NoC-based ArchitectureFirst International Workshop on Mathematics and Computer Science (IWMCS2012), Mostefa BELARBI - University of Tiaret - Algeria, Dec 2012, Tiaret, Algeria
Conference papers
hal-00763092v1
|
|
Revisiting Snapshot Algorithms by Refinement-based TechniquesPDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China
Conference papers
hal-00734131v1
|
Critical systems development methodology using formal techniques3rd International Symposium on Information and Communication Technology - SoICT 2012, Aug 2012, Ha Long, Vietnam. pp.3-12, ⟨10.1145/2350716.2350720⟩
Conference papers
hal-00747305v1
|
|
Handling Heterogeneity in Formal Developments of Hardware and Software SystemsISoLA - 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⟩
Conference papers
hal-00743810v1
|
|
Medical Protocol Diagnosis using Formal MethodsInternational Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa
Conference papers
inria-00638478v1
|
|
EB2J : Code Generation from Event-B to JavaSBMF - Brazilian Symposium on Formal Methods, CBSoft - Brazilian Conference on Software: Theory and Practice, Sep 2011, São Paulo, Brazil
Conference papers
inria-00638467v1
|
|
Refinement-based Verification of Local Synchronization Algorithms17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Jun 2011, Limerick, Ireland. à paraître
Conference papers
hal-00579252v1
|
|
Analysis of DSR Protocol in Event-B13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.401-415
Conference papers
inria-00637768v1
|
|
Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-AutomataInternational Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa
Conference papers
inria-00638473v1
|
|
Formal Development and Automatic Code Generation : Cardiac PacemakerInternational Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China
Conference papers
inria-00638486v1
|
|
Automatic Code Generation from Event-B ModelsSoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam
Conference papers
inria-00637765v1
|
|
Proof-Based Design of Security Protocols5th International Computer Science Symposium in Russia, CSR 2010, Farid Ablayev, Jun 2010, KAZAN, Russia. pp.25-36
Conference papers
inria-00542919v1
|
|
Trustable Formal Specification for Software Certification4th 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⟩
Conference papers
inria-00540008v1
|
|
Proving Distributed Algorithms by Combining Refinement and Local ComputationsAVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, Sep 2010, Dusseldorf, Germany
Conference papers
inria-00547302v1
|
|
|
Real-Time Animation for Formal SpecificationComplex Systems Design & Management 2010, Oct 2010, Paris, France. pp.49-60, ⟨10.1007/978-3-642-15654-0_3⟩
Conference papers
inria-00540005v1
|
Cryptologic protocols analysis using proof-based patternsSeventh International Andrei Ershov Memorial Conference "PERSPECTIVES OF SYSTEM INFORMATICS" - PSI 2009, Jun 2009, Novosibirsk, Russia
Conference papers
inria-00431253v1
|
|
|
Développement combiné et prouvé de systèmes transactionnels cryptologiquesApproches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2009, Jan 2009, Toulouse, France
Conference papers
inria-00426405v1
|
A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree ProblemsIntegration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany
Conference papers
hal-00361933v1
|
|
Cryptographic Protocols Analysis in Event BSeventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» - PSI 2009, Jun 2009, Novosibisrk, Russia
Conference papers
inria-00431264v1
|
|
|
Teaching programming methodology using Event BThe B Method: from Research to Teaching, Henri Habrias, Jul 2008, Nantes, France
Conference papers
inria-00287231v2
|
Integration of Security Policy into System ModelingThe 7th International B Conference - B2007, Jan 2007, Besançon, France
Conference papers
inria-00155143v1
|
|
|
Time Constraint Patterns for Event B Development7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. pp.140-154, ⟨10.1007/11955757_13⟩
Conference papers
hal-00149163v1
|
Proved-Patterns-Based Development for Structured Programs.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⟩
Conference papers
inria-00168307v1
|
|
|
Formal verification of tamper-evident storage for e-voting5th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2007, Sep 2007, LONDON, United Kingdom. pp.329-338, ⟨10.1109/SEFM.2007.21⟩
Conference papers
inria-00184833v1
|
|
Incremental Parametric Development of Greedy Algorithms6th International Workshop on Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy, France. pp.48-62
Conference papers
inria-00089497v1
|
Formal specification of safe manufacturing machines using the B method : application to a mechanical pressMay 2006, pp.CDROM
Conference papers
hal-00120743v1
|
|
|
Event Systems and Access ControlSixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, Mar 2006, Vienna/Austria, pp.40-54
Conference papers
inria-00001262v1
|
Synthesis of the QoS for digital TV servicesFirst International Workshop on Incentive Based Computing - IBC'05, Sep 2005, Amsterdam/Hollande
Conference papers
inria-00000565v1
|
|
|
Modelling SystemC scheduler by refinementIEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation - ISOLA'05, Sep 2005, Columbia/USA
Conference papers
inria-00000564v1
|
Refinement and Reachability in Event_BZB 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⟩
Conference papers
inria-00001245v1
|
|
Formal and Incremental Construction of a Distributed Reference Counting Algorithm.APPSEM 2005, Martin Hofmann, Sep 2005, Frauenchiemsee Germany
Conference papers
inria-00000788v1
|
|
|
DIXIT: a Graphical Toolkit for Predicate AbstractionsFourth International Workshop on Automated Verification of Infinite-State Systems - AVIS'05, Apr 2005, Edinburgh / U.K., pp.39-48
Conference papers
inria-00000767v1
|
|
Derivation of SystemC code from abstract system modelsForum on specification and Design Languages - FDL'04, 2004, Lille, France, 12 p
Conference papers
inria-00107780v1
|
Synthèse formelle par raffinement de modèles et de logiciels pour l'automaisationJournées d'Etude "Automatique et Informatique", Club des Enseignants et des Chercheurs en Electronique, Electrotechnique et Automatique, Section Automatique, 2004, Cachan, France
Conference papers
inria-00100064v1
|
|
Tutorial on the event-based B method : Concepts and Case StudiesLogics of Formal Software Specification Languages - LFSL'2004, 2004, The High Tatras, Slovakia
Conference papers
inria-00100065v1
|
|
Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues7th IFAC Symposium on Cost Oriented Automation - COA'2004, 2004, Gatineau, Québec, Canada
Conference papers
inria-00100068v1
|
|
Modélisation des systèmes réactifs4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2003, 2003, Metz, France, 568 p
Conference papers
inria-00099541v1
|
|
Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurementForum on specification and Design Languages - FDL'03, 2003, Frankfurt, Germany, France. 12 p
Conference papers
inria-00099834v1
|
|
Designing event-driven systems by combining coordination and refinement2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments - RCS'03, 2003, Turku, Finland
Conference papers
inria-00099835v1
|
|
Formal derivation of spanning trees algorithmsThird International Conference of B and Z Users - ZB'2003, Marina Walden, 2003, Turku, Finland, pp.457-476
Conference papers
inria-00099793v1
|
|
|
Formalisation of enterprise modelling standards using UML and the B method.8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. pp.93-101
Conference papers
hal-00120944v1
|
Incremental Proof of the Producer/Consumer Property for the PCI Protocol2nd International Conference of B and Z Users - ZB 2002, 2002, Grenoble, France, pp.22-41
Conference papers
inria-00100888v1
|
|
Integration of the proof process in the system development through refinement steps5th Forum on Specification and Design Language - Workshop SFP in FDL'02, 2002, Marseille, France, 12 p
Conference papers
inria-00100945v1
|
|
Utilisation de B pour l'aide à la spécification d'un système de diagnosticApproche Formelles dans l'Assistance au Développement de Logiciels - AFADl'2001, Jun 2001, Nancy, France, 15 p
Conference papers
inria-00100931v1
|
|
Specification and Design of the Leader Election Protocol of IEEE 1394IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, 3 p
Conference papers
inria-00100598v1
|
|
Modélisation et analyse de la documentation technique d'un systèmeColloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2001, 2001, Toulouse, France, 16 p
Conference papers
inria-00101089v1
|
|
Predicate diagrams for the verification of reactive systemsSecond International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, pp.380-397
Conference papers
inria-00099125v1
|
|
Predicate diagramsWorkshop on Requirement, Design, Correct Construction & Verification, M.V. Cengarle, 2000, Munich, Germany
Conference papers
inria-00099263v1
|
|
Abstraction and Refinement of Concurrent Programs and Formal SpecificationWorkshop on Formal Methods for Parallel Programming - FMPPTA'2000, Dominique Méry & Beverly Sanders, 2000, Cancun, Mexico, pp.1037-1038
Conference papers
inria-00099262v1
|
|
A taxonomy for triggered interactions using fair object semanticsFeature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p
Conference papers
inria-00099267v1
|
|
Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problemInternational Conference on B & Z Users - ZB'2000, 2000, York, GB, pp.148-167
Conference papers
inria-00099157v1
|
|
Verifying Reactive Systems Using Predicate DiagramsFM-TOOLS'2000, Wolfgang Reif & Gerhard Schellhorn, 2000, Ulm, 5 p
Conference papers
inria-00099261v1
|
|
Requirements for a Temporal B
|
|
|
Animating formal specifications : a telephone simulation case study13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145
Conference papers
inria-00108114v1
|
Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approachAndrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.155-179
Conference papers
inria-00098998v1
|
|
|
Validation of formal specificationsAAAI'99, Fall Symposium, Nov 1999, none, 5 p
Conference papers
inria-00108115v1
|
Abstract animator for temporal specifications Application to TLAInternational Symposium on Static Analysis - SAS'99, Gilberto Fil{é} & Agostino Cortesi, 1999, Venise, Italie, pp.284-299
Conference papers
inria-00098953v1
|
|
|
A compiler for parallel Unity programs using OpenMpParallel and Distributed Processing Techniques & Applications - PDPTA'99, Jul 1999, Las Vegas, USA, 21 p
Conference papers
inria-00098760v1
|
Integration Problems in Telephone Feature requirementsWorkshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p
Conference papers
inria-00098882v1
|
|
Towards a formal engineering framework for process automationSeventh IEEE International Conference on Emerging Technologies & Factory Automation - ETFA'99, 1999, Barcelona, Spain, 8 p
Conference papers
inria-00098874v1
|
|
Abstract Animator for Temporal SpecificationsWorkshop on Modelling & Verification, Françoise Bellegarde, Olga Kouchnarenko & Jacques Julliand, 1999, Besançon, France
Conference papers
inria-00098918v1
|
|
Always and Eventually in Object RequirementsRigorous Object Oriented Methods, 1998, none, 20 p
Conference papers
inria-00098617v1
|
|
Service specifications to B, or not to BSecond Workshop on Formal Methods in Software Practice, 1998, Clearwater Beach, Florida, USA, 8 p
Conference papers
inria-00098409v1
|
|
An experiment in parallelizing an application using formal methodsInternational Conference on Computer Aided Verification - CAV'98, 1998, Vancouver, Canada, 10 p
Conference papers
inria-00098540v1
|
|
Process control engineering: contribution to a formal structuring framework with the B methodThe 2nd International B Conference, 1998, Montpellier, France. pp.198-209
Conference papers
inria-00098406v1
|
|
Parallelization of a Monte Carlo simulation of a spins systemParallel and Distributed Processing Techniques and Applications - PDPTA'98, 1998, Las Vegas, USA, 5 p
Conference papers
inria-00098542v1
|
|
Interprétation de spécifications temporelles à l'aide d'un outil de preuveAFADl'98, 1998, none, 13 p
Conference papers
inria-00098541v1
|
|
Fair ObjectsObject Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p
Conference papers
inria-00098620v1
|
|
Teaching Formal Methods: Lessons to learnIrish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p
Conference papers
inria-00098616v1
|
Empowering the Event-B Method Using External TheoriesIntegrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Book sections
hal-03904799v1
|
|
Contextual Dependency in State-based ModellingImplicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_9⟩
Book sections
hal-03199748v1
|
|
Formal Ontological Analysis for Medical ProtocolsImplicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
Book sections
hal-03199742v1
|
|
Towards Leveraging Domain Knowledge in State-Based Formal MethodsRaschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
Book sections
hal-03250787v1
|
|
Incremental Proof-Based Development for Resilient Distributed SystemsTrustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
Book sections
hal-01246669v1
|
|
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⟩
Book sections
hal-01216779v1
|
|
Event BJean-Louis Boulanger. Mise en oeuvre de la méthode B, HERMES, 2013, Informatique et Systèmes d'Informations, ISBN : 978-2-7462-3810-7
Book sections
hal-00926335v1
|
|
Medical Protocol Diagnosis Using Formal MethodsLiu; 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⟩
Book sections
hal-00762822v1
|
|
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular AutomataLiu; 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⟩
Book sections
hal-00762821v1
|
|
|
Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et ValidationFrancis 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
Book sections
hal-00744242v1
|
The Event-B Modelling Method - Concepts and Case StudiesDines Bjoerner and Martin Henson. Logics of Specification Languages, Springer, pp.33-140, 2008, Monographs in Theoretical Computer Science
Book sections
inria-00579550v1
|
|
Designing old and new distributed algorithms by replaying an incremental proof-based developmentJean-Raymond Abrial and Uwe Glässer. Festschrift for Egon Börger, Springer-Verlag, 2007, LNCS
Book sections
inria-00174023v1
|
|
Event BHenri Habrias and Marc Frappier. Software Specification Methods, HERMES, 2006, 1-905209-34-7
Book sections
inria-00096696v1
|
|
Abstraction and refinement of featuresStephen, Gilmore et Mark, Ryan. Language Constructs for Designing Features, Springer, 2000
Book sections
inria-00099264v1
|
|
Fair ObjectsH. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering
Book sections
inria-00099324v1
|
|
EB2C : A Tool for Event-B to C Conversion Support2010
Other publications
inria-00540006v1
|
|
From System Events to Software Operations for Refinement-based Modeling of Hybrid Systems *2023
Preprints, Working Papers, ...
hal-04189025v2
|
|
A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions2023
Preprints, Working Papers, ...
hal-04152829v1
|
|
Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract)2011
Preprints, Working Papers, ...
inria-00606201v1
|
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 preuveAutre. Université Henri Poincaré - Nancy 1, 1993. Français. ⟨NNT : 1993NAN10019⟩
Theses
tel-01753615v1
|
|
Tutorial on the event-based B methodIFIP FORTE 2006 Paris, 2006
Lectures
inria-00092846v1
|