 | 2011 |
|---|
| 6 |       | Manu Jose,
Rupak Majumdar:
Bug-Assist: Assisting Fault Localization in ANSI-C Programs.
CAV 2011: 504-509 |
| 5 | | Manu Jose,
Rupak Majumdar:
Cause clue clauses: error localization using maximum satisfiability.
PLDI 2011: 437-446 |
| 2010 |
|---|
| 4 | | Manu Jose,
Yu Hu,
Rupak Majumdar,
Lei He:
Rewiring for robustness.
DAC 2010: 469-474 |
| 3 | | Manu Jose,
Yu Hu,
Rupak Majumdar:
On power and fault-tolerance optimization in FPGA physical synthesis.
ICCAD 2010: 224-229 |
| 2 | | Manu Jose,
Rupak Majumdar:
Cause Clue Clauses: Error Localization using Maximum Satisfiability
CoRR abs/1011.1589: (2010) |
| 2006 |
|---|
| 1 |  | Vinod Pathari,
Manu Jose,
G. R. Ragul,
P. Muhammed Irshad:
K-RTP: A Reliable Transport Layer Protocol for Wireless Sensor Networks.
Wireless and Optical Communications 2006 |
Data released under the ODC-BY 1.0 license — See also our legal information page