Gerard Florin

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)

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)

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)

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)

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

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

Laurence Duchien, Gerard Florin, Lionel Seinturier: Partial Order Relations in Distributed Object Environments. Operating Systems Review 34(4): 56-75 (2000)

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

Christian Toinard, Gerard Florin, C. Carrez: A Formal Method to Prove Ordering Properties of Multicast Systems. Operating Systems Review 33(4): 75-89 (1999)

Renaud Pawlak, Laurence Duchien, Gerard Florin: An Automatic Aspect Weaver with a Reflective Programming Language. Reflection 1999: 147-149

Lionel Seinturier, Laurence Duchien, Gerard Florin: CAOLAC : un protocole à méta-objets pour la synchronisation d'objets concurrents. L'OBJET 4(3) (1998)

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

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

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

N. Bennacer, Gerard Florin, Céline Fraize, Stéphane Natkin: Probabilistic Validation of a Remote Procedure Call Protocol. Application and Theory of Petri Nets 1994: 59-78

N. Bennacer, Gerard Florin, Stéphane Natkin: Probabilistic Validation using Worst Event Driven amd Importance Sampling Simulation. SRDS 1994: 84-93

Gerard Florin, Christian Toinard: A New Way to Design Causally and Totally Ordered Multicast Protocols. Operating Systems Review 26(4): 77-83 (1992)

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)

Gerard Florin, Céline Fraize, Stéphane Natkin: Searching Best Paths to Worst States. PNPM 1991: 204-209

D. Couvet, Gerard Florin, Stéphane Natkin: A Statistical Clock Synchronization Algorithm for Anisotropic Networks. SRDS 1991: 42-51

Gerard Florin, Stéphane Natkin: Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks. IEEE Trans. Software Eng. 15(4): 367-380 (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: 287-312

Gerard Florin, Stéphane Natkin: Matrix Product Form Solution for Closed Synchronized Queuing Networks. PNPM 1989: 29-37

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

Gerard Florin, Stéphane Natkin: A Necessary and Sufficient Saturation Condition for Open Synchronized Queueing Networks. PNPM 1987: 4-13

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)

Gerard Florin, Stéphane Natkin: On Open Synchronized Queuing Networks. PNPM 1985: 226-233

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

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