Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Blanchard, Allan"'
Autor:
Blanchard, Allan
Vérifier formellement des programmes concurrents est une tâche difficile. S’il existe différentes techniques pour la réaliser, très peu sont effectivement mises en oeuvre pour des programmes écrits dans des langages de programmation réaliste
Externí odkaz:
http://www.theses.fr/2016ORLE2073/document
Publikováno v:
EPTCS 253, 2017, pp. 109-123
Frama-C is a software analysis framework that provides a common infrastructure and a common behavioral specification language to plugins that implement various static and dynamic analyses of C programs. Most plugins do not support concurrency. We hav
Externí odkaz:
http://arxiv.org/abs/1708.07226
Autor:
Blanchard, Allan (Allan B.)
Thesis (S.B.)--Massachusetts Institute of Technology, Dept. of Materials Science and Engineering, 2013.
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collecti
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collecti
Externí odkaz:
http://hdl.handle.net/1721.1/80900
Publikováno v:
In Computer Languages, Systems & Structures September 2018 53:121-142
Autor:
Gallos, Parisis, DeLong, Rance, Matragkas, Nicholas, Blanchard, Allan, Mraidha, Chokri, Epiphaniou, Gregory, Maple, Carsten, Katzis, Konstantinos, Delgado Mercè, Jaime, Llorente Viejo, Silvia
The MedSecurance project focus on identifying new challenges in cyber security with focus on hardware and software medical devices in the context of emerging healthcare architectures. In addition, the project will review best practice and identify ga
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3484::e4690fb79cfcc988195e8f7b7520f3ea
https://hdl.handle.net/2117/388720
https://hdl.handle.net/2117/388720
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
Publikováno v:
18e journées Approches Formelles dans l'Assistance au Développement de Logic (AFADL)
18e journées Approches Formelles dans l'Assistance au Développement de Logic (AFADL), Jun 2019, Toulouse, France.
18e journées Approches Formelles dans l'Assistance au Développement de Logic (AFADL), Jun 2019, Toulouse, France
18e journées Approches Formelles dans l'Assistance au Développement de Logic (AFADL), Jun 2019, Toulouse, France.
18e journées Approches Formelles dans l'Assistance au Développement de Logic (AFADL), Jun 2019, Toulouse, France
National audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8b5c1f4064a8776daf554abda915d34e
https://inria.hal.science/hal-02317143/document
https://inria.hal.science/hal-02317143/document
Publikováno v:
17èmes Journées AFADL : Approches Formelles Dans L'assistance Au Développement De Logiciels
17èmes Journées AFADL : Approches Formelles Dans L'assistance Au Développement De Logiciels, Jun 2018, Toulouse, France
Résumé d'article. 2018
17èmes Journées AFADL : Approches Formelles Dans L'assistance Au Développement De Logiciels, Jun 2018, Toulouse, France
Résumé d'article. 2018
National audience; Les appareils et services connectés, aussi appelés internet des objets (Internet of Things : IoT) sont de plus en plus populaires dans des domaines où la sécurité est critique. Ces questions de sécurité sont une cible de cho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bd9c79116948b7f6a4cc4ee0f83f716f
https://inria.hal.science/hal-01811932
https://inria.hal.science/hal-01811932
Autor:
Blanchard, Allan
Publikováno v:
Génie logiciel [cs.SE]. Université d'Orléans (UO), 2016. Français. ⟨NNT : ⟩
Vérifier formellement des programmes concurrents est une tâche difficile. S’il existe différentes techniques pour la réaliser, très peu sont effectivement mises en œuvre pour des programmes écrits dans des langages de programmation réaliste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3515::890808d3237ce11612fd9b62769fb82e
https://hal.science/tel-03624110
https://hal.science/tel-03624110
Publikováno v:
2016 IEEE 16th International Working Conference on Source Code Analysis & Manipulation (SCAM); 2016, p67-72, 6p