WorldCat Identities

Berry, Gérard 1948-

Overview
Works: 54 works in 140 publications in 2 languages and 1,403 library holdings
Genres: Conference papers and proceedings  Textbooks 
Roles: Author, Author of introduction, Editor, Interviewee, Thesis advisor, Scenarist, Other, Creator
Classifications: QA76.76.V47, 004
Publication Timeline
.
Most widely held works by Gérard Berry
Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings by Gérard Berry( Book )

20 editions published between 2000 and 2001 in English and held by 248 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001. The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata
Pourquoi et comment le monde devient numérique by Gérard Berry( Book )

5 editions published between 2008 and 2009 in French and held by 114 WorldCat member libraries worldwide

Le SIRH : enjeux, projets et bonnes pratiques( Book )

3 editions published between 2011 and 2012 in French and held by 111 WorldCat member libraries worldwide

Compiling ESTEREL by Dumitru Potop-Butucaru( Book )

15 editions published in 2007 in English and held by 57 WorldCat member libraries worldwide

Publisher description: "Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it. Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having prior knowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design. Researchers as well as advanced developers will find Compiling Esterel essential for understanding Esterel at all levels."
Penser, modéliser et maîtriser le calcul informatique [leçon inaugurale prononcée le 19 novembre 2009] by Gérard Berry( Book )

3 editions published in 2009 in French and held by 56 WorldCat member libraries worldwide

L'informatique du temps et des événements [leçon inaugurale prononcée le jeudi 28 mars 2013] by Gérard Berry( Book )

7 editions published in 2013 in French and Undetermined and held by 47 WorldCat member libraries worldwide

Gérer le temps et les événements est central dans des domaines variés de l'informatique, des circuits et logiciels embarqués dans des objets de toutes sortes à la création musicale, en passant par la simulation de phénomènes physiques. Ce sujet est pourtant peu traité par l'informatique classique. Cette leçon présente des modélisations du temps et des événements associées à de nouveaux langages de programmation. Elle traite des notions d'épaisseur de l'instant, de temps hiérarchique et multiforme créé par la répétition d'événements, et du rapport temps réel/temps continu
Une introduction à la science informatique pour les enseignants de la discipline en lycée( Book )

1 edition published in 2011 in French and held by 42 WorldCat member libraries worldwide

Cet ouvrage s'adresse principalement aux professeurs chargés d'enseigner la spécialité informatique et sciences numériques (ISN) en terminale S. Il est construit autour de sept cours contenant des leçons, des exercices, des questions, des compléments. Les thèmes abordés sont : Représentation numérique de l'information, Langages et programmation, Algorithmique, Architecture, Réseaux, Structuration et contrôle de l'information, Bases de données relationnelles et Web
Informatique et sciences du numérique : spécialité ISN en terminale S : avec des exercices corrigés et idées de projets( Book )

2 editions published between 2012 and 2013 in French and held by 37 WorldCat member libraries worldwide

5 jeunes chercheurs d'avenir : Razvan Barbulescu, Wahb Ettoumi, Simon Labarthe, Anaïs Orsi, Crystèle Léauthaud by Gérard Berry( Book )

1 edition published in 2015 in French and held by 13 WorldCat member libraries worldwide

A hardware implementation of pure Esterel by Gérard Berry( Book )

5 editions published in 1991 in English and held by 12 WorldCat member libraries worldwide

Abstract: "Esterel is a synchronous concurrent programming language dedicated to reactive systems (controllers, protocols, man-machine interfaces, etc.). Esterel has an efficient standard software implementation based on well-defined mathematical semantics. We present a new hardware implementation of the pure synchronization subset of the language. Each program generates a specific cicuit that responds to any input in one clock cycle. When the source program satisfies some statically checkable dynamic properties, the circuit is shown to be semantically equivalent to the source program. The hardware translation has been effectively implemented on the programmable active memory Perle0 developed by J. Vuillemin and his group at Digital Equipment."
Le logiciel, objet de notre quotidien by Gérard Berry( Visual )

4 editions published between 2000 and 2005 in French and held by 8 WorldCat member libraries worldwide

"Conférence donnée le 10 septembre 2000 par Gérard BERRY. Il y a à peine trente ans, le logiciel était l'apanage des systèmes de gestion ou de communication des grandes entreprises. La micro-informatique, les ordinateurs embarqués et les réseaux ont centuplé ses applications, révolutionnant la bureautique, le design industriel ou artistique, les transports, et maintenant les objets du quotidien, du téléphone au stimulateur cardiaque en passant par tout l'audiovisuel, les jeux, et bien sûr Internet. On assiste en fait à la mise en place d'un nouveau système nerveux logiciel, avec lequel nous sommes sans cesse en contact. Or, le logiciel reste un objet mystérieux pour la plupart des gens. Il est purement immatériel, ne se voit pas, ne pèse rien. Pourtant, il produit des tas d'ennuis allant de l'inconfort des interfaces homme-machine mal conçues aux problèmes de sécurité des réseaux en passant par des crashs catastrophiques de fusées ou de satellites. La qualité du logiciel devient un des points faibles de notre société. Pour les spécialistes, ce n'est pas étonnant. Le logiciel est un objet purement intellectuel d'une très grande complexité, qui ne se laisse pas appréhender par des approches naïves. Un logiciel est formé de millions d'ordres élémentaires à une machine ultra-rapide et quasi-infaillible mais parfaitement stupide, le microprocesseur. De minuscules erreurs peuvent avoir de grandes conséquences et on ne sait pas encore se protéger. Nous essaierons de mieux faire comprendre la nature profonde de l'objet logiciel, et nous présenterons les approches scientifiques modernes qui permettront de construire des logiciels plus sûrs et d'en assurer la correction
From regular expressions to deterministic automata by Gérard Berry( Book )

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

Computer aided verification : 13th international conference, Paris, France, July 18 - 22, 2001 ; proceedings( )

1 edition published in 2001 in English and held by 8 WorldCat member libraries worldwide

Full abstraction for sequential languages : the state of the art by Gérard Berry( Book )

5 editions published in 1983 in English and held by 8 WorldCat member libraries worldwide

Real time programming : special purpose or general purpose languages by Gérard Berry( Book )

3 editions published in 1989 in English and held by 7 WorldCat member libraries worldwide

Constructive circuits and the exactness of ternary simulation by M Mendler( Book )

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

Programming a digital watch in ESTEREL v3 by Gérard Berry( Book )

4 editions published in 1989 in English and held by 7 WorldCat member libraries worldwide

The ESTEREL synchronous programming language : design, semantics, implementation by Gérard Berry( Book )

5 editions published in 1988 in English and held by 6 WorldCat member libraries worldwide

We present two mathematical semantics of ESTEREL, which are given by conditional rewrite rules and related by a correctness theorem. The behavioral semantics defines the behaviour of programs in an uneffective way as solution of fixpoint equations. The effective execution semantics computes actions to be performed by a conceptually infinitely fast execution machine. To relate the two semantics, we solve the causality problems that are inherent in synchronous formalisms. We show how the ESTEREL V2 and ESTEREL V3 compilers efficiently translate concurrent ESTEREL programs into efficient equivalent sequential automata that can be implemented in conventional sequential languages. We discuss the quality of this object code and the practical adequacy of the synchrony hypothesis."
Incremental development of an HDLC protocol in ESTEREL by Gérard Berry( Book )

2 editions published in 1989 in English and held by 6 WorldCat member libraries worldwide

Synchronous programming of reactive systems : an introduction to ESTEREL = Programmation synchrone des systemes reactifs : une introduction a ESTEREL by Gérard Berry( Book )

2 editions published in 1987 in English and held by 6 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.43 for Compiling ... to 0.95 for Computer a ...)

WorldCat IdentitiesRelated Identities
Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedingsComputer aided verification : 13th international conference, Paris, France, July 18 - 22, 2001 ; proceedings
Alternative Names
Berry, Gérard

Gérard Berry Frans informaticus

Gérard Berry fransk ingeniør og informatikar

Gérard Berry fransk ingeniør og informatiker

Gérard Berry fransk ingenjör och datavetare

Gérard Berry französischer Informatiker

Gérard Berry French computer scientist, member of Collège De France

Gérard Berry Informàtic francès

Languages
English (66)

French (24)

Covers
Compiling ESTERELComputer aided verification : 13th international conference, Paris, France, July 18 - 22, 2001 ; proceedings