Search - Archive ouverte HAL Access content directly

Filter your results

13 Results
Structure: Internal structure identifier : 206041
Image document

Développement d'algorithmes répartis corrects par construction

Manamiary Bruno Andriamiarina
Modélisation et simulation. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0181⟩
Theses tel-01752149v2
Image document

Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B

Souad Kherroubi
Théorie et langage formel [cs.FL]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0230⟩
Theses tel-02094875v1
Image document

Ergonomie théorique de l’humain-machine : quels fondements épistémologiques pour une conception sûre ?

Rémi Nazin
Interface homme-machine [cs.HC]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0012⟩
Theses tel-02142411v1
Image document

Noetherian Induction for Computer-Assisted First-Order Reasoning

Sorin Stratulat
Symbolic Computation [cs.SC]. Université de Lorraine, 2021
Habilitation à diriger des recherches tel-03286314v1
Image document

Analyse statique de transformations pour l'élimination de motifs

Pierre Lermusiaux
Langage de programmation [cs.PL]. Université de Lorraine (UL), 2022. Français. ⟨NNT : ⟩
Theses tel-03936006v1
Image document

Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité

Margaux Duroeulx
Performance et fiabilité [cs.PF]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0026⟩
Theses tel-02881242v1
Image document

Orchestration et vérification de fonctions de sécurité pour des environnements intelligents

Nicolas Schnepf
Réseaux et télécommunications [cs.NI]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0088⟩
Theses tel-02351769v1
Image document

Méthodes pour le raisonnement d'ordre supérieur dans SMT

Daniel El Ouraoui
Logique en informatique [cs.LO]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0023⟩
Theses tel-03203922v1
Image document

New techniques for instantiation and proof production in SMT solving

Haniel Barbosa
Artificial Intelligence [cs.AI]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0091⟩
Theses tel-01591108v1
Image document

Stronger SMT Solvers for Proof Assistants : Proofs, Quantifier Simplification, Strategy Schedules

Hans-Jörg Schurr
Logic in Computer Science [cs.LO]. Université de Lorraine, 2022. English. ⟨NNT : 2022LORR0135⟩
Theses tel-03845527v1
Image document

Satisfiability Modulo Theories: state-of-the-art, contributions, project

Pascal Fontaine
Logic in Computer Science [cs.LO]. Université de lorraine, 2018
Habilitation à diriger des recherches tel-01968404v1
Image document

L'homme augmenté : Épistémologie et bio-ingénierie de l'humain machine

Didier Fass
Life Sciences [q-bio]. Université de Lorraine, 2016
Habilitation à diriger des recherches tel-03113895v1
Image document

A Machine-Checked Proof of Correctness of Pastry

Noran Azmy
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0277⟩
Theses tel-01558422v1