Husnu Yenigun
Husnu Yenigun
Professor of Computer Science, Sabanci University
Verified email at sabanciuniv.edu - Homepage
Title
Cited by
Cited by
Year
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
1471998
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
852003
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
532013
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
382002
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
302001
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
291997
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
242007
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
Compressing transitions for model checking
R Kurshan, V Levin, H Yenigün
International Conference on Computer Aided Verification, 569-582, 2002
182002
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
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
162007
Reduced checking sequences using unreliable reset
GV Jourdan, H Ural, H Yenigün
Information Processing Letters 115 (5), 532-535, 2015
152015
The relation between preset distinguishing sequences and synchronizing sequences
C Güniçen, K İnan, UC Türker, H Yenigün
Formal Aspects of Computing 26 (6), 1153-1167, 2014
142014
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
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
Regression test suite selection using dependence analysis
H Ural, H Yenigün
Journal of Software: Evolution and Process 25 (7), 681-709, 2013
132013
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
112015
Lower bounds on lengths of checking sequences
GV Jourdan, H Ural, H Yenigün, JC Zhang
Formal aspects of computing 22 (6), 667-679, 2010
112010
The system can't perform the operation now. Try again later.
Articles 1–20