1. Diana Allam. A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts, March 2012. Note: Poster- AOSD 2012 (Aspect-Oriented Software Development) Student Research Competition. Keyword(s): Formal Methods, Security, Reference Monitors, Aspects, Service-Oriented Architecture.



2. Hervé Grall and Mayleen Lacouture. Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine. , 2012. Keyword(s): Distributed Computing, Concurrent Computing, Service-Oriented Computing, Chemical Semantics, Web Services, Interoperability.

1. Julien Cohen and Rémi Douence. Views, Program Transformations, and the Evolutivity Problem in a Functional Language. Note: 19 pages, 2011. Keyword(s): program transformation, views, refactoring, dominant decomposition.



2. Guilhem Jaber and Nicolas Tabareau. Decomposing Logical Relations with Forcing. , 2011.

1. Guilhem Jaber. Krivine Realizability for Compiler Correctness. Master's thesis, June 2010.



2. Hervé Grall. Proving Fixed Points. , 2010. Keyword(s): fixed points, partially ordered sets, inference systems, induction, coinduction.



3. Hervé Grall and Nicolas Tabareau. Linear logic as a foundation for service-oriented computing. , 2010.

1. Frédéric Lepage. Environnement efficace pour automates symboliques : une approche par développement de prototype. Master's thesis, Conservatoire National des Arts et Métiers des Pays de la Loire, December 2008. Note: Mémoire d'Ingénieur CNAM.

1. Fabricio Fernandes and Jean-Claude Royer. The STSLIB Project: Towards a Formal Component Model Based on STS. Note: Formal Aspects of Component Software to appear, 2007.

1. Fabien Hermenier. Gestion dynamique des grilles de calcul : Application à la gestion d'énergie.. Master's thesis, École des Mines de Nantes and Université de Nantes, September 2006.



2. Angel Nuñez. Concurrent Aspects. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, August 2006.



3. Artun Ozsemerciyan. Passage de contexte par aspects. Master's thesis, École des Mines de Nantes, September 2006.

1. Ali Assaf. Vers un générateur de langages d'aspects. Master's thesis, École des Mines de Nantes/Université de Nantes, September 2005.



2. Luis Daniel Benavides Navarro. Dhamaca: an aspect-oriented language for explicit distributed programming. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, August 2005.



3. S. Berkani. Conception d'un système vidéo personnel garantissant la qualité de service. Master's thesis, École des Mines de Nantes/Université de Nantes, September 2005.



4. Richa Gupta. A Wrapper API for Reflex. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, August 2005.



5. Marc Léger. Intégrité structurelle dans les architectures à composants. Application à l'intégrité des communications dans la plateforme Fractal/Julia. Master's thesis, LINA, 2005.

1. Fabien Baligand. Perspectives d'intégration des services Web aux architectures orientées services. Master's thesis, LINA, 2004.



2. Nicolas Loriant. Évolution dynamique dans les systèmes d'exploitation, une approche par AOP. Master's thesis, École des Mines de Nantes, August 2004.



3. Olivier Maréchal. Algorithmes d'analyse des communications asynchrones entre composants. Master's thesis, École des Mines de Nantes, Université de Nantes, August 2004.



4. Florian Minjat. Vers une modélisation transverse et modulaire des collaborations par couplage des traits et des classboxes, Crosscutting and scoped collaborations. Master's thesis, École des Mines de Nantes, September 2004.



5. Abdelghani Sedkaoui. Implantation d'un modèle à composants en Java. Master's thesis, LaMI - Université d'Évry Val d'Essonne, August 2004.



6. Richard Urunuela. Extension du langage Bossa à la problématique de facturation et de gestion de l'énergie du processeur. Master's thesis, École des Mines de Nantes, September 2004. Keyword(s): DSL, énergie, conteneur de ressources. [Abstract]

1. Yan Chen. Aspect-Oriented Programming (AOP): Dynamic Weaving for C++. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, August 2003.



2. Arnaud Denoual. Intégration de Bossa dans .NET. Master's thesis, École des Mines de Nantes, September 2003.



3. Hervé Duchesne. Conception d'ordonnanceurs pour systèmes multiprocesseurs. Master's thesis, École des Mines de Nantes, September 2003.



4. Sebastian Pavel. Lignes de Produits Logiciels en ArchJava (Software Product Lines in ArchJava). Master's thesis, École des Mines de Nantes, September 2003.



5. Diego De Sogos. Component Generators: Towards Adaptable and Efficient Software Components. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, August 2003.



6. Kaiye Xu. Analysis and Implementation of Asynchronous Component Model. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, August 2003.

1. Rodrigo Meza. A composition aspect for Java components. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, August 2002.



2. Laura Ponisio. A Binding-Time Analysis for petitCafé. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, August 2002.

1. Gustavo Bobeff. ARCom (Another Reusable Component Model). Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, September 2001.



2. V. H. Arroyo Ibanez. Aspect-Oriented Programming for Features in Telecom Applications. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 2001.



3. Liang Peng. Formalization of Static and Dynamic UML Using Algebraic Specifications. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, September 2001.



4. État de l'art sur l'adaptabilité, December 2001.



5. Pierre Cointe, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Jacques Noyé, and Mario Südholt. KLEE - Langages à objets, programmation par aspects et modèles de composants : vers des architectures logicielles adaptables, December 2001. Note: Document de travail.

1. G. B. Arevalo. Object-Oriented Architectural Description of Frameworks. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 2000.



2. G. P. Casarini. Transparent Strong Mobility using a Reflective Smalltalk. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 2000.



3. Pierre Cointe and Thomas Ledoux. Pour des architectures logicielles ouvertes et adaptables. La réflexion : pourquoi et comment ?, 2000.

1. Osvaldo Pinali Doederlein. Design Pattern Extraction for Software Documentation. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 1999.



2. Andrés Farías. Towards a security aspect for Java. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 1999.



3. Marcelo Machado Feres. Detecting Design Defect in Object-Oriented Software. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 1999.



4. Lucia Torres Gastal. A Guideline to Detect Reusable Components. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 1999.



5. Laci Mary Manhaes. Data Abstraction and Visualization Transform in a Framework for Information Visualization. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 1999.



6. Maria Jose Presso. Reflective and Metalevel Architectures in Java: from Objects to Components. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 1999.



7. James Roberto Windmüller. Mobile Agents: Patterns and Reflection. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 1999.



8. Aline Pires Vieira de Vasconcelos. Formalization of UML using Algebraic Specifications. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 1999.

1. Pierre Cointe. Langages à objets, une révolution informatique, June 1996.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html