( en | de | ru )

 

Disambiguation of "Armoni, Roy"

Author of the publication

copydeleteadd this publication to your clipboard
The ForSpec Temporal Logic: A New Temporal Property-Specification Language.

, , , , , , , , , , , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 296-211. Springer, (2002)

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.

Charikleia Armoni

Roy Hornig

Beschreibung mikro-rheologischer Vorgänge und resultierender Verbundstrukturen beim Elastomermischprozeß im Innenmischer durch rheologische Untersuchungen. NA Halle-Wittenberg, (2009)

Smritindu Roy

David Roy

Trina Roy

 

Other publications of authors with the same name

Design-Intent Coverage - A New Paradigm for Formal Property Verification., , , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (10): 1922-1934 (2006)Deterministic Dynamic Monitors for Linear-Time Assertions., , , , and . FATES/RV, volume 4262 of Lecture Notes in Computer Science, page 163-177. Springer, (2006)The ForSpec Temporal Logic: A New Temporal Property-Specification Language., , , , , , , , , and 2 other author(s). TACAS, volume 2280 of Lecture Notes in Computer Science, page 296-211. Springer, (2002)On the Derandomization of Space-Bounded Computations.. RANDOM, volume 1518 of Lecture Notes in Computer Science, page 47-59. Springer, (1998)Deeper Bound in BMC by Combining Constant Propagation and Abstraction., , , , , , and . ASP-DAC, page 304-309. IEEE Computer Society, (2007)SAT-based Induction for Temporal Safety Properties., , , , , and . BMC@CAV, volume 119 of Electronic Notes in Theoretical Computer Science, page 3-16. Elsevier, (2004)Resets vs. Aborts in Linear Temporal Logic., , , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 65-80. Springer, (2003)SL <= L4/3., , , and . STOC, page 230-239. ACM, (1997)Discrepancy Sets and Pseudorandom Generators for Combinatorial Rectangles., , , and . FOCS, page 412-421. IEEE Computer Society, (1996)Formal verification coverage: computing the coverage gap between temporal specifications., , , , , , , and . ICCAD, page 198-203. IEEE Computer Society / ACM, (2004)