Zobrazeno 1 - 10
of 76
pro vyhledávání: '"Signoles, Julien"'
Autor:
Jacquemin, Maxime, Maurica, Fonenantsoa, Kosmatov, Nikolai, Signoles, Julien, Védrine, Franck
Verification of numerical accuracy properties in modern software remains an important and challenging task. This paper describes an original framework combining different solutions for numerical accuracy. First, we extend an existing runtime verifica
Externí odkaz:
http://arxiv.org/abs/1911.10930
Autor:
Sánchez, César, Schneider, Gerardo, Ahrendt, Wolfgang, Bartocci, Ezio, Bianculli, Domenico, Colombo, Christian, Falcone, Yliés, Francalanza, Adrian, Krstić, Srđan, Lourenço, JoHao M., Nickovic, Dejan, Pace, Gordon J., Rufino, Jose, Signoles, Julien, Traytel, Dmitriy, Weiss, Alexander
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specif
Externí odkaz:
http://arxiv.org/abs/1811.06740
Autor:
Alberti, Michele, Signoles, Julien
Analysis tools like abstract interpreters, symbolic execution tools and testing tools usually require a proper context to give useful results when analyzing a particular function. Such a context initializes the function parameters and global variable
Externí odkaz:
http://arxiv.org/abs/1709.04497
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We show how static analysis for secure information flow can be expressed and proved correct entirely within the framework of abstract interpretation. The key idea is to define a Galois connection that directly approximates the hyperproperty of intere
Externí odkaz:
http://arxiv.org/abs/1608.01654
Autor:
Signoles, Julien
Publikováno v:
EPTCS 187, 2015, pp. 86-96
Implementing large software, as software analyzers which aim to be used in industrial settings, requires a well-engineered software architecture in order to ease its daily development and its maintenance process during its lifecycle. If the analyzer
Externí odkaz:
http://arxiv.org/abs/1508.03898
Autor:
BAUDIN, PATRICK, BOBOT, FRANÇOIS, BÜHLER, DAVID, CORRENSON, LOÏC, KIRCHNER, FLORENT, KOSMATOV, NIKOLAI, MARONEZE, ANDRÉ, PERRELLE, VALENTIN, PREVOSTO, VIRGILE, SIGNOLES, JULIEN, WILLIAMS, NICKY
Publikováno v:
Communications of the ACM; Aug2021, Vol. 64 Issue 8, p56-68, 13p, 1 Illustration, 8 Diagrams
Publikováno v:
JFLA 2022-Journées Francophones des Langages Applicatifs
JFLA 2022-Journées Francophones des Langages Applicatifs, Feb 2022, Saint-Médard-d'Excideuil, France
Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.24-41
JFLA 2022-Journées Francophones des Langages Applicatifs, Feb 2022, Saint-Médard-d'Excideuil, France
Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.24-41
International audience; La vérification d’assertions à l’exécution est une technique consistant à vérifier la validité d’annotations formelles pendant l’exécution d’un programme. Bien qu’ancienne, cette technique reste encore peu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9afa4055658b11007fa6107a4e36d683
https://cea.hal.science/cea-04060700/file/2022_jfla.pdf
https://cea.hal.science/cea-04060700/file/2022_jfla.pdf
Autor:
Defour, David, Févotte, François, Graillat, Stef, Jézéquel, Fabienne, Kirschenmann, Wilfried, Lamotte, Jean-Luc, Lathuilière, Bruno, Lhuillier, Yves, Petit, Eric, Signoles, Julien, Devan, Sohier, Vedrine, Franck
Publikováno v:
ISC-HPC 2021 DIGITAL
ISC-HPC 2021 DIGITAL, Jun 2021, Online, France
ISC-HPC 2021 DIGITAL, Jun 2021, Online, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::351b0b01094993267a4310c4a4b984d9
https://hal.archives-ouvertes.fr/hal-03245586/document
https://hal.archives-ouvertes.fr/hal-03245586/document
This document is the deliverable D4.2 of ENSURESEC, which is the mid-term report of the ENSURESEC’s Task T4.2 “Modeling and Verification Tools”. It introducesthe main tool, namely Frama-C, on which this task is based, presents the first task re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c54c234379365a3d6bf5f0bcae971c88