C. Viho. Test de conformité et d'interopérabilité : vers une approche répartie. Habilitation à diriger des recherches, Université de Rennes 1, IRISA, December 2002.
Articles de Journaux
A. Sabiguero, C. Viho. Plug once, test everything.ats, 0:443-448, 2006.
C. Viho. Test distribution : a solution for complex network system testing.International Journal on Software Tools for Technology Transfer - S pecial Issue on High-Level Test of Complex Systems, 7(4), 2005.
Conférences Internationales
A. Sabiguero, A. Baire, A. Boutet, C. Viho. Virtualized Interoperability Testing: Application to IPv6 Network Mobility.18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2007), San José, USA, October 2007.
K.D. Singh, D. Ros, L. Toutain, C. Viho. Proportional Resource Partitioning over Shared Wireless Links . IEEE 66th Vehicular Technology Conference, Baltimore, MD, USA, September 2007.
A. Desmoulin, C. Viho. Automatic Interoperability Test Case Generation based on Formal Definitions.12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Berlin, Germany, July 2007.
A. Desmoulin, C. Viho. A New Method for Interoperability Test Generation.19th IFIP International Conference on Testing of Communicating Systems (Testcom) and 7th International Workshop on Formal Approaches to Testing of Software (Fates), Tallinn, Estonia, June 2007.
A. Sabiguero, E. Corti, C. Viho. The new Internet Protocol security IPSec testing with TTCN-3.TTCN-3 User Conference 2007, Stockholm, Sweden, May 2007.
A. Desmoulin, C. Viho. Interoperability test generation: formal definitions and algorithms.8 ème Colloque Africain sur la Recherche en Informatique (CARI'2006), Cotonou, Benin, November 2006.
K. Singh, D. Ros, L. Toutain, C. Viho. Improving Multimedia Streaming over Wireless using End-to-End Estimation of Wireless Losses.IEEE 64th Vehicular Technology Conference, Montreal, Canada, September 2006.
A. Sabiguero, A. Baire, A. Desmoulin, A. Floch, F. Roudaut, C. Viho. Towards an IP-oriented testing framework - The IPv6 Testing Toolkit.TTCN-3 User Conference 2006, Berlin, Germany, May 2006.
A. Sabiguero, A. Baire, C. Viho. Embedding traffic capturing and analysis extensions into TTCN-3 System Adaptator.ITG FA 6.2 Workshop on Model-Based Testing - 13th GI/ITG Conference: Measuring, Modelling, and Evaluation of Computer and Communication Systems, Nürnberg, Germany, March 2006.
A. Desmoulin, C. Viho. Formalizing Interoperability testing: Quiescence Management and Test Generation.25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Taipei, Taiwan, October 2005.
A. Desmoulin, C. Viho. Formalizing Interoperability for Test Case Generation Purpose.IEEE Nasa ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, an Validation, Columbia, MD, USA, September 2005.
F. Ngani, C. Viho. De la spécification au test de protocoles de mobilité.5è colloque international sur les Nouvelles Technologies de la Répartition (NOTERE 2005, Prix du meilleur papier), Gatineau, Québec, Canada, August 2005.
F. Ngani, C. Viho. Modeling, Verifying and Testing Mobility Protocol from SDL Language.SDL 2005: Model Driven, Grimstad, Norway, June 2005.
A. Sabiguero, A. Floch, F. Roudaut, C. Viho. Some lessons form an experiment using TTCN-3 for the RIPng testing.17-th IFIP International Conference on Testing Communicating Systems (Testcom2005), Montreal, Canada, June 2005.
A. Sabiguero, A. Floch, A. Baire, C. Viho. Using TTCN-3 in the internet Community : an experiment with the RIPng protocol.2-nd TTCN-3 User Conference, Sophia-Antipolis, France, June 2005.
A. Desmoulin, C. Viho. Quiescence Management Improves Interoperability Testing.17th IFIP International Conference on Testing of Communicating Systems (Testcom), Montreal, Canada, May 2005.
F. Ngani, C. Viho. Spécification formelle et simulation du protocole de mobilité IPv6.7 ème Colloque Africain sur la Recherche en Informatique (CARI'2004), Hammamet, Tunisie, November 2004.
F. Ngani, C. Viho. Validation of the Mobile IPv6 protocol using Formal Approach.The 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI'2004) , Orlando, Florida,USA, July 2004.
F. Ngani, C. Viho. Modeling and Validation of Mobile IPv6 for Automatic Test Generation purpose.Position papers in The 16th IFIP International Conference on Testing of Communicating Systems (TestCom'2004), Oxford, United Kingdom, March 2004.
C. Viho, S. Barbin. Distributed Testing : A solution for Conformance Testing of Complex Network Systems.7th International Conference on Integrated Design and Process Technology (IDPT'2003), Austin, Texas, December 2003.
C. Viho, S. Barbin, F. Roudaut. Test Generation for a Protocol During the Standardization Process : An Experience with Mobile IPv6.Short paper of the Workshop session of the TestCom Conference, Berlin, Germany, May 2003.
C Viho. On the Importance of Interoperability Testing Events.Invited paper for the Workshop session of the TestCom Conference, Berlin, Germany, March 2002.
S. Barbin, L. Tanguy, C. Viho. Towards a formal framework for interoperability testing.21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, M. Kim, B. Chin, S. Kang, D. Lee (eds.), pages 53-68, Cheju Island, Korea, August 2001.
Rapports de recherche
K. Singh, D. Ros, L. Toutain, C. Viho. Improvement of Multimedia Streaming using Estimation of Wireless losses. Rapport de Recherche IRISA, No1792, March 2006.
A. Desmoulin, C. Viho. Quiescence Management Improves Interoperability Testing. Rapport de Recherche IRISA, No1702, March 2005.
S. Barbin, L. Tanguy, C. Viho. A Step towards a formal framework for interoperability testing. Rapport de Recherche IRISA, No1408, August 2001.
Divers
C. Viho, L. Toutain, P. Cousin. About Interoperability Testing Events : The example of the ETSI IPv6 Plugtests events.G6 Renater Aristote, Where we are with IPv6, October 2002.
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.
Ces pages sont créées automatiquement par le programme
bib2html
du projet
Vista
