Cesar Viho
Cesar Viho
Professeur en Informatique, IRISA - ISTIC/Université Rennes 1
Verified email at
Cited by
Cited by
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
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
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
Radio resource management in emerging heterogeneous wireless networks
K Piamrat, A Ksentini, JM Bonnin, C Viho
Computer Communications 34 (9), 1066-1076, 2011
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
Remote testing can be as powerful as local testing
C Jard, T Jéron, L Tanguy, C Viho
Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII …, 1999
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
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
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
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
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
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
Towards automatic distribution of testers for distributed conformance testing
C Jard, T Jéron, H Kahlouche, C Viho
Formal Description Techniques and Protocol Specification, Testing and …, 1998
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
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
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
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
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
Scalable video coding (SVC) for multipath video streaming over video distribution networks (VDN)
M Ghareeb, A Ksentini, C Viho
The International Conference on Information Networking 2011 (ICOIN2011), 206-211, 2011
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
The system can't perform the operation now. Try again later.
Articles 1–20