Laboratoire Méthodes Formelles
LMF
Sciences et technologies de l'information et de la communication. Les publications HAL repérées abordent notamment Coq, OCaml, Concurrency.
Domaines et travaux documentés
Consulter le site de la structure →
Domaines scientifiques déclarés au RNSR
Mots-clés des publications HAL repérées
Projets ANR
Publications HAL récentes repérées
- Decoherence to quantum theory from a causally indefinite post-quantum theory · 2026
Résumé de la publication : We find a process satisfying the axioms of hyper-decoherence which produces standard quantum theory from the theory of quantum boxes (higher-order quantum theory with the non-signalling tensor product). This hyper-decoherence map evades the no-go theorem of Lee and Selby by relaxing constraints…
- Concise Introduction to Alternating-Time Temporal Logics · 2026
Résumé de la publication : The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge representation and artificial intelligence. Alternating-time temporal logics are considered as…
- Well-Quasi-Ordered Classes of Bounded Clique-Width · 2026
Résumé de la publication : We study classes of graphs with bounded clique-width that are well-quasi-ordered by the induced subgraph relation, in the presence of labels on the vertices. We prove that, given a finite presentation of a class of graphs, one can decide whether the class…
- Embedding response surfaces in kinetic models predicts microalgae growth across light and nutrient gradients · 2026
Résumé de la publication : Microalgae are promising cell factories for sustainable production of biofuel, high-value compounds, and wastewater bioremediation. However, their industrial deployment requires robust prediction of biomass productivity across the wide range of light and nutrient conditions encountered in photobioreactors. Mechanistic models typically assume constant…
- Explicit Abstraction Barrier for Autoactive Verification · 2026
Résumé de la publication : Coma is a verification language that allows the programmer to decide which part of a function implementation is visible to (and verified by) the caller, and which part is hidden from the caller and verified at the definition site. In this paper,…
Implantations
- Adresse RNSR : ENS PARIS-SACLAY, 4 avenue des Sciences, 91190, Gif-sur-Yvette, France
Regroupements
Ce laboratoire est inclus dans le périmètre de recherche des regroupements suivants, directement ou par son rattachement institutionnel.
Liens et rattachements
Deux vues des mêmes relations. Parcourez les pages ou choisissez une entité pour explorer ses liens.
Tutelles et structures parentes
- Sous tutelle deCentre national de la recherche scientifiqueÉtablissementConsulter →
- Sous tutelle deEcole normale supérieure Paris-SaclayÉtablissementConsulter →
- Sous tutelle deUniversité Paris-SaclayÉtablissementConsulter →
Structures et équipements rattachés
- Structure rattachéeCertified Programs, Certified Tools, Certified Floating-Point ComputationsÉquipe de rechercheConsulter →
- Structure rattachéeDEDUCTEAMÉquipe de rechercheConsulter →
- Structure rattachéeDeduction modulo, interopérabilité et démonstration automatiqueÉquipe de rechercheConsulter →
- Structure rattachéeFormally Verified Programs, Certified Tools and Numerical ComputationsÉquipe de rechercheConsulter →
Projets et participations
- Coordonne le projetAlgorithmes distribués pour les systèmes microbiologiquesProjet ANRConsulter →
- Participe au projetCompositions Non-agrégatives de ResourcesProjet ANRConsulter →
- Participe au projetFondations vérifiées de systèmes de graphes distribués à grande échelleProjet ANRConsulter →
- Participe au projetMeilleure synthèse pour les systèmes quantitatifs sous-spécifiésProjet ANRConsulter →
- Participe au projetModèles quantitatifs des coûts d'expression des circuits génétiques synthétiquesProjet ANRConsulter →
Une participation commune à un projet ne prouve pas une collaboration directe entre ses participants. Un rattachement repéré dans une publication ne confirme pas à lui seul une affectation actuelle.
Sources et actualisation
Site de la structure · RNSR · HAL
- Fiche mise à jour
- 10/10/2026
Les informations présentées proviennent de données librement accessibles et de sources publiques. Elles peuvent être incomplètes ou avoir évolué ; consultez les sources indiquées pour les confirmer.
Compléter ou corriger cette fiche
Une information manque ou vous souhaitez réagir ? Connectez-vous pour proposer une correction ou laisser un commentaire.
Commenter cette fiche
Une information manque ou vous souhaitez réagir ? Connectez-vous pour proposer une correction ou laisser un commentaire.
Se connecter pour contribuer · Créer un compte