Author of the publication

Property-Based Monitoring of Analog and Mixed-Signal Systems.

, , , and . FORMATS, volume 6246 of Lecture Notes in Computer Science, page 23-24. Springer, (2010)

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

The Definition of a Temporal Clock Operator., , , , and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 857-870. Springer, (2003)Virtual Symmetry Reduction., , and . LICS, page 121-131. IEEE Computer Society, (2000)Realtime regular expressions for analog and mixed-signal assertions., and . FMCAD, page 155-162. FMCAD Inc., (2011)Property-Based Monitoring of Analog and Mixed-Signal Systems., , , and . FORMATS, volume 6246 of Lecture Notes in Computer Science, page 23-24. Springer, (2010)Formal Verification Successes at Motorola., , , , and . Formal Methods Syst. Des., 22 (2): 117-123 (2003)A Method for Synthesizing Boolean Constrains., , , , and . IWLS, page 351-353. (2002)Some Complexity Results for SystemVerilog Assertions., and . CAV, volume 4144 of Lecture Notes in Computer Science, page 205-218. Springer, (2006)Reasoning with Temporal Logic on Truncated Paths., , , , , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 27-39. Springer, (2003)A topological characterization of weakness., , and . PODC, page 1-8. ACM, (2005)Computable Obstructions to Wait-free Computability.. FOCS, page 80-89. IEEE Computer Society, (1997)