Volgen
Husnu Yenigun
Husnu Yenigun
Professor of Computer Science, Sabanci University
Geverifieerd e-mailadres voor sabanciuniv.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1581998
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
992003
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
742013
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
422005
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
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
282007
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
Reduced checking sequences using unreliable reset
GV Jourdan, H Ural, H Yenigün
Information Processing Letters 115 (5), 532-535, 2015
272015
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
192017
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
192014
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
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
192006
Compressing transitions for model checking
R Kurshan, V Levin, H Yenigün
International conference on computer aided verification, 569-582, 2002
182002
Regression test suite selection using dependence analysis
H Ural, H Yenigün
Journal of Software: Evolution and Process 25 (7), 681-709, 2013
172013
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
172009
Microstrip patch antenna for RFID applications
E Budak, B Catay, İ Tekin, H Yenigun, M Abbak, S Drannikov
2007 1st Annual RFID Eurasia, 1-3, 2007
172007
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
162015
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20