Author of the publication

Formal Passive Testing of Service-Oriented Systems.

, , and . IEEE SCC, page 610-613. IEEE Computer Society, (2010)

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

Testing Interoperability Security Policies., , and . SEKE, page 464-469. Knowledge Systems Institute Graduate School, (2012)CLAT: Collaborative Learning Adaptive Tutor., , and . SEKE, page 747-752. Knowledge Systems Institute Graduate School, (2012)Passive Testing of Timed Systems., , and . ATVA, volume 5311 of Lecture Notes in Computer Science, page 418-427. Springer, (2008)MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing., , and . ICCCI (1), volume 7653 of Lecture Notes in Computer Science, page 436-445. Springer, (2012)Formal Development of a Complex Information System., , and . ICONS, page 118-123. IEEE Computer Society, (2008)ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm., and . ICONS, page 230-234. IEEE Computer Society, (2008)Formal Correctness of a Passive Testing Approach for Timed Systems., , and . ICST Workshops, page 67-76. IEEE Computer Society, (2009)Passive Testing of Stochastic Timed Systems., , and . ICST, page 71-80. IEEE Computer Society, (2009)Formal Study of Prioritized Service Compositions., , , and . SITIS, page 355-362. IEEE Computer Society, (2009)A Hierarchical Methodology to Specify and Simulate Complex Computational Systems., , and . ICCS (1), volume 5544 of Lecture Notes in Computer Science, page 347-356. Springer, (2009)