Julien Signoles

54 papers A* 1A 2B 9C 6Misc 4Journal 12Unranked 19

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