Travelled to:1 × Canada
1 × Greece
1 × Hungary
1 × Portugal
1 × Spain
2 × United Kingdom
Collaborated with:N.Kosmatov V.Prevosto A.Jakobsson M.Delahaye P.Cuoq G.Petiot B.Botella J.Julliand Mounir Assaf D.A.Naumann Eric Totel Frédéric Tronel F.Kirchner B.Yakobowski P.Baudin R.Bonichon G.Canet L.Correnson B.Monate A.Puccetti
Talks about:analysi (4) static (4) program (3) tutori (2) frama (2) dynam (2) hypercollect (1) instrument (1) framework (1) strength (1)
Person: Julien Signoles
DBLP: Signoles:Julien
Contributed to:
2015
2014
201420132013
2012
2009
2017Wrote 8 papers:
- SAC-2015-JakobssonKS #c #hybrid #memory management #monitoring #performance
- Fast as a shadow, expressive as a tree: hybrid memory monitoring for C (AJ, NK, JS), pp. 1765–1772.
- SCAM-2014-PetiotBJKS #c #generative #source code #testing
- Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
- TAP-2014-KosmatovS #analysis #runtime #tutorial
- Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.
- SAC-2013-DelahayeKS #c #dynamic analysis #source code #specification
- Common specification language for static and dynamic analysis of C programs (MD, NK, JS), pp. 1230–1235.
- TAP-2013-KosmatovPS #proving #source code #tutorial
- A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper (NK, VP, JS), pp. 168–177.
- SEFM-2012-CuoqKKPSY #analysis #named #perspective
- Frama-C — A Software Analysis Perspective (PC, FK, NK, VP, JS, BY), pp. 233–247.
- ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis
- Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.
- POPL-2017-AssafNSTT #data flow #semantics #static analysis
- Hypercollecting semantics and its application to static analysis of information flow (MA, DAN, JS, ET, FT), pp. 874–887.