Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1843

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
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
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 : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric DABROWSKI
Logic-Based Program Synthesis and Transformation + Principles and Practice of Declarative Programming — 1st Joint Symposium, LOPSTR+PPDP 2026, Indianapolis, Indiana, USA, August 27–29 2026, Proceedings
Kairos: Generating Tick-Indexed Proof Obligations for Synchronous Temporal Contracts

Publié en 2026
Type de publication : Autres Publications
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 : 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
Synthèse du Groupe de Travail "Données de santé

Publié en 2026
Type de publication : Autres Publications
Auteur(s) : Nicolas ANCIAUX, Nicolas CHAMPAGNAT, Philippe GESNOUIN, Camille MAUMET, Bertrand THIRION, Roberto TORO, Guillaume TURPIN, Aurélien BELLET, Anne COMBE, Michel DOJAT, Dominique LAUNAY, Émilie MASSON, Mireille REGNIER, Jozefina SADOWSKA
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
Décrochage scolaire : évaluation du potentiel de l'IA par une démarche guidée par les SHS

Publié en 2026
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Noëllie MARTIN, Chahrazed LABBA, Armelle BRUN
Actes de l'atelier Intelligence Artificielle et ÉDUcation (IA EDU)
Décrochage scolaire : évaluation du potentiel de l'IA par une démarche guidée par les SHS

Publié en 2026
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Noëllie MARTIN, Chahrazed LABBA, Armelle BRUN
Actes de l'atelier Intelligence Artificielle et ÉDUcation (IA EDU)
Learning a distance for the clustering of patients with amyotrophic lateral sclerosis

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrick MARCEL, Guillaume Tejedor Y. DOMINGUEZ, Hugo ALARCAN, Veronika PERALTA, Nicolas LABROCHE, Philippe CORCIA, Hélène BLASCO
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
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
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
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
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
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
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
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
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
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
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
mech-uvl: A Mechanized Semantic Toolkit for the Universal Variability Language

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, Nicolas PAUL
Verified derivation of a parallel maximum segment sum program based on algorithmic skeletons

Publié en 2026
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Jordan ISCHARD, Abdelali ED-DBALI
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