Roy Armoni

Synopsys (Switzerland) — Switzerland

Computer Science · Physical Sciences

13h-index580citations20works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(13), Logic, programming, and type systems(6), Software Testing and Debugging Techniques(6), Complexity and Algorithms in Graphs(4), Embedded Systems Design Techniques(3)

Publications20 total

SVA and PSL Local Variables - A Practical Approach
Lecture notes in computer science·2013· 2 citedOpen Access
Deeper Bound in BMC by Combining Constant Propagation and Abstraction
2007· 3 cited
Design-Intent Coverage—A New Paradigm for Formal Property Verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2006· 16 cited
Deterministic Dynamic Monitors for Linear-Time Assertions
Lecture notes in computer science·2006· 30 cited
Efficient LTL compilation for SAT-based model checking
International Conference on Computer Aided Design·2005· 22 cited
SAT-based Induction for Temporal Safety Properties
Electronic Notes in Theoretical Computer Science·2005· 29 citedOpen Access
Formal verification coverage: computing the coverage gap between temporal specifications
2005· 13 cited
SAT-based Induction for Temporal Safety Properties
2004
Enhanced Vacuity Detection in Linear Temporal Logic
Lecture notes in computer science·2003· 85 cited
Enhanced Vacuity Detection in Linear Temporal Logic
2003
Resets vs. Aborts in Linear Temporal Logic
Lecture notes in computer science·2003· 30 cited
Discrepancy sets and pseudorandom generators for combinatorial rectangles
2002· 41 cited
A verification scheme for pipelined vector architectures
2002
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
Lecture notes in computer science·2002· 161 citedOpen Access
Aborts vs Resets in Linear Temporal Logic
2002· 6 cited
An <i>O</i> (log( <i>n</i> ) <sup>4/3</sup> ) space algorithm for ( <i>s, t</i> ) connectivity in undirected graphs
Journal of the ACM·2000· 26 citedOpen Access
On the Derandomization of Space-Bounded Computations
Lecture notes in computer science·1998· 19 cited
SL 4/3 .
Symposium on the Theory of Computing·1997
<i>SL</i> ⊆<i>L</i><sup>4/3</sup>
1997· 24 citedOpen Access
AVPGEN-A test generator for architecture verification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems·1995· 73 cited

Frequent Co-authors

Limor Fix(8), Moshe Y. Vardi(7), Andreas Tiemeyer(4), Nir Piterman(4), Shiyu Zhou(4), Ranan Fraer(4), Alon Flaisher(3), Yael Zbar(3), Avi Wigderson(3), Amnon Ta‐Shma(3), Orna Grümberg(2), Daniel Geist(2), Yaron Wolfsthal(2), Dmitry Korchemny(2), Doron Bustan(2), Orna Kupferman(2), Scott Huddleston(2), Parthiba Basu(2), Ansuman Banerjee(2), Pallab Dasgupta(2)