Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1831

Systematic Mapping Study: Formal Verification of Hypervisors

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Lucas RANSAN, Frédéric LOULERGUE, Nikolai KOSMATOV
Semantics of a Subset of Puppet 4.8 Mechanized in Why3

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Mohamed Haady TIEMTORE
Semantics of a Subset of Puppet 4.8 Mechanized in Why3

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Mohamed Haady TIEMTORE
Tools for Detecting Security Issues in Infrastructure-as-Code: A Focused Literature Review

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Mohamed Haady TIEMTORE
Towards Semantics-Aware Resilience in Composable Data Systems

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE
Deductive Verification of a Patricia Trie with Creusot

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Téo BERNIER, Frédéric LOULERGUE, Nikolai KOSMATOV
Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 Effects

Publié en 2026
Type de publication : Communications sans actes
Auteur(s) : Frédéric DABROWSKI
Approximation theory for distant Bang calculus

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jules CHOUQUET, Kostia CHARDONNET, Axel KERINEC
Series: Leibniz International Proceedings in Informatics (LIPIcs).Conference: Formal Structures for Computation and Deduction (FSCD).
Approximation theory for distant Bang calculus

Publié en 2026
Type de publication : Communications sans actes
Auteur(s) : Jules CHOUQUET, Kostia CHARDONNET, Axel KERINEC
Approximation theory for distant Bang calculus

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jules CHOUQUET, Kostia CHARDONNET, Axel KERINEC
Series: Leibniz International Proceedings in Informatics (LIPIcs).Conference: Formal Structures for Computation and Deduction (FSCD).
Verifiable Anomaly and Similarity Detection Using Matrix Profile in Private Time-series

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Charlène JOJON, Benjamin NGUYEN, Haoying ZHANG
Automata-Guided Local Proof Obligations for Temporal Safety in Synchronous Programs

Publié en 2026
Type de publication : Autres Publications
Auteur(s) : Térence CLASTRES, Frédéric DABROWSKI
Round-Optimal Privacy Preserving Authenticated Key Exchange Even for Incomplete Sessions

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Khouredia CISSE
Applied Cryptography and Network Security (ACNS) Conference 2026
Protecting Sensitive Data Against Deductions in Business Processes: Formal Semantics and Model-Checking

Publié en 2026
Type de publication : Autres Publications
Auteur(s) : Sabine FRITTELLA, Vincent HUGOT, Amine RIFI
Jailbreaks for Black-Box Uncertainty Quantification in Large Reasoning Models

Publié en 2026
Type de publication : Autres Publications
Auteur(s) : Lucas BIECHY, Cédric EICHLER, Adrien BOIRET, Nicolas ANCIAUX
Kairos : de la spécification temporelle de sûreté à la preuve locale

Publié en 2026
Type de publication : Communications sans actes
Auteur(s) : Frédéric DABROWSKI
Géométrie et calcul dans l'auto-assemblage: formes fractales et théorème de l'espalier

Publié en 2026
Type de publication : Communications sans actes
Auteur(s) : Florent BECKER
A Prospective, Single-Center, Randomized Controlled Study Comparing Non-Resurfacing versus Resurfacing in a Cohort of 250 Posterior-Stabilized Total Knee Arthroplasty With a Minimum Five-Year Follow-Up

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Antoine CATTEEUW, Hannes VERMUE, Anaïs LEFEUVRE, Elvire SERVIEN, Cécile BATAILLER, Sébastien LUSTIG
MechaPuppet: a semantics and a verified compiler for a Subset of Puppet in Why3 (version 0.5)

Publié en 2026
Type de publication : Logiciel
Auteur(s) : Frédéric LOULERGUE, Mohamed Haady TIEMTORE
WISTERIA: Weak Implicit Signal-based Temporal Relation Extraction with Attention

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Duy dao DO, Anaïs LEFEUVRE-HALFTERMEYER, Thi-bich-hanh DIEP-DAO
LREC
BDA 2024 - 40e Conférence sur la Gestion de Données Principes, Technologies et Applications

Publié en 2026
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Mirian HALFELD-FERRARI, Dario COLAZZO, Silviu MANIU
Evaluating the Adaptability of Large Language Models to Linguistic Variation

Publié en 2026
Type de publication : Communications sans actes
Auteur(s) : Jean-yves ANTOINE, Ziyan XU, Marina SEGHIER, Alice MILLOUR, Carlos-Emiliano GONZÁLEZ-GALLARDO
Inferring Sensitive Attributes from Knowledge Graph Embeddings: Attack and Defense Strategies

Publié en 2026
Type de publication : Communications sans actes
Auteur(s) : Yasmine HAYDER
Module de sensibilisation « sobriété numérique : comprendre et agir »

Publié en 2026
Type de publication : Autres Publications
Auteur(s) : Noël GILLET, Françoise BERTHOUD, Marie GIACHERIO, Didier MALLARINO, Hervé SUAUDEAU, David TIXIER
Integrating physical constraints into neural networks for piezometric time series modeling: application to the Beauce limestone aquifer

Publié en 2026
Type de publication : Communications sans actes
Auteur(s) : Etienne LEHEMBRE, Thi-bich-hanh DIEP-DAO, Vincent NGUYEN, Christel VRAIN, Pascal AUDIGANE, Hugo BREUILLARD
Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Sabine FRITTELLA, Benjamin NGUYEN
Heterogeneous Pattern Sampling according to Frequency

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Rayane LACHACHE, Djawad BEKKOUCHA, Abdelkader OUALI, Bruno CRÉMILLEUX
Nom de l’ouvrage: Advances in Intelligent Data Analysis XXIV
Onto-DP: Constructing Neighborhoods for Differential Privacy on Ontological Databases

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yasmine HAYDER, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
Springer Nature Switzerland AG
Kairos : de la spécification temporelle de sûreté à la preuve locale

Publié en 2026
Type de publication : Autres Publications
Auteur(s) : Frédéric DABROWSKI
FRENCH-YMCA: A FRENCH Corpus meeting the language needs of Youth, froM Children to Adolescents

Publié en 2026
Type de publication : Autres Publications
Auteur(s) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER, Cherifa Ben KHELIL, Frédéric RAYAR, Mathieu THEBAUD
Dependence of the resistance mechanism to corrosion on the artificially modified microstructures of APS Y2O3 coatings by response surface method

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yuantao ZHAO, Yu LI, Jilong GUO, Haoxiang LI, Ning ZHONG, Hao GUO, Qinming TAN, Haoran WANG, Yanbo LIU, Wenge LI, Vincent JI
Bridging Text and Databases: A Grammar-Based, Model-Agnostic Approach

Publié en 2026
Type de publication : Autres Publications
Auteur(s) : Mirian HALFELD-FERRARI, Nicolas HIOT, Jacques CHABIN
Bridging Text and Databases: A Grammar-Based, Model-Agnostic Approach

Publié en 2026
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Nicolas HIOT
Breaking Anonymity in Attribute-Based Access Control Encryption *

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Clara BERTOLISSI, Baptiste BAZIN, Alexis BONNECAZE, Kevin THIRY-ATIGHEHCHI
Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing
UNE GRILLE D'ANALYSE CONSEQUENTIALISTE POUR L'EVALUATION ETHIQUE DES APPLICATIONS A HAUT RISQUE AU SEIN DE L'IA ACT

Publié en 2026
Type de publication : Communications sans actes
Auteur(s) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER
Prédictions de chroniques piézométriques de l'aquifère de la nappe de Beauce (Région Centre, France) par un modèle de réseau de neurones influencé par la physique (PINNs)

Publié en 2026
Type de publication : Communications sans actes
Auteur(s) : Etienne LEHEMBRE, Thi-bich-hanh DIEP-DAO, Vincent NGUYEN, Christel VRAIN, Pascal AUDIGANE, Hugo BREUILLARD
Deductively Verifying Functional Scalable Parallel Programs with Why3

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Olivia PROUST
Predicting multidimensional cubes through intentional analytics

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrick MARCEL, Matteo FRANCIA, Stefano RIZZI, Matteo GOLFARELLI
Constrained and explainable clustering through ensemble methods and declarative models

Publié en 2026
Type de publication : Thèse
Auteur(s) : Mathieu GUILBERT
Privacy Attacks on Matrix Profiles via Reconstruction Techniques

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Adrien BOIRET, Fabien GIRARD, Jose MARIA DE FUENTES
Formalisation de carte de régions pour Frama-C/WP

Publié en 2026
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jérémy DAMOUR, Frédéric LOULERGUE, Loïc CORRENSON, Allan BLANCHARD
Data Provenance Auditing of Fine-Tuned Large Language Models with a Text-Preserving Technique

Publié en 2026
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yanming LI, Cédric EICHLER, Nicolas ANCIAUX, Alexandra BENSAMOUN, Lorena GONZALEZ MANZANO, Seifeddine GHOZZI
Enhancing Concept-Based Image Classification via Knowledge Reasoning

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Franck anael MBIAYA, Christel VRAIN, Thi-bich-hanh DIEP-DAO, Frédéric ROS, Yves LUCAS
Enrichissement d'embeddings de code par contraintes expertes pour l'enseignement de la programmation

Publié en 2026
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Thibaut MARTINET, Guillaume CLEUZIOU, Matthieu EXBRAYAT, Frédéric FLOUVAT
Revue des Nouvelles Technologies de l'Information
Publié en
Type de publication :
Auteur(s) :
Privacy Attacks on Matrix Profiles via Reconstruction Techniques

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Adrien BOIRET, Fabien GIRARD, Jose MARIA DE FUENTES
Transactions on Large-Scale Data- and Knowledge-Centered Systems.Vol. LIX, LNCS 16240. Special Issue on Data Management - Principles, Technologies, and Applications

Publié en 2026
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Mirian HALFELD-FERRARI, Abdelkader HAMEURLAIN, A Min TJOA, Dario COLAZZO
Making Graphs Irregular through Irregularising Walks

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Timothée MARTINOD, Julien BENSMAIL, Romain BOURNEUF, Paul COLINOT, Samuel HUMEAU
Transactions on Large-Scale Data- and Knowledge-Centered Systems. Vol. LIX, LNCS 16240. Special Issue on Data Management - Principles, Technologies, and Applications

Publié en 2026
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Mirian HALFELD-FERRARI, Abdelkader HAMEURLAIN, A Min TJOA, Dario COLAZZO
Privacy Attacks on Matrix Profiles via Reconstruction Techniques

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Adrien BOIRET, Fabien GIRARD, Jose MARIA DE FUENTES

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Publications HAL du LIFO

Carte

Informations