-
Medical Protocol Diagnosis Using Formal Methods
International audience -
Formalization of Heart Models Based on the Conduction of Electrical Impulses ...
International audience -
Method for software liability specifications : Modelisation, Traceability and...
Despite the effort made to define methods for the design of high quality software, experience shows that failures of IT systems due to software errors remain very... -
First-principles study of hexagonal tungsten trioxide: Nature of lattice dist...
International audience -
Formalism for the high-level design of hard real-time embedded systems
Real-time embedded systems are at the core of modern industrialized societies. They are a privileged target for the application of formal methods. The importance of... -
Building abstract formal Specifications driven by goals
With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most... -
Contribution to the Systems Engineering: Refinement and Refactoring of UML sp...
Specifying complex systems is a difficult task which cannot be done in one step. In the framework of formal methods, the refinement is a key feature to incrementally... -
Equational Abstraction Refinement for Certified Tree Regular Model Checking
Tree Regular Model Checking (TRMC) is the name of a family of techniques for analyzing in nite-state systems in which states are represented by trees and sets of... -
Synthesis, Crystal Structure and Luminescent Properties of New Lanthanide-Con...
International audience -
Study and development of a AMS design-flow in SytemC : semantic, refinement a...
Systems on Chip (SoC) embed in the same chip analogue parts and digital processing units. While their complexity is ever increasing, their time to market is becoming... -
Transforming EVENT B Models into Verified C# Implementations
International audience -
Ideal Mode Selection of a Cardiac Pacing System
International audience -
Na K-edge XANES spectra of minerals and glasses.
Na K-edge X ray absorption near-edge structure (XANES) spectra for minerals and glasses were collected using synchrotron radiation. Na-K XANES is a good structural... -
Proofs by refinement of programs with pointers
The purpose of this thesis is to specify and prove programs with pointers, such as C programs, using refinement techniques. The proposed approach allows a compromise... -
Automatic Verification of Bossa Scheduler Properties
Bossa is a development environment for operating-system process schedulers that provides numerous safety guarantees. In this paper, we show how to automate the... -
Incremental Parametric Development of Greedy Algorithms
International audience -
Improvement of the precision and the efficiency of the SPH method: theoretica...
Computational fluid mechanics experienced in the last decades a fast development with the creation and improvement of numerical methods. The SPH (Smoothed Particle... -
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... -
Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)
International audience -
Formal and Incremental Construction of Distributed Algorithms: On the Distrib...
The development of distributed algorithms and, more generally, distributed systems, is a complex, delicate and challenging process. Refinement techniques of (system)...
