[1] Michele Alberti and Julien Signoles. Context Generation from Formal Specifications for C Analysis Tools. In Logic-based Program Synthesis and Transformation (LOPSTR'17), October 2017. [ bib | .pdf | Abstract ]
[2] Julien Signoles, Nikolai Kosmatov, and Kostyantyn Vorobyov. E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs. Tool Paper. In International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-CuBES'17), September 2017. [ bib | .pdf | Abstract ]
[3] Julien Signoles. Online Runtime Verification Competitions: How To Possibly Deal With Their Issues. Position Paper. In International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-CuBES'17), September 2017. [ bib | .pdf | Abstract ]
[4] Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson. Runtime detection of temporal memory errors. In Runtime Verification (RV'17), pages 294-311, September 2017. [ bib | .pdf | Abstract ]
[5] Gergö Barany and Julien Signoles. Hybrid Information Flow Analysis for Real-World C Code. In Tests and Proofs (TAP'17), July 2017. [ bib | .pdf | Abstract ]
[6] Kostyantyn Vorobyov, Julien Signoles, and Nikolai Kosmatov. Shadow state encoding for efficient monitoring of block-level properties. In International Symposium on Memory Management (ISMM'17), pages 47-58. ACM, June 2017. [ bib | DOI | .pdf | Abstract ]
[7] Dillon Pariente and Julien Signoles. Static Analysis and Runtime Assertion Checking: Contribution to Security Counter-Measures. In Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC'17), June 2017. [ bib | .pdf | Abstract ]
[8] Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Felix Klaedtke, Klaus Havelund, Yogi Joshi, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, and Yi Zhang. First International Competition on Runtime Verification. Rules, Benchmarks, Tools and Final Results of CRV 2014. International Journal on Software Tools for Technology Transfer, pages 1-40, April 2017. [ bib | .pdf | Abstract ]
[9] Mounir Assaf, David A. Naumann Julien Signoles, Éric Totel, and Frédéric Tronel. Hypercollecting Semantics and its Application to Static Analysis of Information Flow. In Principles of Programming Languages (POPL 2017), January 2017. [ bib | .pdf | Abstract ]
[10] Julien Signoles and Sylvie Boldo, editors. Actes des vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2017), January 2017. [ bib | http ]
[11] Arvid Jakobsson, Nikolai Kosmatov, and Julien Signoles. Fast as a Shadow, Expressive as a Tree: Optimized Memory Monitoring for C. Science of Computer Programming, pages 226-246, October 2016. Extended version of [18]. [ bib | .pdf | Abstract ]
[12] Nikolai Kosmatov, Claude Marché, Julien Signoles, and Yannick Moy. Static vs Dynamic Verification in Why3, Frama-C and SPARK 2014. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), October 2016. Invited paper. [ bib | .pdf | Abstract ]
[13] Nikolai Kosmatov and Julien Signoles. Frama-C, a Collaborative Framework for C Code Verification. Tutorial Synopsis. In International Conference on Runtime Verification (RV 2016), September 2016. [ bib | .pdf | Abstract ]
[14] Mounir Assaf, Julien Signoles, Éric Totel, and Frédéric Tronel. The cardinal abstraction for quantitative information flow. In Workshop on Foundations of Computer Security (FCS 2016), June 2016. [ bib | .pdf | Abstract ]
[15] Julien Signoles, editor. Actes des vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), January 2016. [ bib | http ]
[16] Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, and Ashish Tiwari. Gamifying Program Analysis. In Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2015), pages 591-605, November 2015. [ bib | .pdf | Abstract ]
[17] Julien Signoles. Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example. In Formal Integrated Development Environment (F-IDE 2015), pages 86-96, June 2015. [ bib | .pdf | Abstract ]
[18] Arvid Jakobsson, Nikolai Kosmatov, and Julien Signoles. Fast as a Shadow, Expressive as a Tree: Hybrid Memory Monitoring for C. In Symposium On Applied Computing (SAC 2015), April 2015. [ bib | .pdf | Abstract ]
[19] Arvid Jakobsson, Nikolai Kosmatov, and Julien Signoles. Rester statique pour devenir plus rapide, plus précis et plus mince. In David Baelde and Jade Alglave, editors, Journées Francophones des Langages Applicatifs (JFLA'15), Le Val d'Ajol, France, January 2015. [ bib | .pdf | Abstract ]
[20] Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, and Boris Yakobowski. Frama-C: A Software Analysis Perspective. Formal Aspects of Computing, pages 1-37, January 2015. Extended version of [30]. [ bib | .pdf ]
[21] Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, and Julien Signoles. Instrumentation of annotated C programs for test generation. In International Conference on Source Code Analysis and Manipulation (SCAM 2014), pages 105-114, September 2014. [ bib | .pdf | Abstract ]
[22] Nikolai Kosmatov and Julien Signoles. Runtime assertion checking and its combinations with static and dynamic analyses - tutorial synopsis. In International Conference on Tests and Proofs (TAP 2014), pages 165-168, July 2014. [ bib | .pdf | Abstract ]
[23] Julien Signoles. Comment un chameau peut-il écrire un journal? In Journées Francophones des Langages Applicatifs (JFLA'14), January 2014. In French. [ bib | .pdf | Abstract ]
[24] Nikolaï Kosmatov, Guillaume Petiot, and Julien Signoles. An optimized memory monitoring for runtime assertion checking of C programs. In International Conference on Runtime Verification (RV 2013), volume 8174 of LNCS, pages 167-182. Springer, September 2013. [ bib | .pdf | Abstract ]
[25] Nikolaï Kosmatov and Julien Signoles. A lesson on runtime assertion checking with Frama-C. In International Conference on Runtime Verification (RV 2013), volume 8174 of LNCS, pages 386-399. Springer, September 2013. [ bib | .pdf | Abstract ]
[26] Mounir Assaf, Julien Signoles, Éric Totel, and Frédéric Tronel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs. In Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information (SARSSI'13)., September 2013. In French. Mounir Assaf won the conference's best student paper award for this paper. [ bib | .pdf | Abstract ]
[27] Mounir Assaf, Julien Signoles, Éric Totel, and Frédéric Tronel. Program transformation for non-interference verification on programs with pointers. In International Information Security and Privacy Conference (SEC'13), pages 231-244. Springer, July 2013. Mounir Assaf won the conference's best student paper award for this paper. [ bib | .pdf | Abstract ]
[28] Nikolaï Kosmatov, Virgile Prevosto, and Julien Signoles. A lesson on proof of programs with Frama-C. In International Conference on Tests and Proofs (TAP'13), June 2013. Invited Tutorial Paper. [ bib | .pdf | Abstract ]
[29] Mickaël Delahaye, Nikolaï Kosmatov, and Julien Signoles. Common specification language for static and dynamic analysis of C programs. In Symposium on Applied Computing (SAC'13), pages 1230-1235. ACM, March 2013. [ bib | .pdf | Abstract ]
[30] Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, and Boris Yakobowski. Frama-c: a software analysis perspective. In International Conference on Software Engineering and Formal Methods (SEFM'12), pages 233-247. Springer, October 2012. [ bib | .pdf | Abstract ]
[31] Loïc Correnson and Julien Signoles. Combining Analyses for C Program Verification. In Mariëlle Stoelinga and Ralf Pinger, editors, Formal Methods for Industrial Case Studies (FMICS'12), volume 7437 of Lecture Notes in Computer Science, pages 108-130. Springer, August 2012. [ bib | .pdf | Abstract ]
[32] Pascal Cuoq, Damien Doligez, and Julien Signoles. Lightweight typed customizable unmarshaling. In Workshop on ML (ML'11). ACM, September 2011. [ bib | .pdf | Abstract ]
[33] Julien Signoles. Une bibliothèque de typage dynamique en OCaml. In Journées Francophones des Langages Applicatifs (JFLA'11), Studia Informatica Universalis, 2011. In French. [ bib | .pdf | Abstract ]
[34] David Delmas, Stéphane Duprat, Victoria Moya-Lamiel, and Julien Signoles. Taster, a Frama-C plug-in to enforce Coding Standards. In Embedded Real-Time Software and Systems Congress (ERTSS'10), 2010. [ bib | .pdf | Abstract ]
[35] Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, and Armand Puccetti. Experience report: Ocaml for an industrial-strength static analysis framework. In Graham Hutton and Andrew P. Tolmach, editors, International Conference of Functional Programming (ICFP'09), pages 281-286. ACM, September 2009. [ bib | .pdf | Abstract ]
[36] Julien Signoles. Foncteurs impératifs et composés: la notion de projet dans Frama-C. In Alan Schmitt, editor, Journées Francophones des Langages Applicatifs (JFLA'09), volume 7.2 of Studia Informatica Universalis, pages 245-280, September 2009. In French. [ bib | .pdf | Abstract ]
[37] Benjamin Monate and Julien Signoles. Slicing for security of code. In Peter Lipp, Ahmad-Reza Sadeghi, and Klaus-Michael Koch, editors, TRUST, volume 4968 of Lecture Notes in Computer Science, pages 133-142. Springer-Verlags, March 2008. [ bib | .pdf | Abstract ]
[38] Sylvain Conchon, Jean-Christophe Filliâtre, and Julien Signoles. Designing a generic graph library using ML functors. In Trends in Functional Programming (TFP'07), April 2007. [ bib | .ps.gz | Abstract ]
[39] Julien Signoles. Extension de ML avec raffinement: syntaxe, sémantiques et système de types. PhD thesis, Université Paris-Sud, Orsay, France, July 2006. In French. [ bib | .ps.gz | Abstract ]
[40] Julien Signoles. Towards a ML Extension with Refinement: a Semantic Issue. Technical Report 1440, LRI, University of Paris Sud, March 2006. [ bib | .pdf | Abstract ]
[41] Sylvain Conchon, Jean-Christophe Filliâtre, and Julien Signoles. Le foncteur sonne toujours deux fois. In Journées Francophones des Langages Applicatifs (JFLA'05), March 2005. In French. [ bib | .ps.gz | Abstract ]
[42] Julien Signoles. Une approche fonctionnelle du modèle vue-contrôleur. In Journées Francophones des Langages Applicatifs (JFLA'05), March 2005. In French. [ bib | .ps.gz | Abstract ]
[43] Julien Signoles. Calcul statique des applications de modules paramétrés. In Journées Francophones des Langages Applicatifs (JFLA'03), January 2003. In French. [ bib | .ps.gz | Abstract ]
[44] Julien Signoles. Calcul statique des applications de foncteurs en présence d'effets de bord. Mémoire de DEA, Université Paris-Sud, Orsay, France, September 2002. In French. [ bib | .ps.gz | Abstract ]
[45] Julien Signoles. E-ACSL: Executable ANSI/ISO C Specification Language. Version 1.8, March 2014. [ bib | .pdf ]
[46] Julien Signoles. E-ACSL Version 1.8. Implementation in Frama-C Plug-in E-ACSL version 0.4, March 2014. [ bib | .pdf ]
[47] Julien Signoles. E-ACSL User Manual, March 2014. [ bib | .pdf ]
[48] Loïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Signoles, and Boris Yakobowski. Frama-C User Manual, March 2014. [ bib | .pdf ]
[49] Julien Signoles, Loïc Correnson, and Virgile Prevosto. Frama-C Plug-in Development Guide, March 2014. [ bib | .pdf ]
[50] Philippe Herrmann and Julien Signoles. Annotation generation: Frama-C's RTE plug-in, March 2014. [ bib | .pdf ]