WorldCat Identities

Bernot, Gilles

Overview
Works: 47 works in 71 publications in 2 languages and 101 library holdings
Genres: Academic theses 
Roles: Author, Thesis advisor, Opponent, Contributor, Other, Editor
Publication Timeline
.
Most widely held works by Gilles Bernot
Une sémantique algébrique pour une spécification differenciée des exceptions et des erreurs : application à l'implémentation et aux primitives de structuration des spécifications formelles by Gilles Bernot( Book )

5 editions published in 1986 in French and held by 6 WorldCat member libraries worldwide

Le but de cette thèse est de présenter un nouveau formalisme de traitement d'exceptions dans le cadre des types abstraits algébriques, et de l'utiliser pour traiter l'implémentation abstraite en présence d'exceptions. La première partie développe une nouvelle sémantique pour l'implémentation abstraite, et permet d'exprimer la correction d'une implémentation en terme de suffisante complétude et consistance hiérarchique. Ainsi les preuves de correction d'une implémentation abstraite peuvent être traitées par des méthodes classiques telles que les techniques de réécriture ou d'induction structurelle. L'idée majeure de cette approche repose sur une distinction fondamentale entre spécifications descriptives et spécifications constructives. Des conditions simples et peu restrictives sont fournies pour que la composition d'implémentations correctes reste correcte. La seconde partie développe un nouveau formalisme de traitement d'exceptions : les exception-algèbres. Ce formalisme autorise toutes les formes de traitement d'exceptions (messages d'erreur, propagation implicite des exceptions et des erreurs, récupérations d'exceptions), tout en préservant l'existence des modèles initiaux et une approche fonctorielle simple. Nous définissons en particulier une sémantique fonctorielle des enrichissements, munie des notions de consistance hiérarchique et de suffisante complétude. Pius généralement, la plupart des primitives de structuration des spécifications algébriques peuvent être étendues sans difficulté aux exception-algèbres car les résultats fondamentaux relatifs aux exception-algèbres sont analogues à celles des types abstraits algébriques "classiques". La troisième partie démontre en particulier que le formalisme d'implémentation abstraite peut être étendu aux exception-algèbres sans difficulté. Plusieurs exemples d'exception-spécifications et d'implémentations abstraites sont donnés en annexe
Good functors ... are those preserving philosophy! by G Bernot( Book )

3 editions published in 1987 in English and Undetermined and held by 5 WorldCat member libraries worldwide

Introducing unbounded arities : sequence algebras by A Deo( Book )

3 editions published in 1994 in English and French and held by 5 WorldCat member libraries worldwide

Algebraic semantics of exception handling by Gilles Bernot( Book )

2 editions published in 1986 in English and held by 5 WorldCat member libraries worldwide

Software testing based on formal specifications : a theory and a tool by Gilles Bernot( Book )

4 editions published between 1990 and 1991 in English and held by 5 WorldCat member libraries worldwide

Formal and practical aspects of test selection based on algebraic specifications by Gilles Bernot( Book )

2 editions published in 1990 in English and held by 4 WorldCat member libraries worldwide

Abstract implementations and correctness proofs by Gilles Bernot( Book )

1 edition published in 1985 in English and held by 4 WorldCat member libraries worldwide

Exception handling and term labelling by G Bernot( Book )

2 editions published in 1991 in English and held by 4 WorldCat member libraries worldwide

Abstract: "We propose a new algebraic framework for exception handling which is powerful enough to cope with many exception handling features such that [sic] recovery, implicit propagation of exceptions, etc. This formalism is capable of treating all the exceptional cases, including the following ones: 'intrinsic' exceptions which are related to the underlying data structure (for instance, popping an emptstack or applying predecessor on zero for natural numbers), exceptions which are relied on 'dynamic' properties (as an acces [sic] to a non-initialized array cell) or else exceptions which are due to certain limitations (mainly bounded data structures). We show that within the already existing frameworks, the case of bounded data structures with certain recoveries of exceptional values remains unsolved. First, we justify the necessity of 'labelling' some terms in order to easily specify exceptions without inconsistency, and we then define a general framework oflabel algebras which allows us to 'type' terms instead of values. Exception algebras and exception specifications are defined as a direct application of label algebras. Indeed, the usual inconsistency problems raised by exception handling are avoided by the possibility of labelling terms. As a conclusion, we also sketch out how far the application domain of label algebras seems to be much more general than exception handling."
Label algebras : a systematic use of terms by G Bernot( Book )

2 editions published in 1991 in English and held by 4 WorldCat member libraries worldwide

Abstract: "We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the semantics of algebraic specifications can be deeply improved when the satisfaction relation isdefined via assignments with range in terms instead of values. Surprisingly, there are several cases where even if two terms have the same value, it is possible that one of them is a suitable instance of a variable in an [sic] formula while the other one is not. It is for instance the case for algebraic specifications with exception handling or with observability features. We show that our approach is a useful toolfor solving this problem."
Abstracts data types with exception handling : an initial approach based on a distinction between exceptions and errors by Gilles Bernot( Book )

3 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide

Correctness proofs for abstract implementations by Gilles Bernot( Book )

1 edition published in 1986 in English and held by 3 WorldCat member libraries worldwide

Initial models of algebraic specifications with exception handling by Gilles Bernot( Book )

1 edition published in 1984 in English and held by 3 WorldCat member libraries worldwide

Evaluation of time profile reconstruction from complex two-color microarray designs by Ana C Fierro( )

1 edition published in 2008 in English and held by 2 WorldCat member libraries worldwide

Partitionnement logiciel/matériel par recuit simulé adaptatif by M'barka Kerboua( Book )

2 editions published in 2004 in French and held by 2 WorldCat member libraries worldwide

L'objectif était de proposer une solution au problème de partitionnement logiciel/matériel qui est la phase centrale dans le processus de co-conception. La spécification initiale est un graphe direct acyclique. L'objectif est de minimiser le coût du système tout en satisfaisant des contraintes de performance. Nous avons utilisé une version adaptative du recuit simulé où la décroissance de la température dépend des propriétés statistiques du système. Cette version permet d'ajuster le temps de l'optimisation en fonction de la qualité de solution désirée. Cette méthode nous a permis d'avoir des résultats proche de l'optimum global en minimisant le temps de calcul
Une axiomatisation de la réécriture abstraite by Diane Bahrami( Book )

2 editions published in 2003 in French and held by 2 WorldCat member libraries worldwide

In this thesis, we present a logic-independent framework for rewriting. Firstly, we define a 'mould', based on formal systems, for the logics adapted to rewriting. Then, we give conditions on permutation of the logics inference rules, which allow to select the predicates which are appropriate for rewriting. We obtain a generalised version of Birkhoff's logicality theorem for these predicates. In this framework, we re-define the standard notions of rewriting (rewrite system, derivation, termination, confluence, etc.) and we obtain a generalised version of several rewriting results (the Church-Rosser property, the Diamond lemma, etc.). Finally, we generalise D. Knuth and P. Bendix's completion by means of a set of inference rules inspired by L. Bachmair and J. Hsiang's completion rules
A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency by Patrick Amar( )

1 edition published in 2008 in English and held by 2 WorldCat member libraries worldwide

Modèle formel pour les réseaux de régulation génétique et influence des circuits de rétroaction by Adrien Richard( Book )

2 editions published in 2006 in French and held by 2 WorldCat member libraries worldwide

In this thesis, we propose a general discrete model for genetic regulatory network. The structure of a network is described by a signed directed graph which indicates the activations / inhibitions present between genes and the dynamics is represented by an asynchronous transition system. Then, we search dynamical properties which can be deduced from the interaction graph. Principally, we prove discrete versions of the Thomas's conjectures. We thus prove that the presence of a positive (resp. negative) circuit in the interaction graph of a network is necessary for the presence of several attractors (reps. stable cycles) in the dynamics of the network. Finally, we propose a method allowing the automatic selection of the dynamics associated to a given interaction graph which verify experimental observations. For that, we use model cheking techniques
Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa by Didier Filopon( )

1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide

Computing with bacterial constituents, cells and populations: from bioputing to bactoputing by Vic Norris( )

1 edition published in 2011 in English and held by 2 WorldCat member libraries worldwide

HIERARCHIE ET HETEROGENEITE DANS LES SPECIFICATIONS FORMELLES by Sophie Coudert( Book )

1 edition published in 1998 in French and held by 2 WorldCat member libraries worldwide

AFIN DE FACILITER L'UTILISATION DES SPECIFICATIONS FORMELLES EN VUE D'AMELIORER LA QUALITE DES LOGICIELS, DEUX GRANDES TENDANCES SE SONT DEGAGEES CES DERNIERES ANNEES : D'UNE PART LA GRANDE DIVERSITE DES FORMALISMES QUI, SPECIALISES, PERMETTENT DES SPECIFICATIONS PLUS LISIBLES OU OFFRENT DES OUTILS (DE PREUVE PAR EXEMPLE) PLUS PUISSANTS, ET D'AUTRE PART LA STRUCTURATION DES SPECIFICATIONS QUI DECOMPOSABLES EN MODULES PERMETTENT D'ABORDER DES PROBLEMES PLUS COMPLEXES. CONJUGUANT CES DEUX ASPECTS, CETTE THESE PROPOSE UN CADRE RIGOUREUX DANS LEQUEL ON PEUT CONNECTER DES MODULES DE SPECIFICATION, CHACUN ECRIT DANS SON PROPRE FORMALISME, FORMANT AINSI DES SPECIFICATIONS STRUCTUREES DITES HETEROGENES. CE CADRE EST BASE SUR UNE CARACTERISATION GENERIQUE ET DONC UNIFIEE DES MODULES DE SPECIFICATION, POURVUS CHACUN D'UNE SEMANTIQUE, D'UN SYSTEME DE PREUVES FONDE ET D'UN DOMAINE D'APPLICATION, CE QUI LEUR CONFERE TOUTE L'AUTONOMIE UTILE DANS UNE PERSPECTIVE DE REUTILISATION. AUX SPECIFICATIONS COMPLEXES SONT ASSOCIES AUTOMATIQUEMENT DES ATTRIBUTS STRUCTURES (SEMANTIQUE, PREUVES, DOMAINES) DEDUITS DES ATTRIBUTS DES COMPOSANTS ATOMIQUES ET L'HETEROGENEITE EST INTRODUITE A L'AIDE DE MODULES DE TRADUCTION, CAS PARTICULIERS DE LA NOTION GENERALE DE MODULE PROPOSEE. CETTE MODELISATION RECOUVRE ENTRE AUTRE LES APPROCHES PRECEDENTES DE LA STRUCTURATION HIERARCHIQUE HOMOGENE. ELLE SE VEUT PRAGMATIQUE : L'HETEROGENEITE EST SOUPLE, LES TRADUCTIONS PEUVENT ETRE PARTIELLES ; ET AU DESSUS DE FONDEMENTS RIGOUREUX NOUS PROPOSONS UNE APPREHENSION INTUITIVE DES SPECIFICATIONS COMME DES MURS DONT LES COMPOSANTS SERAIENT LES BRIQUES ; ENFIN, PAR SON CARACTERE TRES FORMEL, CE CADRE PEUT SERVIR DE CONTREPARTIE THEORIQUE A UNE IMPLANTATION D'ENVIRONNEMENT DE SPECIFICATIONS HETEROGENES
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Une séman ... to 0.00 for Une séman ...)

WorldCat IdentitiesRelated Identities
Languages
English (26)

French (13)