The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Saurabh Joshi 0001" ( http://dblp.L3S.de/Authors/Saurabh_Joshi_0001 )

URL (Homepage):  https://www.iith.ac.in/~sbjoshi/  Author page on DBLP  Author page in RDF  Community of Saurabh Joshi 0001 in ASPL-2

Publication years (Num. hits)
2007-2016 (18) 2017-2019 (10)
Publication types (Num. hits)
article(14) inproceedings(14)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 29 publication records. Showing 28 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce Reflections on "Incremental Cardinality Constraints for MaxSAT". Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Eti Chaudhary, Saurabh Joshi 0001 Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yash Pote, Saurabh Joshi 0001, Kuldeep S. Meel Phase Transition Behavior of Cardinality and XOR Constraints. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Eti Chaudhary, Saurabh Joshi 0001 Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yash Pote, Saurabh Joshi 0001, Kuldeep S. Meel Phase Transition Behavior of Cardinality and XOR Constraints. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saurabh Joshi 0001, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare, Sriram Bhyravarapu On the Tractability of (k, i)-Coloring. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Saurabh Joshi 0001, Prateek Kumar 0001, Ruben Martins, Sukrut Rao Approximation Strategies for Incomplete MaxSAT. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Saurabh Joshi 0001, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare, Sriram Bhyravarapu On the Tractability of (k, i)-Coloring. Search on Bibsonomy CALDAM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saurabh Joshi 0001, Prateek Kumar 0001, Ruben Martins, Sukrut Rao Approximation Strategies for Incomplete MaxSAT. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vojtech Forejt, Saurabh Joshi 0001, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma 0001 Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rajdeep Mukherjee, Saurabh Joshi 0001, Andreas Griesmayer, Daniel Kroening, Tom Melham Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ganesh Narayanaswamy, Saurabh Joshi 0001, Daniel Kroening The Virtues of Conflict: Analyzing Modern Concurrency. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Rajdeep Mukherjee, Saurabh Joshi 0001, Andreas Griesmayer, Daniel Kroening, Tom Melham Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ganesh Narayanaswamy, Saurabh Joshi 0001, Daniel Kroening The virtues of conflict: analysing modern concurrency. Search on Bibsonomy PPOPP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Brain, Saurabh Joshi 0001, Daniel Kroening, Peter Schrammel Safety Verification and Refutation by k-invariants and k-induction (extended version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Saurabh Joshi 0001, Ruben Martins, Vasco M. Manquinho Generalized Totalizer Encoding for Pseudo-Boolean Constraints. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Saurabh Joshi 0001, Daniel Kroening Property-Driven Fence Insertion Using Reorder Bounded Model Checking. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Brain, Saurabh Joshi 0001, Daniel Kroening, Peter Schrammel Safety Verification and Refutation by k-Invariants and k-Induction. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saurabh Joshi 0001, Ruben Martins, Vasco M. Manquinho Generalized Totalizer Encoding for Pseudo-Boolean Constraints. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. Search on Bibsonomy JSAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Saurabh Joshi 0001, Akash Lal Automatically finding atomic regions for fixing bugs in Concurrent programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Saurabh Joshi 0001, Daniel Kroening Property-Driven Fence Insertion using Reorder Bounded Model Checking. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce Incremental Cardinality Constraints for MaxSAT. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce Incremental Cardinality Constraints for MaxSAT. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saurabh Joshi 0001, Shuvendu K. Lahiri, Akash Lal Underspecified harnesses and interleaved bugs. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saurabh Joshi 0001, R. K. Shyamasundar, Sanjeev K. Aggarwal A New Method of MHP Analysis for Languages with Dynamic Barriers. Search on Bibsonomy IPDPS Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shivali Agarwal, Saurabh Joshi 0001, Rudrapatna K. Shyamasundar Distributed Generalized Dynamic Barrier Synchronization. Search on Bibsonomy ICDCN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi 0001, Rajesh K. Gupta 0001 Reactivity in SystemC Transaction-Level Models. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #28 of 28 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license