Подписаться
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
1691998
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
1102003
Solving a robust airline crew pairing problem with column generation
I 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
962013
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
Reduced checking sequences using unreliable reset
GV Jourdan, H Ural, H Yenigün
Information Processing Letters 115 (5), 532-535, 2015
322015
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
302007
Verifying hardware in its software context
Kurshan, Minea, Peled, Yenigun
1997 Proceedings of IEEE International Conference on Computer Aided Design …, 1997
301997
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
232017
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, 1153-1167, 2014
232014
Regression test suite selection using dependence analysis
H Ural, H Yenigün
Journal of Software: Evolution and Process 25 (7), 681-709, 2013
222013
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
212008
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
202015
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
202009
Compressing transitions for model checking
R Kurshan, V Levin, H Yenigün
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
202002
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
Hardness and inapproximability of minimizing adaptive distinguishing sequences
UC Türker, H Yenigün
Formal Methods in System Design 44, 264-294, 2014
182014
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
Lower bounds on lengths of checking sequences
GV Jourdan, H Ural, H Yenigün, JC Zhang
Formal aspects of computing 22, 667-679, 2010
172010
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20