dblp.uni-trier.dewww.uni-trier.de

Roy Armoni Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
13EERoy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar: Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC 2007: 304-309
2006
12EERoy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177
11EEPrasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni: Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 25(10): 1922-1934 (2006)
2005
10 Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi: Efficient LTL compilation for SAT-based model checking. ICCAD 2005: 877-884
9EERoy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi: SAT-based Induction for Temporal Safety Properties. Electr. Notes Theor. Comput. Sci. 119(2): 3-16 (2005)
2004
8EESayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni: Formal verification coverage: computing the coverage gap between temporal specifications. ICCAD 2004: 198-203
2003
7EERoy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi: Enhanced Vacuity Detection in Linear Temporal Logic. CAV 2003: 368-380
6EERoy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi: Resets vs. Aborts in Linear Temporal Logic. TACAS 2003: 65-80
2002
5EERoy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS 2002: 296-211
2000
4EERoy Armoni, Amnon Ta-Shma, Avi Wigderson, Shiyu Zhou: An O(log(n)4/3) space algorithm for (s, t) connectivity in undirected graphs. J. ACM 47(2): 294-311 (2000)
1998
3EERoy Armoni: On the Derandomization of Space-Bounded Computations. RANDOM 1998: 47-59
1997
2EERoy Armoni, Amnon Ta-Shma, Avi Wigderson, Shiyu Zhou: SL <= L4/3. STOC 1997: 230-239
1996
1 Roy Armoni, Michael E. Saks, Avi Wigderson, Shiyu Zhou: Discrepancy Sets and Pseudorandom Generators for Combinatorial Rectangles. FOCS 1996: 412-421

Coauthor Index

1Ansuman Banerjee [8] [11]
2Prasenjit Basu [8] [11]
3Doron Bustan [6]
4P. P. Chakrabarti (Partha Pratim Chakrabarti) [8] [11]
5Sayantan Das [8] [11]
6Pallab Dasgupta [8] [11]
7Sergey Egorov [10]
8Limor Fix [5] [7] [8] [9] [11] [13]
9Alon Flaisher [5] [7]
10Ranan Fraer [9] [10] [13]
11Rob Gerth [5]
12Boris Ginsburg [5]
13Orna Grumberg [7]
14Tamir Heyman [13]
15Scott Huddleston [9]
16Tomer Kanza [5]
17Dmitry Korchemny [10] [12]
18Orna Kupferman [6]
19Avner Landver [5]
20Sela Mador-Haim [5]
21Chunduri Rama Mohan [8] [11]
22Nir Piterman [7] [9]
23Michael E. Saks [1]
24Eli Singerman [5]
25Amnon Ta-Shma [2] [4]
26Andreas Tiemeyer [5] [7] [12]
27Moshe Y. Vardi [5] [6] [7] [9] [10] [12] [13]
28Yakir Vizel [13]
29Avi Wigderson [1] [2] [4]
30Yael Zbar [5] [12] [13]
31Shiyu Zhou [1] [2] [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)