| 2004 |
| 28 | EE | Daniel Enselme,
Gerard Florin,
Fabrice Legond-Aubry:
Design by Contract: analysis of hidden dependencies in component based application.
Journal of Object Technology 3(4): 23-45 (2004) |
| 27 | EE | Renaud Pawlak,
Lionel Seinturier,
Laurence Duchien,
Gerard Florin,
Fabrice Legond-Aubry,
Laurent Martelli:
JAC: an aspect-based distributed dynamic framework.
Softw., Pract. Exper. 34(12): 1119-1148 (2004) |
| 2002 |
| 26 | EE | Renaud Pawlak,
Laurence Duchien,
Gerard Florin,
Laurent Martelli,
Lionel Seinturier:
Une approche pour la programmation répartie : les composants d'aspect.
L'OBJET 8(3): 39-59 (2002) |
| 25 | EE | Renaud Pawlak,
Laurence Duchien,
Gerard Florin,
Lionel Seinturier:
JAC : un framework pour la programmation orientée aspect en Java.
L'OBJET 8(4): 145-168 (2002) |
| 2001 |
| 24 | EE | Renaud Pawlak,
Lionel Seinturier,
Laurence Duchien,
Gerard Florin:
JAC: A Flexible Solution for Aspect-Oriented Programming in Java.
Reflection 2001: 1-24 |
| 23 | EE | Renaud Pawlak,
Laurence Duchien,
Gerard Florin,
Lionel Seinturier:
Dynamic Wrappers: Handling the Composition Issue with JAC.
TOOLS (39) 2001: 56-65 |
| 2000 |
| 22 | EE | Renaud Pawlak,
Laurence Duchien,
Gerard Florin,
Laurent Martelli,
Lionel Seinturier:
Distributed Separation of Concerns with Aspect Components.
TOOLS (33) 2000: 276-287 |
| 21 | | Laurence Duchien,
Gerard Florin,
Lionel Seinturier:
Partial Order Relations in Distributed Object Environments.
Operating Systems Review 34(4): 56-75 (2000) |
| 1999 |
| 20 | EE | Renaud Pawlak,
Laurence Duchien,
Gerard Florin:
An Automatic Aspect Weaver with a Reflective Programming Language.
Reflection 1999: 147-149 |
| 19 | | Christian Toinard,
Gerard Florin,
C. Carrez:
A Formal Method to Prove Ordering Properties of Multicast Systems.
Operating Systems Review 33(4): 75-89 (1999) |
| 1998 |
| 18 | EE | Renaud Pawlak,
Laurence Duchien,
Lionel Seinturier,
P. Champagnoux,
Daniel Enselme,
Gerard Florin:
A Reflective Implementation of a Distributed Programming Model.
ECOOP Workshops 1998: 384-385 |
| 17 | | Lionel Seinturier,
Laurence Duchien,
Gerard Florin:
CAOLAC : un protocole à méta-objets pour la synchronisation d'objets concurrents.
L'OBJET 4(3): (1998) |
| 1997 |
| 16 | EE | Lionel Seinturier,
Laurence Duchien,
Gerard Florin:
A Meta-Object Protocol for Distributed OO Applications.
TOOLS (23) 1997: 306-317 |
| 1995 |
| 15 | | P. Placide,
Gerard Florin,
Laurence Duchien,
Lionel Seinturier:
A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications.
AADEBUG 1995: 233-247 |
| 1994 |
| 14 | | N. Bennacer,
Gerard Florin,
C. Fraize,
Stéphane Natkin:
Probabilistic Validation of a Remote Procedure Call Protocol.
Application and Theory of Petri Nets 1994: 59-78 |
| 13 | | N. Bennacer,
Gerard Florin,
Stéphane Natkin:
Probabilistic Validation using Worst Event Driven amd Importance Sampling Simulation.
SRDS 1994: 84-93 |
| 1992 |
| 12 | | Gerard Florin,
Christian Toinard:
A New Way to Design Causally and Totally Ordered Multicast Protocols.
Operating Systems Review 26(4): 77-83 (1992) |
| 1991 |
| 11 | | Gerard Florin,
C. Fraize,
Stéphane Natkin:
Searching Best Paths to Worst States.
PNPM 1991: 204-209 |
| 10 | | D. Couvet,
Gerard Florin,
Stéphane Natkin:
A Statistical Clock Synchronization Algorithm for Anisotropic Networks.
SRDS 1991: 42-51 |
| 9 | EE | Gerard Florin,
Stéphane Natkin:
Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets.
IEEE Trans. Software Eng. 17(2): 99-107 (1991) |
| 1989 |
| 8 | | Gerard Florin,
Claude Kaiser,
Stéphane Natkin:
Petri net models of a distributed election protocol on a unidirectional ring.
Applications and Theory of Petri Nets 1989: 287-312 |
| 7 | | Gerard Florin,
Stéphane Natkin:
Matrix Product Form Solution for Closed Synchronized Queuing Networks.
PNPM 1989: 29-37 |
| 6 | EE | Gerard Florin,
Stéphane Natkin:
Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks.
IEEE Trans. Software Eng. 15(4): 367-380 (1989) |
| 1987 |
| 5 | | Gerard Florin,
Stéphane Natkin:
A Necessary and Sufficient Saturation Condition for Open Synchronized Queueing Networks.
PNPM 1987: 4-13 |
| 1986 |
| 4 | EE | Gerard Florin,
Stéphane Natkin:
One-place unbounded stochastic petri nets: Ergodic criteria and steady-state solutions.
Journal of Systems and Software 6(1-2): 103-115 (1986) |
| 1985 |
| 3 | | Gerard Florin,
Stéphane Natkin:
On Open Synchronized Queuing Networks.
PNPM 1985: 226-233 |
| 1983 |
| 2 | | Gerard Florin,
Stéphane Natkin,
A. Woog,
J. Attal:
Quantitative Validation for Industrial Ethernet Local Networks.
Protocol Specification, Testing, and Verification 1983: 251-256 |
| 1981 |
| 1 | | Gerard Florin,
Stéphane Natkin:
Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 280-288 |