 | 2011 |
| 13 |  | Pallavi Joshi,
Haryadi S. Gunawi,
Koushik Sen:
PREFAIL: a programmable tool for multiple-failure injection.
OOPSLA 2011: 171-188 |
| 2010 |
| 12 |  | Pallavi Joshi,
Mayur Naik,
Koushik Sen,
David Gay:
An effective dynamic analysis for detecting generalized deadlocks.
SIGSOFT FSE 2010: 327-336 |
| 11 |  | Chitra Alavani,
Roland Glowinski,
Susana Gomez,
Benjamin Ivorra,
Pallavi Joshi,
Angel Manuel Ramos:
Modelling and simulation of a polluted water pumping process.
Mathematical and Computer Modelling 51(5-6): 461-472 (2010) |
| 2009 |
| 10 |  | Pallavi Joshi,
Mayur Naik,
Chang-Seo Park,
Koushik Sen:
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.
CAV 2009: 675-681 |
| 9 |  | Pallavi Joshi,
Chang-Seo Park,
Koushik Sen,
Mayur Naik:
A randomized dynamic program analysis technique for detecting real deadlocks.
PLDI 2009: 110-120 |
| 2008 |
| 8 |  | Pallavi Joshi,
Koushik Sen:
Predictive Typestate Checking of Multithreaded Java Programs.
ASE 2008: 288-296 |
| 7 |  | Debdeep Mukhopadhyay,
Pallavi Joshi,
Dipanwita Roy Chowdhury:
VLSI Architecture of a Cellular Automata based One-Way Function.
JCP 3(5): 46-53 (2008) |
| 2007 |
| 6 |  | Pallavi Joshi,
Koushik Sen,
Mark Shlimovich:
Predictive testing: amplifying the effectiveness of software testing.
ESEC/SIGSOFT FSE 2007: 561-564 |
| 5 |  | Pallavi Joshi,
Koushik Sen,
Mark Shlimovich:
Predictive testing: amplifying the effectiveness of software testing.
ESEC/SIGSOFT FSE (Companion) 2007: 561-564 |
| 4 |  | Nikita Borisov,
David Brumley,
Helen J. Wang,
John Dunagan,
Pallavi Joshi,
Chuanxiong Guo:
Generic Application-Level Protocol Analyzer and its Language.
NDSS 2007 |
| 3 |  | Debdeep Mukhopadhyay,
Pallavi Joshi,
Dipanwita Roy Chowdhury:
An Efficient Design of Cellular Automata Based Cryptographically Robust One-Way Function.
VLSI Design 2007: 842-853 |
| 2006 |
| 2 |  | Pallavi Joshi,
Debdeep Mukhopadhyay,
Dipanwita Roy Chowdhury:
Design and Analysis of a Robust and Efficient Block Cipher using Cellular Automata.
AINA (2) 2006: 67-71 |
| 2005 |
| 1 |  | Pallavi Joshi,
Debdeep Mukhopadhyay,
Dipanwita Roy Chowdhury:
Design and Analysis of a Robust and Efficient Block Cipher using Cellular Automata.
IACR Cryptology ePrint Archive 2005: 396 (2005) |