Grégory Duval

According to our database, Grégory Duval authored at least 5 papers between 1995 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

Specification and Verification of an Object Request Broker.

Grégory Duval

Proceedings of the Forging New Links, 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

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