Julien Signoles

Available identifiers

zbMath Open signoles.julienMaRDI QIDQ1671144

List of research outcomes

Publication	Date of Publication	Type
Abstract interpretation of recursive logic definitions for efficient runtime assertion checking	2023-12-12	Paper
Verified Runtime Assertion Checking for Memory Properties	2022-11-09	Paper
Runtime abstract interpretation for numerical accuracy and robustness	2021-10-18	Paper
A survey of challenges for runtime verification from advanced application domains (beyond software)	2019-11-25	Paper
Context generation from formal specifications for C analysis tools	2018-09-06	Paper
Hypercollecting semantics and its application to static analysis of information flow	2017-10-20	Paper
Gamifying Program Analysis	2016-01-12	Paper

Research outcomes over time

This page was built for person: Julien Signoles