Roy Armoni

According to our database, Roy Armoni authored at least 15 papers between 1996 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2013

SVA and PSL Local Variables - A Practical Approach.

Roy Armoni, Dana Fisman, Naiyong Jin

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2007

Deeper Bound in BMC by Combining Constant Propagation and Abstraction.

Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2006

Design-Intent Coverage - A New Paradigm for Formal Property Verification.

Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Deterministic Dynamic Monitors for Linear-Time Assertions.

Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

Efficient LTL compilation for SAT-based model checking.

Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

2004

SAT-based Induction for Temporal Safety Properties.

Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi

Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004

Formal verification coverage: computing the coverage gap between temporal specifications.

Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

2003

Resets vs. Aborts in Linear Temporal Logic.

Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Enhanced Vacuity Detection in Linear Temporal Logic.

Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

The ForSpec Temporal Logic: A New Temporal Property-Specification Language.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2000

An <i>O</i>(log(<i>n</i>)^4/3) space algorithm for (<i>s, t</i>) connectivity in undirected graphs.

Roy Armoni, Amnon Ta-Shma, Avi Wigderson, Shiyu Zhou

J. ACM, 2000

1998

On the random resources needed by space bounded computational models (על משאבי האקראיות הדרושים למודלים חישוביים מוגבלי זכרון.).

Roy Armoni

PhD thesis, 1998

On the Derandomization of Space-Bounded Computations.

Roy Armoni

Proceedings of the Randomization and Approximation Techniques in Computer Science, 1998

1997

SL <= L^4/3.

Roy Armoni, Amnon Ta-Shma, Avi Wigderson, Shiyu Zhou

Proceedings of the Twenty-Ninth Annual ACM Symposium on the Theory of Computing, 1997

1996

Discrepancy Sets and Pseudorandom Generators for Combinatorial Rectangles.

Roy Armoni, Michael E. Saks, Avi Wigderson, Shiyu Zhou

Proceedings of the 37th Annual Symposium on Foundations of Computer Science, 1996