Roy Armoni

2007
13	EE	Roy 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
12	EE	Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177
11	EE	Prasenjit 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
9	EE	Roy 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
8	EE	Sayantan 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
7	EE	Roy 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
6	EE	Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi: Resets vs. Aborts in Linear Temporal Logic. TACAS 2003: 65-80
2002
5	EE	Roy 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
4	EE	Roy 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
3	EE	Roy Armoni: On the Derandomization of Space-Bounded Computations. RANDOM 1998: 47-59
1997
2	EE	Roy 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

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

Colors in the list of coauthors