Husnu Yenigun
Husnu Yenigun
Professor of Computer Science, Sabanci University
E-mail confirmado em sabanciuniv.edu - Página inicial
Título
Citado por
Citado por
Ano
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
1511998
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
922003
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
602013
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
402005
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
402002
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
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
182008
Reduced checking sequences using unreliable reset
GV Jourdan, H Ural, H Yenigün
Information Processing Letters 115 (5), 532-535, 2015
172015
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
172014
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
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
172006
Compressing transitions for model checking
R Kurshan, V Levin, H Yenigün
International Conference on Computer Aided Verification, 569-582, 2002
172002
Regression test suite selection using dependence analysis
H Ural, H Yenigün
Journal of Software: Evolution and Process 25 (7), 681-709, 2013
142013
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
142009
Generalizing redundancy elimination in checking sequences
KT Tekle, H Ural, MC Yalcin, H Yenigun
International Symposium on Computer and Information Sciences, 915-926, 2005
142005
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
132017
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
Hardness and inapproximability of minimizing adaptive distinguishing sequences
UC Türker, H Yenigün
Formal Methods in System Design 44 (3), 264-294, 2014
132014
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20