Searching for authors named "Tevfik Bultan" – sorted by Relevance.
58 documents found, showing 1 through 10.
Next 10 →
-
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems
- … Systems Tevfik Bultan Department of Computer Science University of California Santa Barbara, CA 93106…
- Cited by 5 (0 self) – Add To MetaCart
-
X.: Realizability of interactions in collaboration diagrams
- …Realizability of Interactions in Collaboration Diagrams Tevfik Bultan Department of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
Specification of realizable service conversations using collaboration diagrams
- …Specification of Realizable Service Conversations Using Collaboration Diagrams Tevfik Bultan…
- Cited by 4 (2 self) – Add To MetaCart
-
Automated Verification of XACML Policies Using a SAT Solver ⋆
- …Automated Verification of XACML Policies Using a SAT Solver ⋆ Graham Hughes and Tevfik Bultan…
- Add To MetaCart
-
Automated Verification of XACML PoliciesUsing a SAT Solver
- … Automated Verification of XACML PoliciesUsing a SAT Solver ? Graham Hughes and Tevfik Bultan…
- Add To MetaCart
-
Widening arithmetic automata
- …Widening Arithmetic Automata ⋆ Constantinos Bartzis and Tevfik Bultan Department of Computer…
- Cited by 10 (1 self) – Add To MetaCart
-
Efficient symbolic representations for arithmetic constraints in verification
- … BARTZIS and TEVF . IK BULTAN Department of Computer Science, University of California, Santa Barbara CA…
- Cited by 9 (3 self) – Add To MetaCart
-
Automata-based representations for arithmetic constraints in automated verification
- … ? Constantinos Bartzis and Tevfik Bultan Department of Computer Science University of California Santa Barbara…
- Cited by 3 (1 self) – Add To MetaCart
-
Constraint-based Verification of Client-Server Protocols
- …Constraint-based Verication of Client-Server Protocols Giorgio Delzanno 1 and Tevk Bultan 2 1…
- Cited by 9 (4 self) – Add To MetaCart
-
Heuristics for Efficient Manipulation of Composite Constraints
- …Heuristics for Efficient Manipulation of Composite Constraints Tuba Yavuz-Kahveci and Tevfik…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
