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 |