Searching for authors named "Hasan Ural" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Deadlock Detection in CFSM Models via Simultaneously Executable Sets
- … Models via Simultaneously Executable Sets Kadir zdemir and Hasan Ural Department of Computer Science…
- Add To MetaCart
-
Test generation based on control and data dependencies within multi-process SDL specifications
- … Olaf Henniger a , Hasan Ural b a GMD – German National Research Center for Information Technology…
- Add To MetaCart
-
Submodule Construction Using Derivatives
- …Submodule Construction Using Derivatives Esfandiar Haghverdi and Hasan Ural School…
- Add To MetaCart
-
Reduced Length Checking Sequences
- …Reduced Length Checking Sequences Robert M. Hierons, Member, IEEE, and Hasan Ural Abstract…
- Cited by 24 (5 self) – Add To MetaCart
-
Protocol Verification by Leaping Reachability Analysis
- …Protocol Verification by Leaping Reachability Analysis * Hans van der Schoot and Hasan Ural…
- Add To MetaCart
-
Construction of Deadlock-free Designs of Communication Protocols from Observations
- … Protocols from Observations XIAO JUN CHEN 1 AND HASAN URAL 2 1 School of Computer Science, University…
- Add To MetaCart
-
Data Flow Oriented Test Selection for LOTOS
- …Data Flow Oriented Test Selection for LOTOS Hans van der Schoot and Hasan Ural University…
- Cited by 3 (1 self) – Add To MetaCart
-
Deciding Deadlock-Freedom of Daisy-Chain Protocols By Fair Reachability Analysis
- … Schoot and Hasan Ural Department of Computer Science, University of Ottawa Ottawa, Ontario K1N 6N5…
- Cited by 2 (2 self) – Add To MetaCart
-
An Improvement in Partial-Order Model-Checking With Ample Sets
- …An improvement in partial-order model-checking with ample sets * Hans van der Schoot and Hasan…
- Cited by 1 (1 self) – Add To MetaCart
-
A uniform approach to tackle state explosion in verifying progress properties for networks of CFSMs
- … * Hans van der Schoot and Hasan Ural Department of Computer Science University of Ottawa Ottawa, Ontario…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
