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 +publisher:"Rennes 1" +contributor:("Jensen, Thomas"). Showing records 1 – 6 of 6 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Andreescu, Oana Fabiana. Static analysis of functional programs with an application to the frame problem in deductive verification : Analyse statique de programmes fonctionnels avec une application au problème du frame dans le domaine de la vérification déductive.

Degree: Docteur es, Informatique, 2017, Rennes 1

Dans le domaine de la vérification formelle de logiciels, il est impératif d'identifier les limites au sein desquelles les éléments ou fonctions opèrent. Ces limites… (more)

Subjects/Keywords: Vérification formelle de logiciels; Analyse statique; Problème du frame; Invariants; Vérification déductive; Analyse de dépendances; Analyse de corrélations; Formal verification; Static analysis; Frame problem; Invariants; Frame properties; Deductive verification; Interactive theorem provers; Dependency analysis; Correlation analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Andreescu, O. F. (2017). Static analysis of functional programs with an application to the frame problem in deductive verification : Analyse statique de programmes fonctionnels avec une application au problème du frame dans le domaine de la vérification déductive. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2017REN1S047

Chicago Manual of Style (16th Edition):

Andreescu, Oana Fabiana. “Static analysis of functional programs with an application to the frame problem in deductive verification : Analyse statique de programmes fonctionnels avec une application au problème du frame dans le domaine de la vérification déductive.” 2017. Doctoral Dissertation, Rennes 1. Accessed March 31, 2020. http://www.theses.fr/2017REN1S047.

MLA Handbook (7th Edition):

Andreescu, Oana Fabiana. “Static analysis of functional programs with an application to the frame problem in deductive verification : Analyse statique de programmes fonctionnels avec une application au problème du frame dans le domaine de la vérification déductive.” 2017. Web. 31 Mar 2020.

Vancouver:

Andreescu OF. Static analysis of functional programs with an application to the frame problem in deductive verification : Analyse statique de programmes fonctionnels avec une application au problème du frame dans le domaine de la vérification déductive. [Internet] [Doctoral dissertation]. Rennes 1; 2017. [cited 2020 Mar 31]. Available from: http://www.theses.fr/2017REN1S047.

Council of Science Editors:

Andreescu OF. Static analysis of functional programs with an application to the frame problem in deductive verification : Analyse statique de programmes fonctionnels avec une application au problème du frame dans le domaine de la vérification déductive. [Doctoral Dissertation]. Rennes 1; 2017. Available from: http://www.theses.fr/2017REN1S047

2. Lepiller, Julien. Vérification d'isolation de fautes logicielle : Verifying Software Fault Isolation.

Degree: Docteur es, Informatique, 2019, Rennes 1

Nous sommes habitués à utiliser des ordinateurs sur lesquels coopèrent des programmes d'origines diverses. Chacun de ces programmes a besoin d'accéder à de la mémoire… (more)

Subjects/Keywords: Vérification; SFI; Sémantique; Interprétation abstraite; Modèles mémoire faibles; Verification; SFI; Semantics; Abstract Interpretation; Weak Memory Models

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lepiller, J. (2019). Vérification d'isolation de fautes logicielle : Verifying Software Fault Isolation. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2019REN1S067

Chicago Manual of Style (16th Edition):

Lepiller, Julien. “Vérification d'isolation de fautes logicielle : Verifying Software Fault Isolation.” 2019. Doctoral Dissertation, Rennes 1. Accessed March 31, 2020. http://www.theses.fr/2019REN1S067.

MLA Handbook (7th Edition):

Lepiller, Julien. “Vérification d'isolation de fautes logicielle : Verifying Software Fault Isolation.” 2019. Web. 31 Mar 2020.

Vancouver:

Lepiller J. Vérification d'isolation de fautes logicielle : Verifying Software Fault Isolation. [Internet] [Doctoral dissertation]. Rennes 1; 2019. [cited 2020 Mar 31]. Available from: http://www.theses.fr/2019REN1S067.

Council of Science Editors:

Lepiller J. Vérification d'isolation de fautes logicielle : Verifying Software Fault Isolation. [Doctoral Dissertation]. Rennes 1; 2019. Available from: http://www.theses.fr/2019REN1S067

3. Bodin, Martin. Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript.

Degree: Docteur es, Informatique, 2016, Rennes 1

 JavaScript est un langage de programmation maintenant très utilisé - y compris dans des domaines où la sécurité est importante. Il est donc important de… (more)

Subjects/Keywords: JavaScript; Coq; Interprétation abstraite; Logique de séparation; JavaScript; Coq; Abstract Interpretation; Separation Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bodin, M. (2016). Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2016REN1S087

Chicago Manual of Style (16th Edition):

Bodin, Martin. “Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript.” 2016. Doctoral Dissertation, Rennes 1. Accessed March 31, 2020. http://www.theses.fr/2016REN1S087.

MLA Handbook (7th Edition):

Bodin, Martin. “Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript.” 2016. Web. 31 Mar 2020.

Vancouver:

Bodin M. Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript. [Internet] [Doctoral dissertation]. Rennes 1; 2016. [cited 2020 Mar 31]. Available from: http://www.theses.fr/2016REN1S087.

Council of Science Editors:

Bodin M. Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript. [Doctoral Dissertation]. Rennes 1; 2016. Available from: http://www.theses.fr/2016REN1S087

4. Zapalowicz, Jean-Christophe. Sécurité des générateurs pseudo-aléatoires et des implémentations de schémas de signature à clé publique : Security of the pseudorandom number generators and implementations of public key signature schemes.

Degree: Docteur es, Informatique, 2014, Rennes 1

Dans cette thèse, nous nous intéressons à la sécurité de générateurs pseudo-aléatoires et d'implémentations de schémas de signature. Concernant les schémas de signature, nous proposons,… (more)

Subjects/Keywords: Cryptographie; Signature électronique; Générateurs de nombres pseudo-Aléatoires; Pseudorandom number generators; Public key cryptography; Digital signatures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zapalowicz, J. (2014). Sécurité des générateurs pseudo-aléatoires et des implémentations de schémas de signature à clé publique : Security of the pseudorandom number generators and implementations of public key signature schemes. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2014REN1S103

Chicago Manual of Style (16th Edition):

Zapalowicz, Jean-Christophe. “Sécurité des générateurs pseudo-aléatoires et des implémentations de schémas de signature à clé publique : Security of the pseudorandom number generators and implementations of public key signature schemes.” 2014. Doctoral Dissertation, Rennes 1. Accessed March 31, 2020. http://www.theses.fr/2014REN1S103.

MLA Handbook (7th Edition):

Zapalowicz, Jean-Christophe. “Sécurité des générateurs pseudo-aléatoires et des implémentations de schémas de signature à clé publique : Security of the pseudorandom number generators and implementations of public key signature schemes.” 2014. Web. 31 Mar 2020.

Vancouver:

Zapalowicz J. Sécurité des générateurs pseudo-aléatoires et des implémentations de schémas de signature à clé publique : Security of the pseudorandom number generators and implementations of public key signature schemes. [Internet] [Doctoral dissertation]. Rennes 1; 2014. [cited 2020 Mar 31]. Available from: http://www.theses.fr/2014REN1S103.

Council of Science Editors:

Zapalowicz J. Sécurité des générateurs pseudo-aléatoires et des implémentations de schémas de signature à clé publique : Security of the pseudorandom number generators and implementations of public key signature schemes. [Doctoral Dissertation]. Rennes 1; 2014. Available from: http://www.theses.fr/2014REN1S103

5. Bolignano, Pauline. Formal models and verification of memory management in a hypervisor : Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur.

Degree: Docteur es, Informatique, 2017, Rennes 1; Prove & Run

Un hyperviseur est un logiciel qui virtualise les ressources d'une machine physique pour permettre à plusieurs systèmes d'exploitation invités de s'exécuter simultanément dessus. L'hyperviseur étant… (more)

Subjects/Keywords: Hyperviseur; Preuve formelle; Sécurité; Mémoire; Virtualisation; Hypervisor; Formal proof; Security; Memory; Page tables

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bolignano, P. (2017). Formal models and verification of memory management in a hypervisor : Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur. (Doctoral Dissertation). Rennes 1; Prove & Run. Retrieved from http://www.theses.fr/2017REN1S026

Chicago Manual of Style (16th Edition):

Bolignano, Pauline. “Formal models and verification of memory management in a hypervisor : Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur.” 2017. Doctoral Dissertation, Rennes 1; Prove & Run. Accessed March 31, 2020. http://www.theses.fr/2017REN1S026.

MLA Handbook (7th Edition):

Bolignano, Pauline. “Formal models and verification of memory management in a hypervisor : Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur.” 2017. Web. 31 Mar 2020.

Vancouver:

Bolignano P. Formal models and verification of memory management in a hypervisor : Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur. [Internet] [Doctoral dissertation]. Rennes 1; Prove & Run; 2017. [cited 2020 Mar 31]. Available from: http://www.theses.fr/2017REN1S026.

Council of Science Editors:

Bolignano P. Formal models and verification of memory management in a hypervisor : Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur. [Doctoral Dissertation]. Rennes 1; Prove & Run; 2017. Available from: http://www.theses.fr/2017REN1S026

6. Fu, Zhoulai. Static analysis of numerical properties in the presence of pointers : Analyse statique de propriétés numériques en présence de pointeurs.

Degree: Docteur es, Informatique, 2013, Rennes 1; Université européenne de Bretagne

Si la production de logiciel fiable est depuis longtemps la préoccupation d'ingénieurs, elle devient à ce jour une branche de sujets de recherche riche en… (more)

Subjects/Keywords: Analyse statique; Propriétés numérique; Interprétation abstraite; Analyse de pointeurs; Must-alias; Bisimulation; Static analysis; Numerical properties; Abstract Interpretation; Analysis of pointers; Must-alias; Bisimulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fu, Z. (2013). Static analysis of numerical properties in the presence of pointers : Analyse statique de propriétés numériques en présence de pointeurs. (Doctoral Dissertation). Rennes 1; Université européenne de Bretagne. Retrieved from http://www.theses.fr/2013REN1S060

Chicago Manual of Style (16th Edition):

Fu, Zhoulai. “Static analysis of numerical properties in the presence of pointers : Analyse statique de propriétés numériques en présence de pointeurs.” 2013. Doctoral Dissertation, Rennes 1; Université européenne de Bretagne. Accessed March 31, 2020. http://www.theses.fr/2013REN1S060.

MLA Handbook (7th Edition):

Fu, Zhoulai. “Static analysis of numerical properties in the presence of pointers : Analyse statique de propriétés numériques en présence de pointeurs.” 2013. Web. 31 Mar 2020.

Vancouver:

Fu Z. Static analysis of numerical properties in the presence of pointers : Analyse statique de propriétés numériques en présence de pointeurs. [Internet] [Doctoral dissertation]. Rennes 1; Université européenne de Bretagne; 2013. [cited 2020 Mar 31]. Available from: http://www.theses.fr/2013REN1S060.

Council of Science Editors:

Fu Z. Static analysis of numerical properties in the presence of pointers : Analyse statique de propriétés numériques en présence de pointeurs. [Doctoral Dissertation]. Rennes 1; Université européenne de Bretagne; 2013. Available from: http://www.theses.fr/2013REN1S060

.