Julien Signoles

According to our database, Julien Signoles authored at least 48 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sound Runtime Assertion Checking for Memory Properties via Program Transformation.

Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles

Formal Aspects Comput., March, 2024

A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification.

Louis Gauthier, Virgile Prevosto, Julien Signoles

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

Context Specification Language for Formally Verifying Consent Properties on Models and Code.

Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles

Proceedings of the Tests and Proofs - 17th International Conference, 2023

Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking.

Thibaut Benjamin, Julien Signoles

Proceedings of the Tests and Proofs - 17th International Conference, 2023

Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates.

Thibaut Benjamin, Julien Signoles

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022

A New Generic Representation for Modeling Privacy.

Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles

Proceedings of the IEEE European Symposium on Security and Privacy, 2022

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

Runtime Abstract Interpretation for Numerical Accuracy and Robustness.

Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

The e-ACSL perspective on runtime assertion checking.

Julien Signoles

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

2020

Verified Runtime Assertion Checking for Memory Properties.

Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles

Proceedings of the Tests and Proofs - 14th International Conference, 2020

Efficient Runtime Assertion Checking for Properties over Mathematical Numbers.

Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles

Proceedings of the Runtime Verification - 20th International Conference, 2020

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, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang

Int. J. Softw. Tools Technol. Transf., 2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

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

Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).

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

Formal Methods Syst. Des., 2019

Abstract Compilation for Verification of Numerical Accuracy Properties.

Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine

CoRR, 2019

2018

Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report.

Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Verification Coverage for Combining Test and Proof.

Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Runtime Assertion Checking and Static Verification: Collaborative Partners.

Fonenantsoa Maurica, David R. Cok, Julien Signoles

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

From Static Analysis to Runtime Verification with Frama-C and E-ACSL.

Julien Signoles

, 2018

2017

Hybrid Information Flow Analysis for Real-World C Code.

Gergö Barany, Julien Signoles

Proceedings of the Tests and Proofs - 11th International Conference, 2017

Runtime Detection of Temporal Memory Errors.

Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson

Proceedings of the Runtime Verification - 17th International Conference, 2017

E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper).

Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper).

Julien Signoles

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 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

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Context Generation from Formal Specifications for C Analysis Tools.

Michele Alberti, Julien Signoles

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

Shadow state encoding for efficient monitoring of block-level properties.

Kostyantyn Vorobyov, Julien Signoles, Nikolai Kosmatov

Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017

2016

Fast as a shadow, expressive as a tree: Optimized memory monitoring for C.

Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles

Sci. Comput. Program., 2016

Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis.

Nikolai Kosmatov, Julien Signoles

Proceedings of the Runtime Verification - 16th International Conference, 2016

Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014.

Nikolai Kosmatov, Claude Marché, Yannick Moy, Julien Signoles

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Frama-C: A software analysis perspective.

Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski

Formal Aspects Comput., 2015

Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example.

Julien Signoles

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

Fast as a shadow, expressive as a tree: hybrid memory monitoring for C.

Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Gamifying Program Analysis.

Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis.

Nikolai Kosmatov, Julien Signoles

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Instrumentation of Annotated C Programs for Test Generation.

Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

Comment un chameau peut-il écrire un journal ?

Julien Signoles

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013

A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper.

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Program Transformation for Non-interference Verification on Programs with Pointers.

Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel

Proceedings of the Security and Privacy Protection in Information Processing Systems, 2013

Common specification language for static and dynamic analysis of C programs.

Mickaël Delahaye, Nikolai Kosmatov, Julien Signoles

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A Lesson on Runtime Assertion Checking with Frama-C.

Nikolai Kosmatov, Julien Signoles

Proceedings of the Runtime Verification - 4th International Conference, 2013

An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs.

Nikolai Kosmatov, Guillaume Petiot, Julien Signoles

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

Frama-C - A Software Analysis Perspective.

Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Combining Analyses for C Program Verification.

Loïc Correnson, Julien Signoles

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2009

Foncteurs impératifs et composés: la notion de projets dans Frama-C.

Julien Signoles

Stud. Inform. Univ., 2009

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

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Slicing for Security of Code.

Benjamin Monate, Julien Signoles

Proceedings of the Trusted Computing, 2008

2007

Designing a Generic Graph Library Using ML Functors.

Sylvain Conchon, Jean-Christophe Filliâtre, Julien Signoles

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

2003

Calcul statique des applications de modules paramétrés.

Julien Signoles

Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003