Thierry Cattel

Tactical Tools for Distributing VDM Specifications

Thierry Cattel, 1991, VDM Europe.

Using concurrency and formal methods for the design of safe process control

Thierry Cattel, 1996, Software Engineering for Parallel and Distributed Systems.

Process Control Design Using SPIN

Thierry Cattel, 2002 .

Rational Design of Distributed Applications

Thierry Cattel, 1991, ESEC.

The Steam-Boiler Problem in Lustre

Thierry Cattel, Grégory Duval, 1995, Formal Methods for Industrial Applications.

Modeling and Verification of SC++ Applications

Thierry Cattel, 1998, TACAS.

Developing safe concurrent and distributed applications with an architectural environment

Thierry Cattel, Grégory Duval, 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275).

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

Thierry Cattel, Grégory Duval, 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

Modelization and verification of a multiprocessor realtime OS kernel

Thierry Cattel, T. Cattel, 1994, FORTE.

Specifying and Verifying the Steam-Boiler Problem with SPIN

Thierry Cattel, Grégory Duval, 1995, Formal Methods for Industrial Applications.