| 2026 | GPCE | ATLAS: From Access conTrol Language to ACSL Specifications. | Julien Signoles, Khaoula Boukir, Amine Nasri |
| 2025 | ECOOP | Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis. | Mamy Razafintsialonina, David Bhler, Antoine Min, Valentin Perrelle, Julien Signoles |
| 2025 | IFM | Formal Verification of PKCS#1 Signature Parser Using Frama-C. | Martin Hna, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles |
| 2023 | SAC | Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates. | Thibaut Benjamin, Julien Signoles |
| 2023 | TAP | Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. | Thibaut Benjamin, Julien Signoles |
| 2023 | TAP | Context Specification Language for Formally Verifying Consent Properties on Models and Code. | Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles |
| 2021 | ISSTA | The e-ACSL perspective on runtime assertion checking. | Julien Signoles |
| 2021 | VMCAI | Runtime Abstract Interpretation for Numerical Accuracy and Robustness. | Franck Vdrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles |
| 2020 | RV | Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. | Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles |
| 2020 | TAP | Verified Runtime Assertion Checking for Memory Properties. | Dara Ly, Nikolai Kosmatov, Frdric Loulergue, Julien Signoles |
| 2018 | ISoLA | Runtime Assertion Checking and Static Verification: Collaborative Partners. | Fonenantsoa Maurica, David R. Cok, Julien Signoles |
| 2018 | TAP | Verification Coverage for Combining Test and Proof. | Viet Hoang Le, Loc Correnson, Julien Signoles, Virginie Wiels |
| 2018 | TAP | Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report. | Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles |
| 2017 | LOPSTR | Context Generation from Formal Specifications for C Analysis Tools. | Michele Alberti, Julien Signoles |
| 2017 | POPL | Hypercollecting semantics and its application to static analysis of information flow. | Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frdric Tronel |
| 2017 | RV | Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper). | Julien Signoles |
| 2017 | RV | E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). | Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov |
| 2017 | RV | Runtime Detection of Temporal Memory Errors. | Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson |
| 2017 | TAP | Hybrid Information Flow Analysis for Real-World C Code. | Gerg Barany, Julien Signoles |
| 2016 | ISoLA | Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014. | Nikolai Kosmatov, Claude March, Yannick Moy, Julien Signoles |
| 2016 | RV | Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis. | Nikolai Kosmatov, Julien Signoles |
| 2015 | LPAR | Gamifying Program Analysis. | Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schf, Ashish Tiwari |
| 2015 | SAC | Fast as a shadow, expressive as a tree: hybrid memory monitoring for C. | Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles |
| 2014 | SCAM | Instrumentation of Annotated C Programs for Test Generation. | Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles |
| 2014 | TAP | Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis. | Nikolai Kosmatov, Julien Signoles |
| 2013 | SAC | Common specification language for static and dynamic analysis of C programs. | Mickal Delahaye, Nikolai Kosmatov, Julien Signoles |
| 2013 | RV | An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. | Nikolai Kosmatov, Guillaume Petiot, Julien Signoles |
| 2013 | RV | A Lesson on Runtime Assertion Checking with Frama-C. | Nikolai Kosmatov, Julien Signoles |
| 2013 | SEC | Program Transformation for Non-interference Verification on Programs with Pointers. | Mounir Assaf, Julien Signoles, Frdric Tronel, Eric Totel |
| 2013 | TAP | A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper. | Nikolai Kosmatov, Virgile Prevosto, Julien Signoles |
| 2012 | FMICS | Combining Analyses for C Program Verification. | Loc Correnson, Julien Signoles |
| 2012 | SEFM | Frama-C - A Software Analysis Perspective. | Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski |
| 2009 | ICFP | Experience report: OCaml for an industrial-strength static analysis framework. | Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Graud Canet, Loc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti |