Author of the publication

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 formal approach for specification-driven AMS behavioral model generation., , , , and . DATE, page 1512-1517. IEEE, (2009)Computing Minimal Debugging Windows in Failure Traces of AMS Assertions., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 31 (11): 1776-1781 (2012)A Pencil-Drawn Electronic Tongue for Environmental Applications., , , , , , , , , and 1 other author(s). Sensors, 21 (13): 4471 (2021)A molecularly imprinted polymer conjugated cobalt oxide nanoparticle based screen printed sensor for enhanced sensing of chlorpyrifos., , , , , , and . ISOEN, page 1-4. IEEE, (2019)Model checking of global power management strategies in software with temporal logic properties., , and . ISEC, page 29-34. ACM, (2013)One shot evaluation of NPK in soils by "electronic tongue"., , , , , , , , and . Comput. Electron. Agric., (2021)Post-silicon debugging of PMU integration errors using behavioral models., , , and . Integr., 46 (3): 310-321 (2013)Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice., , , , , and . ACM Trans. Design Autom. Electr. Syst., 17 (4): 38:1-38:25 (2012)Assertion Aware Sampling Refinement: A Mixed-Signal Perspective., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 31 (11): 1772-1776 (2012)POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent., , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 32 (11): 1801-1813 (2013)