From 24906797e69b75112581f5ce553faf028d5819c5 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Tue, 13 Jul 2021 11:35:03 +0200 Subject: [PATCH] [publis] http --- _fc-publications/e-acsl/2021-vmcai-vjks.md | 2 +- _fc-publications/e-acsl/2021-vortex-s.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/_fc-publications/e-acsl/2021-vmcai-vjks.md b/_fc-publications/e-acsl/2021-vmcai-vjks.md index b5838b1d..8950904e 100644 --- a/_fc-publications/e-acsl/2021-vmcai-vjks.md +++ b/_fc-publications/e-acsl/2021-vmcai-vjks.md @@ -3,7 +3,7 @@ plugin: "e-acsl" authors: "Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, and Julien Signoles" title: " Runtime abstract interpretation for numerical accuracy and robustness." book: "International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)" -link: https://julien.signoles.free.fr/publis/2021_vmcai.pdf +link: http://julien.signoles.free.fr/publis/2021_vmcai.pdf year: 2021 category: other --- diff --git a/_fc-publications/e-acsl/2021-vortex-s.md b/_fc-publications/e-acsl/2021-vortex-s.md index ed9328ce..c89693cd 100644 --- a/_fc-publications/e-acsl/2021-vortex-s.md +++ b/_fc-publications/e-acsl/2021-vortex-s.md @@ -3,7 +3,7 @@ plugin: "e-acsl" authors: "Julien Signoles" title: " The E-ACSL Perspective on Runtime Assertion Checking" book: "International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX)" -link: https://julien.signoles.free.fr/publis/2021_vortex.pdf +link: http://julien.signoles.free.fr/publis/2021_vortex.pdf year: 2021 category: other --- -- GitLab