F. Kordon, A. Linard, M. Becutti, D. Buchs, L. Fronc, L. Hillah, F. Hulin‑Hubard, F. Legond‑Aubry, N. Lohmann, A. Marechal, E. Paviot‑Adet, F. Pommereau, C. Rodríguez, Ch. Rohr, Y. Thierry‑Mieg, H. Wimmel, C. Wolf : “Web Report on the Model Checking Contest @ Petri Net 2013”, (2013)
J. Sopena, L. Arantes, F. Legond‑Aubry, P. Sens : “Synchronization protocols for sharing resources in grid environments”, chapter in Fundamentals of Grid Computing (CRC Numerical Analysis and Scientific Computing Series), 1 edition, (Chapman and Hall), (ISBN: 9781439803677) (2009)
S. Baarir, J. Sopena, F. Legond‑Aubry : “On the Formal Verification of a Generic Hierarchical Mutual Exclusion Algorithm”, 28th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'08 ), vol. 5048, Lecture Notes in Computer Science, Tokyo, Japan, pp. 99-115, (Springer-Verlag) (2008)
J. Sopena, L. Arantes, F. Legond‑Aubry, P. Sens : “The impact of clustering on token-based mutual exclusion algorithms”, Euro-Par 2008 Workshops - Parallel Processing, vol. 5168, Lecture Notes in Computer Science, Las Palmas de Gran Canaria, Spain, pp. 565-575, (Springer) (2008)
A. Hamez, F. Kordon, Y. Thierry‑Mieg, F. Legond‑Aubry : “dmcG: a distributed symbolic model checker based on GreatSPN”, ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency, vol. 4546, Lecture Notes in Computer Science, Siedlce, Poland, pp. 495-504, (Springer) (2007)
2004
R. Pawlak, L. Seinturier, L. Duchien, G. Florin, F. Legond‑Aubry, L. Martelli : “JAC: An Aspect-Based Distributed Dynamic Framework”, Software: Practice and Experience, vol. 34 (12), pp. 1119-1148, (Wiley) (2004)
R. Pawlak, L. Seinturier, L. Duchien, L. Martelli, F. Legond‑Aubry, G. Florin : “Aspect-Oriented Software Development with Java Aspect Components”, chapitre de Aspect-Oriented Software Development, pp. 343-369, (Addison-Wesley), (ISBN: 0-321-21976-7) (2004)
F. Legond‑Aubry, D. Enselme, G. Florin : “Assembling Contracts for Components”, Formal Methods for Open Object-based Distributed Systems (FMOODS-DAIS), Paris, France (2003)
F. Legond‑Aubry, D. Enselme, G. Florin : “Contrat d’assemblage de composants”, Conférence Française sur les Systèmes d'Exploitation (CFSE), La Colle-sur-Loup, France, pp. 586-601 (2003)
2002
R. Pawlak, L. Seinturier, L. Duchien, G. Florin, F. Legond‑Aubry, L. Martelli : “An UML Notation for Aspect-Oriented Software Design”, Workshop UML at the 1st International Conference on Aspect-Oriented Development (AOSD 2002), Enschede, Netherlands (2002)