Claude Girault

19 papers A* 1A 1Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2003 — book
Petri nets for systems engineering - a guide to modeling, verification, and applications.
Claude Girault, Rüdiger Valk
2001 — conf
A Simulation Environment for SDH Synchronization Network Planning.
DRCN
Jean-Thierry Calvet, Claude Girault
1998 — conf
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.
ICATPN
Kathi Fisler, Claude Girault
1996 J jnl
A Formalism to Model Task Execution in Distributed Systems.
Inf. Sci.
Rajeev Jayaram, Rajib Mall, Lalit M. Patnaik, Claude Girault
1996 — conf
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets.
Application and Theory of Petri Nets
Mohamed-Lyes Benalycherif, Claude Girault
1994 — ed.
Applications in Parallel and Distributed Computing, Proceedings of the IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing, Caracas, Venezuela, 18-22 April, 1994
Applications in Parallel and Distributed Computing
Claude Girault
1993 J jnl
Performance analysis of a pipelined backpropagation parallel algorithm.
IEEE Trans. Neural Networks
Alain Pétrowski, Gérard Dreyfus, Claude Girault
1986 — conf
Algebraic structure of flows of a regular coloured net.
European Workshop on Applications and Theory of Petri Nets
Serge Haddad, Claude Girault
1986 — conf
Specification and properties of a cache coherence protocol model.
European Workshop on Applications and Theory of Petri Nets
Claude Girault, C. Chatelain, Serge Haddad
1985 — conf
Satellite Protocol Modeling by Synchronous Predicate Transition Nets.
PNPM
Pascal Estraillier, Claude Girault, Jean-Michel Ilié
1984 — conf
Modelling scheduling problems with timed Petri nets.
European Workshop on Applications and Theory in Petri Nets
J. Carlier, Philippe Chrétienne, Claude Girault
1982 — ed.
Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Claude Girault, Wolfgang Reisig
1982 A conf
Petri Net Specification of a New Protocol for Controlling a Distributed System Organization.
ICDCS
Pascal Estraillier, Claude Girault
1982 — conf
Petri Nets Specification of Virtual Ring Protocols.
European Workshop on Applications and Theory of Petri Nets
Pascal Estraillier, Claude Girault
1981 — conf
Petri Net Modelling and Reliability of Distributed Algorithms.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Gérard Berthelot, Claude Girault, Gérard Roucairol
1981 A* conf
The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology.
ICSE
Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol
1979 — conf
Survey of French Research and Applications Based on Petri Nets.
Advanced Course: Net Theory and Applications
Charles André, M. Diaz, Claude Girault, Joseph Sifakis
1973 J jnl
An extensible system for abstract machines.
ACM SIGPLAN Notices
C. Daquin, Claude Girault, Brigitte de la Passardière, B. Quement
1973 J jnl
Transferability of high level languages.
ACM SIGPLAN Notices
M. Dupras, M. Gauthier, Claude Girault