|
|
|
Publications
Ph.D. Dissertation
- Dario
Vieira, Design, Validation and Implementation
of a Novel Session Maintenance Protocol, Ph.D. Dissertation, Institut national des
télécommunications, December 2006.
Book chapters
- D. Vieira and E. Rodrigues-Vieira. Network Monitoring with
Real-Time Properties: A Step Forward. Springer’s Book Series
Computational Intelligence, Volume 253/2009, Publisher Springer Berlin /
Heidelberg. November, 2009.
International Journals
- C. Melo,
D. Vieira and João Liborio Filho. Impacto do Churn em Políticas de Gerenciamento
de Objetos em Sistemas CDN-P2P (Impact of Churn on Object Management Policies
Deployed in CDN-P2P Systems). IEEE Latin America Transactions, April
2012.
- D. Vieira, C. Melo
and Yacine Ghamri-Doudane.
Performance Evaluation of an Object Management Policy Approach for P2P
Networks. International Journal of Digital Multimedia Broadcasting 2012.
- D. Vieira and E.
Rodrigues-Vieira. Challenges of a Validation Process based on Models: An
Industrial Case Study. Bell Labs Technical Journal, Jun 2012.
- D. Vieira, C. Melo,
A. Bezerra, Yacine Ghamri-Doudane and Nelson Fonseca. A
Content-Oriented Web Cache Policy Under P2P
Video Distribution Systems. IEEE Latin America
Transactions, Aug. 2010.
- D. Vieira. A Survey of BGP Session Maintenance Issues and
Solutions. In International Journal of Network Protocols and Algorithms,
2010, ISSN: 1943-3581, Volume 2, Issue 1.
International Conferences
- C. Melo,
D. Vieira and João Liborio Filho.
Impact of Churn on Object Management Policies, in IEEE LATINCOM 2011.
- A. Bezerra,
C. Melo, D. Vieira, Yacine
Ghamri-Doudane and Nelson Fonseca. A
Content-Oriented Web Cache Policy, in IEEE LATINCOM 2009.
- A. Cavalli,
T. Griffin and D. Vieira, MSP: A Novel Session Maintenance Protocol, in
14TH IEEE International Conference On Networks
(ICON 2006), Singapore, September 2006.
- A. Cavalli
and D. Vieira. Working Around BGP: An Improvement of BGP Session
Maintenance. In IEEE ICNS 2006.
- A. Cavalli, T. Griffin and D. Vieira. Implementation Analysis of MSP, 5th IEEE
International Conference On Networks (5th IEEE
ICN 2006), Mauritius, April 2006.
- A. Cavalli
and D. Vieira, An Enhanced Passive Testing Approach for Networking
Protocols, IEEE International Conference On Systems (IEEE ICONS 2006),
Mauritius, April 2006.
- A. Cavalli,
T. Griffin and D. Vieira, A Comparison Between Two Session Maintenance
Protocols, IEEE Advanced International Conference on Telecommunications
(IEEE AICT 2005), Lisbon, Portugal, July 2005.
- A. Cavalli, T. Griffin and D.
Vieira, Formal Verification of the Managed Session Protocol, 4th IEEE
International Information and Telecommunication
Technologies Symposium (4th IEEE I2TS 2005), Florianópolis,
SC, Brazil, December 2005.
National Conferences
- A. Cavalli and D. Vieira, Vérification et analyse de
Performance d'un Protocole de Gestion de Session, Colloque Francophone
sur l’Ingénierie des Protocoles (CFIP), Tozeur, Tunisie, Octobre
2006.
- D. Vieira and R. de Oliveira Anido, A Fault-Tolerant Approach for the Mobile
Environment, in IX Symposium on Fault-Tolerant Computing, pages 207-218,
Florianópolis SC, Brazil, March 2001.
- D. Vieira and
R. de Oliveira Anido, Obtenção
de Estado Global em Sistema de Computação Móvel, in Simpósio Brasileiro de Redes de Computadores (SBRC 1998), Rio de Janeiro, May
1998.
Technical
Report
- D.Vieira and N. Willians,
Methods and Tools for Embedded Systems Co-Validation, Deliverable
D3.1.1.6, Projet ITEA TWINS, November 2007.
- Dario Vieira. From Wired Network to Mobile Ad Hoc Network - An
Overview. Rapport technique, Institut National des
Télécommunications, May 2003.
Other papers
- D. Vieira, A. Zamboni, and
A. Ludwig. Multimedia as learning tools for program language,in Simpósio de Iniciação Científica, Universidade Federal de Viçosa,
Viçosa, Brazil, 1996.
- D. Vieira and A. Ludwig. Database applied in a real
problem. Simpósio de Iniciação
Científica, Universidade
Federal de Viçosa, Viçosa, Brazil, 1995.
|
