Cesar Viho
Cesar Viho
Professeur en Informatique, IRISA - ISTIC/Université Rennes 1
Adresse e-mail validée de irisa.fr
TitreCitée parAnnée
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
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
Information Technology: New Generations, 2009. ITNG'09. Sixth International …, 2009
Radio resource management in emerging heterogeneous wireless networks
K Piamrat, A Ksentini, JM Bonnin, C Viho
Computer Communications 34 (9), 1066-1076, 2011
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
Qoe-aware admission control for multimedia applications in ieee 802.11 wireless networks
K Piamrat, A Ksentini, C Viho, JM Bonnin
Vehicular Technology Conference, 2008. VTC 2008-Fall. IEEE 68th, 1-5, 2008
Q-DRAM: QoE-based dynamic rate adaptation mechanism for multicast in wireless networks
K Piamrat, A Ksentini, JM Bonnin, C Viho
Global Telecommunications Conference, 2009. GLOBECOM 2009. IEEE, 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, 221-228, 2000
QoE-based network selection for multimedia users in IEEE 802.11 wireless networks
K Piamrat, A Ksentini, C Viho, JM Bonnin
Local Computer Networks, 2008. LCN 2008. 33rd IEEE Conference on, 388-394, 2008
Towards a formal framework for interoperability testing
C Viho, S Barbin, L Tanguy
International Conference on Formal Techniques for Networked and Distributed …, 2001
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 vertical handover in wireless heterogeneous networks
K Piamrat, A Ksentini, C Viho, JM Bonnin
Wireless Communications and Mobile Computing Conference (IWCMC), 2011 7th …, 2011
QoE-aware scheduling for video-streaming in High Speed Downlink Packet Access
K Piamrat, KD Singh, A Ksentini, C Viho, JM Bonnin
Wireless Communications and Networking Conference (WCNC), 2010 IEEE, 1-6, 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, 211-226, 1998
Hybrid qoe assessment is well-suited for multiple description coding video streaming in overlay networks
M Ghareeb, C Viho
Communication Networks and Services Research Conference (CNSR), 2010 Eighth …, 2010
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
Scalable video coding (SVC) for multipath video streaming over video distribution networks (VDN)
M Ghareeb, A Ksentini, C Viho
Information Networking (ICOIN), 2011 International Conference on, 206-211, 2011
Resource management in mobile heterogeneous networks: state of the art and challenges
K Piamrat, C Viho, A Ksentini, JM Bonnin
INRIA, 2008
QoE-aware routing for video streaming over VANETs
TAQ Pham, K Piamrat, C Viho
Vehicular Technology Conference (VTC Fall), 2014 IEEE 80th, 1-5, 2014
Optimising QoE for scalable video multicast over WLAN
KD Singh, K Piamrat, H Park, C Viho, JM Bonnin
Personal Indoor and Mobile Radio Communications (PIMRC), 2013 IEEE 24th …, 2013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20