المؤلفون: Nicole, Olivier, Lemerre, Matthieu, Bardin, Sébastien, Rival, Xavier

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Operating Systems

URL الوصول: http://arxiv.org/abs/2011.15065

المؤلفون: Nicole, Olivier, Lemerre, Matthieu, Bardin, Sébastien, Rival, Xavier

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/2003.08915

المؤلفون: Dupuis, Julien P., Nicole, Olivier, Groc, Laurent

المساهمون: Human Frontier Science Program, Agence Nationale de la Recherche, Brain and Behavior Research Foundation, Fondation pour la Recherche Médicale, National Alliance for Research on Schizophrenia and Depression, Centre National de la Recherche Scientifique, European Research Council

المصدر: Neuron ; volume 111, issue 15, page 2312-2328 ; ISSN 0896-6273

الاتاحة: http://dx.doi.org/10.1016/j.neuron.2023.05.002
https://api.elsevier.com/content/article/PII:S0896627323003446?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0896627323003446?httpAccept=text/plain

المؤلفون: Norma Kassi, Murray M. Humphries, Monique Dubé, Joe Dragon, Nicole Olivier, Kirsten Bowser, Matthew Berry

المصدر: Mountain Research and Development, Vol 42, Iss 4, Pp P1-P6 (2022)

مصطلحات موضوعية: canadian mountain network (cmn), Environmental sciences, GE1-350

وصف الملف: electronic resource

Relation: https://doaj.org/toc/0276-4741; https://doaj.org/toc/1994-7151

URL الوصول: https://doaj.org/article/2c9fa21e6d1243b2b99ec674c751b2cd

المؤلفون: Nicole, Olivier, Lemerre, Matthieu, Rival, Xavier

المساهمون: CEA- Saclay (CEA), Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Analyse Statique par Interprétation Abstraite (ANTIQUE), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université Paris Sciences et Lettres (PSL)

المصدر: VMCAI 2022 - 23rd International Conference on Verification, Model Checking, and Abstract Interpretation ; https://hal.science/hal-03538088 ; VMCAI 2022 - 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2022, Philadelphia, United States

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: United States

Time: Philadelphia, United States

Relation: hal-03538088; https://hal.science/hal-03538088; https://hal.science/hal-03538088/document; https://hal.science/hal-03538088/file/vmcai.pdf

الاتاحة: https://hal.science/hal-03538088
https://hal.science/hal-03538088/document
https://hal.science/hal-03538088/file/vmcai.pdf

المؤلفون: Sarah-Lan Mathez-Stiefel, Monique Dubé, Murray Humphries, Norma Kassi, Nicole Olivier

المصدر: Mountain Research and Development, Vol 42, Iss 4, Pp 1-2 (2022)

مصطلحات موضوعية: editorial, Environmental sciences, GE1-350

وصف الملف: electronic resource

Relation: https://doaj.org/toc/0276-4741; https://doaj.org/toc/1994-7151

URL الوصول: https://doaj.org/article/0faf2eda99de4836b082fe8427cd85a0

المؤلفون: Nicole, Olivier, Lemerre, Matthieu, Bardin, Sébastien, Rival, Xavier

المساهمون: Analyse Statique par Interprétation Abstraite (ANTIQUE), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université Paris Sciences et Lettres (PSL), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Xavier Rival received funding from the French ANR, as part of the Veriamos grant. Matthieu Lemerre and S ́ebastien Bardin also received funding from the ANR as part of the TAVA grant.

المصدر: RTAAS 2021 - Real-Time and Embedded Technology and Applications Symposium ; https://hal.science/hal-03538067 ; RTAAS 2021 - Real-Time and Embedded Technology and Applications Symposium, May 2021, Nashville, United States

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Nashville, United States

Relation: hal-03538067; https://hal.science/hal-03538067; https://hal.science/hal-03538067/document; https://hal.science/hal-03538067/file/rtas21.pdf

الاتاحة: https://hal.science/hal-03538067
https://hal.science/hal-03538067/document
https://hal.science/hal-03538067/file/rtas21.pdf

المؤلفون: Villéga, Frédéric, Fernandes, Alexandra, Jézéquel, Julie, Uyttersprot, Floriane, Benac, Nathan, Zenagui, Sarra, Bastardo, Laurine, Gréa, Hélène, Bouchet, Delphine, Villetelle, Léa, Nicole, Olivier, Rogemond, Véronique, Honnorat, Jérôme, Dupuis, Julien, Groc, Laurent

المساهمون: CIC Bordeaux, Université Bordeaux Segalen - Bordeaux 2-Institut National de la Santé et de la Recherche Médicale (INSERM), Interdisciplinary Institute for Neuroscience / Institut interdisciplinaire de neurosciences Bordeaux (IINS), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS), Centre Hospitalier Universitaire de Bordeaux (CHU Bordeaux), Mécanismes en sciences intégratives du vivant (MeLiS), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Hôpital neurologique et neurochirurgical Pierre Wertheimer CHU - HCL, Hospices Civils de Lyon (HCL)

المصدر: ISSN: 0896-6273 ; Neuron ; https://hal.science/hal-04778947 ; Neuron, 2024, 112 (19), pp.3311-3328.e9. ⟨10.1016/j.neuron.2024.06.028⟩.

مصطلحات موضوعية: NMDA receptor, antagonist, autoimmunity, behavior, cell imaging, hippocampus, neuropsychiatry, single nanoparticle tracking, surface diffusion, [SDV.NEU.NB]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Neurobiology

Relation: info:eu-repo/semantics/altIdentifier/pmid/39047728; PUBMED: 39047728

الاتاحة: https://hal.science/hal-04778947
https://doi.org/10.1016/j.neuron.2024.06.028

المؤلفون: Bessières, Benjamin, Dupuis, Julien, Groc, Laurent, Bontempi, Bruno, Nicole, Olivier

المصدر: Science Advances ; volume 10, issue 35 ; ISSN 2375-2548

الاتاحة: http://dx.doi.org/10.1126/sciadv.ado1148
https://www.science.org/doi/pdf/10.1126/sciadv.ado1148

المؤلفون: Bertin, Eléonore, Deluc, Thomas, Pilch, Kjara, Martinez, Audrey, Pougnet, Johan-Till, Doudnikoff, Evelyne, Allain, Anne-Emilie, Bergmann, Philine, Russeau, Marion, Toulmé, Estelle, Bézard, Erwan, Koch-Nolte, Friedrich, Séguéla, Philippe, Lévi, Sabine, Bontempi, Bruno, Georges, François, Bertrand, Sandrine, Nicole, Olivier, Boué-Grabot, Eric

المساهمون: Institut des Maladies Neurodégénératives Bordeaux (IMN), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS), Institut du Fer à Moulin, Institut National de la Santé et de la Recherche Médicale (INSERM)-Sorbonne Université (SU), Institute for Immunology, Medizinische Hochschule Hannover = Hannover Medical School (MHH), Montreal Neurological Institute and Hospital, McGill University = Université McGill Montréal, Canada

المصدر: ISSN: 1359-4184.

مصطلحات موضوعية: [SDV.NEU.NB]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Neurobiology

Relation: hal-02438455; https://hal.science/hal-02438455; https://hal.science/hal-02438455/document; https://hal.science/hal-02438455/file/Bertin%20et%20al%20accepted%20manuscript.pdf

الاتاحة: https://hal.science/hal-02438455
https://hal.science/hal-02438455/document
https://hal.science/hal-02438455/file/Bertin%20et%20al%20accepted%20manuscript.pdf
https://doi.org/10.1038/s41380-019-0641-8

المؤلفون: Stojić-Vukanić, Zorica, Hadžibegović, Senka, Nicole, Olivier, Nacka-Aleksić, Mirjana, Leštarević, Sanja, Leposavić, Gordana

المصدر: Frontiers in Immunology

مصطلحات موضوعية: Alzheimer's disease, CD8+ tissue-resident memory T cells, effector/memory CD8+ T cells, microglia, multiple sclerosis, neurocognitive impairment

Relation: info:eu-repo/grantAgreement/MESTD/inst-2020/200161/RS//; https://farfar.pharmacy.bg.ac.rs/handle/123456789/3750; 000595133500001; 2-s2.0-85097223228

الاتاحة: https://farfar.pharmacy.bg.ac.rs/handle/123456789/3750
https://doi.org/10.3389/fimmu.2020.566225

المؤلفون: Nicole, Olivier, Pacary, Emilie

المساهمون: Institut des Maladies Neurodégénératives Bordeaux (IMN), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS), Physiopathologie du système nerveux central - Institut François Magendie, Université Bordeaux Segalen - Bordeaux 2-IFR8-Institut National de la Santé et de la Recherche Médicale (INSERM), ANR-19-CE16-0014,ReguNeuRho,Développement et fonction des nouveaux neurones dans l'hippocampe adulte: exploration du rôle clé joué par Rnd2(2019)

المصدر: ISSN: 1661-6596.

مصطلحات موضوعية: CaMKII, brain, neuronal development, neuronal plasticity, neurodevelopmental disorders, psychiatric diseases, [SDV.NEU.NB]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Neurobiology

Relation: hal-03009948; https://hal.science/hal-03009948; https://hal.science/hal-03009948/document; https://hal.science/hal-03009948/file/ijms-21-07272-v2.pdf

الاتاحة: https://hal.science/hal-03009948
https://hal.science/hal-03009948/document
https://hal.science/hal-03009948/file/ijms-21-07272-v2.pdf
https://doi.org/10.3390/ijms21197272

المؤلفون: Xie, Ningning, White, Leo, Nicole, Olivier, Yallop, Jeremy

المساهمون: Isaac Newton Trust, EPSRC, Natural Sciences and Engineering Research Council of Canada

المصدر: Proceedings of the ACM on Programming Languages ; volume 7, issue ICFP, page 604-648 ; ISSN 2475-1421

الاتاحة: http://dx.doi.org/10.1145/3607851
https://dl.acm.org/doi/pdf/10.1145/3607851

المؤلفون: Nicole, Olivier

المصدر: Les Maladies Neurodégénératives et Maladies Apparentées en Pratique ; page 17-28 ; ISBN 9782294763311

الاتاحة: http://dx.doi.org/10.1016/b978-2-294-76331-1.00002-1
https://api.elsevier.com/content/article/PII:B9782294763311000021?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:B9782294763311000021?httpAccept=text/plain

المؤلفون: NICOLE, Olivier, BELL, Donald, LESTE-LASSERRE, Thierry, DOAT, Hélène, GUILLEMOT, François, PACARY, Emilie

مصطلحات موضوعية: Sciences du Vivant [q-bio]/Neurosciences [q-bio.NC]/Neurobiologie

Relation: https://oskar-bordeaux.fr/handle/20.500.12278/140317

الاتاحة: https://oskar-bordeaux.fr/handle/20.500.12278/140317
https://hdl.handle.net/20.500.12278/140317
https://doi.org/10.1038/s41380-018-0046-0

المؤلفون: Nicole, Olivier, Bell, Donald M., Leste-Lasserre, Thierry, Doat, Hélène, Guillemot, François, Pacary, Emilie

المصدر: Molecular Psychiatry ; volume 23, issue 11, page 2111-2111 ; ISSN 1359-4184 1476-5578

الاتاحة: http://dx.doi.org/10.1038/s41380-018-0315-y
https://www.nature.com/articles/s41380-018-0315-y.pdf
https://www.nature.com/articles/s41380-018-0315-y

المؤلفون: Nicole, Olivier

المساهمون: Analyse Statique par Interprétation Abstraite (ANTIQUE), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), CEA List, École normale supérieure - PSL, Xavier Rival, Matthieu Lemerre [Co-Directeur de thèse]

المصدر: Computer Science [cs]. École normale supérieure-PSL; CEA List, 2022. English. ⟨NNT : ⟩

مصطلحات موضوعية: Analyse mémoire, Vérification d'OS, Analyse statique, [INFO]Computer Science [cs], OS verification, Static analysis, Memory analysis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::32930993f8378d8f405dbe367c11dc6b
https://theses.hal.science/tel-03962643

المؤلفون: Nicole, Olivier, Hadzibegovic, Senka, Gajda, Judyta, Bontempi, Bruno, Bem, Tiaza, Meyrand, Pierre

المساهمون: Institut des Maladies Neurodégénératives Bordeaux (IMN), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS), Nalecz Institute of Biocybernetics and Biomedical Engineering, Polska Akademia Nauk = Polish Academy of Sciences = Académie polonaise des sciences (PAN), This work was supported by grants from Fondation pour la Recherche Médicale (FRM: DEQ20130326468), Fondation France Alzheimer and by funding from the CNRS (UMR 5293) and the University of Bordeaux (ON, BB, PM). SH was supported by a PhD fellowshipfrom the Erasmus Mundus program (ENC network) and Labex Brain (PhD extension program). TB benefitedfrom status grant 4/5/2012-15 and JG was supported by the Program “Information technologies: Research andtheir interdisciplinary applications” UDA-POKL 04.01.01-00-051/10-00 (Interdisciplinary PhD Studies), ANR-10-MALZ-0001,CoRehAlz,Mécanismes cellulaires, moléculaires et systémiques sous-tendant l'établissement d'une réserve cognitive dans un modèle murin de la maladie d'Alzheimer(2010)

المصدر: ISSN: 2045-2322.

مصطلحات موضوعية: Ripples, Alzheimer ' s disease, Memory, Forgetting, Amyloid beta, [SDV.NEU.NB]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Neurobiology

Relation: hal-01284761; https://hal.science/hal-01284761; https://hal.science/hal-01284761/document; https://hal.science/hal-01284761/file/srep22728.pdf

الاتاحة: https://hal.science/hal-01284761
https://hal.science/hal-01284761/document
https://hal.science/hal-01284761/file/srep22728.pdf
https://doi.org/10.1038/srep22728

المؤلفون: Point, Sebastien, Boulenguez, Pierre, Martinsons, Christophe, Carre, Samuel, Torriglia, Alicia, Jaadane, Imene, Behar-Cohen, Francine, Savoldelli, Michele, Jonet, Laurent, Chahory, Sabine, Dore, Jean-Francois, Clavel, Jacqueline, Boniol, Mathieu, Greinert, Ruediger, Gandini, Sara, Cesarini, Jean-Pierre, Dieudonne, Mael, Lagroye, Isabelle, Poulletier de Gannes, Florence, Veyret, Bernard, Macrez, Nathalie, Ruffie, Gilles, Haro, Emmanuelle, Hurtier, Annabelle, Taxile, Murielle, Masuda, Hiroshi, Bontempi, Bruno, Nicole, Olivier, Seze Rene, De, Cagnon, Patrice, Thuroczy, Georges, Mauger, Samuel, Mazet, Paul, Agnani, Jean-Benoit, Gaudaire, Francois, Caudeville, Julien, Selmaoui, Brahim, Percherancier, Yann, Kohler, Sophie, Leveque, P., Legros, Alexandre, Modolo, Julien, Thomas Alex, W., Goulet, Daniel, Plante, Michel, Ostiguy, Genevieve, Souques, Martine, Lambrozo, Jacques, Deschamps, Francois, Magne, Isabelle, Remy, Emmanuel, Duburcq, Anne, Bureau, Isabelle, Gercek, Cihan, Kourtiche, Djilali, Scmitt, Pierre, Roth, Patrice, Nadi, Mustapha, Korpinen, Leena, Veyret, B.

المساهمون: Centre National de la Recherche Scientifique (CNRS), Centre Scientifique et Technique du Bâtiment (CSTB), Centre de Recherche des Cordeliers (CRC (UMR_S_1138 / U1138)), École Pratique des Hautes Études (EPHE), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Université Paris Diderot - Paris 7 (UPD7)-Université Paris Descartes - Paris 5 (UPD5)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Sorbonne Université (SU), Sorbonne Université (SU), Université Paris Cité (UPCité), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Sorbonne Université (SU)-Université Paris Cité (UPCité), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Centre de Recherche en Cancérologie de Lyon (UNICANCER/CRCL), Centre Léon Bérard Lyon -Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Centre for Research in Epidemiology and Statistics, Université Sorbonne Paris Cité (USPC)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris Cité (UPCité)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Centre International de Recherche contre le Cancer - International Agency for Research on Cancer (CIRC - IARC), Organisation Mondiale de la Santé / World Health Organization Office Genève, Suisse (OMS / WHO), European Institute of Oncology Milan (ESMO), Institut National de la Santé et de la Recherche Médicale (INSERM), Centre Hospitalier Universitaire de Lyon, Université Paris Sciences et Lettres (PSL), Laboratoire de l'intégration, du matériau au système (IMS), Université Sciences et Technologies - Bordeaux 1 (UB)-Institut Polytechnique de Bordeaux-Centre National de la Recherche Scientifique (CNRS), Laboratoire de bioélectromagnétisme (BioEM), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL), Institut des Maladies Neurodégénératives Bordeaux (IMN), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS), BioEM, Université Sciences et Technologies - Bordeaux 1 (UB)-Institut Polytechnique de Bordeaux-Centre National de la Recherche Scientifique (CNRS)-Université Sciences et Technologies - Bordeaux 1 (UB)-Institut Polytechnique de Bordeaux-Centre National de la Recherche Scientifique (CNRS), Institut National de l'Environnement Industriel et des Risques (INERIS), Centre technique des industries mécaniques Cetim, France (Cetim), ANFR

المصدر: Colloquium on the biological and health effects of non-ionizing radiations ; https://hal.science/hal-04813204 ; Colloquium on the biological and health effects of non-ionizing radiations, Societé Francaise de Radioprotection, 2014

مصطلحات موضوعية: BIOLOGICAL REPAIR, BODY, DISEASES, ELECTROMAGNETIC RADIATION, EYES, FACE, HEAD, ORGANS, RADIATION EFFECTS, RADIATIONS, REPAIR, SENSE ORGANS, BIOLOGICAL RADIATION EFFECTS, CARDIAC PACEMAKERS, DNA REPAIR, DOSIMETRY, ELECTROMAGNETIC FIELDS, ENVIRONMENTAL EXPOSURE, EPIDEMIOLOGY, NERVOUS SYSTEM DISEASES, PUBLIC HEALTH, RETINA, RF SYSTEMS, RISK ASSESSMENT, ULTRAVIOLET RADIATION, BIOLOGICAL EFFECTS, BIOLOGICAL RECOVERY, [SDV.SPEE]Life Sciences [q-bio]/Santé publique et épidémiologie

الاتاحة: https://hal.science/hal-04813204

المؤلفون: Nicole, Olivier

المساهمون: Analyse Statique par Interprétation Abstraite (ANTIQUE), Département d'informatique - ENS-PSL (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université Paris sciences et lettres, Xavier Rival, Matthieu Lemerre

المصدر: https://theses.hal.science/tel-03962643 ; Data Structures and Algorithms [cs.DS]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE021⟩.

مصطلحات موضوعية: Static analysis, Memory analysis, OS verification, Analyse statique, Analyse mémoire, Vérification d'OS, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: NNT: 2022UPSLE021

الاتاحة: https://theses.hal.science/tel-03962643
https://theses.hal.science/tel-03962643v2/document
https://theses.hal.science/tel-03962643v2/file/Nicole_2022_These.pdf