Julien Signoles
Julien Signoles
CEA LIST
Verifisert e-postadresse på cea.fr - Startside
TittelSitert avÅr
Frama-c
P Cuoq, F Kirchner, N Kosmatov, V Prevosto, J Signoles, B Yakobowski
International Conference on Software Engineering and Formal Methods, 233-247, 2012
3062012
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
1722015
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
622013
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
592009
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 (1), 31-70, 2019
362019
Combining analyses for C program verification
L Correnson, J Signoles
International Workshop on Formal Methods for Industrial Critical Systems …, 2012
362012
An optimized memory monitoring for runtime assertion checking of C programs
N Kosmatov, G Petiot, J Signoles
International Conference on Runtime Verification, 167-182, 2013
352013
Designing a Generic Graph Library Using ML Functors.
S Conchon, JC Filliâtre, J Signoles
Trends in functional programming 8, 124-140, 2007
322007
Frama-C user manual
L Correnson, P Cuoq, A Puccetti, J Signoles
27*
E-ACSL: Executable ANSI/ISO C Specification Language
J Signoles
URL: http://frama-c. com/download/e-acsl/e-acsl. pdf, 0
22*
A lesson on runtime assertion checking with Frama-C
N Kosmatov, J Signoles
International Conference on Runtime Verification, 386-399, 2013
202013
Hypercollecting semantics and its application to static analysis of information flow
M Assaf, DA Naumann, J Signoles, É Totel, F Tronel
ACM SIGPLAN Notices 52 (1), 874-887, 2017
162017
Slicing for security of code
B Monate, J Signoles
International Conference on Trusted Computing, 133-142, 2008
162008
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
132014
Taster, a Frama-C plug-in to enforce Coding Standards
D Delmas, S Duprat, VM Lamiel, J Signoles
Embedded Real Time Software and Systems ERTS, Toulouse, France, 177, 2010
122010
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
112016
Shadow state encoding for efficient monitoring of block-level properties
K Vorobyov, J Signoles, N Kosmatov
ACM SIGPLAN Notices 52 (9), 47-58, 2017
102017
Program transformation for non-interference verification on programs with pointers
M Assaf, J Signoles, F Tronel, E Totel
IFIP International Information Security Conference, 231-244, 2013
102013
Foncteurs impératifs et composés: la notion de projets dans Frama-C.
J Signoles
JFLA, 245-280, 2009
102009
Fast as a shadow, expressive as a tree: Optimized memory monitoring for C
A Jakobsson, N Kosmatov, J Signoles
Science of Computer Programming 132, 226-246, 2016
82016
Systemet kan ikke utføre handlingen. Prøv igjen senere.
Artikler 1–20