The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

César Viho: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
    Using On-The-Fly Verification Techniques for the Generation of test Suites. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:348-359 [Conf]
  2. Alexandra Desmoulin, César Viho
    Formalizing Interoperability Testing: Quiescence Management and Test Generation. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:533-537 [Conf]
  3. Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho
    Towards Automatic Distribution of Testers for Distributed Conformance Testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:353-368 [Conf]
  4. Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho
    Remote testin can be as powerful as local testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:25-40 [Conf]
  5. César Viho, Sébastien Barbin, Lénaick Tanguy
    Towards a Formal Framework for Interoperability Testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:53-68 [Conf]
  6. Lénaick Tanguy, César Viho, Claude Jard
    Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  7. Annie Floch, Frédéric Roudaut, Ariel Sabiguero, César Viho
    Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:318-332 [Conf]
  8. Alexandra Desmoulin, César Viho
    Quiescence Management Improves Interoperability Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:365-379 [Conf]
  9. Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries
    Formal Test Automation: The Conference Protocol with TGV/TORX. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:221-228 [Conf]
  10. Hakim Kahlouche, César Viho, Massimo Zendri
    An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1998, pp:211-226 [Conf]
  11. Francine Ngani Noudem, César Viho
    Modeling, Verifying and Testing Mobility Protocol from SDL Language. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2005, pp:198-209 [Conf]
  12. Hakim Kahlouche, César Viho, Massimo Zendri
    Hardware Testing Using a Communication Protocol Conformance Testing Tool. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:315-329 [Conf]
  13. Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
    An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:123-146 [Journal]
  14. Hubert Garavel, César Viho, Massimo Zendri
    System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:3, pp:314-331 [Journal]
  15. César Viho
    Test distribution: a solution for complex network system testing. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:4, pp:316-325 [Journal]
  16. Ariel Sabiguero, Anthony Baire, Antoine Boutet, César Viho
    Virtualized Interoperability Testing: Application to IPv6 Network Mobility. [Citation Graph (0, 0)][DBLP]
    DSOM, 2007, pp:187-190 [Conf]
  17. Alexandra Desmoulin, César Viho
    A New Method for Interoperability Test Generation. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:58-73 [Conf]

  18. Hybrid QoE Assessment Is Well-Suited for Multiple Description Coding Video Streaming in Overlay Networks. [Citation Graph (, )][DBLP]


  19. Quality of Experience Measurements for Video Streaming over Wireless Networks. [Citation Graph (, )][DBLP]


  20. QoE-based network selection for multimedia users in IEEE 802.11 wireless networks. [Citation Graph (, )][DBLP]


  21. Proportional Resource Partitioning Over Shared Wireless Links. [Citation Graph (, )][DBLP]


  22. Improving Multimedia Streaming Over Wireless Using End-to-End Estimation of Wireless Losses. [Citation Graph (, )][DBLP]


  23. QoE-Aware Admission Control for Multimedia Applications in IEEE 802.11 Wireless Networks. [Citation Graph (, )][DBLP]


  24. Automatic Interoperability Test Case Generation Based on Formal Definitions. [Citation Graph (, )][DBLP]


  25. Q-DRAM: QoE-Based Dynamic Rate Adaptation Mechanism for Multicast in Wireless Networks. [Citation Graph (, )][DBLP]


  26. Gestion des flux dans les réseaux mobiles. [Citation Graph (, )][DBLP]


  27. QoE-Aware Scheduling for Video-Streaming in High Speed Downlink Packet Access. [Citation Graph (, )][DBLP]


  28. Performance Evaluations of a QoE-Based Multipath Video Streaming Mechanism over Video Distribution Network (VDN). [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002