| 2007 |
|---|
| 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) |
