Hugo Miranda

From Navigators

Jump to: navigation, search
Past member
Hugo Miranda is no longer with the Navigators.



Past projects

  • MOOSCO (MOO with Separation of Concerns)
  • TOPCOM (Topology-Aware Reliable Group Communication in Geographically Large-Scale Systems)


  • J. Armstrong, C. Cachin, Miguel Correia, A. Costa, Hugo Miranda, Nuno Ferreira Neves, Nuno Miguel Neves, J. A. Poritz, B. Randell, Lau Cheuk Lung, Luís Rodrigues, R. J. Stroud, Paulo Verissimo, M. Waidner, I. S. Welch, “Complete Specification of APIs and Protocols for the MAFTIA Middleware”, Missing institution, Tech. Rep., Jul. 2002. Technical Report DI/FCUL TR-02-11, Department of Computer Science, University of Lisbon. jULY 2002

  • Alexandre Pinto, Hugo Miranda, Luís Rodrigues, “Light-Weight Groups: an implementation in Ensemble”, in in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy., May 2001.

  • Miguel Antunes, Hugo Miranda, António Rito Silva, Luís Rodrigues, Jorge Martins, “Separating Replication from Distributed Communication: Problems and Solutions”, in in Proceedings of the International Workshop on Distributed Dynamic Multiservice Architectures (DDMA), in conjunction with the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 103-108Phoenix, Arizona, USA, Apr. 2001.

  • João Rodrigues, Hugo Miranda, João Ventura, Luís Rodrigues, “The design of RTAppia”, in in Proceedings of the Sixth IEEE International Workshop on Object-oriented Real-Time Dependable Systems, Rome, 8-10 January 2001., Jan. 2001.


Navigators - Hugo Miranda
Personal tools
Navigators toolbox