| Static partial order reduction R Kurshan, V Levin, M Minea, D Peled, H Yenigün International Conference on Tools and Algorithms for the Construction and …, 1998 | 169 | 1998 |
| 2-D localization and identification based on SAW ID-tags at 2.5 GHz TF Bechteler, H Yenigun IEEE Transactions on Microwave Theory and Techniques 51 (5), 1584-1590, 2003 | 109 | 2003 |
| Solving a robust airline crew pairing problem with column generation I Muter, Şİ Birbil, K Bülbül, G Şahin, H Yenigün, D Taş, D Tüzün Computers & Operations Research 40 (3), 815-830, 2013 | 93 | 2013 |
| Combining software and hardware verification techniques RP Kurshan, V Levin, M Minea, D Peled, H Yenigün Formal Methods in System Design 21, 251-280, 2002 | 43 | 2002 |
| Eliminating redundant tests in a checking sequence J Chen, RM Hierons, H Ural, H Yenigun Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International …, 2005 | 41 | 2005 |
| Reduced checking sequences using unreliable reset GV Jourdan, H Ural, H Yenigün Information Processing Letters 115 (5), 532-535, 2015 | 32 | 2015 |
| Verifying hardware in its software context and vice-versa RP Kurshan, V Levin, M Minea, DA Peled, H Yenigun US Patent 6,209,120, 2001 | 31 | 2001 |
| Design of an RFID-based manufacturing monitoring and analysis system E Budak, B Catay, I Tekin, H Yenigun, M Abbak, S Drannikov, O Simsek 2007 1st Annual RFID Eurasia, 1-6, 2007 | 30 | 2007 |
| Verifying hardware in its software context Kurshan, Minea, Peled, Yenigun 1997 Proceedings of IEEE International Conference on Computer Aided Design …, 1997 | 30 | 1997 |
| The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs H Yenigün, N Yevtushenko, N Kushik Information Processing Letters 127, 49-53, 2017 | 23 | 2017 |
| The relation between preset distinguishing sequences and synchronizing sequences C Güniçen, K Inan, UC Türker, H Yenigün Formal Aspects of Computing 26, 1153-1167, 2014 | 23 | 2014 |
| Regression test suite selection using dependence analysis H Ural, H Yenigün Journal of Software: Evolution and Process 25 (7), 681-709, 2013 | 22 | 2013 |
| Using adaptive distinguishing sequences in checking sequence constructions RM Hierons, GV Jourdan, H Ural, H Yenigun Proceedings of the 2008 ACM symposium on Applied computing, 682-687, 2008 | 21 | 2008 |
| Complexities of some problems related to synchronizing, non-synchronizing and monotonic automata UC Türker, H Yenigün International Journal of Foundations of Computer Science 26 (01), 99-121, 2015 | 20 | 2015 |
| Checking sequence construction using adaptive and preset distinguishing sequences RM Hierons, GV Jourdan, H Ural, H Yenigun 2009 Seventh IEEE International Conference on Software Engineering and …, 2009 | 20 | 2009 |
| Compressing transitions for model checking R Kurshan, V Levin, H Yenigün Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 20 | 2002 |
| Using distinguishing and uio sequences together in a checking sequence MC Yalcin, H Yenigun IFIP International Conference on Testing of Communicating Systems, 259-273, 2006 | 19 | 2006 |
| Hardness and inapproximability of minimizing adaptive distinguishing sequences UC Türker, H Yenigün Formal Methods in System Design 44, 264-294, 2014 | 18 | 2014 |
| Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines N Kushik, H Yenigün Testing Software and Systems: 27th IFIP WG 6.1 International Conference …, 2015 | 17 | 2015 |
| Lower bounds on lengths of checking sequences GV Jourdan, H Ural, H Yenigün, JC Zhang Formal aspects of computing 22, 667-679, 2010 | 17 | 2010 |
guy-vincent jourdanUniversity of Ottawa在 eecs.uottawa.ca 的电子邮件经过验证
