Concepedia

Grégory Duval

GD

Statistics

Publications

3

Citations

34

H-Index

3

Active since

1998

Affiliations

École Polytechnique(Current)

Grégory Duval is an author at École Polytechnique specializing in formal methods, model checking, and computer science.

Publications per year

1998–2002

3

Publications

3

Modeling and Verification of the RUBIS μ−Kernel with SPIN

Grégory Duval, Jacques Julliand · 2002 · 13 citations

Computing, Computer Science, Computer Systems +14

Specification and verification of an object request broker

Grégory Duval · International Conference on Software Engineering · 1998 · 11 citations

Computing, Computer Science, Systems Engineering +17

From architecture down to implementation of safe process control applications-the lift case study

Grégory Duval, Thierry Cattel · 2002 · 10 citations

Computing, Computer Engineering, Computer Science +17

1–3 of 3