Husnu Yenigun

Cited by

	All	Since 2019
Citations	1079	341
h-index	18	10
i10-index	32	10

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 14 4 9 14 25 23 25 24 32 33 39 37 29 39 42 69 59 75 68 61 69 75 70 46 44 36

Public access

View all

5 articles

2 articles

available

not available

Based on funding mandates

Co-authors

guy-vincent jourdanUniversity of OttawaVerified email at eecs.uottawa.ca
Uraz Cengiz TurkerLecturer at the school of Computing and Communications, Lancaster University, UKVerified email at lancaster.ac.uk
Kamer KayaAssoc. Prof., Sabancı UniversityVerified email at sabanciuniv.edu
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Marius MineaAssociate Professor, Politehnica University of TimisoaraVerified email at cs.upt.ro
Nina YevtushenkoIvannikov Institute for System Programming of RASVerified email at ispras.ru
Natalia KushikAssociate Professor, Télécom SudParis, Institut Polytechnique de ParisVerified email at telecom-sudparis.eu
Kerem BulbulPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.com
Ibrahim TekinSabanci University Electronics EngineeringVerified email at sabanciuniv.edu
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Ibrahim MuterAmazon Web ServicesVerified email at amazon.com
Duygu TasAssistant Professor at Sabancı UniversityVerified email at sabanciuniv.edu
Guvenc SahinProfessor of Operations Research, Senior Consultant at AWSVerified email at amazon.de
Ilker BirbilUniversity of AmsterdamVerified email at uva.nl
Mehmet AbbakResearcherVerified email at sabanciuniv.edu
Erhan BudakFaculty of Engineering and Natural Sciences, Sabanci UniversityVerified email at sabanciuniv.edu
Bülent ÇataySabanci UniversityVerified email at sabanciuniv.edu
Ana CavalliProfesseur Telecom SudParisVerified email at it-sudparis.eu
Cemal YilmazProfessor of Computer Science, Sabanci University, TurkeyVerified email at sabanciuniv.edu
Tonguç ÜnlüyurtSabanci University, Istanbul, TurkeyVerified email at sabanciuniv.edu

Husnu Yenigun

Professor of Computer Science, Sabanci University

Verified email at sabanciuniv.edu - Homepage

Formal methods formal aspects of testing model based testing finite state machines


Title Sort by citations Sort by year Sort by 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	169	1998
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	111	2003
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	97	2013
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	43	2002
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	41	2005
Reduced checking sequences using unreliable reset GV Jourdan, H Ural, H Yenigün Information Processing Letters 115 (5), 532-535, 2015	32	2015
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	31	2001
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	30	2007
Verifying hardware in its software context Kurshan, Minea, Peled, Yenigun 1997 Proceedings of IEEE International Conference on Computer Aided Design …, 1997	30	1997
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	23	2017
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	23	2014
Regression test suite selection using dependence analysis H Ural, H Yenigün Journal of Software: Evolution and Process 25 (7), 681-709, 2013	22	2013
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	21	2008
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	20	2015
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	20	2009
Compressing transitions for model checking R Kurshan, V Levin, H Yenigün Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	20	2002
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	19	2006
Hardness and inapproximability of minimizing adaptive distinguishing sequences UC Türker, H Yenigün Formal Methods in System Design 44, 264-294, 2014	18	2014
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	17	2015
Lower bounds on lengths of checking sequences GV Jourdan, H Ural, H Yenigün, JC Zhang Formal aspects of computing 22, 667-679, 2010	17	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors