Author of the publication

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.

, , , , and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 426-440. Springer, (2004)

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

Synthetic Biology Open Language (SBOL) Version 2.2.0., , , , , , , , , and 13 other author(s). J. Integr. Bioinform., (2018)The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core., , , , , , , , , and 3 other author(s). J. Integr. Bioinform., (2018)LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits., , , , , , and . MWSCAS, page 1017-1020. IEEE, (2014)STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking., , , , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 319-331. Springer, (2022)Symbolic Model Checking of Analog/Mixed-Signal Circuits., , , , and . ASP-DAC, page 316-323. IEEE Computer Society, (2007)An Improvement in Partial Order Reduction Using Behavioral Analysis., , , and . ISVLSI, page 100-107. IEEE Computer Society, (2012)A new verification method for embedded systems., , , and . ICCD, page 193-200. IEEE Computer Society, (2009)Verification of analog/mixed-signal circuits using labeled hybrid petri nets., , , , and . ICCAD, page 275-282. ACM, (2006)Synthetic biology open language visual (SBOL Visual) version 2.3., , , , , , , , , and 26 other author(s). J. Integr. Bioinform., (2021)Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver., , and . ATVA, volume 4762 of Lecture Notes in Computer Science, page 66-81. Springer, (2007)