Gerard Florin

Publication Activity (10 Years)

Years Active: 1981-2004
Publications (10 Years): 0

Publications

Renaud Pawlak, Lionel Seinturier, Laurence Duchien, Gerard Florin, Fabrice Legond-Aubry, Laurent Martelli
JAC: an aspect-based distributed dynamic framework. Softw. Pract. Exp. 34 (12) (2004)
Daniel Enselme, Gerard Florin, Fabrice Legond-Aubry
Design by Contract: analysis of hidden dependencies in component based application. J. Object Technol. 3 (4) (2004)
Renaud Pawlak, Laurence Duchien, Gerard Florin, Lionel Seinturier
JAC : un framework pour la programmation orientée aspect en Java. Obj. Logiciel Base données Réseaux 8 (4) (2002)
Renaud Pawlak, Laurence Duchien, Gerard Florin, Laurent Martelli, Lionel Seinturier
Une approche pour la programmation répartie : les composants d'aspect. Obj. Logiciel Base données Réseaux 8 (3) (2002)
Renaud Pawlak, Lionel Seinturier, Laurence Duchien, Gerard Florin
JAC: A Flexible Solution for Aspect-Oriented Programming in Java. Reflection (2001)
Renaud Pawlak, Laurence Duchien, Gerard Florin, Lionel Seinturier
Dynamic Wrappers: Handling the Composition Issue with JAC. TOOLS (39) (2001)
Laurence Duchien, Gerard Florin, Lionel Seinturier
Partial Order Relations in Distributed Object Environments. ACM SIGOPS Oper. Syst. Rev. 34 (4) (2000)
Renaud Pawlak, Laurence Duchien, Gerard Florin, Laurent Martelli, Lionel Seinturier
Distributed Separation of Concerns with Aspect Components. TOOLS (33) (2000)
Christian Toinard, Gerard Florin, Christian Carrez
A Formal Method to Prove Ordering Properties of Multicast Systems. ACM SIGOPS Oper. Syst. Rev. 33 (4) (1999)
Renaud Pawlak, Laurence Duchien, Gerard Florin
An Automatic Aspect Weaver with a Reflective Programming Language. Reflection (1999)
Renaud Pawlak, Laurence Duchien, Lionel Seinturier, P. Champagnoux, Daniel Enselme, Gerard Florin
A Reflective Implementation of a Distributed Programming Model. ECOOP Workshops (1998)
Lionel Seinturier, Laurence Duchien, Gerard Florin
CAOLAC : un protocole à méta-objets pour la synchronisation d'objets concurrents. Obj. Logiciel Base données Réseaux 4 (3) (1998)
Lionel Seinturier, Laurence Duchien, Gerard Florin
A Meta-Object Protocol for Distributed OO Applications. TOOLS (23) (1997)
P. Placide, Gerard Florin, Laurence Duchien, Lionel Seinturier
A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications. AADEBUG (1995)
Nacéra Bennacer, Gerard Florin, Stéphane Natkin
Probabilistic Validation using Worst Event Driven amd Importance Sampling Simulation. SRDS (1994)
Nacéra Bennacer, Gerard Florin, Céline Fraize, Stéphane Natkin
Probabilistic Validation of a Remote Procedure Call Protocol. Application and Theory of Petri Nets (1994)
Gerard Florin, Christian Toinard
A New Way to Design Causally and Totally Ordered Multicast Protocols. ACM SIGOPS Oper. Syst. Rev. 26 (4) (1992)
D. Couvet, Gerard Florin, Stéphane Natkin
A Statistical Clock Synchronization Algorithm for Anisotropic Networks. SRDS (1991)
Gerard Florin, Stéphane Natkin
Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets. IEEE Trans. Software Eng. 17 (2) (1991)
Gerard Florin, Céline Fraize, Stéphane Natkin
Searching Best Paths to Worst States. PNPM (1991)
Gerard Florin, Stéphane Natkin
Matrix Product Form Solution for Closed Synchronized Queuing Networks. PNPM (1989)
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)
Gerard Florin, Stéphane Natkin
Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks. IEEE Trans. Software Eng. 15 (4) (1989)
Kamel Barkaoui, Gerard Florin, Céline Fraize, Bernard Lemaire, Stéphane Natkin
Reliability analysis of non repairable systems using stochastic Petri nets. FTCS (1988)
Gerard Florin, Stéphane Natkin
A Necessary and Sufficient Saturation Condition for Open Synchronized Queueing Networks. PNPM (1987)
Gerard Florin, Stéphane Natkin
One-place unbounded stochastic petri nets: Ergodic criteria and steady-state solutions. J. Syst. Softw. 6 (1-2) (1986)
Gerard Florin, Stéphane Natkin
On Open Synchronized Queuing Networks. PNPM (1985)
Gerard Florin, Stéphane Natkin, A. Woog, J. Attal
Quantitative Validation for Industrial Ethernet Local Networks. Protocol Specification, Testing, and Verification (1983)
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)