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:"Université de Bordeaux I" +contributor:("Walukiewicz, Igor"). Showing records 1 – 5 of 5 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Université de Bordeaux I

1. Trần, Thế Quang. Unfolding based verification of concurrent infinite-state systems : Vehicle Sharing System Pricing Optimization.

Degree: Docteur es, Informatique, 2009, Université de Bordeaux I

Nous proposons une technique de dépliage pour vérifier les systèmes concurrents infinis bien structurés. Certaines propriétés d'intérêt comme la bornitude, la couverture et la terminaison… (more)

Subjects/Keywords: Algorithme de dépliage; Ordre partiel; Préordre; Produit synchronisé; Structure d'événements; Préfixe fini; Système infini; Bornitude; Terminaison; Quasi-vivacité; Unfolding algorithm; Partial order; Preordre; Infinite-state system; Synchronized product; Event structure; Finite prefix; Boundedness; Termination; Quasi-liveness

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Trần, T. Q. (2009). Unfolding based verification of concurrent infinite-state systems : Vehicle Sharing System Pricing Optimization. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2009BOR13832

Chicago Manual of Style (16th Edition):

Trần, Thế Quang. “Unfolding based verification of concurrent infinite-state systems : Vehicle Sharing System Pricing Optimization.” 2009. Doctoral Dissertation, Université de Bordeaux I. Accessed January 29, 2020. http://www.theses.fr/2009BOR13832.

MLA Handbook (7th Edition):

Trần, Thế Quang. “Unfolding based verification of concurrent infinite-state systems : Vehicle Sharing System Pricing Optimization.” 2009. Web. 29 Jan 2020.

Vancouver:

Trần TQ. Unfolding based verification of concurrent infinite-state systems : Vehicle Sharing System Pricing Optimization. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2009. [cited 2020 Jan 29]. Available from: http://www.theses.fr/2009BOR13832.

Council of Science Editors:

Trần TQ. Unfolding based verification of concurrent infinite-state systems : Vehicle Sharing System Pricing Optimization. [Doctoral Dissertation]. Université de Bordeaux I; 2009. Available from: http://www.theses.fr/2009BOR13832


Université de Bordeaux I

2. Nguena-Timo, Omer. Synthesis for a weak real-time logic : Synthèse pour une logique temps-réel faible.

Degree: Docteur es, Informatique, 2009, Université de Bordeaux I

Dans cette thèse, nous nous intéressons à la spécification et à la synthèse de contrôleurs des systèmes temps-réels. Les modèles pour ces systèmes sont des… (more)

Subjects/Keywords: Systèmes temps-réel; Event-Recording automata; Logique temps-réel; Satisfaisabilité; Event-Recording Logic; Méthodes formelles; Vérification; Synthèse de contrôleurs; Real-time systems; Event-recording automata; Formal methods; Real-time logic; Μ-calculus; Event-recording logic; Satisfiability; Model-checking; Controller synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nguena-Timo, O. (2009). Synthesis for a weak real-time logic : Synthèse pour une logique temps-réel faible. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2010BOR13931

Chicago Manual of Style (16th Edition):

Nguena-Timo, Omer. “Synthesis for a weak real-time logic : Synthèse pour une logique temps-réel faible.” 2009. Doctoral Dissertation, Université de Bordeaux I. Accessed January 29, 2020. http://www.theses.fr/2010BOR13931.

MLA Handbook (7th Edition):

Nguena-Timo, Omer. “Synthesis for a weak real-time logic : Synthèse pour une logique temps-réel faible.” 2009. Web. 29 Jan 2020.

Vancouver:

Nguena-Timo O. Synthesis for a weak real-time logic : Synthèse pour une logique temps-réel faible. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2009. [cited 2020 Jan 29]. Available from: http://www.theses.fr/2010BOR13931.

Council of Science Editors:

Nguena-Timo O. Synthesis for a weak real-time logic : Synthèse pour une logique temps-réel faible. [Doctoral Dissertation]. Université de Bordeaux I; 2009. Available from: http://www.theses.fr/2010BOR13931


Université de Bordeaux I

3. Facchini, Alessandro. A study on the expressive power of some fragments of the modal µ-calculus : Variations in xylem structure and function and drought-induced plasticity in poplar.

Degree: Docteur es, Informatique, 2010, Université de Bordeaux I

Dans ce travail nous étudions la complexité de certains fragments du mu-calcul selon deux points de vue: l’un syntaxique et l’autre topologique. Dans la première… (more)

Subjects/Keywords: Mu-calcul; Hiérarchie de points fixes; Hiérarchie de Wadge; Mu-calculus; Fixpoint alternation hierarchy; Wadge hierarchy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Facchini, A. (2010). A study on the expressive power of some fragments of the modal µ-calculus : Variations in xylem structure and function and drought-induced plasticity in poplar. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2010BOR14210

Chicago Manual of Style (16th Edition):

Facchini, Alessandro. “A study on the expressive power of some fragments of the modal µ-calculus : Variations in xylem structure and function and drought-induced plasticity in poplar.” 2010. Doctoral Dissertation, Université de Bordeaux I. Accessed January 29, 2020. http://www.theses.fr/2010BOR14210.

MLA Handbook (7th Edition):

Facchini, Alessandro. “A study on the expressive power of some fragments of the modal µ-calculus : Variations in xylem structure and function and drought-induced plasticity in poplar.” 2010. Web. 29 Jan 2020.

Vancouver:

Facchini A. A study on the expressive power of some fragments of the modal µ-calculus : Variations in xylem structure and function and drought-induced plasticity in poplar. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2010. [cited 2020 Jan 29]. Available from: http://www.theses.fr/2010BOR14210.

Council of Science Editors:

Facchini A. A study on the expressive power of some fragments of the modal µ-calculus : Variations in xylem structure and function and drought-induced plasticity in poplar. [Doctoral Dissertation]. Université de Bordeaux I; 2010. Available from: http://www.theses.fr/2010BOR14210


Université de Bordeaux I

4. Srivathsan, Balaguru. Abstractions pour les automates temporisés : Impact of the chemical environment on anticancer compounds : effect of cadmium on potential efficiency of Phenstatin and its metabolites in prostate cancer treatment.

Degree: Docteur es, Informatique, 2012, Université de Bordeaux I

Cette thèse revisite les problèmes d'accessibilité et de vivacité pour les au-tomates temporisés.L'accessibilité est couramment résolue par le calcul d'un arbre de recherche abstrait. L'abstraction… (more)

Subjects/Keywords: Automate temporisés; Abstractions; Algorithmes à la volée; Exécution Zenon; Ti:ed automata; Finite abstractions; On-the-fly algorithms; Zenoness

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Srivathsan, B. (2012). Abstractions pour les automates temporisés : Impact of the chemical environment on anticancer compounds : effect of cadmium on potential efficiency of Phenstatin and its metabolites in prostate cancer treatment. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2012BOR14524

Chicago Manual of Style (16th Edition):

Srivathsan, Balaguru. “Abstractions pour les automates temporisés : Impact of the chemical environment on anticancer compounds : effect of cadmium on potential efficiency of Phenstatin and its metabolites in prostate cancer treatment.” 2012. Doctoral Dissertation, Université de Bordeaux I. Accessed January 29, 2020. http://www.theses.fr/2012BOR14524.

MLA Handbook (7th Edition):

Srivathsan, Balaguru. “Abstractions pour les automates temporisés : Impact of the chemical environment on anticancer compounds : effect of cadmium on potential efficiency of Phenstatin and its metabolites in prostate cancer treatment.” 2012. Web. 29 Jan 2020.

Vancouver:

Srivathsan B. Abstractions pour les automates temporisés : Impact of the chemical environment on anticancer compounds : effect of cadmium on potential efficiency of Phenstatin and its metabolites in prostate cancer treatment. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2012. [cited 2020 Jan 29]. Available from: http://www.theses.fr/2012BOR14524.

Council of Science Editors:

Srivathsan B. Abstractions pour les automates temporisés : Impact of the chemical environment on anticancer compounds : effect of cadmium on potential efficiency of Phenstatin and its metabolites in prostate cancer treatment. [Doctoral Dissertation]. Université de Bordeaux I; 2012. Available from: http://www.theses.fr/2012BOR14524


Université de Bordeaux I

5. Chucri, Farès. Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR.

Degree: Docteur es, Informatique, 2012, Université de Bordeaux I

Cette thèse a eu pour but l'étude et la mise en oeuvre des méthodes de vérification par abstraction pour les modèles AltaRica. A cette effet,… (more)

Subjects/Keywords: Verification; Raffinement; Abstraction; Model Checking; Cegar; Abstraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chucri, F. (2012). Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2012BOR14641

Chicago Manual of Style (16th Edition):

Chucri, Farès. “Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR.” 2012. Doctoral Dissertation, Université de Bordeaux I. Accessed January 29, 2020. http://www.theses.fr/2012BOR14641.

MLA Handbook (7th Edition):

Chucri, Farès. “Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR.” 2012. Web. 29 Jan 2020.

Vancouver:

Chucri F. Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2012. [cited 2020 Jan 29]. Available from: http://www.theses.fr/2012BOR14641.

Council of Science Editors:

Chucri F. Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR. [Doctoral Dissertation]. Université de Bordeaux I; 2012. Available from: http://www.theses.fr/2012BOR14641

.