- 53
- 26
- 24
- 23
- 17
- 7
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Dominique Méry
177
Documents
Présentation
- 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
- 132
- 54
- 40
- 35
- 10
- 5
- 1
- 1
- 1
- 53
- 32
- 20
- 18
- 17
- 16
- 13
- 13
- 12
- 11
- 11
- 10
- 10
- 9
- 9
- 8
- 8
- 6
- 5
- 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
- 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
- 1
- 17
- 12
- 9
- 8
- 4
- 1
- 5
- 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
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours2022 29th Asia-Pacific Software Engineering Conference (APSEC), Dec 2022, Japan, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Communication dans un congrès
hal-04316165v1
|
|
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⟩
Communication dans un congrès
hal-03298750v1
|
|
Refinement-based Construction of Correct Distributed AlgorithmsICI2ST 2021 - 2nd International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador
Communication dans un congrès
hal-03199808v1
|
|
|
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⟩
Communication dans un congrès
hal-03857803v2
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
hal-01933971v1
|
|
|
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⟩
Communication dans un congrès
hal-01658423v1
|
|
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⟩
Communication dans un congrès
hal-01798224v1
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01495807v1
|
|
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⟩
Communication dans un congrès
hal-01369425v1
|
|
|
Modelling bio-compatible and bio-integrative medical devicesEuropean & Asian System, Software & Service Process Improvement & Innovation - EUROSPII 2016, Sep 2016, Graz, Austria
Communication dans un congrès
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
Communication dans un congrès
hal-01245991v1
|
|
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⟩
Communication dans un congrès
hal-01018125v1
|
|
The Semantics of Refinement ChartHCI International, Jun 2014, Heraklion, Greece. pp.415-426, ⟨10.1007/978-3-319-07725-3_42⟩
Communication dans un congrès
hal-00995176v1
|
|
Playing with State-Based Models for Designing Better AlgorithmsModel and Data Engineering - 4th International Conference, MEDI 2014, Sep 2014, Larrnaca, Greece. pp.1-3
Communication dans un congrès
hal-01097625v1
|
|
|
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⟩
Communication dans un congrès
hal-01097624v1
|
Formal Evaluation of Landing Gear SystemSoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam
Communication dans un congrès
hal-01097645v1
|
|
Modeling an Aircraft Landing System in Event-BABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159
Communication dans un congrès
hal-00985010v1
|
|
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⟩
Communication dans un congrès
hal-00862056v1
|
|
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
Communication dans un congrès
hal-00862050v1
|
|
Integrating Proved State-Based Models for Constructing Correct Distributed AlgorithmsiFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland
Communication dans un congrès
hal-00819256v1
|
|
Formal Modelling and Verification of Population ProtocolsiFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland
Communication dans un congrès
hal-00813033v1
|
|
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⟩
Communication dans un congrès
hal-00862077v1
|
|
|
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
Communication dans un congrès
hal-00763092v1
|
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⟩
Communication dans un congrès
hal-00747305v1
|
|
|
Revisiting Snapshot Algorithms by Refinement-based TechniquesPDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China
Communication dans un congrès
hal-00734131v1
|
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⟩
Communication dans un congrès
hal-00743810v1
|
|
Formal Development and Automatic Code Generation : Cardiac PacemakerInternational Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China
Communication dans un congrès
inria-00638486v1
|
|
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
Communication dans un congrès
inria-00638473v1
|
|
Medical Protocol Diagnosis using Formal MethodsInternational Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa
Communication dans un congrès
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
Communication dans un congrès
inria-00638467v1
|
|
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
Communication dans un congrès
inria-00637768v1
|
|
Refinement-based Verification of Local Synchronization Algorithms17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Jun 2011, Limerick, Ireland. à paraître
Communication dans un congrès
hal-00579252v1
|
|
Automatic Code Generation from Event-B ModelsSoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam
Communication dans un congrès
inria-00637765v1
|
|
Proving Distributed Algorithms by Combining Refinement and Local ComputationsAVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, Sep 2010, Dusseldorf, Germany
Communication dans un congrès
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⟩
Communication dans un congrès
inria-00540005v1
|
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⟩
Communication dans un congrès
inria-00540008v1
|
|
Proof-Based Design of Security Protocols5th International Computer Science Symposium in Russia, CSR 2010, Farid Ablayev, Jun 2010, KAZAN, Russia. pp.25-36
Communication dans un congrès
inria-00542919v1
|
|
Cryptologic protocols analysis using proof-based patternsSeventh International Andrei Ershov Memorial Conference "PERSPECTIVES OF SYSTEM INFORMATICS" - PSI 2009, Jun 2009, Novosibirsk, Russia
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
hal-00361933v1
|
|
Cryptographic Protocols Analysis in Event BSeventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» - PSI 2009, Jun 2009, Novosibisrk, Russia
Communication dans un congrès
inria-00431264v1
|
|
|
Teaching programming methodology using Event BThe B Method: from Research to Teaching, Henri Habrias, Jul 2008, Nantes, France
Communication dans un congrès
inria-00287231v2
|
|
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⟩
Communication dans un congrès
inria-00184833v1
|
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⟩
Communication dans un congrès
inria-00168307v1
|
|
Integration of Security Policy into System ModelingThe 7th International B Conference - B2007, Jan 2007, Besançon, France
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00149163v1
|
Formal specification of safe manufacturing machines using the B method : application to a mechanical pressMay 2006, pp.CDROM
Communication dans un congrès
hal-00120743v1
|
|
|
Incremental Parametric Development of Greedy Algorithms6th International Workshop on Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy, France. pp.48-62
Communication dans un congrès
inria-00089497v1
|
|
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
Communication dans un congrès
inria-00001262v1
|
Formal and Incremental Construction of a Distributed Reference Counting Algorithm.APPSEM 2005, Martin Hofmann, Sep 2005, Frauenchiemsee Germany
Communication dans un congrès
inria-00000788v1
|
|
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⟩
Communication dans un congrès
inria-00001245v1
|
|
Synthesis of the QoS for digital TV servicesFirst International Workshop on Incentive Based Computing - IBC'05, Sep 2005, Amsterdam/Hollande
Communication dans un congrès
inria-00000565v1
|
|
|
Modelling SystemC scheduler by refinementIEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation - ISOLA'05, Sep 2005, Columbia/USA
Communication dans un congrès
inria-00000564v1
|
|
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
Communication dans un congrès
inria-00000767v1
|
Tutorial on the event-based B method : Concepts and Case StudiesLogics of Formal Software Specification Languages - LFSL'2004, 2004, The High Tatras, Slovakia
Communication dans un congrès
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
Communication dans un congrès
inria-00100068v1
|
|
|
Derivation of SystemC code from abstract system modelsForum on specification and Design Languages - FDL'04, 2004, Lille, France, 12 p
Communication dans un congrès
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
Communication dans un congrès
inria-00100064v1
|
|
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
Communication dans un congrès
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
Communication dans un congrès
inria-00099793v1
|
|
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
Communication dans un congrès
inria-00099834v1
|
|
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
Communication dans un congrès
inria-00099541v1
|
|
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
Communication dans un congrès
inria-00100888v1
|
|
|
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
Communication dans un congrès
hal-00120944v1
|
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
Communication dans un congrès
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
Communication dans un congrès
inria-00100931v1
|
|
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
Communication dans un congrès
inria-00101089v1
|
|
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
Communication dans un congrès
inria-00100598v1
|
|
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
Communication dans un congrès
inria-00099157v1
|
|
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
Communication dans un congrès
inria-00099262v1
|
|
A taxonomy for triggered interactions using fair object semanticsFeature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p
Communication dans un congrès
inria-00099267v1
|
|
Predicate diagrams for the verification of reactive systemsSecond International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, pp.380-397
Communication dans un congrès
inria-00099125v1
|
|
Predicate diagramsWorkshop on Requirement, Design, Correct Construction & Verification, M.V. Cengarle, 2000, Munich, Germany
Communication dans un congrès
inria-00099263v1
|
|
Verifying Reactive Systems Using Predicate DiagramsFM-TOOLS'2000, Wolfgang Reif & Gerhard Schellhorn, 2000, Ulm, 5 p
Communication dans un congrès
inria-00099261v1
|
|
Requirements for a Temporal B
|
|
|
Validation of formal specificationsAAAI'99, Fall Symposium, Nov 1999, none, 5 p
Communication dans un congrès
inria-00108115v1
|
|
Animating formal specifications : a telephone simulation case study13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145
Communication dans un congrès
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
Communication dans un congrès
inria-00098998v1
|
|
|
A compiler for parallel Unity programs using OpenMpParallel and Distributed Processing Techniques & Applications - PDPTA'99, Jul 1999, Las Vegas, USA, 21 p
Communication dans un congrès
inria-00098760v1
|
Integration Problems in Telephone Feature requirementsWorkshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p
Communication dans un congrès
inria-00098882v1
|
|
Abstract animator for temporal specifications Application to TLAInternational Symposium on Static Analysis - SAS'99, Gilberto Fil{é} & Agostino Cortesi, 1999, Venise, Italie, pp.284-299
Communication dans un congrès
inria-00098953v1
|
|
Towards a formal engineering framework for process automationSeventh IEEE International Conference on Emerging Technologies & Factory Automation - ETFA'99, 1999, Barcelona, Spain, 8 p
Communication dans un congrès
inria-00098874v1
|
|
Abstract Animator for Temporal SpecificationsWorkshop on Modelling & Verification, Françoise Bellegarde, Olga Kouchnarenko & Jacques Julliand, 1999, Besançon, France
Communication dans un congrès
inria-00098918v1
|
|
Interprétation de spécifications temporelles à l'aide d'un outil de preuveAFADl'98, 1998, none, 13 p
Communication dans un congrès
inria-00098541v1
|
|
Fair ObjectsObject Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p
Communication dans un congrès
inria-00098620v1
|
|
Parallelization of a Monte Carlo simulation of a spins systemParallel and Distributed Processing Techniques and Applications - PDPTA'98, 1998, Las Vegas, USA, 5 p
Communication dans un congrès
inria-00098542v1
|
|
Always and Eventually in Object RequirementsRigorous Object Oriented Methods, 1998, none, 20 p
Communication dans un congrès
inria-00098617v1
|
|
Service specifications to B, or not to BSecond Workshop on Formal Methods in Software Practice, 1998, Clearwater Beach, Florida, USA, 8 p
Communication dans un congrès
inria-00098409v1
|
|
An experiment in parallelizing an application using formal methodsInternational Conference on Computer Aided Verification - CAV'98, 1998, Vancouver, Canada, 10 p
Communication dans un congrès
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
Communication dans un congrès
inria-00098406v1
|
|
Teaching Formal Methods: Lessons to learnIrish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p
Communication dans un congrès
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⟩
Chapitre d'ouvrage
hal-03904799v1
|
|
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⟩
Chapitre d'ouvrage
hal-03250787v1
|
|
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⟩
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
hal-03199742v1
|
|
Incremental Proof-Based Development for Resilient Distributed SystemsTrustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
inria-00174023v1
|
|
Event BHenri Habrias and Marc Frappier. Software Specification Methods, HERMES, 2006, 1-905209-34-7
Chapitre d'ouvrage
inria-00096696v1
|
|
Fair ObjectsH. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering
Chapitre d'ouvrage
inria-00099324v1
|
|
Abstraction and refinement of featuresStephen, Gilmore et Mark, Ryan. Language Constructs for Designing Features, Springer, 2000
Chapitre d'ouvrage
inria-00099264v1
|
|
EB2C : A Tool for Event-B to C Conversion Support2010
Autre publication scientifique
inria-00540006v1
|
|
A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions2023
Pré-publication, Document de travail
hal-04152829v1
|
|
From System Events to Software Operations for Refinement-based Modeling of Hybrid Systems *2023
Pré-publication, Document de travail
hal-04189025v2
|
|
Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract)2011
Pré-publication, Document de travail
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⟩
Thèse
tel-01753615v1
|
|
Tutorial on the event-based B methodIFIP FORTE 2006 Paris, 2006
Cours
inria-00092846v1
|