| |
| 1999 | ||
|---|---|---|
| 9 | EE | Grégory Duval, Thierry Cattel: Developing Safe Concurrent and Distributed Applications with an Architectural Environment. TOOLS (29) 1999: 20-32 |
| 1998 | ||
| 8 | EE | Thierry Cattel: Modeling and Verification of SC++ Applications. TACAS 1998: 232-248 |
| 1997 | ||
| 7 | EE | 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] |