Dataset - CKAN

Synthesis, Crystal Structure and Luminescent Properties of New Lanthanide-Con...

International audience

HTML

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...

HTML

Transforming EVENT B Models into Verified C# Implementations

International audience

HTML

Ideal Mode Selection of a Cardiac Pacing System

International audience

HTML

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...

HTML

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...

HTML

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...

HTML

Incremental Parametric Development of Greedy Algorithms

International audience

HTML

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...

HTML

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...

HTML

Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)

International audience

HTML

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)...

HTML

Raffinement temporel et exécution parallèle dans un langage synchrone fonctio...

In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspired from synchronous languages. The idea of these languages is to...

HTML

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...