Author of the publication

Formal Testing of Multimodal Interactive Systems.

, , , , and . EHCI/DS-VIS, volume 4940 of Lecture Notes in Computer Science, page 36-52. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SMART Service for Fault Diagnosis in Wireless Sensor Networks., , , , , and . NGMAST, page 211-216. IEEE, (2012)Testing Multimodal Interactive Applications by Means of the TTT Language., , and . AMARETTO@MODELSWARD, page 23-32. SciTePress, (2016)Mutants Generation For Testing Lustre Programs., , and . SoICT, page 425-430. ACM, (2017)A new test modeling language for interactive applications based on task trees., , and . SoICT, page 285-293. ACM, (2013)TrustFlow-X: A Practical Framework for Fine-grained Control-flow Integrity in Critical Systems., , , , and . ACM Trans. Embed. Comput. Syst., 19 (5): 36:1-36:26 (2020)Synchronous Programs Testing Language (SPTL)., , and . ICCSA (1), volume 8579 of Lecture Notes in Computer Science, page 683-695. Springer, (2014)Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs., and . ISSRE, page 105-116. IEEE Computer Society, (2006)A Self-Monitoring, Adaptive and Resource Efficient Approach for Improving QoS in Wireless Sensor Networks., , , , , and . CyberC, page 393-400. IEEE Computer Society, (2012)A Fault Fuzzy-ontology for Large Scale Fault-tolerant Wireless Sensor Networks., , and . KES, volume 35 of Procedia Computer Science, page 203-212. Elsevier, (2014)Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study., and . AST, page 62-68. IEEE Computer Society, (2007)