Gerard Florin

According to our database1, Gerard Florin authored at least 29 papers between 1981 and 2004.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
JAC: an aspect-based distributed dynamic framework.
Softw. Pract. Exp., 2004

Design by Contract: analysis of hidden dependencies in component based application.
J. Object Technol., 2004

2002
JAC : un framework pour la programmation orientée aspect en Java.
Obj. Logiciel Base données Réseaux, 2002

Une approche pour la programmation répartie : les composants d'aspect.
Obj. Logiciel Base données Réseaux, 2002

2001
Dynamic Wrappers: Handling the Composition Issue with JAC.
Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001

JAC: A Flexible Solution for Aspect-Oriented Programming in Java.
Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

2000
Partial Order Relations in Distributed Object Environments.
ACM SIGOPS Oper. Syst. Rev., 2000

Distributed Separation of Concerns with Aspect Components.
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

1999
A Formal Method to Prove Ordering Properties of Multicast Systems.
ACM SIGOPS Oper. Syst. Rev., 1999

An Automatic Aspect Weaver with a Reflective Programming Language.
Proceedings of the Meta-Level Architectures and Reflection, 1999

1998
CAOLAC : un protocole à méta-objets pour la synchronisation d'objets concurrents.
Obj. Logiciel Base données Réseaux, 1998

A Reflective Implementation of a Distributed Programming Model.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
A Meta-Object Protocol for Distributed OO Applications.
Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

1995
A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications.
Proceedings of the Second International Workshop on Automated Debugging, 1995

1994
Probabilistic Validation using Worst Event Driven amd Importance Sampling Simulation.
Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

Probabilistic Validation of a Remote Procedure Call Protocol.
Proceedings of the Application and Theory of Petri Nets 1994, 1994

1992
A New Way to Design Causally and Totally Ordered Multicast Protocols.
ACM SIGOPS Oper. Syst. Rev., 1992

1991
Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets.
IEEE Trans. Software Eng., 1991

A Statistical Clock Synchronization Algorithm for Anisotropic Networks.
Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

Searching Best Paths to Worst States.
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

1989
Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks.
IEEE Trans. Software Eng., 1989

Matrix Product Form Solution for Closed Synchronized Queuing Networks.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Petri net models of a distributed election protocol on a unidirectional ring.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988
Reliability analysis of non repairable systems using stochastic Petri nets.
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1987
A Necessary and Sufficient Saturation Condition for Open Synchronized Queueing Networks.
Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987

1986
One-place unbounded stochastic petri nets: Ergodic criteria and steady-state solutions.
J. Syst. Softw., 1986

1985
On Open Synchronized Queuing Networks.
Proceedings of the International Workshop on Timed Petri Nets, 1985

1983
Quantitative Validation for Industrial Ethernet Local Networks.
Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1981
Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol.
Proceedings of the Application and Theory of Petri Nets, 1981


  Loading...