Thierry Cattel

According to our database, Thierry Cattel authored at least 9 papers between 1991 and 1999.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1999

Developing Safe Concurrent and Distributed Applications with an Architectural Environment.

Grégory Duval, Thierry Cattel

Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

1998

Modeling and Verification of SC++ Applications.

Thierry Cattel

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997

From Architecture Down to Implementation of Safe Process Control Applications.

Grégory Duval, Thierry Cattel

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

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

Thierry Cattel

Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996

1995

Specifying and Verifying the Steam-Boiler Problem with SPIN.

Grégory Duval, Thierry Cattel

Proceedings of the Formal Methods for Industrial Applications, 1995

The Steam-Boiler Problem in Lustre.

Thierry Cattel, Grégory Duval

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

Modelization and verification of a multiprocessor realtime OS kernel.

Thierry Cattel

Proceedings of the Formal Description Techniques VII, 1994

1991

Tactical Tools for Distributing VDM Specifications.

Thierry Cattel

Proceedings of the VDM '91, 1991

Rational Design of Distributed Applications.

Thierry Cattel

Proceedings of the ESEC '91, 1991