Author of the publication

Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms.

, , and . EvoWorkshops, volume 1596 of Lecture Notes in Computer Science, page 182-192. Springer, (1999)

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

Integrated speech and gaze control for realistic desktop environments., , and . ETRA, page 79-82. ACM, (2008)SAARA: a simulated annealing algorithm for test pattern generation for digital circuits., , , and . SAC, page 228-232. ACM, (1997)Test Pattern Generation Under Low Power Constraints., , , and . EvoWorkshops, volume 1596 of Lecture Notes in Computer Science, page 162-170. Springer, (1999)Interoperation Modeling for Intelligent Domotic Environments., and . AmI, volume 5859 of Lecture Notes in Computer Science, page 143-152. Springer, (2009)Enhancing Interactivity for Self-Evaluation in XML-based Courseware., , and . WebNet, page 50-55. AACE, (2000)Ontology Driven Semantic Search, , , and . WSEAS Transaction on Information Science and Application, 1 (6): 1597--1605 (2004)Interactive Visit of a Website., , and . WebNet, page 93-97. AACE, (2001)Code generation for functional validation of pipelined microprocessors., , and . ETW, page 113-118. IEEE Computer Society, (2003)Reliability on pervasive well-being: will it soon become a reality? - State of the art and open issues., and . J. Reliab. Intell. Environ., 5 (3): 129-130 (2019)Integrating Online and Offline Testing of a Switching Memory., , , , and . IEEE Des. Test Comput., 15 (1): 63-70 (1998)