![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Hüsnü Yenigün
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j21]Kamer Kaya, Cevat Sener, Hüsnü Yenigün:
Special issue on High-Performance Computing Conference (BASARIM 2022). Concurr. Comput. Pract. Exp. 35(24) (2023) - 2021
- [j20]N. Ege Saraç
, Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya
, Hüsnü Yenigün:
Boosting expensive synchronizing heuristics. Expert Syst. Appl. 167: 114203 (2021) - [j19]Mustafa Kemal Tas, Kamer Kaya, Hüsnü Yenigün:
Synchronizing billion-scale automata. Inf. Sci. 574: 162-175 (2021) - [j18]Abdulkadir Uzun
, Firas Abdul Ghani
, Amir Mohsen Ahmadi Najafabadi
, Hüsnü Yenigün
, Ibrahim Tekin
:
Indoor Positioning System Based on Global Positioning System Signals with Down- and Up-Converters in 433 MHz ISM Band. Sensors 21(13): 4338 (2021) - 2020
- [j17]Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün:
Multicore and manycore parallelization of cheap synchronizing sequence heuristics. J. Parallel Distributed Comput. 140: 13-24 (2020)
2010 – 2019
- 2019
- [j16]Hüsnü Yenigün, Nina Yevtushenko, Ana Rosa Cavalli:
Guest Editorial: Special issue on Testing Software and Systems. Softw. Qual. J. 27(2): 497-499 (2019) - [c31]Berk Çirisci, M. Yusa Emek, Ege Sorguç, Kamer Kaya, Hüsnü Yenigün:
Using Synchronizing Heuristics to Construct Homing Sequences. MODELSWARD 2019: 362-369 - 2018
- [j15]Aras Mumcuyan, Baran Usta, Kamer Kaya
, Hüsnü Yenigün:
Optimally bipartitioning sparse matrices with reordering and parallelization. Concurr. Comput. Pract. Exp. 30(21) (2018) - [j14]Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün:
Synchronizing heuristics: Speeding up the fastest. Expert Syst. Appl. 94: 265-275 (2018) - [c30]Berk Çirisci, Baris Sevilmis, Emre Yasin Sivri, Poyraz Kivanç Karaçam, Kamer Kaya, Hüsnü Yenigün:
Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. MODELSWARD (Revised Selected Papers) 2018: 475-493 - [c29]Berk Çirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hüsnü Yenigün:
Using Structure of Automata for Faster Synchronizing Heuristics. MODELSWARD 2018: 544-551 - 2017
- [j13]Hüsnü Yenigün
, Nina Yevtushenko, Natalia Kushik
:
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Inf. Process. Lett. 127: 49-53 (2017) - [c28]Hüsnü Yenigün, Natalia Kushik
, Jorge López, Nina Yevtushenko, Ana R. Cavalli:
Decreasing the complexity of deriving test suites against nondeterministic finite state machines. EWDTS 2017: 1-4 - [e4]Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün:
Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. Lecture Notes in Computer Science 10533, Springer 2017, ISBN 978-3-319-67548-0 [contents] - 2016
- [j12]Uraz Cengiz Türker, Tonguç Ünlüyurt
, Hüsnü Yenigün:
Effective algorithms for constructing minimum cost adaptive distinguishing sequences. Inf. Softw. Technol. 74: 69-85 (2016) - [j11]Guy-Vincent Jourdan, Hüsnü Yenigün:
Recovering Representations of Systems with Repetitive Subfunctions from Observations. J. Multiple Valued Log. Soft Comput. 27(2-3): 255-273 (2016) - [j10]Hüsnü Yenigün, Cemal Yilmaz
, Andreas Ulrich:
Advances in test generation for testing software and systems - An introduction to selected papers from ICTSS 2013. Int. J. Softw. Tools Technol. Transf. 18(3): 245-249 (2016) - [c27]Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün:
Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. AMARETTO@MODELSWARD 2016: 83-90 - [c26]Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün:
Parallelizing Heuristics for Generating Synchronizing Sequences. ICTSS 2016: 106-122 - [c25]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Reducing locating sequences for testing from finite state machines. SAC 2016: 1654-1659 - [c24]Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
:
Some classes of finite state machines with polynomial length of distinguishing test cases. SAC 2016: 1680-1685 - 2015
- [j9]Uraz Cengiz Türker, Hüsnü Yenigün:
Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata. Int. J. Found. Comput. Sci. 26(1): 99-122 (2015) - [j8]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
:
Reduced checking sequences using unreliable reset. Inf. Process. Lett. 115(5): 532-535 (2015) - [c23]Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün:
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation. ICTSS 2015: 19-34 - [c22]Natalia Kushik
, Hüsnü Yenigün:
Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines. ICTSS 2015: 243-248 - 2014
- [j7]Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün:
The relation between preset distinguishing sequences and synchronizing sequences. Formal Aspects Comput. 26(6): 1153-1167 (2014) - [j6]Uraz Cengiz Türker, Hüsnü Yenigün:
Hardness and inapproximability of minimizing adaptive distinguishing sequences. Formal Methods Syst. Des. 44(3): 264-294 (2014) - [j5]Hüsnü Yenigün:
Identifying the effects of modifications as data dependencies. Softw. Qual. J. 22(4): 701-716 (2014) - [c21]Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün:
An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines. ISCIS 2014: 325-335 - [c20]Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün:
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences. ICTSS 2014: 32-47 - 2013
- [j4]Ibrahim Muter, S. Ilker Birbil, Kerem Bülbül
, Güvenç Sahin
, Hüsnü Yenigün, Duygu Tas
, Dilek Tüzün
:
Solving a robust airline crew pairing problem with column generation. Comput. Oper. Res. 40(3): 815-830 (2013) - [j3]Hasan Ural, Hüsnü Yenigün:
Regression test suite selection using dependence analysis. J. Softw. Evol. Process. 25(7): 681-709 (2013) - [e3]Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich:
Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings. Lecture Notes in Computer Science 8254, Springer 2013, ISBN 978-3-642-41706-1 [contents] - [i1]Canan Güniçen, Esra Erdem, Hüsnü Yenigün:
Generating Shortest Synchronizing Sequences using Answer Set Programming. CoRR abs/1312.6146 (2013) - 2012
- [c19]Hasan Ural, Hüsnü Yenigün:
On Capturing Effects of Modifications as Data Dependencies. COMPSAC 2012: 350-351 - 2011
- [c18]Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün:
Generating Preset Distinguishing Sequences Using SAT. ISCIS 2011: 487-493 - 2010
- [j2]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang:
Lower bounds on lengths of checking sequences. Formal Aspects Comput. 22(6): 667-679 (2010) - [c17]Hasan Ural, Hüsnü Yenigün:
Dependence Analysis for Regression Test Suite Selection and Augmentation. ISCIS 2010: 143-148
2000 – 2009
- 2009
- [c16]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu:
Using a SAT solver to generate checking sequences. ISCIS 2009: 549-554 - [c15]Robert M. Hierons
, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. SEFM 2009: 157-166 - 2008
- [c14]Robert M. Hierons
, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Using adaptive distinguishing sequences in checking sequence constructions. SAC 2008: 682-687 - [e2]John S. Fitzgerald, Anne E. Haxthausen, Hüsnü Yenigün:
Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science 5160, Springer 2008, ISBN 978-3-540-85761-7 [contents] - 2007
- [c13]Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün:
Recovering Repetitive Sub-functions from Observations. FORTE 2007: 35-49 - 2006
- [c12]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Minimizing Coordination Channels in Distributed Testing. FORTE 2006: 451-466 - [c11]M. Cihan Yalcin, Hüsnü Yenigün:
Using Distinguishing and UIO Sequences Together in a Checking Sequence. TestCom 2006: 259-273 - [e1]Albert Levi, Erkay Savas, Hüsnü Yenigün, Selim Balcisoy
, Yücel Saygin:
Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science 4263, Springer 2006, ISBN 3-540-47242-8 [contents] - 2005
- [c10]K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün:
Generalizing Redundancy Elimination in Checking Sequences. ISCIS 2005: 915-926 - [c9]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Recovering the Lattice of Repetitive Sub-functions. ISCIS 2005: 956-965 - [c8]Jessica Chen, Robert M. Hierons
, Hasan Ural, Hüsnü Yenigün:
Eliminating Redundant Tests in a Checking Sequence. TestCom 2005: 146-158 - 2004
- [c7]Hasan Ural, Hüsnü Yenigün:
Towards Design Recovery from Observations. FORTE 2004: 133-149 - 2002
- [j1]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün:
Combining Software and Hardware Verification Techniques. Formal Methods Syst. Des. 21(3): 251-280 (2002) - [c6]Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün:
Compressing Transitions for Model Checking. CAV 2002: 569-581 - 2001
- [c5]Vladimir Levin, Hüsnü Yenigün:
SDLcheck: A Model Checking Tool. CAV 2001: 377
1990 – 1999
- 1999
- [c4]Hüsnü Yenigün, Vladimir Levin, Doron A. Peled, Peter A. Beerel:
Hazard-Freedom Checking in Speed-Independent Systems. CHARME 1999: 317-320 - 1998
- [c3]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün:
Static Partial Order Reduction. TACAS 1998: 345-357 - 1997
- [c2]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün:
Verifying hardware in its software context. ICCAD 1997: 742-749 - 1993
- [c1]Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan:
A recursive process algebra for queues. FORTE 1993: 285-300
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-09 04:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint