-
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... -
Haine et politique en Corse. L'affrontement de deux hommes au temps de la Rév...
Une lettre exceptionnelle et les événements révolutionnaires où les deux correspondants sont emportés offrent à l'historien l'occasion d'observer au microscope la... -
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... -
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... -
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... -
A Refinement based methodology for software process modeling
There is an increasing trend to consider the processes of an organization as one of its highly valuable assets. Processes are the reusable assets of an organization... -
Reasoning about Object Behaviours with Rewriting.
Colloque sans acte à diffusion restreinte. -
Playing with abstraction and refinement for managing features interactions. A...
Colloque avec actes et comité de lecture. internationale. -
Abstraction and Refinement of Concurrent Programs and Formal Specification
Colloque avec actes et comité de lecture. internationale. -
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify ...
Article dans revue scientifique avec comité de lecture. -
Modélisation formelle de circuits électroniques en B événementiel
Colloque avec actes et comité de lecture. nationale. -
Transformation systématique de spécifications UML en B
Rapport interne. -
Foundations of the B method
Article dans revue scientifique avec comité de lecture. -
Formal derivation of spanning trees algorithms
Colloque avec actes et comité de lecture. internationale. -
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
Colloque avec actes et comité de lecture. internationale. -
Designing event-driven systems by combining coordination and refinement
Colloque avec actes et comité de lecture. internationale. -
Proof-based design of a microelectronic architecture for MPEG-2 bit-rate meas...
Colloque avec actes et comité de lecture. internationale.
