From 157fed21710a2c09089d2a5a5446c12ed68021bc Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 7 Nov 2019 16:12:01 +0100
Subject: [PATCH] [publis] size of titles
---
dokuwiki/publications.md | 46 ++++++++++++++++++++--------------------
1 file changed, 23 insertions(+), 23 deletions(-)
diff --git a/dokuwiki/publications.md b/dokuwiki/publications.md
index d8a00fa1..d2b35f80 100644
--- a/dokuwiki/publications.md
+++ b/dokuwiki/publications.md
@@ -6,7 +6,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# Frama-C General
-### Manuals
+#### Manuals
- Loïc Correnson, Pascal Cuoq, Florent Kirchner, André Maroneze,
Virgile Prevosto, Armand Puccetti, Julien Signoles, and Boris Yakobowski.
@@ -30,7 +30,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
Frama-C.*
<!-- end list -->
-### Founding Articles
+#### Founding Articles
- Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles,
and Boris Yakobowski.
@@ -112,7 +112,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
projects.*
<!-- end list -->
-### Tutorials
+#### Tutorials
- Allan Blanchard, Nikolai Kosmatov, and Frédéric Loulergue.
**A Lesson on Verification of IoT Software with Frama-C.**
@@ -131,7 +131,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# Eva
-### Manual
+#### Manual
- David Bühler, Pascal Cuoq, Boris Yakobowski, Matthieu Lemerre,
André Maroneze, Valentin Perelle, and Virgile Prevosto.
@@ -139,7 +139,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
<http://frama-c.com/download/frama-c-eva-manual.pdf>.
<!-- end list -->
-### Thesis
+#### Thesis
- David Bühler.
**EVA, an Evolved Value Analysis for Frama-C: structuring an abstract
@@ -147,7 +147,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
PhD Thesis, University of Rennes 1, March 2017.
<http://http://www.theses.fr/2017REN1S016>
-### Founding Articles
+#### Founding Articles
- Sandrine Blazy, David Bühler, and Boris Yakobowski.
**Structuring Abstract Interpreters through State and Value
@@ -166,7 +166,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
*Presentation of one of the most important internal datastructure of Eva.*
<!-- end list -->
-### Other Articles
+#### Other Articles
- Géraud Canet, Pascal Cuoq and Benjamin Monate.
**A Value Analysis for C Programs.**
@@ -185,7 +185,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# WP
-### Manual
+#### Manual
- Patrick Baudin, François Bobot, Loïc Correnson, and Zaynah Dargaye.
**WP Plug-in Manual.**
@@ -193,7 +193,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
*The official manual for the WP plug-in.*
<!-- end list -->
-### Founding Articles
+#### Founding Articles
- Loïc Correnson.
**Qed. Computing What Remains to Be Proved.**
@@ -202,7 +202,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
before sending them to provers.*
<!-- end list -->
-### Tutorials
+#### Tutorials
- Allan Blanchard.
** Introduction to C Program Proof with Frama-C and its WP plug-in.**
@@ -228,7 +228,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# E-ACSL
-### Manual
+#### Manual
- Julien Signoles and Kostyantyn Vorobyov.
**E-ACSL User Manual.**
@@ -242,7 +242,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
*The reference manual of the E-ACSL specification language.*
<!-- end list -->
-### Thesis
+#### Thesis
- Julien Signoles.
**From Static Analysis to Runtime Verification with Frama-C and E-ACSL.**
@@ -304,14 +304,14 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# Aoraï
-#### Manual
+##### Manual
- Nicolas Stouls.
**Aoraï Plug-in Tutorial.**
<http://frama-c.com/download/aorai/aorai-manual.pdf>.
*The official manual of the Frama-C plug-in Aoraï.*
-#### Founding Article
+##### Founding Article
- Julien Groslambert and Nicolas Stouls.
**Vérification de propriétés LTL sur des programmes C par génération
@@ -321,7 +321,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
Développement de Logiciels 2009 (AFADL'09), January 2009. In
French.
-#### Case studies
+##### Case studies
- See [this page](/assets/dokuwiki/aorai-security) for a case study
showing the use of Aoraï in generating a threat scenario in a
@@ -330,7 +330,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# Security Slicing
-#### Founding Article
+##### Founding Article
- Benjamin Monate and Julien Signoles.
**Slicing for Security of Code.**
@@ -359,13 +359,13 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# PathCrawler
-#### Manual
+##### Manual
* **PathCrawler Automatic Test Generation Tool For C Programs User Manual Version 3.1.**
<http://frama-c.com/download/frama-c-pathcrawler.pdf>.
*The user manual of the Frama-C plug-in PathCrawler.*
-#### Founding Articles
+##### Founding Articles
- Nicky Williams, Bruno Marre and Patricia Mouy.
**On-the-fly generation of k-paths tests for C functions :
@@ -390,7 +390,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
The final publication is available at www.springerlink.com.
<http://dx.doi.org/10.1007/11408901_21>
-#### Other Articles
+##### Other Articles
- Nicky Williams.
**WCET measurement using modified path testing.**
@@ -520,12 +520,12 @@ These plug-ins may be either closed or open source.
## Jessie
-### Manual
+#### Manual
- The main web page, including the manual and many other resources, is
<http://krakatoa.lri.fr/>
-### Thesis
+#### Thesis
- Yannick Moy.
**Automatic Modular Static Safety Checking for C Programs.**
@@ -547,7 +547,7 @@ These plug-ins may be either closed or open source.
Thèse de doctorat, Université Paris-Sud, October 2011.
<http://proval.lri.fr/publications/bardou11phd.pdf>.
-### Founding Articles
+#### Founding Articles
- Yannick Moy and Claude Marché.
**Modular inference of subprogram contracts for safety checking.**
@@ -674,7 +674,7 @@ These plug-ins may be either closed or open source.
Portugal, March 2007.
<http://www.lri.fr/~marche/hubert07hav.pdf>
-### Other Articles
+#### Other Articles
- Jochen Burghardt, Jens Gerlach, Hans Pohl and Juan Soto.
**An Experience Report on the Verification of Algorithms in the C++
--
GitLab