Concepedia

G. Saucier

GS

37

Publications

848

Citations

17

H-Index

1967

Active since

Affiliations

Institut polytechnique de Grenoble(Current)

Techniques of Informatics and Microelectronics for Integrated Systems Architecture

Institut National Polytechnique de Toulouse

Micro and Nanotechnology Innovation Centre

Centre National de la Recherche Scientifique

G. Saucier is an author at Institut polytechnique de Grenoble specializing in computer engineering, engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceComputer ArchitectureFormal MethodsSystems EngineeringParallel ComputingFormal VerificationVerificationHardware Systems

Publications per year

1967–2005

37

Publications

37

A new approach to control flow checking without program modification

T. Michel, Régis Leveugle, G. Saucier · 2002 · 78 citations

Program Checking, Engineering, Verification +31

Optimized synthesis of concurrently checked controllers

R. Leveugle, G. Saucier · IEEE Transactions on Computers · 1990 · 76 citations

Program Checking, Engineering, Online Test Facilities +21

ASYL: A Rule-Based System for Controller Synthesis

G. Saucier, M. Crastes de Paulet, P. Sicard · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1987 · 68 citations

Logic Synthesis, Engineering, Control Flowgraph +12

State assignment using a new embedding method based on an intersecting cube theory

G. Saucier, C. K. Duff, F. Poirot · 1989 · 44 citations · Full text

Artificial Intelligence, Mathematical Programming, Engineering +20

Multilevel synthesis minimizing the routing factor

P. Abouzeid, K. Sakouti, G. Saucier et al. · 1990 · 39 citations

Excessive Factorizations, Engineering, Electronic Design Automation +17

Rows per page

1–5 of 37