An Optimized Algorithm for Diagnosability of Component-based Systems

Diagnosability Planning for Controllable Discrete Event Systems

Automating Abstraction Computations of Hybrid Systems

Predictability in probabilistic discrete event systems

Stability of Asynchronously Communicating Systems

Diagnosability Analysis of Discrete Event Systems with Autonomous Components

Abstractions refinement for hybrid systems diagnosability analysis

VerChor: A Framework for the Design and Verification of Choreographies

Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems Diagnosable

Diagnosability Planning for Controllable Discrete Event Systems

Fault Manifestability Verification for Discrete Event Systems

Quantifying the Parallelism in BPMN Processes using Model Checking

Analysis of recurrent neural networks via property-directed verification of surrogate models

A Coloured Petri Nets Based Attack Tolerance Framework

Vérification et Validation Formelles de la Composition de Services Web

Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel

Vérification et Validation Formelles de la Composition de Services Web

A formal framework for design and validation of multimodal interactive systems in transport domain.

Animation de modèles B par transformation de modèles

Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction

From BPEL to Event-B

OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel

OntoEventB: A Generator of Event-B contexts from Ontologies

Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2

B2EXPRESS : Un animateur de modèles B événementiel.

A Proof Based Approach for Modelling and Verifying Web Services Compositions

BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement

A Multi-Agent Based Approach for Composite Web Services Simulation

Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach

Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux

Animating Event B Models by Formal Data Models

Stepwise development of formal models for web services compositions. Modeling and property verification

Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.

Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement

Modelling information fission in output multi-modal interactive systems using Event B

Formal Modelling of Domain Constraints in Event-B

A Proof Based Approach for Formal Verification of Transactional BPEL Web Services

Using Deep Ontologies in Formal Software Engineering

Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.

Using the Isabelle Ontology Framework. Linking the Formal with the Informal

Building Formal Semantic Domain Model: An Event-B Based Approach

A Floating-Point Numbers Theory for Event-B

Verification and Validation of Web Service Composition Using Event B Method

Computations of NOx emissions of domestic boilers

Effect of uncertainties in detailed chemistry on combustion model parameters

DNS of a turbulent thermal boundary layer spatially evolving on an isothermal wall from a fully turbulent adiabatic flow

Wall-modeled les with a new wall model accounting for radiation effects

Effect of detailed soot radiative properties on a laminar coflow sooting flame

Modeling propagation of detailed chemical mechanism with tabulated chemistry