Search

Your search keyword '"Viho, Cesar"' showing total 79 results
Start Over Author "Viho, Cesar"

Refine your results

more »

more »

more »
79 results on '"Viho, Cesar"'

3. F-Interop – Online Platform of Interoperability and Performance Tests for the Internet of Things

Author

Ziegler, Sébastien, Fdida, Serge, Viho, Cesar, Watteyne, Thomas, Akan, Ozgur, Series editor, Bellavista, Paolo, Series editor, Cao, Jiannong, Series editor, Coulson, Geoffrey, Series editor, Dressler, Falko, Series editor, Ferrari, Domenico, Series editor, Gerla, Mario, Series editor, Kobayashi, Hisashi, Series editor, Palazzo, Sergio, Series editor, Sahni, Sartaj, Series editor, Shen, Xuemin Sherman, Series editor, Stan, Mircea, Series editor, Xiaohua, Jia, Series editor, Zomaya, Albert Y., Series editor, Mitton, Nathalie, editor, Chaouchi, Hakima, editor, Noel, Thomas, editor, Watteyne, Thomas, editor, Gabillon, Alban, editor, and Capolsini, Patrick, editor

Published
2017
Full Text
View/download PDF

4. Technical Overview of F-Interop

Author

Leone, Rémy, Sismondi, Federico, Watteyne, Thomas, Viho, César, Akan, Ozgur, Series editor, Bellavista, Paolo, Series editor, Cao, Jiannong, Series editor, Coulson, Geoffrey, Series editor, Dressler, Falko, Series editor, Ferrari, Domenico, Series editor, Gerla, Mario, Series editor, Kobayashi, Hisashi, Series editor, Palazzo, Sergio, Series editor, Sahni, Sartaj, Series editor, Shen, Xuemin Sherman, Series editor, Stan, Mircea, Series editor, Xiaohua, Jia, Series editor, Zomaya, Albert Y., Series editor, Mitton, Nathalie, editor, Chaouchi, Hakima, editor, Noel, Thomas, editor, Watteyne, Thomas, editor, Gabillon, Alban, editor, and Capolsini, Patrick, editor

Published
2017
Full Text
View/download PDF

7. Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol

Author

Chen, Nanxing, Viho, César, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Nielsen, Brian, editor, and Weise, Carsten, editor

Published
2012
Full Text
View/download PDF

8. Performance Evaluations of a QoE-Based Multipath Video Streaming Mechanism over Video Distribution Network (VDN)

Author

Ghareeb, Majd, Viho, Cesar, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Mauthe, Andreas, editor, Zeadally, Sherali, editor, Cerqueira, Eduardo, editor, and Curado, Marília, editor

Published
2009
Full Text
View/download PDF

9. Automatic Interoperability Test Case Generation Based on Formal Definitions

Author

Desmoulin, Alexandra, Viho, César, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Leue, Stefan, editor, and Merino, Pedro, editor

Published
2008
Full Text
View/download PDF

11. A New Method for Interoperability Test Generation

Author

Desmoulin, Alexandra, Viho, César, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Petrenko, Alexandre, editor, Veanes, Margus, editor, Tretmans, Jan, editor, and Grieskamp, Wolfgang, editor

Published
2007
Full Text
View/download PDF

12. Virtualized Interoperability Testing: Application to IPv6 Network Mobility

Author

Sabiguero, Ariel, Baire, Anthony, Boutet, Antoine, Viho, César, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Clemm, Alexander, editor, Granville, Lisandro Zambenedetti, editor, and Stadler, Rolf, editor

Published
2007
Full Text
View/download PDF

13. Formalizing Interoperability Testing: Quiescence Management and Test Generation

Author

Desmoulin, Alexandra, Viho, César, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Wang, Farn, editor

Published
2005
Full Text
View/download PDF

14. Quiescence Management Improves Interoperability Testing

Author

Desmoulin, Alexandra, Viho, César, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Khendek, Ferhat, editor, and Dssouli, Rachida, editor

Published
2005
Full Text
View/download PDF

15. Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing

Author

Floch, Annie, Roudaut, Frédéric, Sabiguero, Ariel, Viho, César, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Khendek, Ferhat, editor, and Dssouli, Rachida, editor

Published
2005
Full Text
View/download PDF

16. Modeling, Verifying and Testing Mobility Protocol from SDL Language

Author

Noudem, Francine Ngani, Viho, César, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Prinz, Andreas, editor, Reed, Rick, editor, and Reed, Jeanne, editor

Published
2005
Full Text
View/download PDF

42. Formal Test Automation: The Conference protocol with TGV/TorX

Author

Ural, Hasan, Du Bousquet, Lydie, Ramangalahy, Solofo, Probert, Robert L., von Bochmann, Gregor, Simon, Severine, Viho, Cesar, Belinfante, Axel, and de Vries, R.G.

Subjects
IR-63319, FMT-TESTING, EWI-6513
Abstract

We present an experiment of automated formal conformance testing of the Conference Protocol Entity as reported in [2]. Our approach differs from other experiments, since it investigates the combination of the tools TGV for abstract test generation and TorX for test execution.

Published
2000

Catalog

Books, media, physical & digital resources
See catalog results