Husnu Yenigun
Husnu Yenigun
Professor of Computer Science, Sabanci University
sabanciuniv.edu의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
1521998
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
932003
Solving a robust airline crew pairing problem with column generation
İ 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
642013
Eliminating redundant tests in a checking sequence
J Chen, RM Hierons, H Ural, H Yenigun
IFIP International Conference on Testing of Communicating Systems, 146-158, 2005
412005
Combining software and hardware verification techniques
RP Kurshan, V Levin, M Minea, D Peled, H Yenigün
Formal Methods in System Design 21 (3), 251-280, 2002
392002
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
312001
Verifying hardware in its software context
R Kurshan, V Levin, M Minea, D Peled, H Yenigün
Proceedings of the 1997 IEEE/ACM international conference on Computer-aided …, 1997
281997
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
262007
Reduced checking sequences using unreliable reset
GV Jourdan, H Ural, H Yenigün
Information Processing Letters 115 (5), 532-535, 2015
192015
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
192008
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 (6), 1153-1167, 2014
182014
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
182006
Microstrip patch antenna for RFID applications
E Budak, B Catay, I Tekin, H Yenigun, M Abbak, S Drannikov
2007 1st Annual RFID Eurasia, 1-3, 2007
172007
Compressing transitions for model checking
R Kurshan, V Levin, H Yenigün
International Conference on Computer Aided Verification, 569-582, 2002
172002
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
162017
Hardness and inapproximability of minimizing adaptive distinguishing sequences
UC Türker, H Yenigün
Formal Methods in System Design 44 (3), 264-294, 2014
152014
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
152009
Generalizing redundancy elimination in checking sequences
KT Tekle, H Ural, MC Yalcin, H Yenigun
International Symposium on Computer and Information Sciences, 915-926, 2005
152005
Regression test suite selection using dependence analysis
H Ural, H Yenigün
Journal of Software: Evolution and Process 25 (7), 681-709, 2013
142013
Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines
N Kushik, H Yenigün
IFIP International Conference on Testing Software and Systems, 243-248, 2015
132015
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20