default search action
Julien Signoles
Person information
- affiliation: Université Paris-Saclay, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]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): 4:1-4:46 (2024) - [c39]Louis Gauthier, Virgile Prevosto, Julien Signoles:
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification. FormaliSE@ICSE 2024: 100-110 - 2023
- [c38]Thibaut Benjamin, Julien Signoles:
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates. SAC 2023: 1673-1680 - [c37]Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles:
Context Specification Language for Formally Verifying Consent Properties on Models and Code. TAP 2023: 68-93 - [c36]Thibaut Benajmin, Julien Signoles:
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. TAP 2023: 168-186 - 2022
- [c35]Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles:
A New Generic Representation for Modeling Privacy. EuroS&P Workshops 2022: 203-211 - 2021
- [j7]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): 56-68 (2021) - [c34]Julien Signoles:
The e-ACSL perspective on runtime assertion checking. VORTEX@ISSTA 2021: 8-12 - [c33]Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles:
Runtime Abstract Interpretation for Numerical Accuracy and Robustness. VMCAI 2021: 243-266 - 2020
- [c32]Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles:
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. RV 2020: 310-322 - [c31]Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles:
Verified Runtime Assertion Checking for Memory Properties. TAP@STAF 2020: 100-121
2010 – 2019
- 2019
- [j6]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): 279-335 (2019) - [j5]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): 72 (2019) - [j4]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): 31-70 (2019) - [i4]Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine:
Abstract Compilation for Verification of Numerical Accuracy Properties. CoRR abs/1911.10930 (2019) - 2018
- [b1]Julien Signoles:
From Static Analysis to Runtime Verification with Frama-C and E-ACSL. University of Paris-Sud, Orsay, France, 2018 - [c30]Fonenantsoa Maurica, David R. Cok, Julien Signoles:
Runtime Assertion Checking and Static Verification: Collaborative Partners. ISoLA (2) 2018: 75-91 - [c29]Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels:
Verification Coverage for Combining Test and Proof. TAP@STAF 2018: 120-138 - [c28]Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles:
Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report. TAP@STAF 2018: 139-156 - [i3]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 abs/1811.06740 (2018) - 2017
- [c27]Kostyantyn Vorobyov, Julien Signoles, Nikolai Kosmatov:
Shadow state encoding for efficient monitoring of block-level properties. ISMM 2017: 47-58 - [c26]Michele Alberti, Julien Signoles:
Context Generation from Formal Specifications for C Analysis Tools. LOPSTR 2017: 93-111 - [c25]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: 874-887 - [c24]Julien Signoles:
Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper). RV-CuBES 2017: 157-163 - [c23]Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov:
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). RV-CuBES 2017: 164-173 - [c22]Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson:
Runtime Detection of Temporal Memory Errors. RV 2017: 294-311 - [c21]Gergö Barany, Julien Signoles:
Hybrid Information Flow Analysis for Real-World C Code. TAP@STAF 2017: 23-40 - [i2]Michele Alberti, Julien Signoles:
Context Generation from Formal Specifications for C Analysis Tools. CoRR abs/1709.04497 (2017) - 2016
- [j3]Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles:
Fast as a shadow, expressive as a tree: Optimized memory monitoring for C. Sci. Comput. Program. 132: 226-246 (2016) - [c20]Nikolai Kosmatov, Claude Marché, Yannick Moy, Julien Signoles:
Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014. ISoLA (1) 2016: 461-478 - [c19]Nikolai Kosmatov, Julien Signoles:
Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis. RV 2016: 92-115 - [i1]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 abs/1608.01654 (2016) - 2015
- [j2]Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski:
Frama-C: A software analysis perspective. Formal Aspects Comput. 27(3): 573-609 (2015) - [c18]Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari:
Gamifying Program Analysis. LPAR 2015: 591-605 - [c17]Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles:
Fast as a shadow, expressive as a tree: hybrid memory monitoring for C. SAC 2015: 1765-1772 - [c16]Julien Signoles:
Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example. F-IDE 2015: 86-96 - 2014
- [c15]Julien Signoles:
Comment un chameau peut-il écrire un journal ? JFLA 2014: 131-148 - [c14]Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles:
Instrumentation of Annotated C Programs for Test Generation. SCAM 2014: 105-114 - [c13]Nikolai Kosmatov, Julien Signoles:
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis. TAP@STAF 2014: 165-168 - 2013
- [c12]Nikolai Kosmatov, Guillaume Petiot, Julien Signoles:
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. RV 2013: 167-182 - [c11]Nikolai Kosmatov, Julien Signoles:
A Lesson on Runtime Assertion Checking with Frama-C. RV 2013: 386-399 - [c10]Mickaël Delahaye, Nikolai Kosmatov, Julien Signoles:
Common specification language for static and dynamic analysis of C programs. SAC 2013: 1230-1235 - [c9]Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel:
Program Transformation for Non-interference Verification on Programs with Pointers. SEC 2013: 231-244 - [c8]Nikolai Kosmatov, Virgile Prevosto, Julien Signoles:
A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper. TAP@STAF 2013: 168-177 - 2012
- [c7]Loïc Correnson, Julien Signoles:
Combining Analyses for C Program Verification. FMICS 2012: 108-130 - [c6]Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski:
Frama-C - A Software Analysis Perspective. SEFM 2012: 233-247
2000 – 2009
- 2009
- [j1]Julien Signoles:
Foncteurs impératifs et composés: la notion de projets dans Frama-C. Stud. Inform. Univ. 7(2): 20-51 (2009) - [c5]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: 281-286 - [c4]Julien Signoles:
Foncteurs impératifs et composés: la notion de projets dans Frama-C. JFLA 2009: 245-280 - 2008
- [c3]Benjamin Monate, Julien Signoles:
Slicing for Security of Code. TRUST 2008: 133-142 - 2007
- [c2]Sylvain Conchon, Jean-Christophe Filliâtre, Julien Signoles:
Designing a Generic Graph Library Using ML Functors. Trends in Functional Programming 2007: 124-140 - 2003
- [c1]Julien Signoles:
Calcul statique des applications de modules paramétrés. JFLA 2003: 21-36
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-25 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint