Search Results - "[INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory"

Formal verification of a synchronous data-flow compiler : from Signal to C

Authors: Ngô, Van Chan

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Formal verification, Translation validation, Validated Compiler, Synchronous Programs, Polychronous Models, Embedded systems, Safety-critical systems, Deadlock detection, Compilation, Polychrony, Dependency graphs, SMT solving, Value-graphs, Graph rewriting

Availability: http://tel.archives-ouvertes.fr/tel-01067477
http://tel.archives-ouvertes.fr/docs/01/06/74/77/PDF/NGO_Van_Chan.pdf

Vérification Formelle d'un Compilateur Synchrone: de Signal vers C

Authors: Ngo, Van Chan

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Vérification formelle, Validation de la traduction, Compilateur validé, Programmes synchrones, Modèles polychrones, Systèmes embarqués, Systèmes critiques, Détection des blocages, Compilation, Polychrony, Graphiques de dépendance, SMT solving, Valeur-graphiques, Graphique réécriture

Availability: http://tel.archives-ouvertes.fr/tel-01058041
http://tel.archives-ouvertes.fr/docs/01/05/80/41/PDF/chan_thesis_full.pdf

Normalisation et Apprentissage de Transductions d'Arbres en Mots

Authors: Laurence, Grégoire

Subject Terms: [INFO:INFO_DB] Computer Science/Databases, [INFO:INFO_DB] Informatique/Base de données, [INFO:INFO_LG] Computer Science/Machine Learning, [INFO:INFO_LG] Informatique/Apprentissage, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_DS] Informatique/Algorithme et structure de données, transducteur, transformation, inférence grammaticale, arbres de données, XML, normalisation, apprentissage

Availability: http://tel.archives-ouvertes.fr/tel-01053084
http://tel.archives-ouvertes.fr/docs/01/05/30/84/PDF/main.pdf

Modélisation à haut niveau d'abstraction pour les systèmes embarqués

Authors: Moy, Matthieu

Subject Terms: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Modélisation, parallélisme, Systèmes sur puce, systèmes embarqués, vérification formelle, model-checking, interprétation abstaite, SMT, compilation, SystemC, TLM, Lustre, calcul temps-réel, causalité

Availability: http://tel.archives-ouvertes.fr/tel-01054555
http://tel.archives-ouvertes.fr/docs/01/05/45/55/PDF/hdr.pdf
http://tel.archives-ouvertes.fr/docs/01/05/45/55/ANNEX/hdr-matthieu-moy-slides.pdf

Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability

Authors: Chatain, Thomas

Subject Terms: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Concurrency, Real-Time Distributed Systems

Availability: http://tel.archives-ouvertes.fr/tel-00926306
http://tel.archives-ouvertes.fr/docs/00/92/63/06/PDF/hdr-chatain13.pdf

Verification based on unfoldings of Petri nets with read arcs

Authors: Rodríguez, César

Subject Terms: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Diagnosis, Merged process, Model checking, Petri nets

Availability: http://tel.archives-ouvertes.fr/tel-00927064
http://tel.archives-ouvertes.fr/docs/00/99/69/27/PDF/Rodriguez2013.pdf

Efficient verification of sequential and concurrent systems

Authors: Schwoon, Stefan

Subject Terms: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, efficient verification, concurrent systems

Availability: http://tel.archives-ouvertes.fr/tel-00927066
http://tel.archives-ouvertes.fr/docs/00/92/70/66/PDF/hdr-schwoon13.pdf

SIAAM: Isolation dynamique pour une machine abstraite à base d'acteurs

Authors: Sabah, Quentin

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, acteurs, isolation, ownership, concurrence, modele de programmation, passage de messages, machine virtuelle

Availability: http://tel.archives-ouvertes.fr/tel-00933072
http://tel.archives-ouvertes.fr/docs/00/93/30/72/PDF/thesis_sabah.pdf

Un environnement de simulation pour la validation de spécifications B événementiel

Authors: Yang, Faqing

Subject Terms: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, Spécification, Vérification, Validation, Méthodes formelles, B événementiel, Simulation, JavaScript

Availability: http://tel.archives-ouvertes.fr/tel-00951922
http://tel.archives-ouvertes.fr/docs/00/95/19/22/PDF/DDOC_T_2013_0158_YANG.pdf

Analyse statique par interprétation abstraite de programmes concurrents

Authors: Miné, Antoine

Subject Terms: [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, analyse statique, interprétation abstraite, vérification, sûreté de fonctionnement, domaines numériques, programmes concurrents, programmes embarqués

Availability: http://tel.archives-ouvertes.fr/tel-00903447
http://tel.archives-ouvertes.fr/docs/00/90/34/47/PDF/hdr-compact-col.pdf
http://tel.archives-ouvertes.fr/docs/00/90/34/47/ANNEX/expose_ok.pdf

Spécification et vérification de propriétés quantitatives : expressions, logiques et automates

Authors: Monmege, Benjamin

Subject Terms: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, Vérification formelle, Spécification quantitative, Automates pondérés

Availability: http://tel.archives-ouvertes.fr/tel-00908990
http://tel.archives-ouvertes.fr/docs/00/90/89/90/PDF/main.pdf

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Authors: Neron, Pierre

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Program Transformation, Real Number arithmetic, Anti-unification, Semantics of Programming Languages, Proof Assistant, Embedded Systems, Quantifier Elimination

Availability: http://tel.archives-ouvertes.fr/tel-00924379
http://tel.archives-ouvertes.fr/docs/00/92/43/79/PDF/these.pdf

Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking

Authors: Hugot, Vincent

Subject Terms: [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_DS] Informatique/Algorithme et structure de données, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Tree automata

Availability: http://tel.archives-ouvertes.fr/tel-00909608
http://tel.archives-ouvertes.fr/docs/01/06/25/54/PDF/these_A_HUGOT_Vincent_2013.pdf

Concurrency in Interaction Nets and Graph Rewriting

Authors: Dorman, Andrei

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, concurrence, réécriture de graphes, calculs de processus, non-déterminisme

Availability: http://tel.archives-ouvertes.fr/tel-00937224
http://tel.archives-ouvertes.fr/docs/00/93/72/24/PDF/Concurrency_in_Interaction_Nets_and_Graph_Rewriting.pdf

Automates d'ordres : théorie et applications

Authors: Hélouët, Loïc

Subject Terms: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Ordres partiels, automates de scénarios, systèmes distribués

Availability: http://tel.archives-ouvertes.fr/tel-00926742
http://tel.archives-ouvertes.fr/docs/00/92/67/42/PDF/habil_V0.2.pdf

High Performance Computing as a Combination of Machines and Methods and Programming

Authors: Tadonki, Claude

Subject Terms: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, architecture, optimization, Accelerated computing, CELL, Hybrid supercomputing

Availability: http://tel.archives-ouvertes.fr/tel-00832930
http://tel.archives-ouvertes.fr/docs/00/83/29/30/PDF/TADONKI_HDR.pdf
http://tel.archives-ouvertes.fr/docs/00/83/29/30/ANNEX/TADONKI_HDR_slides.pdf

Sur la bio-informatique des réseaux d'automates

Authors: Sené, Sylvain

Subject Terms: [INFO:INFO_DM] Computer Science/Discrete Mathematics, [INFO:INFO_DM] Informatique/Mathématique discrète, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, [INFO:INFO_BI] Computer Science/Bioinformatics, [INFO:INFO_BI] Informatique/Bio-informatique, [SDV:BIBS] Life Sciences/Quantitative Methods, [SDV:BIBS] Sciences du Vivant/Bio-Informatique, Biologie Systémique, [MATH:MATH_DS] Mathematics/Dynamical Systems, [MATH:MATH_DS] Mathématiques/Systèmes dynamiques, Bio-informatique théorique, réseaux d'automates, systèmes dynamiques discrets, robustesse environnementale, combinatoire comportementale, robustesse structurelle et non-monotonie

Availability: http://tel.archives-ouvertes.fr/tel-00759287
http://tel.archives-ouvertes.fr/docs/00/75/92/87/PDF/my_hdr.pdf

Vues de sécurité XML: requêtes, mises à jour et schémas.

Authors: Groz, Benoit

Subject Terms: [INFO:INFO_DB] Computer Science/Databases, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, xml, xpath, réécriture de requêtes, automates visibly pushdown, alignments d'arbres, expressions régulières déterministes, mises à jour de vues

Availability: http://tel.archives-ouvertes.fr/tel-00745581
http://tel.archives-ouvertes.fr/docs/00/74/55/81/PDF/phd-thesis.pdf

Jeux de typage et analyse de lambda-grammaires non-contextuelles

Authors: Bourreau, Pierre

Subject Terms: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, [INFO:INFO_GT] Informatique/Informatique et théorie des jeux, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, lambda-calcul, logique, grammaires catégorielles, grammaires formelles, analyse et génération de textes, Datalog, programmation logique

Availability: http://tel.archives-ouvertes.fr/tel-00733964
http://tel.archives-ouvertes.fr/docs/00/73/39/64/PDF/these.pdf

Représentation coinductive des graphes

Authors: Picard, Celia

Subject Terms: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, Coinduction, prouveur de théorèmes, graphes, mélange entre induction et coinduction, listes

Availability: http://tel.archives-ouvertes.fr/tel-00862507
http://tel.archives-ouvertes.fr/docs/00/86/25/07/PDF/TheseCeliaPicard.pdf