Skip to Main content Skip to Navigation
New interface


...
tel-00440829v1  Theses
Omer Landry Nguena Timo. Synthesis for a Weak Real-Time Logic
Software Engineering [cs.SE]. Université Sciences et Technologies - Bordeaux I, 2009. English
...
tel-02888024v1  Habilitation à diriger des recherches
Elisabetta de Maria. Formal Methods for Systems Biology: Contributions
Bioinformatics [q-bio.QM]. Université Côte d'Azur, 2020
...
tel-00683086v1  Theses
Mathieu Sassolas. Méthodes qualitatives et quantitatives pour la détection d'information cachée
Performance et fiabilité [cs.PF]. Université Pierre et Marie Curie - Paris VI, 2011. Français
...
tel-01484662v1  Theses
Hamza Sahli. Modélisation des Systèmes Élastiques Cloud : vers la Vérification Formelle de leur Comportement
Informatique ubiquitaire. Université Constantine 2 - Abdelhamid Mehri, 2017. Français
...
tel-03203922v1  Theses
Daniel El Ouraoui. Méthodes pour le raisonnement d'ordre supérieur dans SMT
Logique en informatique [cs.LO]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0023⟩
...
tel-02941589v1  Theses
Toussaint Kabland Gautier Tigori. Méthode de génération d'exécutifs temps-réel
Système d'exploitation [cs.OS]. École Centrale de Nantes, 2016. Français. ⟨NNT : ⟩
...
tel-01073570v1  Theses
A. Fernandes Pires. Amélioration des processus de vérification de programmes par combinaison des méthodes formelles avec l'ingénierie dirigée par les modèles
Langage de programmation [cs.PL]. Institut Supérieur de l'Aéronautique et de l'Espace (ISAE), 2014. Français
...
tel-00678352v1  Theses
Rodrigo Tacla Saad. Parallel model checking for multiprocessor architecture
Mathematical Software [cs.MS]. INSA de Toulouse, 2011. English. ⟨NNT : ⟩
...
tel-00625248v1  Habilitation à diriger des recherches
Eric Madelaine. Specification, Model Generation, and Verification of Distributed Applications
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2011
...
tel-03121385v2  Theses
Victor Roussanaly. Efficient verification of real time systems
Formal Languages and Automata Theory [cs.FL]. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S108⟩
...
tel-01714428v1  Habilitation à diriger des recherches
Goran Frehse. Scalable Verification of Hybrid Systems
Systems and Control [cs.SY]. Univ. Grenoble Alpes, 2016
...
tel-03646853v1  Habilitation à diriger des recherches
Joaquin Garcia‐alfaro. Contributions to the security of EPC/RFID wireless technologies
Cryptography and Security [cs.CR]. Université Pierre et Marie Curie, Paris VI; Télécom SudParis (Institut Mines-Télécom), 2013
...
tel-00789543v1  Theses
Paolo Herms. Certification of a Tool Chain for Deductive Program Verification
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112006⟩
...
tel-01767989v1  Theses
Ludovic Robin. Vérification formelle de protocoles basés sur de courtes chaines authentifiées
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0019⟩
...
tel-02427484v1  Theses
Jeanne Odette Hortense Matiedje Tawa. Extension événementielle d’une méthode formelle légère et application à l’analyse du protocole distribué Chord
Réseaux et télécommunications [cs.NI]. Institut Supérieur de l’Aéronautique et de l’Espace (ISAE), 2019. Français
...
tel-01538386v1  Theses
Nghi Huynh. Verification and validation of healthcare access control policies
Computation and Language [cs.CL]. Université Paris-Est; Université de Sherbrooke (Québec, Canada), 2016. English. ⟨NNT : 2016PESC1042⟩
...
tel-03560564v1  Theses
Quentin Garchery. Certification de la transformation de tâches de preuve
Logique en informatique [cs.LO]. Université Paris-Saclay, 2022. Français. ⟨NNT : 2022UPASG006⟩
...
tel-02119348v1  Theses
Antoine El Hokayem. Runtime Verification of Hierarchical Decentralized Specifications
Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM086⟩
...
tel-01258795v2  Theses
Rim Abid. Coordination and reconfiguration of distributed cloud applications
Networking and Internet Architecture [cs.NI]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM055⟩
...
tel-00452440v1  Theses
Zaynah Dargaye. Vérification formelle d'un compilateur optimisant pour langages fonctionnels
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français