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
Tools and Algorithms for the Construction and Analysis of Systems: 4th …, 1998
1651998
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
1032003
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
782013
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
432002
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
412005
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
301997
Reduced checking sequences using unreliable reset
GV Jourdan, H Ural, H Yenigün
Information Processing Letters 115 (5), 532-535, 2015
292015
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
292007
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
212017
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, 1153-1167, 2014
212014
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
202008
Using distinguishing and uio sequences together in a checking sequence
MC Yalcin, H Yenigun
Testing of Communicating Systems: 18th IFIP TC 6/WG 6.1 International …, 2006
192006
Regression test suite selection using dependence analysis
H Ural, H Yenigün
Journal of Software: Evolution and Process 25 (7), 681-709, 2013
182013
Compressing transitions for model checking
R Kurshan, V Levin, H Yenigün
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
182002
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
172015
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
172015
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
Lower bounds on lengths of checking sequences
GV Jourdan, H Ural, H Yenigün, JC Zhang
Formal Aspects of Computing 22, 667-679, 2010
162010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20