( en | de | ru )

 

Disambiguation of "Signoles, Julien"

Author of the publication

copydeleteadd this publication to your clipboard
Runtime Detection of Temporal Memory Errors.

, , , and . RV, volume 10548 of Lecture Notes in Computer Science, page 294-311. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Julien Köhrle

Julien Bonnamour

Julien Ndinga

Julien Mouysset

Julien Chantel

 

Other publications of authors with the same name

Calcul statique des applications de modules paramétrés.. JFLA, page 21-36. INRIA, (2003)Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014., , , and . ISoLA (1), volume 9952 of Lecture Notes in Computer Science, page 461-478. (2016)Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis., and . TAP, volume 8570 of Lecture Notes in Computer Science, page 165-168. Springer, (2014)A survey of challenges for runtime verification from advanced application domains (beyond software)., , , , , , , , , and 6 other author(s). Formal Methods Syst. Des., 54 (3): 279-335 (2019)Hypercollecting semantics and its application to static analysis of information flow., , , , and . POPL, page 874-887. ACM, (2017)E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)., , and . RV-CuBES, volume 3 of Kalpa Publications in Computing, page 164-173. EasyChair, (2017)Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis., and . RV, volume 10012 of Lecture Notes in Computer Science, page 92-115. Springer, (2016)Slicing for Security of Code., and . TRUST, volume 4968 of Lecture Notes in Computer Science, page 133-142. Springer, (2008)Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates., and . SAC, page 1673-1680. ACM, (2023)Combining Analyses for C Program Verification., and . FMICS, volume 7437 of Lecture Notes in Computer Science, page 108-130. Springer, (2012)