Suchergebnisse - [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory

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

Autoren: Hugot, Vincent

Schlagwörter: [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

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

Ambiguity Detection for Programming Language Grammars

Autoren: Basten, Bas

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_PL] Computer Science/Programming Languages, context-free grammars, programming languages, ambiguity detection, static analysis, scannerless

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00644079
http://tel.archives-ouvertes.fr/docs/00/64/40/79/PDF/PhDThesis_Bas_Basten.pdf

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

Autoren: Ngô, Van Chan

Schlagwörter: [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

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

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

Autoren: Bourreau, Pierre

Schlagwörter: [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

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

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

Autoren: Ngo, Van Chan

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Laurence, Grégoire

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Moy, Matthieu

Schlagwörter: [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é

Verfügbarkeit: 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

Efficient verification of sequential and concurrent systems

Autoren: Schwoon, Stefan

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

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

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Autoren: Neron, Pierre

Schlagwörter: [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

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

Modèles d'automates d'arbres étendus pour la vérification de systèmes infinis

Autoren: Jacquemard, Florent

Schlagwörter: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, [INFO:INFO_DB] Computer Science/Databases, [INFO:INFO_DB] Informatique/Base de données, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, Tree Automata Theory, System and Software Verification, Automated Deduction, Model checking, Symbolic Constraint Solving, Term Rewriting

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00643595
http://tel.archives-ouvertes.fr/docs/00/64/35/95/PDF/plan.pdf

Verification based on unfoldings of Petri nets with read arcs

Autoren: Rodríguez, César

Schlagwörter: [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

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

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

Autoren: Chatain, Thomas

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

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

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

Autoren: Sabah, Quentin

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Yang, Faqing

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Miné, Antoine

Schlagwörter: [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

Verfügbarkeit: 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

Autoren: Monmege, Benjamin

Schlagwörter: [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

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

Concurrency in Interaction Nets and Graph Rewriting

Autoren: Dorman, Andrei

Schlagwörter: [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

Verfügbarkeit: 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

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

Autoren: Tadonki, Claude

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

Verfügbarkeit: 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

Autoren: Sené, Sylvain

Schlagwörter: [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

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

Automates d'ordres : théorie et applications

Autoren: Hélouët, Loïc

Schlagwörter: [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

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