Recherche

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-00872752v1 HDR
Nabil Layaïda. Representation and Analyses of Web Content and Processing
Web. Université de Grenoble, 2013

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-01086106v1 Thèse
Jonathan Protzenko. Mezzo: a typed language for safe effectful concurrent programs
Programming Languages [cs.PL]. Université Paris Diderot - Paris 7, 2014. English

tel-00133591v3 Thèse
Pierre Genevès. Logics for XML
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. English

tel-00011212v1 HDR
Pascal Fradet. Approches langages pour la conception et la mise en oeuvre de programmes
Génie logiciel [cs.SE]. Université Rennes 1, 2000

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-00151974v1 Thèse
Frederic Dabrowski. Programmation Réactive Synchrone, Langage et Contrôle des Ressources
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2007. Français

tel-00557058v1 Thèse
Damien Hardy. Analyse pire cas pour processeur multi-cœurs disposant de caches partagés
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2010. Français

tel-00790056v1 Thèse
Pierre Caserta. Analyse statique et dynamique de code et visualisation des logiciels via la métaphore de la ville: contribution à l'aide à la compréhension des programmes.
Génie logiciel [cs.SE]. Université de Lorraine, 2012. Français

tel-00321917v1 Thèse
Romain Pechoux. Analyse de la complexité des programmes par interprétation sémantique
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2007. Français

pastel-00913469v1 Thèse
Ivan Gazeau. Programmation sûre en précision finie : Contrôler les erreurs et les fuites d'informations
Analyse numérique [cs.NA]. Ecole Polytechnique X, 2013. Français

tel-00435881v1 Thèse
Emilie Balland. Conception d'un langage dédié à l'analyse et la transformation de programmes
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2009. Français

tel-00637917v1 HDR
Alan Schmitt. Static Analyses for Manipulations of Hierarchically Structured Data
Software Engineering [cs.SE]. Université de Grenoble, 2011

tel-00569058v2 Thèse
Ismael Barcenas Patino. Automated reasoning on trees with cardinality constraints
Other [cs.OH]. Université Grenoble Alpes, 2011. English. <NNT : 2011GRENM004>

tel-00565633v1 Thèse
Olivier Zendra. Traduction et optimisation globale dans les langages de classes
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2000. Français

tel-00710193v1 Thèse
Thi Minh Tuyen Nguyen. Taking architecture and compiler into account in formal proofs of numerical programs
Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. <NNT : 2012PA112090>

tel-00728156v1 Thèse
Jérôme Vienne. Prédiction de performances d'applications de calcul haute performance sur réseau Infiniband
Calcul parallèle, distribué et partagé [cs.DC]. Université de Grenoble, 2010. Français

tel-00937807v1 Thèse
Suman Saha. Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information
Programming Languages [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2013. English

tel-00362486v1 Thèse
Pierre Parrend. Modèles de Sécurité logicielle pour les plates-formes à composants de service (SOP)
Réseaux et télécommunications [cs.NI]. INSA de Lyon, 2008. Français

tel-00688117v1 Thèse
Christophe Levointurier. De la nécessité d'une vision holistique du code pour l'analyse statique et la correction automatique des Applications Web
Web. Université Rennes 1, 2011. Français. < NNT : 2011REN1S156 >

tel-01516606v1 Thèse
Alessandro Berti. Kinematics and statics of cable-driven parallel robots by interval-analysis-based methods
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. < NNT : 2015NICE4018 >

tel-00659694v1 Thèse
Jonathan-Christofer Demay. Génération et évaluation de mécanismes de détection des intrusions au niveau applicatif
Cryptographie et sécurité [cs.CR]. Université Rennes 1, 2011. Français

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-00870971v1 Thèse
Benjamin Lesage. Architecture multi-coeurs et temps d'exécution au pire cas
Autre [cs.OH]. Université Rennes 1, 2013. Français. < NNT : 2013REN1S034 >

tel-00918593v1 Thèse
Zhoulai Fu. Static analysis of numerical properties in the presence of pointers
Other [cs.OH]. Université Rennes 1, 2013. English. < NNT : 2013REN1S060 >

tel-00846347v1 Thèse
Pierre-Emmanuel Cornilleau. Certification of static analysis in many-sorted first-order logic
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English. < NNT : 2013DENS0012 >

tel-01250984v2 Thèse
Nicola Guido. Sur l'analyse statique des requêtes SPARQL avec la logique modale
Web. Université Grenoble Alpes, 2015. Français. < NNT : 2015GREAM059 >

Type de document

Auteur

Domaine

Laboratoire

Langue

Mot-clé

Type de dépôt

Année

Contact