Calcul statique des applications de modules paramétrés. - Julien Signoles (JFLA, 2003)

Designing a Generic Graph Library Using ML Functors. - Sylvain Conchon; Jean-Christophe Filliâtre; Julien Signoles (Trends in Functional Programming, 2007)

Slicing for Security of Code. - Benjamin Monate; Julien Signoles (TRUST, 2008)

Experience report: OCaml for an industrial-strength static analysis framework. - Pascal Cuoq; Julien Signoles; Patrick Baudin; Richard Bonichon; Géraud Canet; Loïc Correnson; Benjamin Monate; Virgile Prevosto; Armand Puccetti (ICFP, 2009)

Foncteurs impératifs et composés: la notion de projets dans Frama-C. - Julien Signoles (Stud. Inform. Univ., 2009)

Combining Analyses for C Program Verification. - Loïc Correnson; Julien Signoles (FMICS, 2012)

Frama-C - A Software Analysis Perspective. - Pascal Cuoq; Florent Kirchner; Nikolai Kosmatov; Virgile Prevosto; Julien Signoles; Boris Yakobowski (SEFM, 2012)

An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. - Nikolai Kosmatov; Guillaume Petiot; Julien Signoles (RV, 2013)

A Lesson on Runtime Assertion Checking with Frama-C. - Nikolai Kosmatov; Julien Signoles (RV, 2013)

Common specification language for static and dynamic analysis of C programs. - Mickaël Delahaye; Nikolai Kosmatov; Julien Signoles (SAC, 2013)

Program Transformation for Non-interference Verification on Programs with Pointers. - Mounir Assaf; Julien Signoles; Frédéric Tronel; Eric Totel (SEC, 2013)

A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper. - Nikolai Kosmatov; Virgile Prevosto; Julien Signoles (TAP@STAF, 2013)

Comment un chameau peut-il écrire un journal ? - Julien Signoles (JFLA, 2014)

Instrumentation of Annotated C Programs for Test Generation. - Guillaume Petiot; Bernard Botella; Jacques Julliand; Nikolai Kosmatov; Julien Signoles (SCAM, 2014)

Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis. - Nikolai Kosmatov; Julien Signoles (TAP@STAF, 2014)

Gamifying Program Analysis. - Daniel Fava; Julien Signoles; Matthieu Lemerre; Martin Schäf; Ashish Tiwari 001 (LPAR, 2015)

Fast as a shadow, expressive as a tree: hybrid memory monitoring for C. - Arvid Jakobsson; Nikolai Kosmatov; Julien Signoles (SAC, 2015)

Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example. - Julien Signoles (F-IDE, 2015)

Frama-C: A software analysis perspective. - Florent Kirchner; Nikolai Kosmatov; Virgile Prevosto; Julien Signoles; Boris Yakobowski (Formal Aspects Comput., 2015)

Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014. - Nikolai Kosmatov; Claude Marché; Yannick Moy; Julien Signoles (ISoLA (1), 2016)

Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis. - Nikolai Kosmatov; Julien Signoles (RV, 2016)

Fast as a shadow, expressive as a tree: Optimized memory monitoring for C. - Arvid Jakobsson; Nikolai Kosmatov; Julien Signoles (Sci. Comput. Program., 2016)

Shadow state encoding for efficient monitoring of block-level properties. - Kostyantyn Vorobyov; Julien Signoles; Nikolai Kosmatov (ISMM, 2017)

Context Generation from Formal Specifications for C Analysis Tools. - Michele Alberti; Julien Signoles (LOPSTR, 2017)

Hypercollecting semantics and its application to static analysis of information flow. - Mounir Assaf; David A. Naumann; Julien Signoles; Eric Totel; Frédéric Tronel (POPL, 2017)

Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper). - Julien Signoles (RV-CuBES, 2017)

E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). - Julien Signoles; Nikolai Kosmatov; Kostyantyn Vorobyov (RV-CuBES, 2017)

Runtime Detection of Temporal Memory Errors. - Kostyantyn Vorobyov; Nikolai Kosmatov; Julien Signoles; Arvid Jakobsson (RV, 2017)

Hybrid Information Flow Analysis for Real-World C Code. - Gergö Barany; Julien Signoles (TAP@STAF, 2017)

From Static Analysis to Runtime Verification with Frama-C and E-ACSL. - Julien Signoles (2018)

Runtime Assertion Checking and Static Verification: Collaborative Partners. - Fonenantsoa Maurica; David R. Cok; Julien Signoles (ISoLA (2), 2018)

Verification Coverage for Combining Test and Proof. - Viet Hoang Le; Loïc Correnson; Julien Signoles; Virginie Wiels (TAP@STAF, 2018)

Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report. - Kostyantyn Vorobyov; Nikolai Kosmatov; Julien Signoles (TAP@STAF, 2018)

Abstract Compilation for Verification of Numerical Accuracy Properties. - Maxime Jacquemin; Fonenantsoa Maurica; Nikolai Kosmatov; Julien Signoles; Franck Védrine (CoRR, 2019)

A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. - Ezio Bartocci; Yliès Falcone; Borzoo Bonakdarpour; Christian Colombo 001; Normann Decker; Klaus Havelund; Yogi Joshi; Felix Klaedtke; Reed Milewicz; Giles Reger; Grigore Rosu; Julien Signoles; et al. (Int. J. Softw. Tools Technol. Transf., 2019)

Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. - Nikolai Kosmatov; Fonenantsoa Maurica; Julien Signoles (RV, 2020)

Verified Runtime Assertion Checking for Memory Properties. - Dara Ly; Nikolai Kosmatov; Frédéric Loulergue; Julien Signoles (TAP@STAF, 2020)

The e-ACSL perspective on runtime assertion checking. - Julien Signoles (VORTEX@ISSTA, 2021)

Runtime Abstract Interpretation for Numerical Accuracy and Robustness. - Franck Védrine; Maxime Jacquemin; Nikolai Kosmatov; Julien Signoles (VMCAI, 2021)

The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. - Patrick Baudin; François Bobot; David Bühler; Loïc Correnson; Florent Kirchner; Nikolai Kosmatov; André Maroneze; Valentin Perrelle; Virgile Prevosto; Julien Signoles; Nicky Williams (Commun. ACM, 2021)

A New Generic Representation for Modeling Privacy. - Myriam Clouet; Thibaud Antignac; Mathilde Arnaud; Gabriel Pedroza; Julien Signoles (EuroS&P Workshops, 2022)

Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates. - Thibaut Benjamin; Julien Signoles (SAC, 2023)

Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. - Thibaut Benjamin; Julien Signoles (TAP, 2023)

Context Specification Language for Formally Verifying Consent Properties on Models and Code. - Myriam Clouet; Thibaud Antignac; Mathilde Arnaud; Julien Signoles (TAP, 2023)

A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification. - Louis Gauthier; Virgile Prevosto; Julien Signoles (FormaliSE@ICSE, 2024)

Sound Runtime Assertion Checking for Memory Properties via Program Transformation. - Dara Ly; Nikolai Kosmatov; Frédéric Loulergue; Julien Signoles (Formal Aspects Comput., 2024)

Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis. - Mamy Razafintsialonina; David Bühler; Antoine Miné; Valentin Perrelle; Julien Signoles (ECOOP, 2025)