dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pallavi Joshi Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPallavi Joshi, Haryadi S. Gunawi, Koushik Sen: PREFAIL: a programmable tool for multiple-failure injection. OOPSLA 2011: 171-188
2010
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPallavi Joshi, Mayur Naik, Koushik Sen, David Gay: An effective dynamic analysis for detecting generalized deadlocks. SIGSOFT FSE 2010: 327-336
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitra 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen: CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. CAV 2009: 675-681
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik: A randomized dynamic program analysis technique for detecting real deadlocks. PLDI 2009: 110-120
2008
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPallavi Joshi, Koushik Sen: Predictive Typestate Checking of Multithreaded Java Programs. ASE 2008: 288-296
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDebdeep Mukhopadhyay, Pallavi Joshi, Dipanwita Roy Chowdhury: VLSI Architecture of a Cellular Automata based One-Way Function. JCP 3(5): 46-53 (2008)
2007
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPallavi Joshi, Koushik Sen, Mark Shlimovich: Predictive testing: amplifying the effectiveness of software testing. ESEC/SIGSOFT FSE 2007: 561-564
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPallavi Joshi, Koushik Sen, Mark Shlimovich: Predictive testing: amplifying the effectiveness of software testing. ESEC/SIGSOFT FSE (Companion) 2007: 561-564
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikita Borisov, David Brumley, Helen J. Wang, John Dunagan, Pallavi Joshi, Chuanxiong Guo: Generic Application-Level Protocol Analyzer and its Language. NDSS 2007
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDebdeep Mukhopadhyay, Pallavi Joshi, Dipanwita Roy Chowdhury: An Efficient Design of Cellular Automata Based Cryptographically Robust One-Way Function. VLSI Design 2007: 842-853
2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPallavi 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPallavi 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)

Coauthor Index

1Chitra Alavani [11]
2Nikita Borisov [4]
3David Brumley [4]
4Dipanwita Roy Chowdhury [1] [2] [3] [7]
5John Dunagan [4]
6David Gay [12]
7Roland Glowinski [11]
8Susana Gomez [11]
9Haryadi S. Gunawi [13]
10Chuanxiong Guo [4]
11Benjamin Ivorra [11]
12Debdeep Mukhopadhyay [1] [2] [3] [7]
13Mayur Naik [9] [10] [12]
14Chang-Seo Park [9] [10]
15Angel Manuel Ramos [11]
16Koushik Sen [5] [6] [8] [9] [10] [12] [13]
17Mark Shlimovich [5] [6]
18Helen J. Wang [4]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page