2008 |
14 | EE | Alper Sen,
Vinit Ogale,
Magdy S. Abadir:
Predictive runtime verification of multi-processor SoCs in SystemC.
DAC 2008: 948-953 |
13 | EE | Hande Yaman,
Alper Sen:
Manufacturer's mixed pallet design problem.
European Journal of Operational Research 186(2): 826-840 (2008) |
2007 |
12 | EE | Scott Little,
Alper Sen,
Chris J. Myers:
Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits.
MTV 2007: 109-115 |
11 | EE | Selma Ikiz,
Alper Sen:
Runtime Verification of k-Mutual Exclusion for SoCs.
MTV 2007: 44-50 |
10 | EE | Alper Sen:
Error Diagnosis in Equivalence Checking of High Performance Microprocessors.
Electr. Notes Theor. Comput. Sci. 174(4): 9-18 (2007) |
9 | EE | Alper Sen,
Vijay K. Garg:
Formal Verification of Simulation Traces Using Computation Slicing.
IEEE Trans. Computers 56(4): 511-527 (2007) |
8 | EE | 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 | EE | Neeraj Mittal,
Alper Sen,
Vijay K. Garg,
Ranganath Atreya:
Finding Satisfying Global States: All for One and One for All.
IPDPS 2004 |
6 | EE | 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 | EE | Alper Sen,
Vijay K. Garg:
On Checking Whether a Predicate Definitely Holds.
FATES 2003: 15-29 |
4 | EE | Alper Sen,
Vijay K. Garg:
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing.
OPODIS 2003: 171-183 |
3 | EE | Alper Sen,
Vijay K. Garg:
Partial Order Trace Analyzer (POTA) for Distributed Programs.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
2002 |
2 | EE | Alper Sen,
Vijay K. Garg:
Detecting Temporal Logic Predicates on the Happened-Before Model.
IPDPS 2002 |
1998 |
1 | EE | Alper Sen,
Ömer S. Benli:
Lot streaming in open shops.
Oper. Res. Lett. 23(3-5): 135-142 (1998) |