2002-2013 Publications

• 2013
  • 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)
• 2009
  • J. Sopena, L. Arantes, F. Legond‑Aubry, P. Sens : “Building Effective Mutual Exclusion Services for Grids”, Journal of Supercomputing, vol. 49 (1), pp. 84-107, (Springer Verlag) (2009)
  • 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)
  • J. Sopena, S. Baarir, F. Legond‑Aubry : “Vérification formelle d’un algorithme générique et hiérarchique d’exclusion mutuelle”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 28 (9), pp. 1085-1105, (Lavoisier) (2009)
• 2008
  • S. Baarir, J. Sopena, F. Legond‑Aubry : “On the Formal Verification of a Generic Hierarchical Mutual Exclusion Algorithm”, 28^th 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, F. Legond‑Aubry, L. Arantes, P. Sens : “Composition d’algorithmes d’exclusion mutuelle pour les grilles de calcul.”, 6^e Conférence Française sur les Systèmes d'Exploitation (CFSE'08), Chapitre français de l'ACM-SIGOPS, GDR ARP, Fribourg, Switzerland (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)
• 2007
  • J. Sopena, F. Legond‑Aubry, L. Arantes, P. Sens : “A Composition Approach to Mutual Exclusion Algorithms for Grid Applications”, The 36^th International Conference on Parallel Processing (ICPP07), XiAn, China, pp. 65-65, (IEEE Computer Society) (2007)
  • A. Hamez, F. Kordon, Y. Thierry‑Mieg, F. Legond‑Aubry : “dmcG: a distributed symbolic model checker based on GreatSPN”, ICATPN'07 Proceedings of the 28^th 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)
  • F. Legond‑Aubry, G. Florin, L. Seinturier : “An AOP Layer to Abstract Programming with Distributed Components”, Workshop of Aspect-Oriented Software Development, Beijing, China, pp. 17-31 (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)
  • D. Enselme, G. Florin, F. Legond‑Aubry : “Design by Contracts : Analysis of Hidden Dependencies in Component Based Applications”, The Journal of Object Technology, vol. 3 (4), pp. 23-45, (Chair of Software Engineering) (2004)
  • A. Georgin, F. Legond‑Aubry, S. Matougui, N. Moteau, A. Muller, A. Tauveron : “Description des assemblages et des contrats pour la conception par composants (projet ACCORD)”, Journées Composants 2004, Langages et Modèles à Objets, Lille, France (2004)
• 2003
  • 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 1^st International Conference on Aspect-Oriented Development (AOSD 2002), Enschede, Netherlands (2002)