Dominique Méry
Présentation
LORIA, Campus Scientifique,
F54506 Vandœuvre lès Nancy
Publications
Publications
Cyclone: A New Tool for Verifying/Testing Graph-Based StructuresTests 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⟩ |
|
Checking Contracts in Event-BFormal 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⟩ |
|
|
|
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, Virtual conference, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩ |
|
|
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⟩ |
|
|
Refinement-based Construction of Correct Distributed AlgorithmsICI2ST 2021 - 2nd International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador. ⟨10.1109/ICI2ST51859.2021.00015⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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 |
|
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⟩ |
|
|
|
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⟩ |
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 |
|
|
|
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 |
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
|
|
Modelling bio-compatible and bio-integrative medical devicesEuropean & Asian System, Software & Service Process Improvement & Innovation - EUROSPII 2016, Sep 2016, Graz, Austria |
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 |
|
|
|
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⟩ |
Formal Evaluation of Landing Gear SystemSoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam |
|
Modeling an Aircraft Landing System in Event-BABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159 |
|
Playing with State-Based Models for Designing Better AlgorithmsModel and Data Engineering - 4th International Conference, MEDI 2014, Sep 2014, Larrnaca, Greece. pp.1-3 |
|
The Semantics of Refinement ChartHCI International, Jun 2014, Heraklion, Greece. pp.415-426, ⟨10.1007/978-3-319-07725-3_42⟩ |
|
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⟩ |
|
Formal Modelling and Verification of Population ProtocolsiFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland |
|
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⟩ |
|
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 |
|
Integrating Proved State-Based Models for Constructing Correct Distributed AlgorithmsiFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland |
|
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⟩ |
|
|
|
Revisiting Snapshot Algorithms by Refinement-based TechniquesPDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China |
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⟩ |
|
|
|
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 |
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⟩ |
|
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 |
|
Formal Development and Automatic Code Generation : Cardiac PacemakerInternational Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China |
|
Refinement-based Verification of Local Synchronization Algorithms17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Jun 2011, Limerick, Ireland. à paraître |
|
Medical Protocol Diagnosis using Formal MethodsInternational Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa |
|
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 |
|
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 |
|
Automatic Code Generation from Event-B ModelsSoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam |
|
|
|
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⟩ |
Proving Distributed Algorithms by Combining Refinement and Local ComputationsAVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, Sep 2010, Dusseldorf, Germany |
|
Proof-Based Design of Security Protocols5th International Computer Science Symposium in Russia, CSR 2010, Farid Ablayev, Jun 2010, KAZAN, Russia. pp.25-36 |
|
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⟩ |
|
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 |
|
|
|
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 |
Cryptologic protocols analysis using proof-based patternsSeventh International Andrei Ershov Memorial Conference "PERSPECTIVES OF SYSTEM INFORMATICS" - PSI 2009, Jun 2009, Novosibirsk, Russia |
|
Cryptographic Protocols Analysis in Event BSeventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» - PSI 2009, Jun 2009, Novosibisrk, Russia |
|
|
|
Teaching programming methodology using Event BThe B Method: from Research to Teaching, Henri Habrias, Jul 2008, Nantes, France |
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⟩ |
|
|
|
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⟩ |
Integration of Security Policy into System ModelingThe 7th International B Conference - B2007, Jan 2007, Besançon, France |
|
|
|
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⟩ |
|
|
Incremental Parametric Development of Greedy Algorithms6th International Workshop on Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy, France. pp.48-62 |
Formal specification of safe manufacturing machines using the B method : application to a mechanical pressMay 2006, pp.CDROM |
|
|
|
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 |
Formal and Incremental Construction of a Distributed Reference Counting Algorithm.APPSEM 2005, Martin Hofmann, Sep 2005, Frauenchiemsee Germany |
|
Synthesis of the QoS for digital TV servicesFirst International Workshop on Incentive Based Computing - IBC'05, Sep 2005, Amsterdam/Hollande |
|
|
|
Modelling SystemC scheduler by refinementIEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation - ISOLA'05, Sep 2005, Columbia/USA |
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⟩ |
|
|
|
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 |
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 |
|
|
|
Derivation of SystemC code from abstract system modelsForum on specification and Design Languages - FDL'04, 2004, Lille, France, 12 p |
Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues7th IFAC Symposium on Cost Oriented Automation - COA'2004, 2004, Gatineau, Québec, Canada |
|
Tutorial on the event-based B method : Concepts and Case StudiesLogics of Formal Software Specification Languages - LFSL'2004, 2004, The High Tatras, Slovakia |
|
Formal derivation of spanning trees algorithmsThird International Conference of B and Z Users - ZB'2003, Marina Walden, 2003, Turku, Finland, pp.457-476 |
|
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 |
|
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 |
|
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 |
|
|
|
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 |
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
Predicate diagramsWorkshop on Requirement, Design, Correct Construction & Verification, M.V. Cengarle, 2000, Munich, Germany |
|
Predicate diagrams for the verification of reactive systemsSecond International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, pp.380-397 |
|
A taxonomy for triggered interactions using fair object semanticsFeature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p |
|
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 |
|
Verifying Reactive Systems Using Predicate DiagramsFM-TOOLS'2000, Wolfgang Reif & Gerhard Schellhorn, 2000, Ulm, 5 p |
|
|
|
A compiler for parallel Unity programs using OpenMpParallel and Distributed Processing Techniques & Applications - PDPTA'99, Jul 1999, Las Vegas, USA, 21 p |
Integration Problems in Telephone Feature requirementsWorkshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p |
|
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 |
|
|
|
Animating formal specifications : a telephone simulation case study13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145 |
Abstract animator for temporal specifications Application to TLAInternational Symposium on Static Analysis - SAS'99, Gilberto Fil{é} & Agostino Cortesi, 1999, Venise, Italie, pp.284-299 |
|
Requirements for a Temporal B Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems : Assigning Temporal Meaning to Abstract Machines... and to Abstract SystemsIntegrated Formal Methods - IFM'99, A. Galloway, 1999, York, UK, 20 p |
|
|
|
Validation of formal specificationsAAAI'99, Fall Symposium, Nov 1999, none, 5 p |
Towards a formal engineering framework for process automationSeventh IEEE International Conference on Emerging Technologies & Factory Automation - ETFA'99, 1999, Barcelona, Spain, 8 p |
|
Abstract Animator for Temporal SpecificationsWorkshop on Modelling & Verification, Françoise Bellegarde, Olga Kouchnarenko & Jacques Julliand, 1999, Besançon, France |
|
An experiment in parallelizing an application using formal methodsInternational Conference on Computer Aided Verification - CAV'98, 1998, Vancouver, Canada, 10 p |
|
Process control engineering: contribution to a formal structuring framework with the B methodThe 2nd International B Conference, 1998, Montpellier, France. pp.198-209 |
|
Interprétation de spécifications temporelles à l'aide d'un outil de preuveAFADl'98, 1998, none, 13 p |
|
Fair ObjectsObject Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p |
|
Always and Eventually in Object RequirementsRigorous Object Oriented Methods, 1998, none, 20 p |
|
Service specifications to B, or not to BSecond Workshop on Formal Methods in Software Practice, 1998, Clearwater Beach, Florida, USA, 8 p |
|
Parallelization of a Monte Carlo simulation of a spins systemParallel and Distributed Processing Techniques and Applications - PDPTA'98, 1998, Las Vegas, USA, 5 p |
|
Teaching Formal Methods: Lessons to learnIrish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p |
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
Incremental Proof-Based Development for Resilient Distributed SystemsTrustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering |
|
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⟩ |
|
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 |
|
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⟩ |
|
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⟩ |
|
|
|
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 |
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 |
|
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 |
|
Event BHenri Habrias and Marc Frappier. Software Specification Methods, HERMES, 2006, 1-905209-34-7 |
|
Fair ObjectsH. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering |
|
Abstraction and refinement of featuresStephen, Gilmore et Mark, Ryan. Language Constructs for Designing Features, Springer, 2000 |
|
|
Teaching formal techniques with Event-B and Rodin ⋆2025 |
|
|
EB2C : A Tool for Event-B to C Conversion Support2010 |
|
|
A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions2023 |
|
|
From System Events to Software Operations for Refinement-based Modeling of Hybrid Systems *2023 |
|
|
Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract)2011 |
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⟩ |
|
|
Tutorial on the event-based B methodIFIP FORTE 2006 Paris, 2006 |