Travelled to:1 × France
1 × Germany
1 × United Kingdom
5 × USA
Collaborated with:R.Mukherjee M.Fujita S.Stergiou D.Sahoo S.K.Iyer E.A.Emerson Y.Lu K.Ng M.R.Prasad E.M.Clarke D.L.Dill K.Mohanram D.Moundanos I.Wegener V.Boppana P.Bollineni K.Takayama J.A.Abraham D.S.Fussell
Talks about:base (4) effici (2) verif (2) techniqu (1) reachabl (1) industri (1) diagnosi (1) composit (1) approach (1) variabl (1)
Person: Jawahar Jain
DBLP: Jain:Jawahar
Contributed to:
2013
2005
200520032000199919991995Wrote 9 papers:
- DATE-2013-StergiouJ #dataset #optimisation
- Optimizing BDDs for time-series dataset manipulation (SS, JJ), pp. 1018–1021.
- DAC-2005-SahooJIDE #concurrent #multi #reachability #thread
- Multi-threaded reachability (DS, JJ, SKI, DLD, EAE), pp. 467–470.
- FM-2005-IyerSEJ #clustering #model checking #on the
- On Partitioning and Symbolic Model Checking (SKI, DS, EAE, JJ), pp. 497–511.
- DAC-2003-NgPMJ #industrial #problem
- Solving the latch mapping problem in an industrial setting (KN, MRP, RM, JJ), pp. 442–447.
- DAC-2000-JainMMWL #analysis #canonical #complexity #composition #graph #how
- Analysis of composition complexity and how to obtain smaller canonical graphs (JJ, KM, DM, IW, YL), pp. 681–686.
- DAC-2000-LuJCF #performance #using
- Efficient variable ordering using aBDD based sampling (YL, JJ, EMC, MF), pp. 687–692.
- DAC-1999-BoppanaMJFB #fault #multi
- Multiple Error Diagnosis Based on Xlists (VB, RM, JJ, MF, PB), pp. 660–665.
- DATE-1999-MukherjeeJTFAF #approach #performance #verification
- An Efficient Filter-Based Approach for Combinational Verification (RM, JJ, KT, MF, JAA, DSF), pp. 132–137.
- DAC-1995-JainMF #learning #verification
- Advanced Verification Techniques Based on Learning (JJ, RM, MF), pp. 420–426.