Thierry Cattel

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

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1999
Developing Safe Concurrent and Distributed Applications with an Architectural Environment.
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.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997
From Architecture Down to Implementation of Safe Process Control Applications.
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.
Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996

1995
Specifying and Verifying the Steam-Boiler Problem with SPIN.
Proceedings of the Formal Methods for Industrial Applications, 1995

The Steam-Boiler Problem in Lustre.
Proceedings of the Formal Methods for Industrial Applications, 1995

1994
Modelization and verification of a multiprocessor realtime OS kernel.
Proceedings of the Formal Description Techniques VII, 1994

1991
Tactical Tools for Distributing VDM Specifications.
Proceedings of the VDM '91, 1991

Rational Design of Distributed Applications.
Proceedings of the ESEC '91, 1991


  Loading...