1. Felix Bachmann, Len Bass, Paul Clements, David Garlan, James Ivers, M. Little, Paulo Merson, Robert Nord & Judith Stafford (2010): Documenting Software Architectures: Views and Beyond, second edition. Addison-Wesley Professional.
  2. Len Bass, Paul Clements & Rick Kazman (2012): Software Architecture in Practice (3d Edition). Addison-Wesley Professional.
  3. Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché, Benjamin Monate, Yannick Moy & Virgile Prevosto (2015): ACSL: ANSI/ISO C Specification Language. Version 1.9.
  4. Loïc Correnson, Zaynah Dargaye & Anne Pacalet (2015): Frama-C's WP plug-in. \voidb@x
  5. Loïc Correnson & Julien Signoles (2012): Combining Analysis for C Program Verification. In: Formal Methods for Industrial Critical Systems (FMICS), doi:10.1007/978-3-642-32469-7_8.
  6. Pascal Cuoq, David Delmas, Stéphane Duprat & Victoria Moya Lamiel (2012): Fan-C, a Frama-C plug-in for data flow verification. In: Embedded Real Time Software and Systems (ERTSS).
  7. Pascal Cuoq & Julien Signoles (2009): Experience Report: OCaml for an industrial-strength static analysis framework. In: Proceedings of International Conference of Functional Programming (ICFP'09). ACM Press, New York, NY, USA, pp. 281–286, doi:10.1145/1631687.1596591.
  8. Pascal Cuoq, Boris Yakobowski & Virgile Prevosto (2015): Frama-C's value analysis plug-in. \voidb@x
  9. Mickaël Delahaye, Nikolai Kosmatov & Julien Signoles (2013): Common Specification Language for Static and Dynamic Analysis of C Programs. In: Symposium on Applied Computing (SAC'13). ACM, pp. 1230–1235, doi:10.1145/2480362.2480593.
  10. David Delmas, Stéphane Duprat, Victoria Moya Lamiel & Julien Signoles (2010): Taster, a Frama-C plug-in to encode Coding Standards. In: Embedded Real Time Software and Systems (ERTSS).
  11. Philippe Herrmann & Julien Signoles (2013): Annotation Generation: Frama-C's RTE plug-in. \voidb@x
  12. Ralph E. Johnson & Brian Foote (1988): Designing Reusable Classes. Journal of Object-Oriented Programming 1(2), pp. 22–35.
  13. Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles & Boris Yakobowski (2015): Frama-C: A Software Analysis Perspective. Formal Aspects of Computing, pp. 1–37, doi:10.1007/s00165-014-0326-7.
  14. George C. Necula, Scott McPeak, Shree Prakash Rahul & Westley Weimer (2002): CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In: CC '02: Proceedings of the 11th International Conference on Compiler Construction. Springer-Verlag, London, UK, pp. 213–228, doi:10.1007/3-540-45937-5_16.
  15. Julien Signoles (2009): Foncteurs impératifs et composés: la notion de projet dans Frama-C. In: Hermann: Journées Francophones des Langages Applicatifs, Studia Informatica Universalis 7.2, pp. 245–280. In French.
  16. Julien Signoles (2011): Une bibliothèque de typage dynamique en OCaml. In: Hermann: Journées Francophones des Langages Applicatifs, Studia Informatica Universalis, pp. 209–242. In French.
  17. Julien Signoles, Loïc Correnson, Matthieu Lemerre & Virgile Prevosto (2015): Frama-C Plug-in Development Guide.

Comments and questions to:
For website issues: