Husnu Yenigun
Husnu Yenigun
Professor of Computer Science, Sabanci University
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
Reduced checking sequences using unreliable reset
GV Jourdan, H Ural, H Yenigün
Information Processing Letters 115 (5), 532-535, 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
Verifying hardware in its software context
Kurshan, Minea, Peled, Yenigun
1997 Proceedings of IEEE International Conference on Computer Aided Design …, 1997
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
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
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
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
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
Regression test suite selection using dependence analysis
H Ural, H Yenigün
Journal of Software: Evolution and Process 25 (7), 681-709, 2013
Compressing transitions for model checking
R Kurshan, V Levin, H Yenigün
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
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
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
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
Hardness and inapproximability of minimizing adaptive distinguishing sequences
UC Türker, H Yenigün
Formal Methods in System Design 44, 264-294, 2014
Lower bounds on lengths of checking sequences
GV Jourdan, H Ural, H Yenigün, JC Zhang
Formal aspects of computing 22, 667-679, 2010
The system can't perform the operation now. Try again later.
Articles 1–20