8 citations · 22 across the 4 of their papers we have counts for
5 papers
Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams
Martin Boniol, Julien Brunel, Jean-Baptiste Chaudron +2
The Airborne Collision Avoidance System Xu (ACAS-Xu) relies on large certified Look-Up Tables (LUTs) that encode the exact decision logic used in operation. Neural-network-based ap…
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
Victor Magron, Pierre-Loic Garoche, Didier Henrion +1
We consider the problem of approximating the reachable set of a discrete-time polynomial system from a semialgebraic set of initial conditions under general semialgebraic set const…
Hierarchical State Machines as Modular Horn Clauses
Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux
In model based development, embedded systems are modeled using a mix of dataflow formalism, that capture the flow of computation, and hierarchical state machines, that capture the…
Correct-by-construction model composition: Application to the Invasive Software Composition method
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale +1
Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These ac…
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type s…