| An Event-B Formal Model For A System Reconfiguration Pattern And Its Instantiation: Application To Web Services Compensation | 0 | 0.34 | 2021 |
| Event-B Refinement for Continuous Behaviours Approximation | 0 | 0.34 | 2021 |
| Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems | 0 | 0.34 | 2021 |
| Realisability of Control-State Choreographies | 0 | 0.34 | 2021 |
| Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. | 0 | 0.34 | 2020 |
| An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. | 0 | 0.34 | 2020 |
| Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. | 0 | 0.34 | 2020 |
| Embedding Approximation in Event-B - Safe Hybrid System Design Using Proof and Refinement. | 0 | 0.34 | 2020 |
| Formal design of scalable conversation protocols using Event‐B: Validation, experiments, and benchmarks | 0 | 0.34 | 2020 |
| Handling B models in the PERF integrated verification framework: Formalised and certified embedding | 0 | 0.34 | 2020 |
| Modelling Hybrid Train Speed Controller using Proof and Refinement | 0 | 0.34 | 2019 |
| Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B | 0 | 0.34 | 2019 |
| A Refinement Based Method for Developing Distributed Protocols | 0 | 0.34 | 2019 |
| Certified Embedding of B Models in an Integrated Verification Framework | 0 | 0.34 | 2019 |
| On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. | 0 | 0.34 | 2018 |
| A formal model for plastic human computer interfaces. | 1 | 0.38 | 2018 |
| A scalable model based approach for data model evolution: Application to space missions data models. | 0 | 0.34 | 2018 |
| Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. | 2 | 0.38 | 2018 |
| Incremental Construction of Realizable Choreographies. | 1 | 0.36 | 2018 |
| Handling Reparation in Incremental Construction of Realizable Conversation Protocols. | 0 | 0.34 | 2018 |
| Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. | 0 | 0.34 | 2018 |
| B-PERFect - Applying the PERF Approach to B Based System Developments. | 0 | 0.34 | 2017 |
| The landing gear case study: challenges and experiments. | 0 | 0.34 | 2017 |
| Automating the Evolution of Data Models for Space Missions. A Model-Based Approach. | 1 | 0.35 | 2017 |
| Models and data engineering. | 1 | 0.35 | 2017 |
| Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16). | 0 | 0.34 | 2016 |
| Annotation of Engineering Models by References to Domain Ontologies. | 2 | 0.42 | 2016 |
| Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. | 1 | 0.40 | 2016 |
| Introduction to the ABZ 2014 special issue. | 0 | 0.34 | 2016 |
| A System Substitution Mechanism for Hybrid Systems in Event-B. | 1 | 0.40 | 2016 |
| Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study | 0 | 0.34 | 2016 |
| Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach | 6 | 0.65 | 2016 |
| Towards correct Evolution of Conversation Protocols. | 1 | 0.37 | 2016 |
| Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. | 3 | 0.52 | 2016 |
| Ontoql: An Alternative To Semantic Web Query Languages | 0 | 0.34 | 2015 |
| Refinement and Proof Based Development of Systems Characterized by Continuous Functions. | 3 | 0.49 | 2015 |
| Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B | 5 | 0.56 | 2015 |
| Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies | 4 | 0.44 | 2015 |
| Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation. | 0 | 0.34 | 2015 |
| A formal model for output multimodal HCI - An Event-B formalization. | 0 | 0.34 | 2015 |
| Requirements Driven Data Warehouse Design: We Can Go Further. | 6 | 0.44 | 2014 |
| Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. | 0 | 0.34 | 2014 |
| On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. | 1 | 0.35 | 2014 |
| Be careful when designing semantic databases: Data and concepts redundancy | 0 | 0.34 | 2013 |
| Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. | 5 | 0.42 | 2013 |
| Persistent Meta-Modeling Systems as Heterogeneous Model Repositories. | 0 | 0.34 | 2013 |
| New Trends in Databases and Information Systems: Contributions from ADBIS 2013. | 0 | 0.34 | 2013 |
| BeMoRe: a Repository for Handling Models Behaviors. | 1 | 0.36 | 2013 |
| It is Time to propose a Complete Methodology for Designing Semantic Databases. | 0 | 0.34 | 2013 |
| Extending Ontology-Based Databases with Behavioral Semantics. | 3 | 0.42 | 2012 |
