Gerard Florin

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