Inria Chile — Chile
Computer Science · Physical Sciences
9h-index199citations22works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Testing and Debugging Techniques(9), Formal Methods in Verification(6), Caching and Content Delivery(4), Green IT and Sustainability(4), VLSI and Analog Circuit Testing(3)
Publications22 total
IEEE Transactions on Intelligent Transportation Systems·2017· 58 citedOpen Access
IEEE Latin America Transactions·2016· 4 cited
2016Open Access
IEEE Latin America Transactions·2014
2013· 11 cited
2013· 5 cited
Communications in computer and information science·2013
A Formal Monitoring Technique for SIP Conformance Testing
International Conference on Software Engineering·2013
Crowd-measuring: Assessing the quality of mobile Internet from end-terminals
2012· 11 cited
IEEE/ACM Transactions on Networking·2012· 35 cited
HAL (Le Centre pour la Communication Scientifique Directe)·2012Open Access
Data-centric property formulation for passive testing of communication protocols
SPIRE - Sciences Po Institutional REpository·2011· 11 cited
page 1 of 2Next →
Frequent Co-authors
Stéphane Maag(6), Javier Bustos-Jiménez(5), Javier Bustos(4), Gabriel Canto(3), Alfredo Cádiz(3), Xiaoping Che(3), Stéphane Maag(3), Alvaro Graves(3), Wissam Mallouli(2), Gabriel Hourton(2), Victor Ramiro(2), Ana Cavalli(2), Nicolas Aguilera(2), Hansi Senaratne(1), Manuel Mueller(1), Michael Behrisch(1), Jörn Schneidewind(1), Daniel A. Keim(1), Tobias Schreck(1), A. Cavalli(1)