Recherche

tel-00424546v1 Thèse
Camille Constant. Génération automatique de tests pour des modèles avec variables ou récursivité.
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français

tel-00177048v1 HDR
Alain Girault. Contributions à la conception sûre des systèmes embarqués sûrs
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006

tel-00526164v1 Thèse
Meriem Zidouni. Modélisation et analyse des performances de la bibliothèque MPI en tenant compte de l'architecture matérielle
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 2010. Français

tel-00011522v1 Thèse
Katell Morin-Allory. Vérification Formelle dans le Modèle Polyédrique
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français

tel-00646401v1 Thèse
Tony Bourdier. Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité
Logique en informatique [cs.LO]. Université Henri Poincaré - Nancy I, 2011. Français

tel-00452440v1 Thèse
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

tel-00951922v1 Thèse
Faqing Yang. A Simulation Framework for the Validation of Event-B Specifications
Formal Languages and Automata Theory [cs.FL]. Université de Lorraine, 2013. English

tel-01263165v1 Thèse
Jean-René Courtault. Logiques de Ressources Dynamiques : Modèles, Propriétés et Preuves
Logique en informatique [cs.LO]. Université de Lorraine 2015. Français

tel-00186774v1 Thèse
Florent Garnier. Terminaison en temps moyen fini de systèmes de règles probabilistes
Modélisation et simulation. Institut National Polytechnique de Lorraine - INPL, 2007. Français

tel-01094485v1 Thèse
Guillaume Melquiond. De l'arithmétique d'intervalles à la certification de programmes
Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2006. Français. <NNT : 2006ENSL0388>

tel-00594978v1 Thèse
Loïc Fejoz. Développement prouvé de structures de données sans verrou
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2008. Français. <NNT : 2009NAN10022>

tel-00336576v1 HDR
Sandrine Blazy. Sémantiques formelles
Informatique [cs]. Université d'Evry-Val d'Essonne, 2008

tel-00656809v1 Thèse
Paulo Salem Da Silva. Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. <NNT : 2011PA112267>

tel-01267041v1 HDR
Gregor Gössler. Formal Techniques for Component-based Design of Embedded Systems
Embedded Systems. Grenoble University, 2014

tel-00614269v2 Thèse
Atif Mashkoor. Formal Domain Engineering: From Specification to Validation
Software Engineering [cs.SE]. Université Nancy II, 2011. English

tel-00441312v1 Thèse
Joris Rehm. Gestion du temps par le raffinement
Informatique [cs]. Université Henri Poincaré - Nancy I, 2009. Français

tel-01534575v1 Thèse
Ştefania-Gabriela Dumbravă. Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog
Logique en informatique [cs.LO]. Université Paris-Saclay, 2016. Français. < NNT : 2016SACLS525 >

tel-01511656v1 Thèse
Fatma Jebali. Formal Framework for Modelling and Verifying Globally Asynchronous Locally Synchronous Systems
Computer Science [cs]. Inria - Research Centre Grenoble – Rhône-Alpes; Laboratoire d'Informatique de Grenoble; Université Grenoble Alpes, 2016. English

tel-01107718v1 Thèse
Cyrille Wiedling. Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs
Cryptography and Security [cs.CR]. Université de Lorraine, 2014. English

tel-00625248v1 HDR
Eric Madelaine. Specification, Model Generation, and Verification of Distributed Applications
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2011

tel-00720022v1 HDR
Ludovic Henrio. Formal Models for Programming and Composing Correct Distributed Systems
Programming Languages [cs.PL]. Université Nice Sophia Antipolis, 2012

tel-00010545v1 Thèse
Felipe Luna del Aguila. Information Flow Security for Asynchronous, Distributed, and Mobile Applications
Modeling and Simulation. Université Nice Sophia Antipolis, 2005. English

tel-00425390v1 Thèse
David Cachera. Validation formelle des langages à parallélisme de données
Génie logiciel [cs.SE]. École normale supérieure de Lyon - ENS Lyon, 1998. Français

tel-01483676v1 Thèse
Pierre Wilke. Formally verified compilation of low-level C code
Programming Languages [cs.PL]. Université Rennes 1, 2016. English. < NNT : 2016REN1S088 >

tel-00881301v1 Thèse
Arnaud Jobin. Dioïdes et idéaux de polynômes en analyse statique
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. Français. < NNT : 2012DENS0004 >

tel-00789543v1 Thèse
Paolo Herms. Certification of a Tool Chain for Deductive Program Verification
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. <NNT : 2013PA112006>

tel-00874679v1 Thèse
Asma Tafat. Preuves par raffinement de programmes avec pointeurs
Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. <NNT : 2013PA112141>

tel-01253368v2 Thèse
Dmitry Burlyaev. Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques
Hardware Architecture [cs.AR]. Université Grenoble Alpes, 2015. English. < NNT : 2015GREAM058 >

tel-01306992v1 Thèse
Yakoub Nemouchi. Model-based Testing of Operating System-Level Security Mechanisms
Software Engineering [cs.SE]. Université Paris-Saclay, 2016. English. < NNT : 2016SACLS061 >

tel-01549003v1 Thèse
Robin David. Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes
Cryptography and Security [cs.CR]. Université de Lorraine, 2017. English. < NNT : 2017LORR0013 >

Type de document

Auteur

Domaine

Laboratoire

Langue

Mot-clé

Type de dépôt

Année

Contact