Claude Girault

According to our database, Claude Girault authored at least 17 papers between 1973 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Petri nets for systems engineering - a guide to modeling, verification, and applications.

Claude Girault, Rüdiger Valk

Springer, ISBN: 978-3-540-41217-5, 2003

2001

A Simulation Environment for SDH Synchronization Network Planning.

Jean-Thierry Calvet, Claude Girault

Proceedings of the 3rd International Workshop on the Design of Reliable Communication Networks, 2001

1998

Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.

Kathi Fisler, Claude Girault

Proceedings of the Application and Theory of Petri Nets 1998, 1998

1996

A Formalism to Model Task Execution in Distributed Systems.

Rajeev Jayaram, Rajib Mall, Lalit M. Patnaik, Claude Girault

Inf. Sci., 1996

Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets.

Mohamed-Lyes Benalycherif, Claude Girault

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1993

Performance analysis of a pipelined backpropagation parallel algorithm.

Alain Pétrowski, Gérard Dreyfus, Claude Girault

IEEE Trans. Neural Networks, 1993

1986

Algebraic structure of flows of a regular coloured net.

Serge Haddad, Claude Girault

Proceedings of the Advances in Petri Nets 1987, 1986

Specification and properties of a cache coherence protocol model.

Claude Girault, C. Chatelain, Serge Haddad

Proceedings of the Advances in Petri Nets 1987, 1986

1985

Satellite Protocol Modeling by Synchronous Predicate Transition Nets.

Pascal Estraillier, Claude Girault, Jean-Michel Ilié

Proceedings of the International Workshop on Timed Petri Nets, 1985

1984

Modelling scheduling problems with timed Petri nets.

J. Carlier, Philippe Chrétienne, Claude Girault

Proceedings of the Advances in Petri Nets 1984, 1984

1982

Petri Net Specification of a New Protocol for Controlling a Distributed System Organization.

Pascal Estraillier, Claude Girault

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

Petri Nets Specification of Virtual Ring Protocols.

Pascal Estraillier, Claude Girault

Proceedings of the Applications and Theory of Petri Nets, 1982

1981

The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology.

Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol

Proceedings of the 5th International Conference on Software Engineering, 1981

Petri Net Modelling and Reliability of Distributed Algorithms.

Gérard Berthelot, Claude Girault, Gérard Roucairol

Proceedings of the Application and Theory of Petri Nets, 1981

1979

Survey of French Research and Applications Based on Petri Nets.

Charles André, M. Diaz, Claude Girault, Joseph Sifakis

Proceedings of the Net Theory and Applications, 1979

1973

Transferability of high level languages.

M. Dupras, M. Gauthier, Claude Girault

ACM SIGPLAN Notices, 1973

An extensible system for abstract machines.

C. Daquin, Claude Girault, Brigitte de la Passardière, B. Quement

ACM SIGPLAN Notices, 1973