Alper Sen

	2012
28		Etem Deniz, Alper Sen, Jim Holt: Verification coverage of embedded multicore applications. DATE 2012: 252-255
	2011
27		Alper Sen, Etem Deniz: Verification Tests for MCAPI. MTV 2011: 46-50
26		Alper Sen: Concurrency-oriented verification and coverage of system-level designs. ACM Trans. Design Autom. Electr. Syst. 16(4): 37 (2011)
25		Alper Sen, Baris Aksanli, Murat Bozkurt: Speeding Up Cycle Based Logic Simulation Using Graphics Processing Units. International Journal of Parallel Programming 39(5): 639-661 (2011)
24		Alper Sen, Can Özturan: Special Issue on the 9th International Symposium on Parallel and Distributed Computing. Scientific Programming 19(1): 1 (2011)
	2010
23		Dogan Fennibay, Arda Yurdakul, Alper Sen: Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design of Real-time Embedded Systems. CIT 2010: 1902-1909
22		Alper Sen, Magdy S. Abadir: Coverage metrics for verification of concurrent SystemC designs using mutation testing. HLDVT 2010: 75-81
21		Alper Sen, Baris Aksanli, Murat Bozkurt, Melih Mert: Parallel Cycle Based Logic Simulation Using Graphics Processing Units. ISPDC 2010: 71-78
20		Alper Sen, Baris Aksanli, Murat Bozkurt: Using Graphics Processing Units for Logic Simulation of Electronic Designs. MTV 2010: 73-76
19		Scott Little, David Walter, Kevin Jones, Chris J. Myers, Alper Sen: Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. Int. J. Found. Comput. Sci. 21(2): 191-210 (2010)
18		Alper Sen, Deepak Bhatia, Koray Dogan: Applied Materials Uses Operations Research to Design Its Service and Parts Network. Interfaces 40(4): 253-266 (2010)
	2009
17		Alper Sen: Mutation Operators for Concurrent SystemC Designs. MTV 2009: 27-31
16		Alper Sen, Alex X. Zhang: Style goods pricing with demand learning. European Journal of Operational Research 196(3): 1058-1075 (2009)
15		Zümbül Bulut, Ülkü Gürler, Alper Sen: Bundle pricing of inventories with stochastic demand. European Journal of Operational Research 197(3): 897-911 (2009)
	2008
14		Alper Sen, Vinit Ogale, Magdy S. Abadir: Predictive runtime verification of multi-processor SoCs in SystemC. DAC 2008: 948-953
13		Hande Yaman, Alper Sen: Manufacturer's mixed pallet design problem. European Journal of Operational Research 186(2): 826-840 (2008)
	2007
12		Scott Little, Alper Sen, Chris J. Myers: Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits. MTV 2007: 109-115
11		Selma Ikiz, Alper Sen: Runtime Verification of k-Mutual Exclusion for SoCs. MTV 2007: 44-50
10		Alper Sen: Error Diagnosis in Equivalence Checking of High Performance Microprocessors. Electr. Notes Theor. Comput. Sci. 174(4): 9-18 (2007)
9		Alper Sen, Vijay K. Garg: Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56(4): 511-527 (2007)
8		Neeraj Mittal, Alper Sen, Vijay K. Garg: Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distrib. Syst. 18(12): 1700-1713 (2007)
	2004
7		Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya: Finding Satisfying Global States: All for One and One for All. IPDPS 2004
6		Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra: Formal Verification of a System-on-Chip Using Computation Slicing. ITC 2004: 810-819
	2003
5		Alper Sen, Vijay K. Garg: On Checking Whether a Predicate Definitely Holds. FATES 2003: 15-29
4		Alper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. OPODIS 2003: 171-183
3		Alper Sen, Vijay K. Garg: Partial Order Trace Analyzer (POTA) for Distributed Programs. Electr. Notes Theor. Comput. Sci. 89(2): 22-43 (2003)
	2002
2		Alper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates on the Happened-Before Model. IPDPS 2002
	1998
1		Alper Sen, Ömer S. Benli: Lot streaming in open shops. Oper. Res. Lett. 23(3-5): 135-142 (1998)

Coauthor Index

1	Magdy S. Abadir	[14] [22]
2	Jacob A. Abraham	[6]
3	Baris Aksanli	[20] [21] [25]
4	Ranganath Atreya	[7]
5	Ömer S. Benli	[1]
6	Jayanta Bhadra (Jay Bhadra)	[6]
7	Deepak Bhatia	[18]
8	Murat Bozkurt	[20] [21] [25]
9	Zümbül Bulut	[15]
10	Etem Deniz	[27] [28]
11	Koray Dogan	[18]
12	Dogan Fennibay	[23]
13	Vijay K. Garg	[2] [3] [4] [5] [6] [7] [8] [9]
14	Ülkü Gürler	[15]
15	Jim Holt	[28]
16	Selma Ikiz	[11]
17	Kevin Jones	[19]
18	Scott Little	[12] [19]
19	Melih Mert	[21]
20	Neeraj Mittal	[7] [8]
21	Chris J. Myers	[12] [19]
22	Vinit Ogale	[14]
23	Can Özturan	[24]
24	David Walter	[19]
25	Hande Yaman	[13]
26	Arda Yurdakul	[23]
27	Alex X. Zhang	[16]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page