Bridging the Gap Between Requirements and Simulink Model Analysis

CoCoSim: an automated analysis framework for Simulink/Stateflow

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