Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol. - Gerard Florin; Stéphane Natkin (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Quantitative Validation for Industrial Ethernet Local Networks. - Gerard Florin; Stéphane Natkin; A. Woog; J. Attal (Protocol Specification, Testing, and Verification, 1983)

On Open Synchronized Queuing Networks. - Gerard Florin; Stéphane Natkin (PNPM, 1985)

One-place unbounded stochastic petri nets: Ergodic criteria and steady-state solutions. - Gerard Florin; Stéphane Natkin (J. Syst. Softw., 1986)

A Necessary and Sufficient Saturation Condition for Open Synchronized Queueing Networks. - Gerard Florin; Stéphane Natkin (PNPM, 1987)

Reliability analysis of non repairable systems using stochastic Petri nets. - Kamel Barkaoui; Gerard Florin; Céline Fraize; Bernard Lemaire; Stéphane Natkin (FTCS, 1988)

Petri net models of a distributed election protocol on a unidirectional ring. - Gerard Florin; Claude Kaiser; Stéphane Natkin (Applications and Theory of Petri Nets, 1989)

Matrix Product Form Solution for Closed Synchronized Queuing Networks. - Gerard Florin; Stéphane Natkin (PNPM, 1989)

Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks. - Gerard Florin; Stéphane Natkin (IEEE Trans. Software Eng., 1989)

Searching Best Paths to Worst States. - Gerard Florin; Céline Fraize; Stéphane Natkin (PNPM, 1991)

A Statistical Clock Synchronization Algorithm for Anisotropic Networks. - D. Couvet; Gerard Florin; Stéphane Natkin (SRDS, 1991)

Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets. - Gerard Florin; Stéphane Natkin (IEEE Trans. Software Eng., 1991)

A New Way to Design Causally and Totally Ordered Multicast Protocols. - Gerard Florin; Christian Toinard (ACM SIGOPS Oper. Syst. Rev., 1992)

Probabilistic Validation of a Remote Procedure Call Protocol. - Nacéra Bennacer; Gerard Florin; Céline Fraize; Stéphane Natkin (Application and Theory of Petri Nets, 1994)

Probabilistic Validation using Worst Event Driven amd Importance Sampling Simulation. - Nacéra Bennacer; Gerard Florin; Stéphane Natkin (SRDS, 1994)

A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications. - P. Placide; Gerard Florin; Laurence Duchien; Lionel Seinturier (AADEBUG, 1995)

A Meta-Object Protocol for Distributed OO Applications. - Lionel Seinturier; Laurence Duchien; Gerard Florin (TOOLS (23), 1997)

A Reflective Implementation of a Distributed Programming Model. - Renaud Pawlak; Laurence Duchien; Lionel Seinturier; P. Champagnoux; Daniel Enselme; Gerard Florin (ECOOP Workshops, 1998)

CAOLAC : un protocole à méta-objets pour la synchronisation d'objets concurrents. - Lionel Seinturier; Laurence Duchien; Gerard Florin (Obj. Logiciel Base données Réseaux, 1998)

An Automatic Aspect Weaver with a Reflective Programming Language. - Renaud Pawlak; Laurence Duchien; Gerard Florin (Reflection, 1999)

A Formal Method to Prove Ordering Properties of Multicast Systems. - Christian Toinard; Gerard Florin; Christian Carrez (ACM SIGOPS Oper. Syst. Rev., 1999)

Distributed Separation of Concerns with Aspect Components. - Renaud Pawlak; Laurence Duchien; Gerard Florin; Laurent Martelli; Lionel Seinturier (TOOLS (33), 2000)

Partial Order Relations in Distributed Object Environments. - Laurence Duchien; Gerard Florin; Lionel Seinturier (ACM SIGOPS Oper. Syst. Rev., 2000)

JAC: A Flexible Solution for Aspect-Oriented Programming in Java. - Renaud Pawlak; Lionel Seinturier; Laurence Duchien; Gerard Florin (Reflection, 2001)

Dynamic Wrappers: Handling the Composition Issue with JAC. - Renaud Pawlak; Laurence Duchien; Gerard Florin; Lionel Seinturier (TOOLS (39), 2001)

Une approche pour la programmation répartie : les composants d'aspect. - Renaud Pawlak; Laurence Duchien; Gerard Florin; Laurent Martelli; Lionel Seinturier (Obj. Logiciel Base données Réseaux, 2002)

JAC : un framework pour la programmation orientée aspect en Java. - Renaud Pawlak; Laurence Duchien; Gerard Florin; Lionel Seinturier (Obj. Logiciel Base données Réseaux, 2002)

Design by Contract: analysis of hidden dependencies in component based application. - Daniel Enselme; Gerard Florin; Fabrice Legond-Aubry (J. Object Technol., 2004)

JAC: an aspect-based distributed dynamic framework. - Renaud Pawlak; Lionel Seinturier; Laurence Duchien; Gerard Florin; Fabrice Legond-Aubry; Laurent Martelli (Softw. Pract. Exp., 2004)