| 2008 |
|---|
| 22 | EE | Antoine Boutet,
Benoit Le Texier,
Nicolas Montavont,
Tanguy Ropitault,
César Viho:
Gestion des flux dans les réseaux mobiles.
UbiMob 2008: 87-88 |
| 21 | EE | Ariel Sabiguero,
Anthony Baire,
César Viho:
Automatic CoDec generation to reduce test engineering cost.
STTT 10(4): 337-346 (2008) |
| 2007 |
|---|
| 20 | EE | Ariel Sabiguero,
Anthony Baire,
Antoine Boutet,
César Viho:
Virtualized Interoperability Testing: Application to IPv6 Network Mobility.
DSOM 2007: 187-190 |
| 19 | EE | Alexandra Desmoulin,
César Viho:
Automatic Interoperability Test Case Generation Based on Formal Definitions.
FMICS 2007: 234-250 |
| 18 | EE | Alexandra Desmoulin,
César Viho:
A New Method for Interoperability Test Generation.
TestCom/FATES 2007: 58-73 |
| 17 | EE | Kamal D. Singh,
David Ros,
Laurent Toutain,
César Viho:
Proportional Resource Partitioning Over Shared Wireless Links.
VTC Fall 2007: 1747-1751 |
| 2006 |
|---|
| 16 | EE | Kamal D. Singh,
David Ros,
Laurent Toutain,
César Viho:
Improving Multimedia Streaming Over Wireless Using End-to-End Estimation of Wireless Losses.
VTC Fall 2006: 1-5 |
| 2005 |
|---|
| 15 | EE | Alexandra Desmoulin,
César Viho:
Formalizing Interoperability Testing: Quiescence Management and Test Generation.
FORTE 2005: 533-537 |
| 14 | EE | Francine Ngani Noudem,
César Viho:
Modeling, Verifying and Testing Mobility Protocol from SDL Language.
SDL Forum 2005: 198-209 |
| 13 | EE | Annie Floch,
Frédéric Roudaut,
Ariel Sabiguero,
César Viho:
Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing.
TestCom 2005: 318-332 |
| 12 | EE | Alexandra Desmoulin,
César Viho:
Quiescence Management Improves Interoperability Testing.
TestCom 2005: 365-379 |
| 11 | EE | César Viho:
Test distribution: a solution for complex network system testing.
STTT 7(4): 316-325 (2005) |
| 2001 |
|---|
| 10 | | César Viho,
Sébastien Barbin,
Lénaick Tanguy:
Towards a Formal Framework for Interoperability Testing.
FORTE 2001: 53-68 |
| 9 | EE | 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.
STTT 3(3): 314-331 (2001) |
| 2000 |
|---|
| 8 | | Lénaick Tanguy,
César Viho,
Claude Jard:
Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems.
ICDCS Workshop on Distributed System Validation and Verification 2000: E67-E74 |
| 7 | | 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.
TestCom 2000: 221-228 |
| 1999 |
|---|
| 6 | | Claude Jard,
Thierry Jéron,
Lénaick Tanguy,
César Viho:
Remote testin can be as powerful as local testing.
FORTE 1999: 25-40 |
| 5 | EE | Hakim Kahlouche,
César Viho,
Massimo Zendri:
Hardware Testing Using a Communication Protocol Conformance Testing Tool.
TACAS 1999: 315-329 |
| 1998 |
|---|
| 4 | | Claude Jard,
Thierry Jéron,
Hakim Kahlouche,
César Viho:
Towards Automatic Distribution of Testers for Distributed Conformance Testing.
FORTE 1998: 353-368 |
| 3 | | Hakim Kahlouche,
César Viho,
Massimo Zendri:
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol.
IWTCS 1998: 211-226 |
| 1997 |
|---|
| 2 | | Jean-Claude Fernandez,
Claude Jard,
Thierry Jéron,
César Viho:
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology.
Sci. Comput. Program. 29(1-2): 123-146 (1997) |
| 1996 |
|---|
| 1 | | Jean-Claude Fernandez,
Claude Jard,
Thierry Jéron,
César Viho:
Using On-The-Fly Verification Techniques for the Generation of test Suites.
CAV 1996: 348-359 |
