Raj Pamula
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2006
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ICCSA | Static Analysis Based Software Architecture Recovery. | Jiang Guo, Yuehong Liao, Raj Pamula |
| 2005 | IRI | Extending Eclipse to support object-oriented system verification. | Jiang Guo, Yuehong Liao, Raj Pamula |
| 2005 | PDPTA | Simulation of Error Latency and Error Recovery in Concurrent Processing. | Raj Pamula, Behzad Parviz, Chengyu Sun |
| 2004 | SNPD | Integrating Formal Techniques into Eclipse Platform. | Jiang Guo, Raj Pamula |