Pictures of the research group: (2004) * (2005) * (2006) * (2007) * (2010)

Doctoral Theses

• Finished
  
• Ongoing

Master Theses

• Finished
  
• Ongoing
  

Supervision of Undergraduate-level Projects

• Finished and Ongoing
  

Supervised PhD Theses

1. Dynamic Adaptation of Distributed Systems,
   Francisco José da Silva e Silva, IME/USP, February 21st, 2003.
   Co-supervisor: Prof. Fabio Kon (IME/USP)

2. A Framework for the Composition, Testing and Simulation of Protocols for Seamless Handover,
   Vera Nagamuta, IME/USP, April 20th, 2006.
   Co-Supervisor: Prof. Siang W. Song (IME-USP)

3. Privacy Management for Context-aware Applications in Mobile Networks,
   Vagner José do Sacramento Rodrigues, PUC-Rio, September 15th, 2006.
   Co-Supervisor: Prof. Clarisse S. de Souza (PUC-Rio)

4. A Protocol for Discovery and Selection of Resources in Ad Hoc Mobile Grids,
   Luciana dos Santos Lima, PUC-Rio, June 15th, 2007.
   Co-Supervisors: Prof. Luis Fernando G. Soares, Artur Ziviani, Antonio Tadeu Gomes

5. Support for Context-aware Content Adaptation for Mobile Devices in Publish/Subscribe Systems,
   Hana Karina S. Rubinsztejn, PUC-Rio, September 14th, 2007.

6. Context Management for Distributed and Dynamic Context-Aware Computing,
   Ricardo Couto Antunes da Rocha, PUC-Rio, February 6th, 2009. (Abstract)

7. Proposals of Routing Protocols for VANETs in Urban Environments,
   Helcio Bezerra de Mello, (helciomello_at_yahoo.com), PUC-Rio, January 28th, 2009.

8. Decentralized Reasoning in Ambient Intelligence,
   Jose Viterbo Filho, (viterbo_at_inf.puc-rio.br), PUC-Rio, September, 2009.

Supervised Master Theses

1. A Message Tracking Protocol for Asynchronous Checkpointing
   Sergio Ricado da Conceição, ric@ime.usp.br, IME-USP, September 1997

2. Formal Specification and Test of a Group Communication Protocol
   Perry James, (perry_at_ime.usp.br), IME-USP, October 1997 (Abstract)
   Co-supervisor: Prof. Marie-Claude Gaudel (LRI/France)
   The full LOTOS Specification of the Two-Phase-Commit Protocol

3. Monitoring Composite Events in Distributed Systems
   Douglas Moreto, (douglas.moreto_at_ac.com), IME-USP, September 1998 (Abstract)

4. Coordination of Mobile Agents through the Broadcast Channel,
   Vera Nagamuta, (nagamuta_at_ime.usp.br), IME-USP, November 1999 (Abstract)

5. Transparent Partitioning of Distributed Virual Environments
   Marcos Alves, alves@ime.usp.br, IME-USP, April 2000,(Abstract)

6. Juggler: An Infrastructure for the Management of Fault-tolerant CORBA Applications
   Marcos A.M. de Moura, ( mmoura_at_ime.usp.br), IME-USP, February 2001, (Abstract)

7. An Architecture for Flexible Simulation of Protocols for Mobile Computing
   Ricardo Couto A. da Rocha, (rcarocha)_at_acm.org), IME-USP, May 2001

8. Development and Comparison of Two Protocols for Atomic Multicast in Mobile Computing,
   Mateus de Freitas, mateus@ime.usp.br, IME-USP, August 2002

9. A Framework for the simulation of Mobile Ad Hoc Networks,
   Alexandre Mele, (mele_at_inf.puc-rio.br), PUC-Rio, December 2002

10. OGS/R: An Object Group Service with Relaxed Consistency
    Marcelo Brito, (britoweb_at_hotmail.com), IME-USP, August 2003

11. A Framework for Location-based Communication
    Kleder Gonçalves, (kleder_at_yahoo.com), PUC-Rio, April 2005.

12. A Matchmaking Service for Location-based Interests
    Rodrigo Prestes Machado, (rpm_at_lac.inf.puc-rio.br), PUC-Rio, May 2005.
    Co-Supervision: Prof. Carlos J. Lucena
    (Abstract)

13. A Service for Location Inference of Mobile Devices based on IEEE 802.11,
    Fernando Ney da Costa Nascimento,
    PUC-Rio, agosto 2005. (Abstract)

14. Solutions for CORBA Firewall/NAT Traversal
    Antonio Carlos Theophilo Costa Junior, PUC-Rio, 16 de agosto de 2005
    Co-supervisor: Prof. Renato Cerqueira
    (Abstract)

15. A Middleware and an Application for Context-aware, Collaborative Presentation Sharing on Handhelds,
    Marcelo A.G.Malcher (marcelom_at_inf.puc-rio.br), PUC-Rio, 24 de agosto de 2007
    (Abstract)

16. A protocol for context-aware and coordinated adaptation of communication services in groups of mobile devices.
    Jordan Janeiro, (jordan.janeiro_at_gmail.com), PUC-Rio, maio de 2008
    (Resumo/Abstract)

17. Mobility Management and Disconnection Handling using SIP,
    Gustavo Luiz Bastos Baptista, (gustavo_at_lac.inf.puc-rio.br), PUC-Rio, February 2009

18. A component middleware for dynamic adaptation on the Android platform,
    Hubert Aureo Fonseca, (hubefonseca_at_gmail.com), PUC-Rio, August 2009.

19. A component selection mechanism for middleware Kaluana using the concept of reconfiguration contracts,
    Allan Valeriano, (avaleriano@inf.puc-rio.br), PUC-Rio, April de 2011.

Ongoing Master Theses

Ongoing PhD Theses