Searching for authors named "Orna Kupferman" – sorted by Relevance.
-
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

