Login / Signup
Thierry Cattel
Publication Activity (10 Years)
Years Active: 1991-1999
Publications (10 Years): 0
</>
Publications
</>
Grégory Duval
,
Thierry Cattel
Developing Safe Concurrent and Distributed Applications with an Architectural Environment.
TOOLS (29)
(1999)
Thierry Cattel
Modeling and Verification of SC++ Applications.
TACAS
(1998)
Grégory Duval
,
Thierry Cattel
From Architecture Down to Implementation of Safe Process Control Applications.
HICSS (1)
(1997)
Thierry Cattel
Using concurrency and formal methods for the design of safe process control.
Software Engineering for Parallel and Distributed Systems
(1996)
Thierry Cattel
,
Grégory Duval
The Steam-Boiler Problem in Lustre.
Formal Methods for Industrial Applications
(1995)
Grégory Duval
,
Thierry Cattel
Specifying and Verifying the Steam-Boiler Problem with SPIN.
Formal Methods for Industrial Applications
(1995)
Thierry Cattel
Modelization and verification of a multiprocessor realtime OS kernel.
FORTE
(1994)
Thierry Cattel
Tactical Tools for Distributing VDM Specifications.
VDM Europe (1)
(1991)
Thierry Cattel
Rational Design of Distributed Applications.
ESEC
(1991)