Cesar Viho
Cesar Viho
Professeur en Informatique, IRISA - ISTIC/Université Rennes 1
Verified email at irisa.fr
TitleCited byYear
Using on-the-fly verification techniques for the generation of test suites
JC Fernandez, C Jard, T Jéron, C Viho
International Conference on Computer Aided Verification, 348-359, 1996
2651996
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
2011997
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
1452009
Radio resource management in emerging heterogeneous wireless networks
K Piamrat, A Ksentini, JM Bonnin, C Viho
Computer Communications 34 (9), 1066-1076, 2011
1182011
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, 25-40, 1999
731999
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
662008
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
462009
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
452008
Formal Test Automation: The Conference Protocol with TGV/TorX
L Du Bousquet, S Ramangalahy, S Simon, C Viho, A Belinfante, ...
Testing of Communicating Systems, 221-228, 2000
432000
Towards a formal framework for interoperability testing
C Viho, S Barbin, L Tanguy
International Conference on Formal Techniques for Networked and Distributed …, 2001
392001
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
372011
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
351998
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
342010
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
282010
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, 211-226, 1998
281998
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 (3), 314-331, 2001
242001
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
232016
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
212014
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
202011
Resource management in mobile heterogeneous networks: state of the art and challenges
K Piamrat, C Viho, A Ksentini, JM Bonnin
202008
The system can't perform the operation now. Try again later.
Articles 1–20