Searching for authors named "Orna Kupferman" – sorted by Relevance.
80 documents found, showing 1 through 10.
Next 10 →
-
Avoiding determinization
- … Determinization ∗ Orna Kupferman † Hebrew University 1 1 Introduction Finite automata on infinite objects were…
- Cited by 2 (0 self) – Add To MetaCart
-
Sanity Checks in Formal Verification
- …Sanity Checks in Formal Verification ⋆ Orna Kupferman ⋆⋆ Hebrew University, School of Engineering…
- Cited by 6 (2 self) – Add To MetaCart
-
On the Succinctness of Nondeterminism
- …On the Succinctness of Nondeterminism Benjamin Aminof and Orna Kupferman Hebrew University, School…
- Add To MetaCart
-
On Object Systems and Behavioral Inheritance
- … and Behavioral Inheritance David Harel, Fellow, IEEE, and Orna Kupferman Abstract--We consider state…
- Cited by 8 (0 self) – Add To MetaCart
-
On the construction of fine automata for safety properties
- …On the Construction of Fine Automata for Safety Properties Orna Kupferman and Robby Lampert Hebrew…
- Cited by 2 (2 self) – Add To MetaCart
-
Better under-approximation of programs by hiding of variables
- …Better Under-approximation of Programs by Hiding Variables Thomas Ball 1 and Orna Kupferman 2 1…
- Cited by 2 (1 self) – Add To MetaCart
-
Lattice automata
- …Lattice Automata Orna Kupferman and Yoad Lustig Hebrew University, School of Engineering…
- Cited by 4 (1 self) – Add To MetaCart
-
An Improved Algorithm for the Membership Problem for Extended Regular Expressions
- …An Improved Algorithm for the Membership Problem for Extended Regular Expressions Orna Kupferman…
- Cited by 6 (0 self) – Add To MetaCart
-
Formal Analysis Of Scientific-Computation Methods
- …FORMAL ANALYSIS OF SCIENTIFIC-COMPUTATION METHODS Gadiel Auerbach Orna Kupferman IBM Haifa…
- Add To MetaCart
-
2 \ 2 AFMC
- … 2 \ 2 AFMC Orna Kupferman 1? and Moshe Y. Vardi 2?? 1 Hebrew University, School…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
