Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Analyse statique). Showing records 1 – 30 of 76 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

Languages

▼ Search Limiters

1. Habchi, Sarra. Understanding mobile-specific code smells : Comprendre les défauts de code spécifiques aux applications mobiles.

Degree: Docteur es, Informatique et applications, 2019, Université Lille I – Sciences et Technologies

Au cours des dernières années, les applications mobiles sont devenues indispensables dans notre vie quotidienne. Ces applications ont pour particularité de fonctionner sur des téléphones… (more)

Subjects/Keywords: Analyse statique (informatique); 005.3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Habchi, S. (2019). Understanding mobile-specific code smells : Comprendre les défauts de code spécifiques aux applications mobiles. (Doctoral Dissertation). Université Lille I – Sciences et Technologies. Retrieved from http://www.theses.fr/2019LIL1I089

Chicago Manual of Style (16th Edition):

Habchi, Sarra. “Understanding mobile-specific code smells : Comprendre les défauts de code spécifiques aux applications mobiles.” 2019. Doctoral Dissertation, Université Lille I – Sciences et Technologies. Accessed January 21, 2021. http://www.theses.fr/2019LIL1I089.

MLA Handbook (7th Edition):

Habchi, Sarra. “Understanding mobile-specific code smells : Comprendre les défauts de code spécifiques aux applications mobiles.” 2019. Web. 21 Jan 2021.

Vancouver:

Habchi S. Understanding mobile-specific code smells : Comprendre les défauts de code spécifiques aux applications mobiles. [Internet] [Doctoral dissertation]. Université Lille I – Sciences et Technologies; 2019. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2019LIL1I089.

Council of Science Editors:

Habchi S. Understanding mobile-specific code smells : Comprendre les défauts de code spécifiques aux applications mobiles. [Doctoral Dissertation]. Université Lille I – Sciences et Technologies; 2019. Available from: http://www.theses.fr/2019LIL1I089

2. Boudjema, El Habib. Défense contre les attaques de logiciels : Defense against software exploits.

Degree: Docteur es, Informatique, 2018, Université Paris-Est

Dans ce début du troisième millénium, nous sommes témoins d'un nouvel âge. Ce nouvel âge est caractérisé par la transition d'une économie industrielle vers une… (more)

Subjects/Keywords: Analyse statique; Vulnérabilités; Attaque logicielle; Static analysis; Vulnerabilities; Software exploits

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Boudjema, E. H. (2018). Défense contre les attaques de logiciels : Defense against software exploits. (Doctoral Dissertation). Université Paris-Est. Retrieved from http://www.theses.fr/2018PESC1015

Chicago Manual of Style (16th Edition):

Boudjema, El Habib. “Défense contre les attaques de logiciels : Defense against software exploits.” 2018. Doctoral Dissertation, Université Paris-Est. Accessed January 21, 2021. http://www.theses.fr/2018PESC1015.

MLA Handbook (7th Edition):

Boudjema, El Habib. “Défense contre les attaques de logiciels : Defense against software exploits.” 2018. Web. 21 Jan 2021.

Vancouver:

Boudjema EH. Défense contre les attaques de logiciels : Defense against software exploits. [Internet] [Doctoral dissertation]. Université Paris-Est; 2018. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2018PESC1015.

Council of Science Editors:

Boudjema EH. Défense contre les attaques de logiciels : Defense against software exploits. [Doctoral Dissertation]. Université Paris-Est; 2018. Available from: http://www.theses.fr/2018PESC1015

3. Jobin, Arnaud. Dioïdes et idéaux de polynômes en analyse statique : Static analysis with dioids and polynomial ideals.

Degree: Docteur es, Informatique, 2012, Cachan, Ecole normale supérieure

L'analyse statique a pour but de vérifier qu'un programme a le comportement souhaité c.à.d. satisfait des propriétés de sûreté. Toutefois, inférer les propriétés vérifiées par… (more)

Subjects/Keywords: Interprétation abstraite; Méthodes formelles; Analyse statique; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jobin, A. (2012). Dioïdes et idéaux de polynômes en analyse statique : Static analysis with dioids and polynomial ideals. (Doctoral Dissertation). Cachan, Ecole normale supérieure. Retrieved from http://www.theses.fr/2012DENS0004

Chicago Manual of Style (16th Edition):

Jobin, Arnaud. “Dioïdes et idéaux de polynômes en analyse statique : Static analysis with dioids and polynomial ideals.” 2012. Doctoral Dissertation, Cachan, Ecole normale supérieure. Accessed January 21, 2021. http://www.theses.fr/2012DENS0004.

MLA Handbook (7th Edition):

Jobin, Arnaud. “Dioïdes et idéaux de polynômes en analyse statique : Static analysis with dioids and polynomial ideals.” 2012. Web. 21 Jan 2021.

Vancouver:

Jobin A. Dioïdes et idéaux de polynômes en analyse statique : Static analysis with dioids and polynomial ideals. [Internet] [Doctoral dissertation]. Cachan, Ecole normale supérieure; 2012. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2012DENS0004.

Council of Science Editors:

Jobin A. Dioïdes et idéaux de polynômes en analyse statique : Static analysis with dioids and polynomial ideals. [Doctoral Dissertation]. Cachan, Ecole normale supérieure; 2012. Available from: http://www.theses.fr/2012DENS0004


Université du Québec à Montréal

4. Gélinas, Jean-Sébastien. Prévention de déréférencements de nul.

Degree: 2012, Université du Québec à Montréal

 La bonne gestion des déréférencements de nul dans les langages à objets statiquement typés est un problème complexe qui est loin d'être nouveau. Plusieurs approches… (more)

Subjects/Keywords: Analyse statique; Compilation (Informatique); Optimisation; Déréférencement de nul; Langage Nit; Type nullable; Validation d'attribut (Informatique)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gélinas, J. (2012). Prévention de déréférencements de nul. (Thesis). Université du Québec à Montréal. Retrieved from http://www.archipel.uqam.ca/5139/1/M12548.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Gélinas, Jean-Sébastien. “Prévention de déréférencements de nul.” 2012. Thesis, Université du Québec à Montréal. Accessed January 21, 2021. http://www.archipel.uqam.ca/5139/1/M12548.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Gélinas, Jean-Sébastien. “Prévention de déréférencements de nul.” 2012. Web. 21 Jan 2021.

Vancouver:

Gélinas J. Prévention de déréférencements de nul. [Internet] [Thesis]. Université du Québec à Montréal; 2012. [cited 2021 Jan 21]. Available from: http://www.archipel.uqam.ca/5139/1/M12548.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Gélinas J. Prévention de déréférencements de nul. [Thesis]. Université du Québec à Montréal; 2012. Available from: http://www.archipel.uqam.ca/5139/1/M12548.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

5. Bühler, David. EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C.

Degree: Docteur es, Informatique, 2017, Rennes 1

 Cette thèse propose un nouveau cadre pour la composition de domaines abstraits. L'idée principale en est l'organisation d'une sémantique abstraite suivant la distinction usuelle entre… (more)

Subjects/Keywords: Méthodes formelles (Informatique); Analyse statique; Interprétation abstraite; Formal methods (Computer science); Static analysis; Abstract interpretation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bühler, D. (2017). EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2017REN1S016

Chicago Manual of Style (16th Edition):

Bühler, David. “EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C.” 2017. Doctoral Dissertation, Rennes 1. Accessed January 21, 2021. http://www.theses.fr/2017REN1S016.

MLA Handbook (7th Edition):

Bühler, David. “EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C.” 2017. Web. 21 Jan 2021.

Vancouver:

Bühler D. EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C. [Internet] [Doctoral dissertation]. Rennes 1; 2017. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2017REN1S016.

Council of Science Editors:

Bühler D. EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions : Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C. [Doctoral Dissertation]. Rennes 1; 2017. Available from: http://www.theses.fr/2017REN1S016


Université du Québec à Montréal

6. Gélinas, Jean-Sébastien. Prévention de déréférencements de nul.

Degree: 2012, Université du Québec à Montréal

 La bonne gestion des déréférencements de nul dans les langages à objets statiquement typés est un problème complexe qui est loin d'être nouveau. Plusieurs approches… (more)

Subjects/Keywords: Analyse statique; Compilation (Informatique); Optimisation; Déréférencement de nul; Langage Nit; Type nullable; Validation d'attribut (Informatique)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gélinas, J. (2012). Prévention de déréférencements de nul. (Thesis). Université du Québec à Montréal. Retrieved from http://archipel.uqam.ca/5139/1/M12548.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Gélinas, Jean-Sébastien. “Prévention de déréférencements de nul.” 2012. Thesis, Université du Québec à Montréal. Accessed January 21, 2021. http://archipel.uqam.ca/5139/1/M12548.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Gélinas, Jean-Sébastien. “Prévention de déréférencements de nul.” 2012. Web. 21 Jan 2021.

Vancouver:

Gélinas J. Prévention de déréférencements de nul. [Internet] [Thesis]. Université du Québec à Montréal; 2012. [cited 2021 Jan 21]. Available from: http://archipel.uqam.ca/5139/1/M12548.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Gélinas J. Prévention de déréférencements de nul. [Thesis]. Université du Québec à Montréal; 2012. Available from: http://archipel.uqam.ca/5139/1/M12548.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

7. Maalej Kammoun, Maroua. Low-cost memory analyses for efficient compilers : Analyses de mémoire à bas cout pour des compilateurs efficaces.

Degree: Docteur es, Informatique, 2017, Lyon

La rapidité, la consommation énergétique et l'efficacité des systèmes logiciels et matériels sont devenues les préoccupations majeures de la communauté informatique de nos jours. Gérer… (more)

Subjects/Keywords: Compilateurs; Optimisations; Analyse statique; Interprétation abstraite; Compilers; Optimizations; Static analyses; Abstract interpretation; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Maalej Kammoun, M. (2017). Low-cost memory analyses for efficient compilers : Analyses de mémoire à bas cout pour des compilateurs efficaces. (Doctoral Dissertation). Lyon. Retrieved from http://www.theses.fr/2017LYSE1167

Chicago Manual of Style (16th Edition):

Maalej Kammoun, Maroua. “Low-cost memory analyses for efficient compilers : Analyses de mémoire à bas cout pour des compilateurs efficaces.” 2017. Doctoral Dissertation, Lyon. Accessed January 21, 2021. http://www.theses.fr/2017LYSE1167.

MLA Handbook (7th Edition):

Maalej Kammoun, Maroua. “Low-cost memory analyses for efficient compilers : Analyses de mémoire à bas cout pour des compilateurs efficaces.” 2017. Web. 21 Jan 2021.

Vancouver:

Maalej Kammoun M. Low-cost memory analyses for efficient compilers : Analyses de mémoire à bas cout pour des compilateurs efficaces. [Internet] [Doctoral dissertation]. Lyon; 2017. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2017LYSE1167.

Council of Science Editors:

Maalej Kammoun M. Low-cost memory analyses for efficient compilers : Analyses de mémoire à bas cout pour des compilateurs efficaces. [Doctoral Dissertation]. Lyon; 2017. Available from: http://www.theses.fr/2017LYSE1167

8. Souilem, Inès. Élaboration de miniémulsions dans un nouveau mélangeur à écoulement élongationnel : influence des paramètres du procédé et de la formulation : Élaboration of miniemulsion in an elongational flow mixer : influence of process and composition parameters.

Degree: Docteur es, Chimie physique, 2012, Université de Strasbourg

Les mini ou nanoémulsions sont des systèmes fréquemment rencontrés dans différents domaines : cosmétique, pharmaceutique, biomédical… Plusieurs procédés permettent la préparation de nanoémulsions. Cependant, ils… (more)

Subjects/Keywords: Miniémulsion; Écoulement élongationnel; Analyse dimensionnelle; Intensification; Mélangeur statique; Miniemulsion; Elongational flow; Dimensional analysis; Intensification; 532.5

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Souilem, I. (2012). Élaboration de miniémulsions dans un nouveau mélangeur à écoulement élongationnel : influence des paramètres du procédé et de la formulation : Élaboration of miniemulsion in an elongational flow mixer : influence of process and composition parameters. (Doctoral Dissertation). Université de Strasbourg. Retrieved from http://www.theses.fr/2012STRAE033

Chicago Manual of Style (16th Edition):

Souilem, Inès. “Élaboration de miniémulsions dans un nouveau mélangeur à écoulement élongationnel : influence des paramètres du procédé et de la formulation : Élaboration of miniemulsion in an elongational flow mixer : influence of process and composition parameters.” 2012. Doctoral Dissertation, Université de Strasbourg. Accessed January 21, 2021. http://www.theses.fr/2012STRAE033.

MLA Handbook (7th Edition):

Souilem, Inès. “Élaboration de miniémulsions dans un nouveau mélangeur à écoulement élongationnel : influence des paramètres du procédé et de la formulation : Élaboration of miniemulsion in an elongational flow mixer : influence of process and composition parameters.” 2012. Web. 21 Jan 2021.

Vancouver:

Souilem I. Élaboration de miniémulsions dans un nouveau mélangeur à écoulement élongationnel : influence des paramètres du procédé et de la formulation : Élaboration of miniemulsion in an elongational flow mixer : influence of process and composition parameters. [Internet] [Doctoral dissertation]. Université de Strasbourg; 2012. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2012STRAE033.

Council of Science Editors:

Souilem I. Élaboration de miniémulsions dans un nouveau mélangeur à écoulement élongationnel : influence des paramètres du procédé et de la formulation : Élaboration of miniemulsion in an elongational flow mixer : influence of process and composition parameters. [Doctoral Dissertation]. Université de Strasbourg; 2012. Available from: http://www.theses.fr/2012STRAE033

9. Djaballah, Adel. Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides : Computation of barrier certificates for dynamical hybrids systems using interval analysis.

Degree: Docteur es, Automatique, 2017, Université Paris-Saclay (ComUE)

 Cette thèse développe des outils permettant de prouver qu’un système dynamique est sûr. En supposant qu’une partie de l’espace d’état est dangereuse, un système dynamique… (more)

Subjects/Keywords: Système hybride; Verification formelle; Intervalle; Analyse statique; Hybrid systems; Formal verification; Interval; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Djaballah, A. (2017). Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides : Computation of barrier certificates for dynamical hybrids systems using interval analysis. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2017SACLS195

Chicago Manual of Style (16th Edition):

Djaballah, Adel. “Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides : Computation of barrier certificates for dynamical hybrids systems using interval analysis.” 2017. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed January 21, 2021. http://www.theses.fr/2017SACLS195.

MLA Handbook (7th Edition):

Djaballah, Adel. “Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides : Computation of barrier certificates for dynamical hybrids systems using interval analysis.” 2017. Web. 21 Jan 2021.

Vancouver:

Djaballah A. Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides : Computation of barrier certificates for dynamical hybrids systems using interval analysis. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2017. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2017SACLS195.

Council of Science Editors:

Djaballah A. Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides : Computation of barrier certificates for dynamical hybrids systems using interval analysis. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2017. Available from: http://www.theses.fr/2017SACLS195


Université de Grenoble

10. Chekol, Melisachew Wudage. Analyse statique de requête pour le Web sémantique : Static Analysis of Semantic Web Queries.

Degree: Docteur es, Informatique, 2012, Université de Grenoble

L'inclusion de requête est un problème bien étudié sur plusieurs décennies de recherche. En règle générale, il est défini comme le problème de déterminer si… (more)

Subjects/Keywords: Inclusion; SPARQL; PSPARQL; RDF; OWL; Analyse statique; Containment; SPARQL; PSPARQL; Static analysis; RDF; OWL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chekol, M. W. (2012). Analyse statique de requête pour le Web sémantique : Static Analysis of Semantic Web Queries. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2012GRENM098

Chicago Manual of Style (16th Edition):

Chekol, Melisachew Wudage. “Analyse statique de requête pour le Web sémantique : Static Analysis of Semantic Web Queries.” 2012. Doctoral Dissertation, Université de Grenoble. Accessed January 21, 2021. http://www.theses.fr/2012GRENM098.

MLA Handbook (7th Edition):

Chekol, Melisachew Wudage. “Analyse statique de requête pour le Web sémantique : Static Analysis of Semantic Web Queries.” 2012. Web. 21 Jan 2021.

Vancouver:

Chekol MW. Analyse statique de requête pour le Web sémantique : Static Analysis of Semantic Web Queries. [Internet] [Doctoral dissertation]. Université de Grenoble; 2012. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2012GRENM098.

Council of Science Editors:

Chekol MW. Analyse statique de requête pour le Web sémantique : Static Analysis of Semantic Web Queries. [Doctoral Dissertation]. Université de Grenoble; 2012. Available from: http://www.theses.fr/2012GRENM098

11. Abbas, Abdullah. Static analysis of semantic web queries with ShEx schema constraints : Analyse statique de requêtes au web sémantique avec des contraintes de schéma ShEx.

Degree: Docteur es, Informatique, 2017, Université Grenoble Alpes (ComUE)

La disponibilité de gros volumes de données structurées selon le modèle Resource Description Framework (RDF) est en constante augmentation. Cette situation implique un intérêt scientifique… (more)

Subjects/Keywords: Web Sémantique; Sparql; Analyse statique; Schemas; ShEx; Semantic Web; Sparql; Static Analysis; Schemas; ShEx; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Abbas, A. (2017). Static analysis of semantic web queries with ShEx schema constraints : Analyse statique de requêtes au web sémantique avec des contraintes de schéma ShEx. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2017GREAM064

Chicago Manual of Style (16th Edition):

Abbas, Abdullah. “Static analysis of semantic web queries with ShEx schema constraints : Analyse statique de requêtes au web sémantique avec des contraintes de schéma ShEx.” 2017. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed January 21, 2021. http://www.theses.fr/2017GREAM064.

MLA Handbook (7th Edition):

Abbas, Abdullah. “Static analysis of semantic web queries with ShEx schema constraints : Analyse statique de requêtes au web sémantique avec des contraintes de schéma ShEx.” 2017. Web. 21 Jan 2021.

Vancouver:

Abbas A. Static analysis of semantic web queries with ShEx schema constraints : Analyse statique de requêtes au web sémantique avec des contraintes de schéma ShEx. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2017. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2017GREAM064.

Council of Science Editors:

Abbas A. Static analysis of semantic web queries with ShEx schema constraints : Analyse statique de requêtes au web sémantique avec des contraintes de schéma ShEx. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2017. Available from: http://www.theses.fr/2017GREAM064

12. Ferlin, Antoine. Vérification de propriétés temporelles sur des logiciels avioniques par analyse dynamique formelle : Verification of temporal properties on avionics software using formal dynamic analysis.

Degree: Docteur es, Sureté de logiciel et calcul de haute performance, 2013, Toulouse, ISAE

La vérification de logiciels est une activité dont l'importance est cruciale pour les logiciels embarqués critiques. Les différentes approches envisageables peuvent être classées en quatre… (more)

Subjects/Keywords: Logique Temporelle Linéaire; Analyse Dynamique; Analyse Statique, Logiciels critiques; Linear Temporal Logic; Dynamic analysis; Static analysis; Critical software; 000

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ferlin, A. (2013). Vérification de propriétés temporelles sur des logiciels avioniques par analyse dynamique formelle : Verification of temporal properties on avionics software using formal dynamic analysis. (Doctoral Dissertation). Toulouse, ISAE. Retrieved from http://www.theses.fr/2013ESAE0024

Chicago Manual of Style (16th Edition):

Ferlin, Antoine. “Vérification de propriétés temporelles sur des logiciels avioniques par analyse dynamique formelle : Verification of temporal properties on avionics software using formal dynamic analysis.” 2013. Doctoral Dissertation, Toulouse, ISAE. Accessed January 21, 2021. http://www.theses.fr/2013ESAE0024.

MLA Handbook (7th Edition):

Ferlin, Antoine. “Vérification de propriétés temporelles sur des logiciels avioniques par analyse dynamique formelle : Verification of temporal properties on avionics software using formal dynamic analysis.” 2013. Web. 21 Jan 2021.

Vancouver:

Ferlin A. Vérification de propriétés temporelles sur des logiciels avioniques par analyse dynamique formelle : Verification of temporal properties on avionics software using formal dynamic analysis. [Internet] [Doctoral dissertation]. Toulouse, ISAE; 2013. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2013ESAE0024.

Council of Science Editors:

Ferlin A. Vérification de propriétés temporelles sur des logiciels avioniques par analyse dynamique formelle : Verification of temporal properties on avionics software using formal dynamic analysis. [Doctoral Dissertation]. Toulouse, ISAE; 2013. Available from: http://www.theses.fr/2013ESAE0024

13. Petiot, Guillaume. Contribution à la vérification de programmes C par combinaison de tests et de preuves. : Contribution to software verification combining tests and proofs.

Degree: Docteur es, Informatique, 2015, Besançon

La vérification de logiciels repose le plus souvent sur une spécification formelle encodant les propriétés du programme à vérifier. La tâche de spécification et de… (more)

Subjects/Keywords: Analyse statique; Analyse dynamique; Méthodes formelles; Preuve; Test; FRAMA-C; Static analysis; Dynamic analysis; Formal methods; Proof; Testing; 005.1; 621.39

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Petiot, G. (2015). Contribution à la vérification de programmes C par combinaison de tests et de preuves. : Contribution to software verification combining tests and proofs. (Doctoral Dissertation). Besançon. Retrieved from http://www.theses.fr/2015BESA2045

Chicago Manual of Style (16th Edition):

Petiot, Guillaume. “Contribution à la vérification de programmes C par combinaison de tests et de preuves. : Contribution to software verification combining tests and proofs.” 2015. Doctoral Dissertation, Besançon. Accessed January 21, 2021. http://www.theses.fr/2015BESA2045.

MLA Handbook (7th Edition):

Petiot, Guillaume. “Contribution à la vérification de programmes C par combinaison de tests et de preuves. : Contribution to software verification combining tests and proofs.” 2015. Web. 21 Jan 2021.

Vancouver:

Petiot G. Contribution à la vérification de programmes C par combinaison de tests et de preuves. : Contribution to software verification combining tests and proofs. [Internet] [Doctoral dissertation]. Besançon; 2015. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2015BESA2045.

Council of Science Editors:

Petiot G. Contribution à la vérification de programmes C par combinaison de tests et de preuves. : Contribution to software verification combining tests and proofs. [Doctoral Dissertation]. Besançon; 2015. Available from: http://www.theses.fr/2015BESA2045


Université de Sherbrooke

14. Ghobrial, Fady. Analyse Dynamique des Pentes Argileuses et Développement d'une Nouvelle Méthode Pseudo-Statique Spectrale.

Degree: 2019, Université de Sherbrooke

 Les tremblements de terre sont capables d’engendrer des forces perturbatrices à l’intérieur des pentes naturelles ou artificielles. L’étude de stabilité des pentes sous une telle… (more)

Subjects/Keywords: Méthode pseudo-statique; Méthode pseudo-statique spectrale; Pente argileuse; Analyse dynamique; Coefficient sismique; Modèle de Mohr-Coulomb; Modélisation numérique; Est du Canada

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ghobrial, F. (2019). Analyse Dynamique des Pentes Argileuses et Développement d'une Nouvelle Méthode Pseudo-Statique Spectrale. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/15990

Chicago Manual of Style (16th Edition):

Ghobrial, Fady. “Analyse Dynamique des Pentes Argileuses et Développement d'une Nouvelle Méthode Pseudo-Statique Spectrale.” 2019. Doctoral Dissertation, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/15990.

MLA Handbook (7th Edition):

Ghobrial, Fady. “Analyse Dynamique des Pentes Argileuses et Développement d'une Nouvelle Méthode Pseudo-Statique Spectrale.” 2019. Web. 21 Jan 2021.

Vancouver:

Ghobrial F. Analyse Dynamique des Pentes Argileuses et Développement d'une Nouvelle Méthode Pseudo-Statique Spectrale. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2019. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/15990.

Council of Science Editors:

Ghobrial F. Analyse Dynamique des Pentes Argileuses et Développement d'une Nouvelle Méthode Pseudo-Statique Spectrale. [Doctoral Dissertation]. Université de Sherbrooke; 2019. Available from: http://hdl.handle.net/11143/15990

15. Laouadi, Rabah. Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs.

Degree: Docteur es, Informatique, 2016, Montpellier

Sans exécuter une application, est-il possible de prévoir quelle est la méthode cible d’un site d’appel ? Est-il possible de savoir quels sont les types… (more)

Subjects/Keywords: Analyse statique; Détection de comportement; Sécurité; Graphe d'appels; Analyse de flot de contrôle multivariante; Analyse de tâches; Static analysis; Behavior detection; Secuirty; Call graph; Multivariant control flow analysis; Taint analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Laouadi, R. (2016). Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs. (Doctoral Dissertation). Montpellier. Retrieved from http://www.theses.fr/2016MONTT255

Chicago Manual of Style (16th Edition):

Laouadi, Rabah. “Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs.” 2016. Doctoral Dissertation, Montpellier. Accessed January 21, 2021. http://www.theses.fr/2016MONTT255.

MLA Handbook (7th Edition):

Laouadi, Rabah. “Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs.” 2016. Web. 21 Jan 2021.

Vancouver:

Laouadi R. Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs. [Internet] [Doctoral dissertation]. Montpellier; 2016. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2016MONTT255.

Council of Science Editors:

Laouadi R. Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes : Multivariant control flow analysis : application to behavior detection in programs. [Doctoral Dissertation]. Montpellier; 2016. Available from: http://www.theses.fr/2016MONTT255

16. Georget, Laurent. Suivi de flux d'information correct pour les systèmes d'exploitation Linux : Correct information flow tracking for Linux operating systems.

Degree: Docteur es, Informatique, 2017, Rennes 1

Nous cherchons à améliorer l'état de l'art des implémentations de contrôle de flux d'information dans les systèmes Linux. Le contrôle de flux d'information vise à… (more)

Subjects/Keywords: Systèmes d'exploitation Linux; Contrôle de flux d'information; Analyse statique; Linux; Linux Security Modules; Information flow control; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Georget, L. (2017). Suivi de flux d'information correct pour les systèmes d'exploitation Linux : Correct information flow tracking for Linux operating systems. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2017REN1S040

Chicago Manual of Style (16th Edition):

Georget, Laurent. “Suivi de flux d'information correct pour les systèmes d'exploitation Linux : Correct information flow tracking for Linux operating systems.” 2017. Doctoral Dissertation, Rennes 1. Accessed January 21, 2021. http://www.theses.fr/2017REN1S040.

MLA Handbook (7th Edition):

Georget, Laurent. “Suivi de flux d'information correct pour les systèmes d'exploitation Linux : Correct information flow tracking for Linux operating systems.” 2017. Web. 21 Jan 2021.

Vancouver:

Georget L. Suivi de flux d'information correct pour les systèmes d'exploitation Linux : Correct information flow tracking for Linux operating systems. [Internet] [Doctoral dissertation]. Rennes 1; 2017. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2017REN1S040.

Council of Science Editors:

Georget L. Suivi de flux d'information correct pour les systèmes d'exploitation Linux : Correct information flow tracking for Linux operating systems. [Doctoral Dissertation]. Rennes 1; 2017. Available from: http://www.theses.fr/2017REN1S040


Université de Montréal

17. Kaczor, Olivier. Application d'algorithmes de bio-informatique à la recherche de patrons de conception.

Degree: 2006, Université de Montréal

Subjects/Keywords: Maintenance; Patrons de conception; Analyse statique; Vecteurs de bits

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kaczor, O. (2006). Application d'algorithmes de bio-informatique à la recherche de patrons de conception. (Thesis). Université de Montréal. Retrieved from http://hdl.handle.net/1866/16726

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kaczor, Olivier. “Application d'algorithmes de bio-informatique à la recherche de patrons de conception.” 2006. Thesis, Université de Montréal. Accessed January 21, 2021. http://hdl.handle.net/1866/16726.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kaczor, Olivier. “Application d'algorithmes de bio-informatique à la recherche de patrons de conception.” 2006. Web. 21 Jan 2021.

Vancouver:

Kaczor O. Application d'algorithmes de bio-informatique à la recherche de patrons de conception. [Internet] [Thesis]. Université de Montréal; 2006. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/1866/16726.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kaczor O. Application d'algorithmes de bio-informatique à la recherche de patrons de conception. [Thesis]. Université de Montréal; 2006. Available from: http://hdl.handle.net/1866/16726

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

18. Saillard, Emmanuelle. Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications. : Analyse statique/dynamique pour la validation et l'amélioration des applications parallèles multi-modèles.

Degree: Docteur es, Informatique, 2015, Bordeaux

L’utilisation du parallélisme des architectures actuelles dans le domaine du calcul hautes performances, oblige à recourir à différents langages parallèles. Ainsi, l’utilisation conjointe de MPI… (more)

Subjects/Keywords: Calcul haute performance; Débogage; OpenMP; MPI; Analyse statique; High Performance Computing; Debugging; OpenMP; MPI; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Saillard, E. (2015). Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications. : Analyse statique/dynamique pour la validation et l'amélioration des applications parallèles multi-modèles. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2015BORD0176

Chicago Manual of Style (16th Edition):

Saillard, Emmanuelle. “Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications. : Analyse statique/dynamique pour la validation et l'amélioration des applications parallèles multi-modèles.” 2015. Doctoral Dissertation, Bordeaux. Accessed January 21, 2021. http://www.theses.fr/2015BORD0176.

MLA Handbook (7th Edition):

Saillard, Emmanuelle. “Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications. : Analyse statique/dynamique pour la validation et l'amélioration des applications parallèles multi-modèles.” 2015. Web. 21 Jan 2021.

Vancouver:

Saillard E. Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications. : Analyse statique/dynamique pour la validation et l'amélioration des applications parallèles multi-modèles. [Internet] [Doctoral dissertation]. Bordeaux; 2015. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2015BORD0176.

Council of Science Editors:

Saillard E. Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications. : Analyse statique/dynamique pour la validation et l'amélioration des applications parallèles multi-modèles. [Doctoral Dissertation]. Bordeaux; 2015. Available from: http://www.theses.fr/2015BORD0176

19. Balland, Emilie. Conception d'un langage dédié à l'analyse et la transformation de programmes : Design of a programming language dedicated to program analysis and transformation.

Degree: Docteur es, Informatique, 2009, Université Henri Poincaré – Nancy I

Développer des analyseurs statiques nécessite une manipulation intensive de structures d'arbres et de graphes représentant le programme. La finalité de cette thèse est de proposer… (more)

Subjects/Keywords: termes-graphes; analyse statique; transformation de programmes; langages embarqués

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Balland, E. (2009). Conception d'un langage dédié à l'analyse et la transformation de programmes : Design of a programming language dedicated to program analysis and transformation. (Doctoral Dissertation). Université Henri Poincaré – Nancy I. Retrieved from http://www.theses.fr/2009NAN10026

Chicago Manual of Style (16th Edition):

Balland, Emilie. “Conception d'un langage dédié à l'analyse et la transformation de programmes : Design of a programming language dedicated to program analysis and transformation.” 2009. Doctoral Dissertation, Université Henri Poincaré – Nancy I. Accessed January 21, 2021. http://www.theses.fr/2009NAN10026.

MLA Handbook (7th Edition):

Balland, Emilie. “Conception d'un langage dédié à l'analyse et la transformation de programmes : Design of a programming language dedicated to program analysis and transformation.” 2009. Web. 21 Jan 2021.

Vancouver:

Balland E. Conception d'un langage dédié à l'analyse et la transformation de programmes : Design of a programming language dedicated to program analysis and transformation. [Internet] [Doctoral dissertation]. Université Henri Poincaré – Nancy I; 2009. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2009NAN10026.

Council of Science Editors:

Balland E. Conception d'un langage dédié à l'analyse et la transformation de programmes : Design of a programming language dedicated to program analysis and transformation. [Doctoral Dissertation]. Université Henri Poincaré – Nancy I; 2009. Available from: http://www.theses.fr/2009NAN10026

20. Vaugon, Benoit. Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation.

Degree: Docteur es, Informatique, 2016, Université Paris-Saclay (ComUE)

Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution. Plus précisément,… (more)

Subjects/Keywords: Sous-Typage; Méthodes formelles; Programmation; Analyse statique; Langage de programmation; Subtyping; Formal methods; Programming; Static Analysis; Programming language; 005

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vaugon, B. (2016). Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2016SACLY004

Chicago Manual of Style (16th Edition):

Vaugon, Benoit. “Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation.” 2016. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed January 21, 2021. http://www.theses.fr/2016SACLY004.

MLA Handbook (7th Edition):

Vaugon, Benoit. “Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation.” 2016. Web. 21 Jan 2021.

Vancouver:

Vaugon B. Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2016. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2016SACLY004.

Council of Science Editors:

Vaugon B. Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2016. Available from: http://www.theses.fr/2016SACLY004

21. Maréchal, Alexandre. Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique : New algorithmics for polyhedral calculus via parametric linear programming.

Degree: Docteur es, Informatique, 2017, Université Grenoble Alpes (ComUE)

Cette thèse présente la nouvelle implémentation de la Verified Polyhedra Library (VPL), une bibliothèque efficace de calcul polyédral.Elle fournit des opérateurs certifiés en Coq, s'appliquant… (more)

Subjects/Keywords: Analyse statique; Interprétation abstraite; Polyèdres; Programmation Linéaire Paramétrique; Static analysis; Abstract interpretation; Polyhedra; Parametric Linear Programming; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Maréchal, A. (2017). Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique : New algorithmics for polyhedral calculus via parametric linear programming. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2017GREAM086

Chicago Manual of Style (16th Edition):

Maréchal, Alexandre. “Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique : New algorithmics for polyhedral calculus via parametric linear programming.” 2017. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed January 21, 2021. http://www.theses.fr/2017GREAM086.

MLA Handbook (7th Edition):

Maréchal, Alexandre. “Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique : New algorithmics for polyhedral calculus via parametric linear programming.” 2017. Web. 21 Jan 2021.

Vancouver:

Maréchal A. Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique : New algorithmics for polyhedral calculus via parametric linear programming. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2017. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2017GREAM086.

Council of Science Editors:

Maréchal A. Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique : New algorithmics for polyhedral calculus via parametric linear programming. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2017. Available from: http://www.theses.fr/2017GREAM086

22. Fouilhé, Alexis. Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle : Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof.

Degree: Docteur es, Informatique, 2015, Université Grenoble Alpes (ComUE)

Cette thèse revisite de deux manières le domaine abstrait des polyèdres utilisé pour l'analyse statique de programmes.D'abord, elle montre comment utiliser l'assistant à la preuve… (more)

Subjects/Keywords: Polyèdres; Domaine abstrait; Preuve formelle; Analyse statique; Coq; Polyhedra; Abstract domain; Formal proof; Static analysis; Coq; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fouilhé, A. (2015). Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle : Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2015GREAM045

Chicago Manual of Style (16th Edition):

Fouilhé, Alexis. “Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle : Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof.” 2015. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed January 21, 2021. http://www.theses.fr/2015GREAM045.

MLA Handbook (7th Edition):

Fouilhé, Alexis. “Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle : Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof.” 2015. Web. 21 Jan 2021.

Vancouver:

Fouilhé A. Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle : Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2015. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2015GREAM045.

Council of Science Editors:

Fouilhé A. Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle : Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2015. Available from: http://www.theses.fr/2015GREAM045


Université de Sherbrooke

23. Giraldeau, Francis. Gestion de fichiers de configuration par une vue abstraite modifiable.

Degree: 2011, Université de Sherbrooke

 La gestion de fichiers de configuration sous Linux est complexe et propice aux erreurs étant donné le grand nombre de fichiers de formats différents. Toutes… (more)

Subjects/Keywords: Gestion de configuration; Programmation bidirectionnelle; Problème de mise à jour par la vue; Ambiguïté; Analyse statique,; XSugar; Augeas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Giraldeau, F. (2011). Gestion de fichiers de configuration par une vue abstraite modifiable. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4889

Chicago Manual of Style (16th Edition):

Giraldeau, Francis. “Gestion de fichiers de configuration par une vue abstraite modifiable.” 2011. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4889.

MLA Handbook (7th Edition):

Giraldeau, Francis. “Gestion de fichiers de configuration par une vue abstraite modifiable.” 2011. Web. 21 Jan 2021.

Vancouver:

Giraldeau F. Gestion de fichiers de configuration par une vue abstraite modifiable. [Internet] [Masters thesis]. Université de Sherbrooke; 2011. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4889.

Council of Science Editors:

Giraldeau F. Gestion de fichiers de configuration par une vue abstraite modifiable. [Masters Thesis]. Université de Sherbrooke; 2011. Available from: http://savoirs.usherbrooke.ca/handle/11143/4889


Université de Grenoble

24. Barcenas Patino, Ismael. Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints.

Degree: Docteur es, Informatique, 2011, Université de Grenoble

Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans… (more)

Subjects/Keywords: Logiques modales; Contraintes de comptage; Analyse statique; Xml; XPath; XML types; Modal logics; Counting constraints; Static Analysis; Xml; XPath; XML types

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Barcenas Patino, I. (2011). Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2011GRENM004

Chicago Manual of Style (16th Edition):

Barcenas Patino, Ismael. “Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints.” 2011. Doctoral Dissertation, Université de Grenoble. Accessed January 21, 2021. http://www.theses.fr/2011GRENM004.

MLA Handbook (7th Edition):

Barcenas Patino, Ismael. “Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints.” 2011. Web. 21 Jan 2021.

Vancouver:

Barcenas Patino I. Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints. [Internet] [Doctoral dissertation]. Université de Grenoble; 2011. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2011GRENM004.

Council of Science Editors:

Barcenas Patino I. Raisonnement automatisé sur les arbres avec des contraintes de cardinalité : Automated reasoning on trees with cardinality constraints. [Doctoral Dissertation]. Université de Grenoble; 2011. Available from: http://www.theses.fr/2011GRENM004

25. Najafzadeh, Mahsa. The analysis and co-design of weakly-consistent applications : L'analyse et co-design des applications faiblement-cohérent.

Degree: Docteur es, Informatique, 2016, Université Pierre et Marie Curie – Paris VI

Afin d'assurer disponibilité et réactivité, de nombreux systèmes distribués reposent sur des bases de données répliquées qui maintiennent des copies (répliques) des données sur différents… (more)

Subjects/Keywords: Base de données répliquée; Cohérence; Synchronisation; Invariant; Analyse statique; Vérification; Invariant; Static analysis; Replicated database; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Najafzadeh, M. (2016). The analysis and co-design of weakly-consistent applications : L'analyse et co-design des applications faiblement-cohérent. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2016PA066205

Chicago Manual of Style (16th Edition):

Najafzadeh, Mahsa. “The analysis and co-design of weakly-consistent applications : L'analyse et co-design des applications faiblement-cohérent.” 2016. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed January 21, 2021. http://www.theses.fr/2016PA066205.

MLA Handbook (7th Edition):

Najafzadeh, Mahsa. “The analysis and co-design of weakly-consistent applications : L'analyse et co-design des applications faiblement-cohérent.” 2016. Web. 21 Jan 2021.

Vancouver:

Najafzadeh M. The analysis and co-design of weakly-consistent applications : L'analyse et co-design des applications faiblement-cohérent. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2016. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2016PA066205.

Council of Science Editors:

Najafzadeh M. The analysis and co-design of weakly-consistent applications : L'analyse et co-design des applications faiblement-cohérent. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2016. Available from: http://www.theses.fr/2016PA066205

26. Diarra, Rokiatou. Automatic Parallelization for Heterogeneous Embedded Systems : Parallélisation automatique pour systèmes hétérogènes embarqués.

Degree: Docteur es, Traitement du signal et des images, 2019, Université Paris-Saclay (ComUE)

 L'utilisation d'architectures hétérogènes, combinant des processeurs multicoeurs avec des accélérateurs tels que les GPU, FPGA et Intel Xeon Phi, a augmenté ces dernières années. Les… (more)

Subjects/Keywords: Traitement d'image; Architecture hétérogène; Analyse statique; Programmation parallèle; Optimisation; Computer vision; Heterogenous architectures; Static analysis; Parallel programming; Optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Diarra, R. (2019). Automatic Parallelization for Heterogeneous Embedded Systems : Parallélisation automatique pour systèmes hétérogènes embarqués. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2019SACLS485

Chicago Manual of Style (16th Edition):

Diarra, Rokiatou. “Automatic Parallelization for Heterogeneous Embedded Systems : Parallélisation automatique pour systèmes hétérogènes embarqués.” 2019. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed January 21, 2021. http://www.theses.fr/2019SACLS485.

MLA Handbook (7th Edition):

Diarra, Rokiatou. “Automatic Parallelization for Heterogeneous Embedded Systems : Parallélisation automatique pour systèmes hétérogènes embarqués.” 2019. Web. 21 Jan 2021.

Vancouver:

Diarra R. Automatic Parallelization for Heterogeneous Embedded Systems : Parallélisation automatique pour systèmes hétérogènes embarqués. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2019. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2019SACLS485.

Council of Science Editors:

Diarra R. Automatic Parallelization for Heterogeneous Embedded Systems : Parallélisation automatique pour systèmes hétérogènes embarqués. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2019. Available from: http://www.theses.fr/2019SACLS485

27. Botbol, Vincent. Analyse statique de programmes concurrents avec variables numériques : Static analysis of concurrent programs with numerical variables.

Degree: Docteur es, Informatique, 2018, Sorbonne université

La vérification de systèmes distribués est un problème complexe pour de nombreuses raisons tant théoriques que pratiques, en particulier lorsque ces systèmes sont capables d'effectuer… (more)

Subjects/Keywords: Analyse statique; Concurrence; Interprétation abstraite; Vérification; MPI; Méthodes formelles; Static analysis; Abstract interpretation; Verification; MPI; Formal methods; 005.14

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Botbol, V. (2018). Analyse statique de programmes concurrents avec variables numériques : Static analysis of concurrent programs with numerical variables. (Doctoral Dissertation). Sorbonne université. Retrieved from http://www.theses.fr/2018SORUS390

Chicago Manual of Style (16th Edition):

Botbol, Vincent. “Analyse statique de programmes concurrents avec variables numériques : Static analysis of concurrent programs with numerical variables.” 2018. Doctoral Dissertation, Sorbonne université. Accessed January 21, 2021. http://www.theses.fr/2018SORUS390.

MLA Handbook (7th Edition):

Botbol, Vincent. “Analyse statique de programmes concurrents avec variables numériques : Static analysis of concurrent programs with numerical variables.” 2018. Web. 21 Jan 2021.

Vancouver:

Botbol V. Analyse statique de programmes concurrents avec variables numériques : Static analysis of concurrent programs with numerical variables. [Internet] [Doctoral dissertation]. Sorbonne université; 2018. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2018SORUS390.

Council of Science Editors:

Botbol V. Analyse statique de programmes concurrents avec variables numériques : Static analysis of concurrent programs with numerical variables. [Doctoral Dissertation]. Sorbonne université; 2018. Available from: http://www.theses.fr/2018SORUS390

28. Li, Huisong. Shape abstractions with support for sharing and disjunctions : Abstractions de la forme des structures de données supportant partage et disjonctions.

Degree: Docteur es, Informatique, 2018, Paris Sciences et Lettres

 L'analyse statique des programmes permet de calculer automatiquement des propriétés sémantiques valides pour toutes les exécutions. En particulier, dans le cas des programmes manipulant des… (more)

Subjects/Keywords: Analyse statique; Structures de données dynamique; Logique de séparation; Disjonctions; Static analysis; Dynamic data structures; Separation logic; Disjunctions; 005.1

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Li, H. (2018). Shape abstractions with support for sharing and disjunctions : Abstractions de la forme des structures de données supportant partage et disjonctions. (Doctoral Dissertation). Paris Sciences et Lettres. Retrieved from http://www.theses.fr/2018PSLEE060

Chicago Manual of Style (16th Edition):

Li, Huisong. “Shape abstractions with support for sharing and disjunctions : Abstractions de la forme des structures de données supportant partage et disjonctions.” 2018. Doctoral Dissertation, Paris Sciences et Lettres. Accessed January 21, 2021. http://www.theses.fr/2018PSLEE060.

MLA Handbook (7th Edition):

Li, Huisong. “Shape abstractions with support for sharing and disjunctions : Abstractions de la forme des structures de données supportant partage et disjonctions.” 2018. Web. 21 Jan 2021.

Vancouver:

Li H. Shape abstractions with support for sharing and disjunctions : Abstractions de la forme des structures de données supportant partage et disjonctions. [Internet] [Doctoral dissertation]. Paris Sciences et Lettres; 2018. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2018PSLEE060.

Council of Science Editors:

Li H. Shape abstractions with support for sharing and disjunctions : Abstractions de la forme des structures de données supportant partage et disjonctions. [Doctoral Dissertation]. Paris Sciences et Lettres; 2018. Available from: http://www.theses.fr/2018PSLEE060

29. Liu, Jiangchao. Static analysis on numeric and structural properties of array contents : Analyse statique des propriétés numériques et structurelles du tableau.

Degree: Docteur es, Informatique, 2018, Paris Sciences et Lettres (ComUE)

 Dans cette thèse, nous étudions l'analyse statique par interprétation abstraites de programmes manipulant des tableaux, afin d'inférer des propriétés sur les valeurs numériques et les… (more)

Subjects/Keywords: Analyse statique; Interprétation abstraite; Structures de données complexes; Abstraction de tableaux; Static analysis; Abstract interpretation; Complex data structures; Array abstraction; 005.7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Liu, J. (2018). Static analysis on numeric and structural properties of array contents : Analyse statique des propriétés numériques et structurelles du tableau. (Doctoral Dissertation). Paris Sciences et Lettres (ComUE). Retrieved from http://www.theses.fr/2018PSLEE046

Chicago Manual of Style (16th Edition):

Liu, Jiangchao. “Static analysis on numeric and structural properties of array contents : Analyse statique des propriétés numériques et structurelles du tableau.” 2018. Doctoral Dissertation, Paris Sciences et Lettres (ComUE). Accessed January 21, 2021. http://www.theses.fr/2018PSLEE046.

MLA Handbook (7th Edition):

Liu, Jiangchao. “Static analysis on numeric and structural properties of array contents : Analyse statique des propriétés numériques et structurelles du tableau.” 2018. Web. 21 Jan 2021.

Vancouver:

Liu J. Static analysis on numeric and structural properties of array contents : Analyse statique des propriétés numériques et structurelles du tableau. [Internet] [Doctoral dissertation]. Paris Sciences et Lettres (ComUE); 2018. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2018PSLEE046.

Council of Science Editors:

Liu J. Static analysis on numeric and structural properties of array contents : Analyse statique des propriétés numériques et structurelles du tableau. [Doctoral Dissertation]. Paris Sciences et Lettres (ComUE); 2018. Available from: http://www.theses.fr/2018PSLEE046

30. Mensi, Amira. Analyse des pointeurs pour le langage C : Points to analysis for the C language.

Degree: Docteur es, Informatique temps réel, robotique et automatique, 2013, Paris, ENMP

 Les analyses statiques ont pour but de déterminer les propriétés des programmes au moment de la compilation. Contrairement aux analyses dynamiques, le comportement exact du… (more)

Subjects/Keywords: Analyse statique de programmes; Analyse de pointeurs; Sensibilité au flot de contrôle; Sensibilité au contexte; Static analysis; Points-to analysis; Flow-sensitive; Context-insensitive; Field-sensitive

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mensi, A. (2013). Analyse des pointeurs pour le langage C : Points to analysis for the C language. (Doctoral Dissertation). Paris, ENMP. Retrieved from http://www.theses.fr/2013ENMP0032

Chicago Manual of Style (16th Edition):

Mensi, Amira. “Analyse des pointeurs pour le langage C : Points to analysis for the C language.” 2013. Doctoral Dissertation, Paris, ENMP. Accessed January 21, 2021. http://www.theses.fr/2013ENMP0032.

MLA Handbook (7th Edition):

Mensi, Amira. “Analyse des pointeurs pour le langage C : Points to analysis for the C language.” 2013. Web. 21 Jan 2021.

Vancouver:

Mensi A. Analyse des pointeurs pour le langage C : Points to analysis for the C language. [Internet] [Doctoral dissertation]. Paris, ENMP; 2013. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2013ENMP0032.

Council of Science Editors:

Mensi A. Analyse des pointeurs pour le langage C : Points to analysis for the C language. [Doctoral Dissertation]. Paris, ENMP; 2013. Available from: http://www.theses.fr/2013ENMP0032

[1] [2] [3]

.