Commit 93265ba1 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Small fixes for publications

parent e0ac0b33
/* Wiki Page */
.wikiPageContent{
margin-bottom:40px;
}
.wikiPageContent li{
margin-bottom:20px;
}
.wikiPage {
text-align: left;
align-items: center;
justify-content: center;
}
.wikiPage:after {
display: none;
}
.wikiPage > .wrap {
position: relative;
max-width: 1260px;
margin: 0 auto;
padding: 0 25px;
z-index: 2;
}
@media (min-width: 768px) {
.wikiPage > .wrap {
padding: 28px 10px 0;
}
}
@media only screen and (min-width: 900px) {
.wikiPage > .wrap {
padding: 28px 25px 0;
}
}
@media only screen and (min-width: 1260px) {
.wikiPage > .wrap {
padding-left: 0;
padding-right: 0;
}
}
.wikiPage .paragraphGroup p a {
color: #a1a1a1;
border-bottom-color: transparent;
position: relative;
transition: color 0.4s;
}
.wikiPage .paragraphGroup p a:before {
content: '';
position: absolute;
bottom: 0;
left: 0;
width: 0;
height: 1px;
background-color: #484848;
transition: 0.5s ease-out;
}
.nonTouch .wikiPage .paragraphGroup p a:hover {
color: #f7931c;
}
.nonTouch .wikiPage .paragraphGroup p a:hover:before {
width: 100%;
}
.wikiPage .paragraphGroup:first-child {
margin-top: 0;
margin-bottom: 2.7em;
}
.wikiPage .wikiPageContent {
position: relative;
z-index: 2;
}
.wikiPage .wikiPageContent .btn + * {
margin-top: 30px;
}
.wikiPage .wikiPageContent ul {
padding: 0;
}
.wikiPage .versionsList {
margin-bottom: 40px;
}
@media (min-width: 1280px) {
.wikiPage .versionsList li {
padding-left: 24px;
margin-bottom: 7px;
}
}
.wikiPage .versionsList a {
color: #484848;
font-weight: 600;
position: relative;
transition: color 0.4s;
}
.wikiPage .versionsList a:before {
content: '';
position: absolute;
bottom: 0;
left: 0;
width: 0;
height: 1px;
background-color: #484848;
transition: 0.25s ease-out;
}
.nonTouch .wikiPage .versionsList a:hover {
color: #f7931c;
}
.nonTouch .wikiPage .versionsList a:hover:before {
width: 100%;
}
@media (min-width: 1280px) {
.wikiPageContent .btn {
font-size: 18px;
padding: 16px 32px 18px 42px;
}
.wikiPageContent .btn span .icon-download-arrow {
font-size: 15px;
}
}
\ No newline at end of file
/* Wiki Page */
.wikiPageContent{
margin-bottom:40px;
}
.wikiPageContent li{
margin-bottom:20px;
}
.wikiPage {
text-align: left;
align-items: center;
justify-content: center;
}
.wikiPage:after {
display: none;
}
.wikiPage > .wrap {
position: relative;
max-width: 1260px;
margin: 0 auto;
padding: 0 25px;
z-index: 2;
}
@media (min-width: 768px) {
.wikiPage > .wrap {
padding: 28px 10px 0;
}
}
@media only screen and (min-width: 900px) {
.wikiPage > .wrap {
padding: 28px 25px 0;
}
}
@media only screen and (min-width: 1260px) {
.wikiPage > .wrap {
padding-left: 0;
padding-right: 0;
}
}
.wikiPage .paragraphGroup p a {
color: #a1a1a1;
border-bottom-color: transparent;
position: relative;
transition: color 0.4s;
}
.wikiPage .paragraphGroup p a:before {
content: '';
position: absolute;
bottom: 0;
left: 0;
width: 0;
height: 1px;
background-color: #484848;
transition: 0.5s ease-out;
}
.nonTouch .wikiPage .paragraphGroup p a:hover {
color: #f7931c;
}
.nonTouch .wikiPage .paragraphGroup p a:hover:before {
width: 100%;
}
.wikiPage .paragraphGroup:first-child {
margin-top: 0;
margin-bottom: 2.7em;
}
.wikiPage .wikiPageContent {
position: relative;
z-index: 2;
}
.wikiPage .wikiPageContent .btn + * {
margin-top: 30px;
}
.wikiPage .wikiPageContent ul {
padding: 0;
}
.wikiPage .versionsList {
margin-bottom: 40px;
}
@media (min-width: 1280px) {
.wikiPage .versionsList li {
padding-left: 24px;
margin-bottom: 7px;
}
}
.wikiPage .versionsList a {
color: #484848;
font-weight: 600;
position: relative;
transition: color 0.4s;
}
.wikiPage .versionsList a:before {
content: '';
position: absolute;
bottom: 0;
left: 0;
width: 0;
height: 1px;
background-color: #484848;
transition: 0.25s ease-out;
}
.nonTouch .wikiPage .versionsList a:hover {
color: #f7931c;
}
.nonTouch .wikiPage .versionsList a:hover:before {
width: 100%;
}
@media (min-width: 1280px) {
.wikiPageContent .btn {
font-size: 18px;
padding: 16px 32px 18px 42px;
}
.wikiPageContent .btn span .icon-download-arrow {
font-size: 15px;
}
}
......@@ -25,6 +25,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
<http://frama-c.com/download/acsl.pdf>.
*The reference manual of ACSL, the specification language used by
Frama-C.*
#### Founding Articles
- Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles,
......@@ -40,6 +41,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
and Formal Methods 2012 (SEFM), October 2012.
*This paper presents a synthetic view of Frama-C, its main and
composite analyses, and some of its industrial achievements.*
#### Articles about the Frama-C Kernel
- Julien Signoles.
......@@ -89,6 +91,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
In French.
*Presentation of the Frama-C library providing its notion of
projects.*
#### Tutorials
- Allan Blanchard, Nikolai Kosmatov, and Frédéric Loulergue.
......@@ -102,6 +105,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
In International Conference on Runtime Verification (RV 2016),
September 2016.
<http://julien.signoles.free.fr/publis/2016_rv.pdf>
# Eva
#### Manual
......@@ -221,6 +225,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
In Proceedings of Symposium on Applied Computing 2013 (SAC), March 2013.
<http://kosmatov.perso.sfr.fr/nikolai/publications/delahaye_ks_sac_2013.pdf>
*An overview of the specification language.*
#### Other Articles
- Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles.
......@@ -393,6 +398,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
<http://pathcrawler-online.com/pubs/kosmatov_brw_cstva_2011copy.pdf>
The final publication is available from IEEE.
<http://dx.doi.org/10.1109/ICSTW.2011.85>
## SecureFlow
##### Thesis
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment