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
Addison-Wesley Professional
http://resources.sei.cmu.edu/library/asset-view.cfm?assetid=30386
Len Bass
Paul Clements
Rick Kazman
2012
Software Architecture in Practice (3d Edition)
Addison-Wesley Professional
http://resources.sei.cmu.edu/library/asset-view.cfm?assetid=30264
Patrick Baudin
Jean-Christophe Filliâtre
Claude Marché
Benjamin Monate
Yannick Moy
Virgile Prevosto
2015
ACSL: ANSI/ISO C Specification Language. Version 1.9
http://frama-c.com/download/acsl_1.9.pdf
Loïc Correnson
Zaynah Dargaye
Anne Pacalet
2015
Frama-C's WP plug-in
\voidb@x http://frama-c.com/download/frama-c-wp-manual.pdf
Loïc Correnson
Julien Signoles
2012
Combining Analysis for C Program Verification
Formal Methods for Industrial Critical Systems (FMICS)
10.1007/978-3-642-32469-7_8
Pascal Cuoq
David Delmas
Stéphane Duprat
Victoria Moya Lamiel
2012
Fan-C, a Frama-C plug-in for data flow verification
Embedded Real Time Software and Systems (ERTSS)
http://web1.see.asso.fr/erts2012/Site/0P2RUC89/5C-3.pdf
Pascal Cuoq
Julien Signoles
2009
Experience Report: OCaml for an industrial-strength static analysis framework
Proceedings of International Conference of Functional Programming (ICFP'09)
ACM Press
New York, NY, USA
281–286
10.1145/1631687.1596591
Pascal Cuoq
Boris Yakobowski
Virgile Prevosto
2015
Frama-C's value analysis plug-in
\voidb@x http://frama-c.cea.fr/download/value-analysis.pdf
Mickaël Delahaye
Nikolai Kosmatov
Julien Signoles
2013
Common Specification Language for Static and Dynamic Analysis of C Programs
Symposium on Applied Computing (SAC'13)
ACM
1230–1235
10.1145/2480362.2480593
David Delmas
Stéphane Duprat
Victoria Moya Lamiel
Julien Signoles
2010
Taster, a Frama-C plug-in to encode Coding Standards
Embedded Real Time Software and Systems (ERTSS)
http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0003_final.pdf
Philippe Herrmann
Julien Signoles
2013
Annotation Generation: Frama-C's RTE plug-in
\voidb@x http://frama-c.com/download/frama-c-rte-manual.pdf
Ralph E. Johnson
Brian Foote
1988
Designing Reusable Classes
Journal of Object-Oriented Programming
1
2
22–35
http://www.cse.msu.edu/~cse870/Input/SS2002/MiniProject/Sources/DRC.pdf
Florent Kirchner
Nikolai Kosmatov
Virgile Prevosto
Julien Signoles
Boris Yakobowski
2015
Frama-C: A Software Analysis Perspective
Formal Aspects of Computing
1–37
10.1007/s00165-014-0326-7
George C. Necula
Scott McPeak
Shree Prakash Rahul
Westley Weimer
2002
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
CC '02: Proceedings of the 11th International Conference on Compiler Construction
Springer-Verlag
London, UK
213–228
10.1007/3-540-45937-5_16
Julien Signoles
2009
Foncteurs impératifs et composés: la notion de projet dans Frama-C
Hermann
Journées Francophones des Langages Applicatifs
Studia Informatica Universalis
7.2
245–280
In French. http://www-ist.cea.fr/publicea/exl-doc/200800005272.pdf
Julien Signoles
2011
Une bibliothèque de typage dynamique en OCaml
Hermann
Journées Francophones des Langages Applicatifs
Studia Informatica Universalis
209–242
In French. http://studia.complexica.net/Art/AC-JFLA11-08.pdf
Julien Signoles
Loïc Correnson
Matthieu Lemerre
Virgile Prevosto
2015
Frama-C Plug-in Development Guide
http://frama-c.cea.fr/download/plugin-developer.pdf