-
Modelling information fission in output multi-modal interactive systems using...
International audience -
Formal Domain Engineering: From Specification to Validation
The main theme of this research is to study and develop techniques for modeling of software-controlled safety-critical systems. The area we focus in this thesis is the... -
A generic framework: from modeling to code
International audience -
Analysis of DSR Protocol in Event-B
International audience -
EB2J : Code Generation from Event-B to Java
International audience -
Formalisation of the Heart based on Conduction of Electrical Impulses and Cel...
International audience -
Medical Protocol Diagnosis using Formal Methods
International audience -
Proving Distributed Algorithms by Combining Refinement and Local Computations
International audience -
Stepwise Validation of Formal Specifications
International audience -
Dynamic Composition of Evolving Process Types
Classical approaches like process algebras or labelled transition systems deal with static composition to model non-trivial concurrent or distributed systems; this is... -
MDE approach for the generation and verification of SCA model
International audience -
Formalization of Heart Models Based on the Conduction of Electrical Impulses ...
International audience -
A formal integration of access control policies into information systems
Security is a key aspect in information systems (IS) development. One cannot build a bank IS without security in mind. In medical IS, security is one of the most... -
Integrating Proved State-Based Models for Constructing Correct Distributed Al...
International audience -
From Event-B Specifications to Programs for Distributed Algorithms
International audience -
Ideal Mode Selection of a Cardiac Pacing System
International audience -
A method to refine time constraints in event B framework
Some software or hardware system involves time constraints. When those constraints are required to express the behaviour of the system, we need to write them in the... -
A Simulation Framework for the Validation of Event-B Specifications
This thesis aims at the specification, verification and validation of safety-critical systems with formal methods, in particular, with Event-B. We assessed the... -
Modelling an Aircraft Landing System in Event-B (Full Report)
The failure of hardware or software in a critical system can lead to loss of lives. The design errors can be main source of the failures that can be introduced during... -
Security Vulnerabilities Test Generation from SysML and Event-B models for EM...
International audience
