( en | de | ru )

 

Disambiguation of "Subramaniam, Mahadevan"

Author of the publication

copydeleteadd this publication to your clipboard
A Bounded Incremental Test Generation Algorithm for Finite State Machines.

, , , and . TestCom/FATES, volume 4581 of Lecture Notes in Computer Science, page 244-259. 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.

Mahadevan Lakshminarasimhan

Kalaivani Subramaniam

Jasmin Mahadevan

Erode Mahadevan

Roland Mahadevan

 

Other publications of authors with the same name

L2C2: logic-based LSC consistency checking., , and . PPDP, page 183-194. ACM, (2009)Mechanically Verifying a Family of Multiplier Circuits., and . CAV, volume 1102 of Lecture Notes in Computer Science, page 135-146. Springer, (1996)Constructing Temporal Equivalence Partitionings for Keyword Sets., and . Int. J. Knowl. Based Organ., 5 (3): 1-18 (2015)Agro-AI Education: Artificial Intelligence for Future Farmers., , , , and . SIGITE, page 54-57. ACM, (2020)Semantic Image Segmentation Using Scant Pixel Annotations., , , , and . Mach. Learn. Knowl. Extr., 4 (3): 621-640 (2022)A Framework for Incorporating Serious Games into Learning Object Repositories through Experiential Learning., , and . HICSS, page 1-11. ScholarSpace, (2022)Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL.. IPDPS, page 290. IEEE Computer Society, (2003)Using Dominators to Extract Observable Protocol Contexts., and . SEFM, page 96-105. IEEE Computer Society, (2005)Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover., and . SEFM, page 335-344. IEEE Computer Society, (2008)A Novel Approach for Embedding and Traversing Problems in Serious Games., , , and . SIGITE, page 229-235. ACM, (2020)