14 citations · 28 across the 4 of their papers we have counts for
4 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…
Simulation under Arbitrary Temporal Logic Constraints
Julien Brunel, David Chemouil, Alcino Cunha +1
Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next…
Formal Safety and Security Assessment of an Avionic Architecture with Alloy
Julien Brunel, Laurent Rioux, Stéphane Paul +2
We propose an approach based on Alloy to formally model and assess a system architecture with respect to safety and security requirements. We illustrate this approach by considerin…
Towards an Updatable Strategy Logic
Christophe Chareton, Julien Brunel, David Chemouil
This article is about temporal multi-agent logics. Several of these formalisms have been already presented (ATL-ATL*, ATLsc, SL). They enable to express the capacities of agents in…