• Filtres
• Structure : Identifiant HAL de la structure  ×
• Mots-clés  ×
• Tous  ×

104 résultats  enregistrer la recherche

 Rechercher

 Recherche avancée…  Recherche simple…

 

Champ de recherche par défaut (multicritères) 

• Champ de recherche par défaut (multicritères)
• Champ de recherche par défaut (multicritères) + texte intégral des PDF
• Titres
• Sous-titre
• Titre de l'ouvrage
• Résumé
• Texte intégral indexé des documents PDF
• Mots-clés
• Tous les identifiants du document
• Identifiant HAL du dépôt
• Langue du document (texte)
• Pays (Texte)
• Ville
• Auteur (multicritères)
• Auteur : Nom complet
• Auteur : Nom de famille
• Auteur : Prénom
• Auteur : Complément de nom, deuxième prénom
• Auteur : Organisme payeur
• Auteur : IdHal (chaîne de caractères)
• Auteur : Fonction
• Auteur : idHal numérique
• Auteur : Identifiant
• Auteur : Identifiant de l'organisme payeur
• Auteur : Identifiant de la structure
• Directeur de thèse
• Éditeur
• Éditeur scientifique
• Éditeur de la série
• Revues (multicritères)
• Revue : Éditeur
• Revue : Titre abrégé
• Revue : Titre
• Revue : Identifiant interne
• Revue : Date de début de publication
• Revue : ISSN électronique
• Revue : ISSN
• Revue : Éditeur
• Revue : Couleur dans SHERPA/RoMEO
• Revue : État dans le référentiel
• Colloque (multicritères)
• Colloque : Titre
• Colloque : Organisateur
• Colloque : date de début (Année)
• Colloque : date de fin (Année)
• Projets ANR (multicritères)
• Projet ANR : Acronyme
• Projet ANR : Acronyme de l'appel à projet
• Projet ANR : Nom de l'appel à projet
• Projet ANR : Référence
• Projet ANR : Nom
• Projet ANR : Identifiant interne
• Projet ANR : État dans le référentiel
• Projets européens (multicritères)
• Projet européen : Acronyme
• Projet européen : Identifiant de l'appel à projet
• Projet européen : Référence
• Projet européen : Nom
• Projet européen : Date de fin
• Projet européen : Financement
• Projet européen : Date de début
• Projet européen : État dans le référentiel
• Projet européen : Identifiant interne
• Structure (multicritères)
• Structure : Acronyme
• Structure : Nom
• Structure : Code
• Structure : Pays
• Structure : Type
• Structure : État dans le référentiel
• Structure : Identifiant HAL de la structure
• Date de publication : année
• Date de mise en ligne : année
• Date d'écriture : année
• Date de modification du dépôt : année
• Date de dépôt : année
• Date de publication électronique : année
• Collection HAL (multicritères)
• Collection HAL : catégorie
• Collection HAL : Code
• Collection HAL : Nom
• Collection HAL : Identifiant interne
• Identifiant interne du contributeur/déposant
• Nom complet du contributeur/déposant
• Domaines
• Domaine primaire
• Domaine racine
• Sous-domaine niveau 1
• Sous-domaine niveau 2
• Sous-domaine niveau 3
• Statut du document
• Version du document
• Type de dépôt
• Type de document
• ISBN
• Numéro - référence
• Identifiant DOI
• Classification
• Audience
• Vulgarisation
• Comité de lecture - texte (oui ou non)
• Actes de colloque
• Référence interne
• Financement
• Collaborations

 

	1 2 3 4	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 104 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-00555158v1  Thèse Ioana Pasca. Formal Verifcation for Numerical Methods Other [cs.OH]. Université Nice Sophia Antipolis, 2010. English
	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-00424552v1  Thèse Tristan Le Gall. Abstract lattices for the verification of systèmes with stacks and queues Software Engineering [cs.SE]. Université Rennes 1, 2008. English
	tel-01274154v1  Thèse Heger Arfaoui. Local Distributed Decision and Verification Networking and Internet Architecture [cs.NI]. Paris Diderot University, 2014. English
	tel-01176641v1  Thèse Caterina Urban. Static Analysis by Abstract Interpretation of Functional Temporal Properties of Programs Computer Science [cs]. École Normale Supérieure, 2015. English
	tel-00927066v1  HDR Stefan Schwoon. Efficient verification of sequential and concurrent systems Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2013
	tel-00675438v1  Thèse Yue Ma. Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of compotation Embedded Systems. Université Rennes 1, 2010. English
	tel-00580145v1  Thèse Nazim Benaissa. La composition des protocoles de sécurité avec la méthode B événementielle Modélisation et simulation. Université Henri Poincaré - Nancy I, 2010. Français
	tel-00128631v1  Thèse Nicolas Biri. Logiques spatiales de ressources, modèles d'arbres et applications Modélisation et simulation. Université Henri Poincaré - Nancy I, 2005. Français
	tel-00608499v1  Thèse Zhaoguang Wang. Interactive project review of deformable parts through haptic interfaces in Virtual Reality Mechanics [physics.med-ph]. Université Rennes 1, 2011. English
	tel-01258795v1  Thèse Rim Abid. Coordination and Reconfiguration of Distributed Cloud Applications Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2015. English
	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-00424979v1  Thèse Clément Hurlin. Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic Software Engineering [cs.SE]. Université Nice Sophia Antipolis, 2009. English
	tel-01327023v1  Thèse Jacques-Henri Jourdan. Verasco: a Formally Verified C Static Analyzer Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English
	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-00925479v1  Thèse Paul Istoan. Methodology for the derivation of product behaviour in a Software Product Line Other [cs.OH]. Université Rennes 1, 2013. English. <NNT : 2013REN1S013>
	tel-00809357v1  Thèse Peter Schrammel. Logico-Numerical Verification Methods for Discrete and Hybrid Systems Numerical Analysis [cs.NA]. Université de Grenoble, 2012. English. <NNT : 2012GRENM082>
	tel-01384363v1  Thèse Lili Xu. Formal Verification of Differential Privacy in Concurrent Systems Cryptography and Security [cs.CR]. Ecole Polytechnique (Palaiseau, France), 2015. English
	tel-00080852v1  Thèse Ninh Thuan Truong. Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet Génie logiciel [cs.SE]. Université Nancy II, 2006. Français
	tel-00915282v1  HDR Jordi Cabot. MDE 2.0 : Pragmatical formal model verification and other challenges Software Engineering [cs.SE]. Universitat Politécnica de Catalunya, 2012
	tel-00437582v1  Thèse Jean-Baptiste Tristan. Formal verification of translation validators Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français
	tel-00652508v1  Thèse François Bobot. Logique de séparation et vérification déductive Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. <NNT : 2011PA112332>
	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-01253426v1  HDR Sylvain Salvati. Lambda-calculus and formal language theory Computer Science [cs]. Université de Bordeaux, 2015
	tel-00903447v1  HDR Antoine Miné. Static analysis by abstract interpretation of concurrent programs Performance [cs.PF]. Ecole Normale Supérieure de Paris - ENS Paris, 2013
	tel-00551724v1  Thèse Jan Stöcker. An Intermediate Model for the Verification of Asynchronous Real-Time Embedded Systems: Definition and Application of the ATLANTIF language Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG, 2009. English
	tel-00767318v1  Thèse Duy Hoa Ngo. Enhancing Ontology Matching by Using Machine Learning, Graph Matching and Information Retrieval Techniques Databases [cs.DB]. Université Montpellier II - Sciences et Techniques du Languedoc, 2012. English
	tel-01386788v1  Thèse Leonardo Linguaglossa. Two challenges of Software Networking: Name-based Forwarding and Table Verification Networking and Internet Architecture [cs.NI]. Université Paris Diderot (Paris 7) Sorbonne Paris Cité, 2016. English
	tel-01103104v2  Thèse Miriam Paiola. Verification of cryptographic protocols with lists of unbounded lengths Cryptography and Security [cs.CR]. Université Paris-Diderot (Paris 7), 2014. English
	tel-01058041v1  Thèse Van Chan Ngo. Formal Verification of a Synchronous Data- flow Compiler : from Signal to C Software Engineering [cs.SE]. Université Rennes 1, 2014. English
	1 2 3 4	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 104 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM