Julien Signoles

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 31

Top Topics

Software Architecture

False Acceptance

Specification Languages

Information Flow

Top Venues

Publications

Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles
Sound Runtime Assertion Checking for Memory Properties via Program Transformation. Formal Aspects Comput. 36 (1) (2024)
Louis Gauthier, Virgile Prevosto, Julien Signoles
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification. FormaliSE@ICSE (2024)
Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles
Context Specification Language for Formally Verifying Consent Properties on Models and Code. TAP (2023)
Thibaut Benjamin, Julien Signoles
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates. SAC (2023)
Thibaut Benajmin, Julien Signoles
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. TAP (2023)
Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles
A New Generic Representation for Modeling Privacy. EuroS&P Workshops (2022)
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
The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. Commun. ACM 64 (8) (2021)
Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles
Runtime Abstract Interpretation for Numerical Accuracy and Robustness. VMCAI (2021)
Julien Signoles
The e-ACSL perspective on runtime assertion checking. VORTEX@ISSTA (2021)
Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles
Verified Runtime Assertion Checking for Memory Properties. TAP@STAF (2020)
Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. RV (2020)
Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine
Abstract Compilation for Verification of Numerical Accuracy Properties. CoRR (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54 (3) (2019)
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55 (1) (2019)
Fonenantsoa Maurica, David R. Cok, Julien Signoles
Runtime Assertion Checking and Static Verification: Collaborative Partners. ISoLA (2) (2018)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR (2018)
Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels
Verification Coverage for Combining Test and Proof. TAP@STAF (2018)
Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles
Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report. TAP@STAF (2018)
Julien Signoles
Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper). RV-CuBES (2017)
Gergö Barany, Julien Signoles
Hybrid Information Flow Analysis for Real-World C Code. TAP@STAF (2017)
Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson
Runtime Detection of Temporal Memory Errors. RV (2017)
Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel
Hypercollecting semantics and its application to static analysis of information flow. POPL (2017)
Michele Alberti, Julien Signoles
Context Generation from Formal Specifications for C Analysis Tools. CoRR (2017)
Michele Alberti, Julien Signoles
Context Generation from Formal Specifications for C Analysis Tools. LOPSTR (2017)
Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). RV-CuBES (2017)
Kostyantyn Vorobyov, Julien Signoles, Nikolai Kosmatov
Shadow state encoding for efficient monitoring of block-level properties. ISMM (2017)
Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel
Hypercollecting Semantics and its Application to Static Analysis of Information Flow. CoRR (2016)
Nikolai Kosmatov, Claude Marché, Yannick Moy, Julien Signoles
Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014. ISoLA (1) (2016)
Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles
Fast as a shadow, expressive as a tree: Optimized memory monitoring for C. Sci. Comput. Program. 132 (2016)
Nikolai Kosmatov, Julien Signoles
Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis. RV (2016)
Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles
Fast as a shadow, expressive as a tree: hybrid memory monitoring for C. SAC (2015)
Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari
Gamifying Program Analysis. LPAR (2015)
Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski
Frama-C: A software analysis perspective. Formal Aspects Comput. 27 (3) (2015)
Julien Signoles
Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example. F-IDE (2015)
Julien Signoles
Comment un chameau peut-il écrire un journal ? JFLA (2014)
Nikolai Kosmatov, Julien Signoles
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis. TAP@STAF (2014)
Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles
Instrumentation of Annotated C Programs for Test Generation. SCAM (2014)
Nikolai Kosmatov, Guillaume Petiot, Julien Signoles
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. RV (2013)
Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel
Program Transformation for Non-interference Verification on Programs with Pointers. SEC (2013)
Mickaël Delahaye, Nikolai Kosmatov, Julien Signoles
Common specification language for static and dynamic analysis of C programs. SAC (2013)
Nikolai Kosmatov, Julien Signoles
A Lesson on Runtime Assertion Checking with Frama-C. RV (2013)
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper. TAP@STAF (2013)
Loïc Correnson, Julien Signoles
Combining Analyses for C Program Verification. FMICS (2012)
Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski
Frama-C - A Software Analysis Perspective. SEFM (2012)
Julien Signoles
Foncteurs impératifs et composés: la notion de projets dans Frama-C. Stud. Inform. Univ. 7 (2) (2009)
Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti
Experience report: OCaml for an industrial-strength static analysis framework. ICFP (2009)
Julien Signoles
Foncteurs impératifs et composés: la notion de projets dans Frama-C. JFLA (2009)
Benjamin Monate, Julien Signoles
Slicing for Security of Code. TRUST (2008)
Sylvain Conchon, Jean-Christophe Filliâtre, Julien Signoles
Designing a Generic Graph Library Using ML Functors. Trends in Functional Programming (2007)
Julien Signoles
Calcul statique des applications de modules paramétrés. JFLA (2003)