111 citations
- Centre National de la Recherche ScientifiqueFR21 papers
- Thales (France)FR21 papers
- Université Paris-SaclayFR15 papers
- Thales (Portugal)PT11 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR6 papers
- Laboratoire Albert FertFR6 papers
- Université Paris CitéFR5 papers
- Université Paris-SudFR5 papers
- CentraleSupélecFR4 papers
- Laboratoire de Physique de l'Ecole Normale SupérieureFR4 papers
- Centre de Nanosciences et de NanotechnologiesFR3 papers
- Centre National d'Études SpatialesFR3 papers
4 papers · 1 filter
ORCA: Unveiling Obscure Containers In The Wild
Jacopo Bufalino, Agathe Blaise, Stefano Secci
Modern software development increasingly depends on open-source libraries and third-party components, which are often encapsulated into containerized environments. While improving…
A Case Study on Numerical Analysis of a Path Computation Algorithm
Grégoire Boussu, Nikolai Kosmatov, Franck Védrine
Lack of numerical precision in control software -- in particular, related to trajectory computation -- can lead to incorrect results with costly or even catastrophic consequences.…
An Efficient VCGen-based Modular Verification of Relational Properties
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto +1
Deductive verification typically relies on function contracts that specify the behavior of each function for a single function call. Relational properties link several function cal…
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…