- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 9 |      | Grégory Duval, Thierry Cattel: Developing Safe Concurrent and Distributed Applications with an Architectural Environment. TOOLS (29) 1999: 20-32 |
| 1998 | ||
| 8 | | Thierry Cattel: Modeling and Verification of SC++ Applications. TACAS 1998: 232-248 |
| 1997 | ||
| 7 | | Grégory Duval, Thierry Cattel: From Architecture Down to Implementation of Safe Process Control Applications. HICSS (1) 1997: 24-33 |
| 1996 | ||
| 6 |  | Thierry Cattel: Using concurrency and formal methods for the design of safe process control. Software Engineering for Parallel and Distributed Systems 1996: 183-194 |
| 1995 | ||
| 5 | | Thierry Cattel, Grégory Duval: The Steam-Boiler Problem in Lustre. Formal Methods for Industrial Applications 1995: 149-164 |
| 4 | | Grégory Duval, Thierry Cattel: Specifying and Verifying the Steam-Boiler Problem with SPIN. Formal Methods for Industrial Applications 1995: 203-217 |
| 1994 | ||
| 3 | | Thierry Cattel: Modelization and verification of a multiprocessor realtime OS kernel. FORTE 1994: 55-70 |
| 1991 | ||
| 2 | | Thierry Cattel: Rational Design of Distributed Applications. ESEC 1991: 60-79 |
| 1 | | Thierry Cattel: Tactical Tools for Distributing VDM Specifications. VDM Europe (1) 1991: 309-323 |
| 1 | Grégory Duval | [4] [5] [7] [9] |