Folgen
Julien Signoles
Julien Signoles
Université Paris-Saclay, CEA, List
Bestätigte E-Mail-Adresse bei cea.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Frama-C: A software analysis perspective
P Cuoq, F Kirchner, N Kosmatov, V Prevosto, J Signoles, B Yakobowski
International conference on software engineering and formal methods, 233-247, 2012
5992012
Frama-C: A software analysis perspective
F Kirchner, N Kosmatov, V Prevosto, J Signoles, B Yakobowski
Formal aspects of computing 27 (3), 573-609, 2015
5152015
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design 54, 279-335, 2019
1162019
Common specification language for static and dynamic analysis of C programs
M Delahaye, N Kosmatov, J Signoles
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1230-1235, 2013
992013
First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014
E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ...
International journal on software tools for technology transfer 21, 31-70, 2019
942019
The dogged pursuit of bug-free C programs: the Frama-C software analysis platform
P Baudin, F Bobot, D Bühler, L Correnson, F Kirchner, N Kosmatov, ...
Communications of the ACM 64 (8), 56-68, 2021
912021
Experience report: Ocaml for an industrial-strength static analysis framework
P Cuoq, J Signoles, P Baudin, R Bonichon, G Canet, L Correnson, ...
ACM Sigplan Notices 44 (9), 281-286, 2009
682009
E-ACSL, a runtime verification tool for safety and security of C programs (tool paper)
J Signoles, N Kosmatov, K Vorobyov
RV-CuBES 2017-International Workshop on Competitions, Usability, Benchmarks …, 2017
602017
An optimized memory monitoring for runtime assertion checking of C programs
N Kosmatov, G Petiot, J Signoles
Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013
522013
Frama-C user manual
L Correnson, P Cuoq, A Puccetti, J Signoles
51*
Combining analyses for C program verification
L Correnson, J Signoles
International Workshop on Formal Methods for Industrial Critical Systems …, 2012
492012
Hypercollecting semantics and its application to static analysis of information flow
M Assaf, DA Naumann, J Signoles, E Totel, F Tronel
ACM SIGPLAN Notices 52 (1), 874-887, 2017
482017
Designing a Generic Graph Library Using ML Functors.
S Conchon, JC Filliâtre, J Signoles
Trends in functional programming 8, 124-140, 2007
462007
E-ACSL: Executable ANSI/ISO C Specification Language
J Signoles
URL: http://frama-c. com/download/e-acsl/e-acsl. pdf, 0
37*
Static versus dynamic verification in Why3, Frama-C and SPARK 2014
N Kosmatov, C Marché, Y Moy, J Signoles
International Symposium on Leveraging Applications of Formal Methods, 461-478, 2016
362016
Shadow state encoding for efficient monitoring of block-level properties
K Vorobyov, J Signoles, N Kosmatov
ACM SIGPLAN Notices 52 (9), 47-58, 2017
342017
A lesson on runtime assertion checking with Frama-C
N Kosmatov, J Signoles
Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013
332013
Frama-c, a collaborative framework for c code verification: Tutorial synopsis
N Kosmatov, J Signoles
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
252016
Instrumentation of annotated C programs for test generation
G Petiot, B Botella, J Julliand, N Kosmatov, J Signoles
2014 IEEE 14th International Working Conference on Source Code Analysis and …, 2014
252014
Efficient runtime assertion checking for properties over mathematical numbers
N Kosmatov, F Maurica, J Signoles
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
192020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20