| 2016 | SAC | Reducing locating sequences for testing from finite state machines. | Guy-Vincent Jourdan, Hasan Ural, Hsn Yenign |
| 2012 | COMPSAC | On Capturing Effects of Modifications as Data Dependencies. | Hasan Ural, Hsn Yenign |
| 2009 | SEFM | Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. | Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hsn Yenign |
| 2008 | SAC | Using adaptive distinguishing sequences in checking sequence constructions. | Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hsn Yenign |
| 2007 | FORTE | Recovering Repetitive Sub-functions from Observations. | Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hsn Yenign |
| 2007 | ICSE | An Improved Approach to Passive Testing of FSM-based Systems. | Hasan Ural, Zhi Xu, Fan Zhang |
| 2006 | FORTE | Minimizing Coordination Channels in Distributed Testing. | Guy-Vincent Jourdan, Hasan Ural, Hsn Yenign |
| 2005 | FORTE | Resolving Observability Problems in Distributed Test Architectures. | Jessica Chen, Robert M. Hierons, Hasan Ural |
| 2004 | FORTE | Conditions for Resolving Observability Problems in Distributed Testing. | Jessica Chen, Robert M. Hierons, Hasan Ural |
| 2004 | FORTE | Towards Design Recovery from Observations. | Hasan Ural, Hsn Yenign |
| 2003 | FORTE | Concerning the Ordering of Adaptive Test Sequences. | Robert M. Hierons, Hasan Ural |
| 2003 | ICSE | Data Flow Testing as Model Checking. | Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural |
| 2002 | COMPSAC | Expanding an Extended Finite State Machine to aid Testability. | Robert M. Hierons, T.-H. Kim, Hasan Ural |
| 2002 | TACAS | A Temporal Logic Based Theory of Test Coverage and Generation. | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural |
| 1998 | ICDCS | On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs. | Hans van der Schoot, Hasan Ural |
| 1996 | ICDCS | Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). | Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural |
| 1995 | PODC | Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). | Hans van der Schoot, Hasan Ural |
| 1993 | FORTE | Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. | Hasan Ural, Alan W. Williams |
| 1993 | ICNP | Language-based analysis of communicating finite state machines. | Jan Huus, Hasan Ural |
| 1993 | INFOCOM | Minimum-Cost Synchronizable Test Sequence Generation via the DuplexU Digraph. | Wen-Huei Chen, Chuan Yi Tang, Hasan Ural |
| 1993 | ICSE | Modeling Software for Accurate Data Flow Representation. | Hasan Ural, Bo Yang |
| 1990 | ICCI | Electing a Leader in a Synchronous Scalable Network. | G. H. Masapati, Hasan Ural |
| 1990 | SIGCOMM | Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping. | Bo Yang, Hasan Ural |
| 1989 | INFOCOM | Formalization of ISDN LAPD for Conformance Testing. | Teddy Boyce, T. Grenier, Robert L. Probert, Hasan Ural |
| 1986 | SIGCOMM | An interactive test sequence generator. | Hasan Ural, R. Short |