Travelled to:1 × Finland
1 × France
1 × Italy
1 × Singapore
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:B.Bonakdarpour R.Hajisheykhi A.Ebnenasir Y.Lin K.N.Biyani M.Roohitavaf
Talks about:fault (3) recoveri (2) program (2) automat (2) repair (2) phase (2) evalu (2) bound (2) time (2) base (2)
Person: Sandeep S. Kulkarni
DBLP: Kulkarni:Sandeep_S=
Contributed to:
2014
2014
201420092008
2004
2004
2018Wrote 8 papers:
- FM-2014-BonakdarpourHK #authentication #automation #knowledge-based #protocol
- Knowledge-Based Automated Repair of Authentication Protocols (BB, RH, SSK), pp. 132–147.
- ISSTA-2014-LinK #automation #concurrent #multi #satisfiability #source code #thread #using
- Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability (YL, SSK), pp. 237–247.
- SEFM-2014-HajisheykhiEK #fault #modelling #using
- Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL (RH, AE, SSK), pp. 175–189.
- FM-2009-BonakdarpourK #bound #complexity #on the
- On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery (BB, SSK), pp. 660–675.
- FM-2008-BonakdarpourK #bound #fault
- Masking Faults While Providing Bounded-Time Phased Recovery (BB, SSK), pp. 374–389.
- CBSE-2004-KulkarniB #adaptation #component #correctness
- Correctness of Component-Based Adaptation (SSK, KNB), pp. 48–58.
- LOPSTR-2004-KulkarniBE #automation #fault tolerance #source code #synthesis #verification
- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs (SSK, BB, AE), pp. 36–52.
- ASE-2018-RoohitavafK #agile #distributed #framework #named #prototype
- DKVF: a framework for rapid prototyping and evaluating distributed key-value stores (MR, SSK), pp. 912–915.