Skip to contents Sayar, Imen [Author] ; Université de Lorraine [Contributor]; Souquières, Jeanine [Contributor] Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels ; Articulation between definite and semi-definite activities in software development Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2019-03-28 Schnepf, Nicolas [Author] ; Université de Lorraine [Contributor]; Merz, Stephan [Contributor]; Badonnel, Rémi [Contributor] Orchestration et vérification de fonctions de sécurité pour des environnements intelligents ; Orchestration and verification of security functions for smart devices Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2019-09-30 Botbol, Vincent [Author] ; Sorbonne université [Contributor]; Chailloux, Emmanuel [Contributor]; Le Gall, Tristan [Contributor] Analyse statique de programmes concurrents avec variables numériques ; Static analysis of concurrent programs with numerical variables Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-09-13 Clochard, Martin [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Marché, Claude [Contributor] Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels ; Methods and tools for specification and proof of difficult properties of sequential programs Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-03-30 Niang, Mohamed [Author] ; Reims [Contributor]; Riera, Bernard [Contributor]; Philippot, Alexandre [Contributor]; Gellot, François [Contributor]; Coupat, Raphaël [Contributor] Vérification formelle et Simulation pour la Validation du système de contrôle commande des EALE (Équipements d'Alimentation des Lignes Électrifiées) ; Formal verification and simulation for the validation of PSEEL's control systems (Power Supply Equipment of the Electric Lines) Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-12-20 Djaballah, Adel [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Kieffer, Michel [Contributor] 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 Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2017-07-03 Hirschi, Lucca [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Delaune, Stéphanie [Contributor]; Baelde, David [Contributor] Vérification automatique de la protection de la vie privée : entre théorie et pratique ; Automated Verification of Privacy in Security Protocols : Back and Forth Between Theory & Practice Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2017-04-21 Nastov, Blazo [Author] ; Montpellier [Contributor]; Chapurlat, Vincent [Contributor]; Dony, Christophe [Contributor] Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée sur des Modèles ; Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2016-11-15 Huynh, Nghi [Author] ; Paris Est [Contributor]; Université de Sherbrooke (Québec, Canada) [Contributor]; Laleau, Régine [Contributor]; Frappier, Marc [Contributor]; Mammar, Amel [Contributor] Vérification et validation de politiques de contrôle d'accès dans le domaine médical ; Verification and validation of healthcare access control policies Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2016-12-06 Sadoun, Driss [Author] ; Paris 11 [Contributor]; Grau, Brigitte [Contributor]; Dubois, Catherine [Contributor] Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot ; From natural language specifications to formal specifications via an ontology as a pivot model Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2014-06-17 Gaspar, Nuno [Author] ; Nice [Contributor]; Madelaine, Éric [Contributor]; Henrio, Ludovic [Contributor] Support mécanisé pour la spécification formelle, la vérification et le déploiement d'applications à base de composants ; Mechanized support for the formal specification, verification and deployment of component-based applications Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2014-12-16 Maksimović, Petar [Author] ; Nice [Contributor]; Univerzitet u Novom Sadu [Contributor]; Liquori, Luigi [Contributor]; Ghilezan, Silvia [Contributor] Développement et vérification des logiques probabilistes et des cadres logiques ; Development and verification of probability logics and logical frameworks Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-10-15 Yang, Faqing [Author] ; Université de Lorraine [Contributor]; Souquières, Jeanine [Contributor]; Jacquot, Jean-Pierre [Contributor] Un environnement de simulation pour la validation de spécifications B événementiel ; A Simulation Framework for the Validation of Event-B Specifications Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-11-29 Monmege, Benjamin [Author] ; Cachan, Ecole normale supérieure [Contributor]; Gastin, Paul [Contributor] Specification and verification of quantitative properties : expressions, logics, and automata ; Spécification et vérification de propriétés quantitatives : expressions, logiques et automates Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-10-24 Cheval, Vincent [Author] ; Cachan, Ecole normale supérieure [Contributor]; Comon-Lundh, Hubert [Contributor]; Blanchet, Bruno [Contributor] Automatic verification of cryptographic protocols : privacy-type properties ; Vérification automatique des protocoles cryptographiques : propriétés d'équivalence Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2012-12-03 Tesson, Julien [Author] ; Orléans [Contributor]; Loulergue, Frédéric [Contributor] Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels ; Environment for the systematic development and proof of correction of functional parallel programs Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2011-11-08 Arnaud, Mathilde [Author] ; Cachan, Ecole normale supérieure [Contributor]; Delaune, Stéphanie [Contributor]; Goubault-Larrecq, Jean [Contributor] Formal verification of secured routing protocols ; Vérification formelle de protocoles de routage sécurisés Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2011-12-13 Bourdil, Pierre-Alain [Author] ; Toulouse, INSA [Contributor]; Vernadat, François B. [Contributor]; Berthomieu, Bernard [Contributor]; Jenn, Éric [Contributor] Contribution à la modélisation et la vérification formelle par model checking - Symétries pour les Réseaux de Petri temporels ; Contribution to the modeling and formal verification by model checking - Symmetries for Temporal Petri Nets Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2015-12-03 Montin, Mathieu [Author] ; Toulouse, INPT [Contributor]; Aït-Ameur, Yamine [Contributor]; Pantel, Marc [Contributor] A formal framework for heterogeneous systems semantics ; Un environnement formel pour la sémantique des systèmes hétérogènes Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2020-09-14 Kriouile, Abderahman [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Mateescu, Radu [Contributor]; Serwe, Wendelin Bernhard [Contributor] Formal methods for functional verification of cache-coherent systems-on-chip ; Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2015-09-17
Sayar, Imen [Author] ; Université de Lorraine [Contributor]; Souquières, Jeanine [Contributor] Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels ; Articulation between definite and semi-definite activities in software development Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2019-03-28
Schnepf, Nicolas [Author] ; Université de Lorraine [Contributor]; Merz, Stephan [Contributor]; Badonnel, Rémi [Contributor] Orchestration et vérification de fonctions de sécurité pour des environnements intelligents ; Orchestration and verification of security functions for smart devices Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2019-09-30
Botbol, Vincent [Author] ; Sorbonne université [Contributor]; Chailloux, Emmanuel [Contributor]; Le Gall, Tristan [Contributor] Analyse statique de programmes concurrents avec variables numériques ; Static analysis of concurrent programs with numerical variables Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-09-13
Clochard, Martin [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Marché, Claude [Contributor] Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels ; Methods and tools for specification and proof of difficult properties of sequential programs Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-03-30
Niang, Mohamed [Author] ; Reims [Contributor]; Riera, Bernard [Contributor]; Philippot, Alexandre [Contributor]; Gellot, François [Contributor]; Coupat, Raphaël [Contributor] Vérification formelle et Simulation pour la Validation du système de contrôle commande des EALE (Équipements d'Alimentation des Lignes Électrifiées) ; Formal verification and simulation for the validation of PSEEL's control systems (Power Supply Equipment of the Electric Lines) Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-12-20
Djaballah, Adel [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Kieffer, Michel [Contributor] 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 Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2017-07-03
Hirschi, Lucca [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Delaune, Stéphanie [Contributor]; Baelde, David [Contributor] Vérification automatique de la protection de la vie privée : entre théorie et pratique ; Automated Verification of Privacy in Security Protocols : Back and Forth Between Theory & Practice Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2017-04-21
Nastov, Blazo [Author] ; Montpellier [Contributor]; Chapurlat, Vincent [Contributor]; Dony, Christophe [Contributor] Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée sur des Modèles ; Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2016-11-15
Huynh, Nghi [Author] ; Paris Est [Contributor]; Université de Sherbrooke (Québec, Canada) [Contributor]; Laleau, Régine [Contributor]; Frappier, Marc [Contributor]; Mammar, Amel [Contributor] Vérification et validation de politiques de contrôle d'accès dans le domaine médical ; Verification and validation of healthcare access control policies Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2016-12-06
Sadoun, Driss [Author] ; Paris 11 [Contributor]; Grau, Brigitte [Contributor]; Dubois, Catherine [Contributor] Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot ; From natural language specifications to formal specifications via an ontology as a pivot model Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2014-06-17
Gaspar, Nuno [Author] ; Nice [Contributor]; Madelaine, Éric [Contributor]; Henrio, Ludovic [Contributor] Support mécanisé pour la spécification formelle, la vérification et le déploiement d'applications à base de composants ; Mechanized support for the formal specification, verification and deployment of component-based applications Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2014-12-16
Maksimović, Petar [Author] ; Nice [Contributor]; Univerzitet u Novom Sadu [Contributor]; Liquori, Luigi [Contributor]; Ghilezan, Silvia [Contributor] Développement et vérification des logiques probabilistes et des cadres logiques ; Development and verification of probability logics and logical frameworks Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-10-15
Yang, Faqing [Author] ; Université de Lorraine [Contributor]; Souquières, Jeanine [Contributor]; Jacquot, Jean-Pierre [Contributor] Un environnement de simulation pour la validation de spécifications B événementiel ; A Simulation Framework for the Validation of Event-B Specifications Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-11-29
Monmege, Benjamin [Author] ; Cachan, Ecole normale supérieure [Contributor]; Gastin, Paul [Contributor] Specification and verification of quantitative properties : expressions, logics, and automata ; Spécification et vérification de propriétés quantitatives : expressions, logiques et automates Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-10-24
Cheval, Vincent [Author] ; Cachan, Ecole normale supérieure [Contributor]; Comon-Lundh, Hubert [Contributor]; Blanchet, Bruno [Contributor] Automatic verification of cryptographic protocols : privacy-type properties ; Vérification automatique des protocoles cryptographiques : propriétés d'équivalence Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2012-12-03
Tesson, Julien [Author] ; Orléans [Contributor]; Loulergue, Frédéric [Contributor] Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels ; Environment for the systematic development and proof of correction of functional parallel programs Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2011-11-08
Arnaud, Mathilde [Author] ; Cachan, Ecole normale supérieure [Contributor]; Delaune, Stéphanie [Contributor]; Goubault-Larrecq, Jean [Contributor] Formal verification of secured routing protocols ; Vérification formelle de protocoles de routage sécurisés Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2011-12-13
Bourdil, Pierre-Alain [Author] ; Toulouse, INSA [Contributor]; Vernadat, François B. [Contributor]; Berthomieu, Bernard [Contributor]; Jenn, Éric [Contributor] Contribution à la modélisation et la vérification formelle par model checking - Symétries pour les Réseaux de Petri temporels ; Contribution to the modeling and formal verification by model checking - Symmetries for Temporal Petri Nets Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2015-12-03
Montin, Mathieu [Author] ; Toulouse, INPT [Contributor]; Aït-Ameur, Yamine [Contributor]; Pantel, Marc [Contributor] A formal framework for heterogeneous systems semantics ; Un environnement formel pour la sémantique des systèmes hétérogènes Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2020-09-14
Kriouile, Abderahman [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Mateescu, Radu [Contributor]; Serwe, Wendelin Bernhard [Contributor] Formal methods for functional verification of cache-coherent systems-on-chip ; Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2015-09-17
> Media type Skip to next facet Thesis (160) Wert ausschließen Books (7) Wert ausschließen Articles (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (168) Wert ausschließen Without Specification (1) Wert ausschließen Show more show less
> Language Skip to next facet English (102) Wert ausschließen French (67) Wert ausschließen Not determined (2) Wert ausschließen Russian (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (161) Wert ausschließen Mathmatics (4) Wert ausschließen Technology (4) Wert ausschließen Show more show less
> Creator Skip to next facet Université de Lorraine (13) Wert ausschließen Université Grenoble Alpes (ComUE) (12) Wert ausschließen Rennes 1 (11) Wert ausschließen Toulouse, ISAE (10) Wert ausschließen Université Paris-Saclay (ComUE) (9) Wert ausschließen université Paris-Saclay (8) Wert ausschließen Cachan, Ecole normale supérieure (7) Wert ausschließen Merz, Stephan (7) Wert ausschließen Toulouse, INSA (7) Wert ausschließen Delaune, Stéphanie (6) Wert ausschließen Université Paris Cité (6) Wert ausschließen Bordeaux (5) Wert ausschließen Sorbonne université (5) Wert ausschließen Toulouse, INPT (5) Wert ausschließen Aït-Ameur, Yamine (4) Wert ausschließen Blazy, Sandrine (4) Wert ausschließen Bordeaux 1 (4) Wert ausschließen Garoche, Pierre-Loïc (4) Wert ausschließen Jensen, Thomas (4) Wert ausschließen Marché, Claude (4) Wert ausschließen Paris 11 (4) Wert ausschließen Université Côte d'Azur (4) Wert ausschließen Besançon (3) Wert ausschließen Bhargavan, Karthikeyan (3) Wert ausschließen Brest, École nationale supérieure de techniques avancées Bretagne (3) Wert ausschließen Cortier, Véronique (3) Wert ausschließen Dhaussy, Philippe (3) Wert ausschließen Fontaine, Pascal (3) Wert ausschließen Giorgetti, Alain (3) Wert ausschließen Lakhnech, Yassine (3) Wert ausschließen Loulergue, Frédéric (3) Wert ausschließen Mammar, Amel (3) Wert ausschließen Mateescu, Radu (3) Wert ausschließen Orléans (3) Wert ausschließen Paris, CNAM (3) Wert ausschließen Pichardie, David (3) Wert ausschließen Talpin, Jean-Pierre (3) Wert ausschließen Wiels, Virginie (3) Wert ausschließen Asavoae, Mihail (2) Wert ausschließen Barkaoui, Kamel (2) Wert ausschließen Bensalem, Saddek (2) Wert ausschließen Berthomieu, Bernard (2) Wert ausschließen Besson, Frédéric (2) Wert ausschließen Blanchet, Bruno (2) Wert ausschließen Bouajjani, Ahmed (2) Wert ausschließen Bourgogne Franche-Comté (2) Wert ausschließen Dal Zilio, Silvano (2) Wert ausschließen Dubois, Catherine (2) Wert ausschließen Finkel, Alain (2) Wert ausschließen Garavel, Hubert (2) Wert ausschließen Goubault-Larrecq, Jean (2) Wert ausschließen Grenoble (2) Wert ausschließen Iampietro, Vincent (2) Wert ausschließen Jan, Mathieu (2) Wert ausschließen Julliand, Jacques (2) Wert ausschließen Kosmatov, Nikolaï (2) Wert ausschließen Kremer, Steve (2) Wert ausschließen Kriouile, Abderahman (2) Wert ausschließen Lafourcade, Pascal (2) Wert ausschließen Laleau, Régine (2) Wert ausschließen Le Gall, Pascale (2) Wert ausschließen Leroux, Jérôme (2) Wert ausschließen Lu, Tianxiang (2) Wert ausschließen Masson, Pierre-Alain (2) Wert ausschließen Montpellier (2) Wert ausschließen Mosbah, Mohamed (2) Wert ausschließen Nguena-Timo, Omer (2) Wert ausschließen Nice (2) Wert ausschließen Pagetti, Claire (2) Wert ausschließen Paris Est (2) Wert ausschließen Pottier, François (2) Wert ausschließen Quéinnec, Philippe (2) Wert ausschließen Rennes, École normale supérieure (2) Wert ausschließen Schnoebelen, Philippe (2) Wert ausschließen Souquières, Jeanine (2) Wert ausschließen Université Côte d'Azur (ComUE) (2) Wert ausschließen Université Grenoble Alpes (2) Wert ausschließen Université Paris sciences et lettres (2) Wert ausschließen Université de Rennes (2023-.) (2) Wert ausschließen Vernadat, François B. (2) Wert ausschließen Walukiewicz, Igor (2) Wert ausschließen Abid, Nouha (1) Wert ausschließen Abid, Rim (1) Wert ausschließen Afendi, Meryem (1) Wert ausschließen Ait Bensaid, Samira (1) Wert ausschließen Aix-Marseille (1) Wert ausschließen Akhtar, Sabina (1) Wert ausschließen Amiens (1) Wert ausschließen Andreescu, Oana Fabiana (1) Wert ausschließen Andreu, David (1) Wert ausschließen Antignac, Thibaud (1) Wert ausschließen Apvrille, Ludovic (1) Wert ausschließen Arcile, Johan (1) Wert ausschließen Arias Almeida, Jaime E. (1) Wert ausschließen Arnaud, Mathilde (1) Wert ausschließen Asselin, Eric (1) Wert ausschließen Audinot, Maxime (1) Wert ausschließen Aït-Sadoune, Idir (1) Wert ausschließen BONNET, Gaël (1) Wert ausschließen Badonnel, Rémi (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (160) Wert ausschließen theses.fr (160) Wert ausschließen Lizenzfreie Online-Ressourcen (7) Wert ausschließen Verbunddaten SWB (7) Wert ausschließen Consortium Erudit (CrossRef) (1) Wert ausschließen International Information and Engineering Technology Association (CrossRef) (1) Wert ausschließen Show more show less