Author of the publication

Automatic Timed Test Case Generation for Web Services Composition.

, , , and . ECOWS, page 53-62. IEEE Computer Society, (2008)

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

A Testing Methodology for an Open Software E-learning Platform., , , , and . EDUTECH, volume 151 of IFIP, page 165-174. Kluwer/Springer, (2004)Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation., , , , , , , and . Ann. des Télécommunications, 60 (5-6): 588-609 (2005)Parameterized Model Checking Modulo Explicit Weak Memory Models., , and . IMPEX/FM&MDD, volume 271 of EPTCS, page 48-63. (2017)Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks., , , , and . MSWiM, page 385-392. ACM, (2010)Verification of Interoperability Security Policies by Model Checking., , , and . HASE, page 376-381. IEEE Computer Society, (2011)How Web Services Can Be Tolerant to Intruders through Diversification., , , and . ICWS, page 436-443. IEEE, (2017)A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic., , , , , and . ICSOFT, page 234-241. SCITEPRESS, (2022)A Network Traffic Mutation Based Ontology, and Its Application to 5G Networks., , , , , and . IEEE Access, (2023)Automated Generation of Interoperability Tests., , , and . TestCom, volume 210 of IFIP Conference Proceedings, page 169-. Kluwer, (2002)A Coloured Petri Nets Based Attack Tolerance Framework., , , , and . APSEC, page 159-168. IEEE, (2020)