[publications] add double-quotes to all 'link:' entries

_fc-publications/aorai/2009-afadl-gs.md

@@ -3,7 +3,7 @@ plugin: "aorai"
 authors: "Julien Groslambert and Nicolas Stouls"
 title: "Vérification de propriétés LTL sur des programmes C par génération d'annotations"
 book: "Proceedings of Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL)"
-link: http://hal.archives-ouvertes.fr/inria-00568947
+link: "http://hal.archives-ouvertes.fr/inria-00568947"
 year: 2009
 category: foundational
 short: "In French."

_fc-publications/c2s/2016-scam-bkll.md

@@ -3,7 +3,7 @@ plugin: "c2s"
 authors: "Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre and Frédéric Loulergue"
 title: "Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs"
 book: "16th International Working Conference on Source Code Analysis and Manipulation (SCAM)"
-link: https://hal.archives-ouvertes.fr/hal-01423641/en
+link: "https://hal.archives-ouvertes.fr/hal-01423641/en"
 doi: "10.1109/SCAM.2016.18"
 year: 2016
 category: foundational

_fc-publications/c2s/2017-lifo-blk.md

@@ -3,7 +3,7 @@ plugin: "c2s"
 authors: "Allan Blanchard, Nikolai Kosmatov and Frédéric Loulergue"
 title: "Concurrent Program Verification by Code Transformation: Correctness"
 book: "LIFO Research Report RR-2017-03"
-link: https://www.univ-orleans.fr/lifo/prodsci/rapports/RR/RR2017/RR-2017-03.pdf
+link: "https://www.univ-orleans.fr/lifo/prodsci/rapports/RR/RR2017/RR-2017-03.pdf"
 year: 2017
 category: other
 short: "Complete version of \"From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation\""

_fc-publications/c2s/2017-vpt-blk.md

@@ -3,7 +3,7 @@ plugin: "c2s"
 authors: "Allan Blanchard, Nikolai Kosmatov and Frédéric Loulergue"
 title: "From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation"
 book: "Fifth International Workshop on Verification and Program Transformation (VPT)"
-link: https://hal.archives-ouvertes.fr/hal-01495454/en
+link: "https://hal.archives-ouvertes.fr/hal-01495454/en"
 doi: "10.4204/EPTCS.253.9"
 year: 2017
 category: foundational

_fc-publications/celia/2011-pldi-bdes.md

@@ -3,7 +3,7 @@ plugin: "celia"
 authors: "Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea and Mihaela Sighireanu"
 title: "On inter-procedural analysis of programs with lists and data"
 book: "Proceedings of the 32nd Conference on Programming Language Design and Implementation (PLDI)"
-link: https://www.di.ens.fr/~cezarad/pldi11.pdf
+link: "https://www.di.ens.fr/~cezarad/pldi11.pdf"
 doi: "10.1145/1993498.1993566"
 year: 2011
 category: foundational

_fc-publications/celia/2012-vmcai-bdes.md

@@ -3,7 +3,7 @@ plugin: "celia"
 authors: "Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea and Mihaela Sighireanu"
 title: "Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data"
 book: "International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)"
-link: https://www.irif.fr/~cenea/papers/vmcai2012-lists.pdf
+link: "https://www.irif.fr/~cenea/papers/vmcai2012-lists.pdf"
 doi: "10.1007/978-3-642-27940-9_1"
 year: 2012
 category: foundational

_fc-publications/cfp/2017-lopstr-as.md

@@ -3,7 +3,7 @@ plugin: "cfp"
 authors: "Michele Alberti and Julien Signoles"
 title: "Context Generation from Formal Specifications for C Analysis Tools"
 book: "Logic-based Program Synthesis and Transformation (LOPSTR)"
-link: http://julien.signoles.free.fr/publis/2017_lopstr.pdf
+link: "http://julien.signoles.free.fr/publis/2017_lopstr.pdf"
 doi: "10.1007/978-3-319-94460-9_6"
 year: 2017
 category: foundational

_fc-publications/cost/2012-fmics-amarg.md

@@ -3,7 +3,7 @@ plugin: "cost"
 authors: "Nicolas Ayache, Roberto M. Amadio and Yann Régis-Gianas"
 title: "Certifying and reasoning on cost annotations in C programs"
 book: "Proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS)"
-link: http://hal.inria.fr/hal-00702665/en
+link: "http://hal.inria.fr/hal-00702665/en"
 doi: "10.1007/978-3-642-32469-7_3"
 year: 2012
 category: foundational

_fc-publications/e-acsl/2013-rv-kps.md

@@ -3,7 +3,7 @@ plugin: "e-acsl"
 authors: "Nikolai Kosmatov, Guillaume Petiot and Julien Signoles"
 title: "An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs"
 book: "Proceedings of Runtime Verification (RV)"
-link: https://hal.archives-ouvertes.fr/cea-01834990/en
+link: "https://hal.archives-ouvertes.fr/cea-01834990/en"
 doi: "10.1007/978-3-642-40787-1_10"
 year: 2013
 category: other

_fc-publications/e-acsl/2013-sac-dks.md

@@ -3,7 +3,7 @@ plugin: "e-acsl"
 authors: "Michaël Delahaye, Nikolai Kosmatov and Julien Signoles"
 title: "Common Specification Language for Static and Dynamic Analysis of C Programs"
 book: "Proceedings of Symposium on Applied Computing (SAC)"
-link: https://hal.inria.fr/hal-00853721/en
+link: "https://hal.inria.fr/hal-00853721/en"
 doi: "10.1145/2480362.2480593"
 year: 2013
 category: foundational

_fc-publications/e-acsl/2015-jfla-jks.md

@@ -3,7 +3,7 @@ plugin: "e-acsl"
 authors: "Arvid Jakobsson, Nikolai Kosmatov and Julien Signoles"
 title: "Rester statique pour devenir plus rapide, plus précis et plus mince"
 book: "Journées Francophones des Langages Applicatifs (JFLA)"
-link: https://julien-signoles.fr/publis/2015_jfla.pdf
+link: "https://julien-signoles.fr/publis/2015_jfla.pdf"
 year: 2015
 category: other
 short: "In French"

_fc-publications/e-acsl/2017-ismm-vsk.md

@@ -3,7 +3,7 @@ plugin: "e-acsl"
 authors: "Kostyantyn Vorobyov, Julien Signoles and Nikolai Kosmatov"
 title: "Shadow state encoding for efficient monitoring of block-level properties"
 book: "International Symposium on Memory Management (ISMM)"
-link: https://julien-signoles.fr/publis/2017_ismm.pdf
+link: "https://julien-signoles.fr/publis/2017_ismm.pdf"
 doi: "10.1145/3092255.3092269"
 year: 2017
 category: foundational

_fc-publications/e-acsl/2017-rvcubes-skv.md

@@ -3,7 +3,7 @@ plugin: "e-acsl"
 authors: "Julien Signoles, Nikolai Kosmatov, and Kostyantyn Vorobyov"
 title: "E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs. Tool Paper."
 book: "International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-CuBES)"
-link: https://julien-signoles.fr/publis/2017_rvcubes_tool.pdf
+link: "https://julien-signoles.fr/publis/2017_rvcubes_tool.pdf"
 doi: "10.29007/fpdh"
 year: 2017
 category: foundational

_fc-publications/e-acsl/2018-hilt-lksl.md

@@ -3,7 +3,7 @@ plugin: "e-acsl"
 authors: "Dara Ly, Nikolai Kosmatov, Julien Signoles and Frédéric Loulergue"
 title: "Soundness of a Dataflow Analysis for Memory Monitoring"
 book: "Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems (HILT)"
-link: https://hal.archives-ouvertes.fr/cea-02283406/en
+link: "https://hal.archives-ouvertes.fr/cea-02283406/en"
 doi: "10.1145/3375408.3375416"
 year: 2018
 category: other

_fc-publications/e-acsl/2018-tap-vks.md

@@ -3,7 +3,7 @@ plugin: "e-acsl"
 authors: "Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles"
 title: "Detection of Security Vulnerabilities in C Code using Runtime Verification"
 book: "International Conference on Tests and Proofs (TAP)"
-link: https://julien-signoles.fr/publis/2018_tap_vorobyov.pdf
+link: "https://julien-signoles.fr/publis/2018_tap_vorobyov.pdf"
 doi: "10.1007/978-3-319-92994-1_8"
 year: 2018
 category: other

_fc-publications/e-acsl/2020-rv-kms.md

@@ -3,7 +3,7 @@ plugin: "e-acsl"
 authors: "Nikolai Kosmatov, Fonenantsoa Maurica and Julien Signoles"
 title: "Efficient Runtime Assertion Checking for Properties over Mathematical Numbers"
 book: "International Conference on Runtime Verification (RV)"
-link: https://julien-signoles.fr/publis/2020_rv.pdf
+link: "https://julien-signoles.fr/publis/2020_rv.pdf"
 doi: "10.1007/978-3-030-60508-7_17"
 year: 2020
 category: foundational

_fc-publications/e-acsl/2020-tap-lkls.md

@@ -3,7 +3,7 @@ plugin: "e-acsl"
 authors: "Dara Ly, Nikolai Kosmatov, Frédéric Loulergue and Julien Signoles"
 title: "Verified Runtime Assertion Checking for Memory Properties"
 book: "International Conference on Tests and Proofs (TAP)"
-link: https://hal-cea.archives-ouvertes.fr/cea-02879211/en
+link: "https://hal-cea.archives-ouvertes.fr/cea-02879211/en"
 doi: "10.1007/978-3-030-50995-8_6"
 year: 2020
 category: other

_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.fr/publis/2021_vmcai.pdf
+link: "https://julien-signoles.fr/publis/2021_vmcai.pdf"
 doi: "10.1007/978-3-030-67067-2_12"
 year: 2021
 category: other

_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.fr/publis/2021_vortex.pdf
+link: "https://julien-signoles.fr/publis/2021_vortex.pdf"
 doi: "10.1145/3464974.3468451"
 year: 2021
 category: other

_fc-publications/e-acsl/2022-jfla-brs.md

@@ -3,7 +3,7 @@ plugin: "e-acsl"
 authors: "Thibaut Benjamin, Felix Ridoux and Julien Signoles"
 title: "Formalisation d'un vérificateur efficace d'assertions arithmétiques à l'exécution"
 book: "Journées Francophones des Langages Applicatifs (JFLA)"
-link: https://julien-signoles.fr/publis/2022_jfla.pdf
+link: "https://julien-signoles.fr/publis/2022_jfla.pdf"
 year: 2022
 category: other
 short: "In French"