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 |