| |
| 1999 | ||
|---|---|---|
| 5 | EE | Grégory Duval, Thierry Cattel: Developing Safe Concurrent and Distributed Applications with an Architectural Environment. TOOLS (29) 1999: 20-32 |
| 1998 | ||
| 4 | Grégory Duval: Specification and Verification of an Object Request Broker. ICSE 1998: 43-52 | |
| 1997 | ||
| 3 | EE | Grégory Duval, Thierry Cattel: From Architecture Down to Implementation of Safe Process Control Applications. HICSS (1) 1997: 24-33 |
| 1995 | ||
| 2 | Thierry Cattel, Grégory Duval: The Steam-Boiler Problem in Lustre. Formal Methods for Industrial Applications 1995: 149-164 | |
| 1 | Grégory Duval, Thierry Cattel: Specifying and Verifying the Steam-Boiler Problem with SPIN. Formal Methods for Industrial Applications 1995: 203-217 | |
| 1 | Thierry Cattel | [1] [2] [3] [5] |