Hüsnü Yenigün

2008
17		John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings Springer 2008
16	EE	Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Using adaptive distinguishing sequences in checking sequence constructions. SAC 2008: 682-687
2007
15	EE	Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün: Recovering Repetitive Sub-functions from Observations. FORTE 2007: 35-49
2006
14		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 Springer 2006
13	EE	Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Minimizing Coordination Channels in Distributed Testing. FORTE 2006: 451-466
12	EE	M. Cihan Yalcin, Hüsnü Yenigün: Using Distinguishing and UIO Sequences Together in a Checking Sequence. TestCom 2006: 259-273
2005
11	EE	K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün: Generalizing Redundancy Elimination in Checking Sequences. ISCIS 2005: 915-926
10	EE	Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Recovering the Lattice of Repetitive Sub-functions. ISCIS 2005: 956-965
9	EE	Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün: Eliminating Redundant Tests in a Checking Sequence. TestCom 2005: 146-158
2004
8	EE	Hasan Ural, Hüsnü Yenigün: Towards Design Recovery from Observations. FORTE 2004: 133-149
2002
7	EE	Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün: Compressing Transitions for Model Checking. CAV 2002: 569-581
6		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Combining Software and Hardware Verification Techniques. Formal Methods in System Design 21(3): 251-280 (2002)
2001
5	EE	Vladimir Levin, Hüsnü Yenigün: SDLcheck: A Model Checking Tool. CAV 2001: 377
1999
4	EE	Hüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel: Hazard-Freedom Checking in Speed-Independent Systems. CHARME 1999: 317-320
1998
3	EE	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
1997
2	EE	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749
1993
1		Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, K. Inan: A recursive process algebra for queues. FORTE 1993: 285-300

Coauthor Index

1	Selim Balcisoy	[14]
2	Peter A. Beerel	[4]
3	S. Bilgen	[1]
4	Jessica Chen	[9]
5	John S. Fitzgerald	[17]
6	Esfandiar Haghverdi	[1]
7	Anne Elisabeth Haxthausen	[17]
8	Robert M. Hierons	[9] [16]
9	K. Inan	[1]
10	Guy-Vincent Jourdan	[10] [13] [15] [16]
11	Robert P. Kurshan	[2] [3] [6] [7]
12	Albert Levi	[14]
13	Vladimir Levin	[2] [3] [4] [5] [6] [7]
14	Marius Minea	[2] [3] [6]
15	Doron Peled	[2] [3] [4] [6]
16	Erkay Savas	[14]
17	Yücel Saygin	[14]
18	K. Tuncay Tekle	[11]
19	Hasan Ural	[8] [9] [10] [11] [13] [15] [16]
20	Shen Wang	[15]
21	M. Cihan Yalcin	[11] [12]

Colors in the list of coauthors