Follow
Cesar Viho
Cesar Viho
Professeur en Informatique, IRISA - ISTIC/Université Rennes 1
Verified email at irisa.fr
Title
Cited by
Cited by
Year
Using on-the-fly verification techniques for the generation of test suites
JC Fernandez, C Jard, T Jéron, C Viho
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
2951996
An experiment in automatic generation of test suites for protocols with verification technology
JC Fernandez, C Jard, T Jeron, C Viho
Science of Computer Programming 29 (1-2), 123-146, 1997
2221997
Quality of experience measurements for video streaming over wireless networks
K Piamrat, C Viho, JM Bonnin, A Ksentini
2009 Sixth International Conference on Information Technology: New …, 2009
2002009
Radio resource management in emerging heterogeneous wireless networks
K Piamrat, A Ksentini, JM Bonnin, C Viho
Computer Communications 34 (9), 1066-1076, 2011
1502011
QoE-aware admission control for multimedia applications in IEEE 802.11 wireless networks
K Piamrat, A Ksentini, C Viho, JM Bonnin
2008 IEEE 68th Vehicular Technology Conference, 1-5, 2008
842008
Remote testing can be as powerful as local testing
C Jard, T Jéron, L Tanguy, C Viho
International Conference on Protocol Specification, Testing and Verification …, 1999
801999
Q-DRAM: QoE-based dynamic rate adaptation mechanism for multicast in wireless networks
K Piamrat, A Ksentini, JM Bonnin, C Viho
GLOBECOM 2009-2009 IEEE Global Telecommunications Conference, 1-6, 2009
582009
QoE-aware vertical handover in wireless heterogeneous networks
K Piamrat, A Ksentini, C Viho, JM Bonnin
2011 7th International Wireless Communications and Mobile Computing …, 2011
512011
QoE-based network selection for multimedia users in IEEE 802.11 wireless networks
K Piamrat, A Ksentini, C Viho, JM Bonnin
2008 33rd IEEE Conference on Local Computer Networks (LCN), 388-394, 2008
492008
Towards a formal framework for interoperability testing
C Viho, S Barbin, L Tanguy
Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6 …, 2001
492001
Formal Test Automation: The Conference Protocol with TGV/TorX
L Du Bousquet, S Ramangalahy, S Simon, C Viho, A Belinfante, ...
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6. 1 13 …, 2000
492000
Video streaming over ad hoc networks: A qoe-based optimal routing solution
PTA Quang, K Piamrat, KD Singh, C Viho
IEEE Transactions on Vehicular Technology 66 (2), 1533-1546, 2016
422016
Hybrid qoe assessment is well-suited for multiple description coding video streaming in overlay networks
M Ghareeb, C Viho
2010 8th Annual Communication Networks and Services Research Conference, 327-333, 2010
382010
QoE-aware scheduling for video-streaming in High Speed Downlink Packet Access
K Piamrat, KD Singh, A Ksentini, C Viho, JM Bonnin
2010 IEEE Wireless Communication and Networking Conference, 1-6, 2010
372010
Towards automatic distribution of testers for distributed conformance testing
C Jard, T Jéron, H Kahlouche, C Viho
International Conference on Protocol Specification, Testing and Verification …, 1998
371998
Qoe-aware routing for video streaming over vanets
TAQ Pham, K Piamrat, C Viho
2014 IEEE 80th Vehicular Technology Conference (VTC2014-Fall), 1-5, 2014
352014
An industrial experiment in automatic generation of executable test suites for a cache coherency protocol
H Kahlouche, C Viho, M Zendri
Testing of Communicating Systems: Proceedings of the IFIP TC6 11th …, 1998
351998
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
H Garavel, C Viho, M Zendri
International Journal on Software Tools for Technology Transfer 3, 314-331, 2001
332001
Smart scaling of the 5G core network: an RNN-based approach
I Alawe, Y Hadjadj-Aoul, A Ksentini, P Bertin, C Viho, D Darche
2018 IEEE Global Communications Conference (GLOBECOM), 1-6, 2018
262018
Machine learning with partially labeled data for indoor outdoor detection
I Saffar, MLA Morel, KD Singh, C Viho
2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC …, 2019
242019
The system can't perform the operation now. Try again later.
Articles 1–20