|
|
Développement d'algorithmes répartis corrects par construction
Manamiary Bruno Andriamiarina
Theses
tel-01752149v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B
Souad Kherroubi
Theses
tel-02094875v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Ergonomie théorique de l’humain-machine : quels fondements épistémologiques pour une conception sûre ?
Rémi Nazin
Theses
tel-02142411v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Noetherian Induction for Computer-Assisted First-Order Reasoning
Sorin Stratulat
Symbolic Computation [cs.SC]. Université de Lorraine, 2021
Habilitation à diriger des recherches
tel-03286314v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité
Margaux Duroeulx
Theses
tel-02881242v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Orchestration et vérification de fonctions de sécurité pour des environnements intelligents
Nicolas Schnepf
Theses
tel-02351769v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Méthodes pour le raisonnement d'ordre supérieur dans SMT
Daniel El Ouraoui
Theses
tel-03203922v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
New techniques for instantiation and proof production in SMT solving
Haniel Barbosa
Theses
tel-01591108v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Stronger SMT Solvers for Proof Assistants : Proofs, Quantifier Simplification, Strategy Schedules
Hans-Jörg Schurr
Theses
tel-03845527v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|