Author of the publication

Model Inference Approach for Detecting Feature Interactions in Integrated Systems.

, , and . ICFI, page 161-171. IOS Press, (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

Correctness Proof of the Standardized Algorithm for ABR Conformance., and . World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, page 662-681. Springer, (1999)An incremental method for the design of feature-oriented systems., , and . FIREworks, page 45-64. Springer, (2000)Model Inference Approach for Detecting Feature Interactions in Integrated Systems., , and . ICFI, page 161-171. IOS Press, (2007)Syntactic Theories and Unification, and . LICS, page 270-277. IEEE Computer Society, (1990)Undecidable Properties of Syntactic Theories.. RTA, volume 488 of Lecture Notes in Computer Science, page 136-149. Springer, (1991)Rewriting for Cryptographic Protocol Verification., and . CADE, volume 1831 of Lecture Notes in Computer Science, page 271-290. Springer, (2000)Compared Study of Two Correctness Proofs for the Standardized., , , and . Formal Methods Syst. Des., 22 (1): 59-86 (2003)