 | 1993 |
|---|
| 9 |       | Claude Hennebert,
Gérard D. Guiho:
SACEM: A Fault Tolerant System for Train Speed Control.
FTCS 1993: 624-628 |
| 1990 |
|---|
| 8 | | Gérard D. Guiho,
Claude Hennebert:
SACEM Software Validation (Experience Report).
ICSE 1990: 186-191 |
| 1987 |
|---|
| 7 | | Gérard D. Guiho:
Objectoriented Something (OOX), a General Paradigm (Abstract).
Wissensbasierte Systeme 1987: 105 |
| 1985 |
|---|
| 6 | | Michel Bidoit,
Brigitte Biebow,
Marie-Claude Gaudel,
Christian Gresse,
Gérard D. Guiho:
Exception Handling: Formal Specification and Systematic Program Construction.
IEEE Trans. Software Eng. 11(3): 242-252 (1985) |
| 1984 |
|---|
| 5 | | Michel Bidoit,
Brigitte Biebow,
Marie-Claude Gaudel,
Christian Gresse,
Gérard D. Guiho:
Exception Handling: Formal Specification and Systematic Program Construction.
ICSE 1984: 18-29 |
| 1983 |
|---|
| 4 | | Gérard D. Guiho:
Multi-Operator Algebras.
ADT 1983 |
| 3 | | Gérard D. Guiho:
Automatic Programming Using Abstract Data Types.
IJCAI 1983: 1-9 |
| 1980 |
|---|
| 2 |  | Gérard D. Guiho,
Christian Gresse:
Program Synthesis from Incomplete Specifiactions.
CADE 1980: 53-62 |
| 1977 |
|---|
| 1 | | Jean-Pierre Jouannaud,
Gérard D. Guiho,
Jean-Pierre Treuil:
SISP/1: An Interactive System Able to Synthesize Functions from Examples.
IJCAI 1977: 412-418 |
