Guaranteed Simulation of Dynamical Systems with Integral Constraints & Application on Delayed Dynamical Systems

Improving the Numerical Accuracy of Parallel Programs by Data Mapping

Automatic Generation and Formal Verification of an Interior Point Method Algorithm

Hierarchical State Machines as Modular Horn Clauses

Synthesizing Modular Invariants for Synchronous Code

A Polynomial Template Abstract Domain based on Bernstein Polynomials

Dessine moi un domaine abstrait fini -- une recette à base de Camlp4 et de solveurs SMT

SMT-AI: an Abstract Interpreter for a Synchronous Extension of SMT-lib

A Framework to formalise the MDE Foundations

Domain-Specific Language (DSL) are getting more and more popular and are being used in critical systems like aerospace and car industries. Methods for simulating and validating DSL models are now necessary in order to make the new software generation …

Expérimentation pour la définition d'une sémantique dans l'IDM