Saurabh Joshi
Título
Citado por
Citado por
Ano
Incremental cardinality constraints for MaxSAT
R Martins, S Joshi, V Manquinho, I Lynce
International Conference on Principles and Practice of Constraint …, 2014
752014
Precise predictive analysis for discovering communication deadlocks in MPI programs
V Forejt, S Joshi, D Kroening, G Narayanaswamy, S Sharma
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (4), 15, 2017
532017
Safety Verification and Refutation by k-Invariants and k-Induction
M Brain, S Joshi, D Kroening, P Schrammel
International Static Analysis Symposium, 145-161, 2015
442015
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
S Joshi, R Martins, V Manquinho
International Conference on Principles and Practice of Constraint …, 2015
342015
Underspecified harnesses and interleaved bugs
S Joshi, SK Lahiri, A Lal
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
342012
Approximation Strategies for Incomplete MaxSAT
S Joshi, P Kumar, R Martins, S Rao
International Conference on Principles and Practice of Constraint …, 2018
162018
Property-driven fence insertion using reorder bounded model checking
S Joshi, D Kroening
International Symposium on Formal Methods, 291-307, 2015
162015
Reducing false alarms for static analysis of concurrent programs
S Joshi, SK Lahiri, A Lal
US Patent 8,793,664, 2014
82014
Reducing false alarms for static analysis of concurrent programs
S Joshi, SK Lahiri, A Lal
US Patent 8,793,664, 2014
82014
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
S Joshi, P Kumar, S Rao, R Martins
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 73-97, 2019
72019
On using incremental encodings in unsatisfiability-based MaxSAT solving
R Martins, S Joshi, V Manquinho, I Lynce
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 59-81, 2014
72014
Pinaka: Symbolic Execution Meets Incremental Solving
E Chaudhary, S Joshi
International Conference on Tools and Algorithms for the Construction and …, 2019
62019
Phase Transition Behavior of Cardinality and XOR Constraints
Y Pote, S Joshi, KS Meel
International Joint Conferences on Artificial Intelligence, 2019
62019
A New Method of MHP Analysis for Languages with Dynamic Barriers
S Joshi, RK Shyamasundar, SK Aggarwal
Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW …, 2012
62012
Reactivity in systemc transaction-level models
F Doucet, RK Shyamasundar, IH Krüger, S Joshi, RK Gupta
Haifa Verification Conference, 34-50, 2007
62007
Equivalence checking of a floating-point unit against a high-level C model
R Mukherjee, S Joshi, A Griesmayer, D Kroening, T Melham
International Symposium on Formal Methods, 551-558, 2016
5*2016
Distributed generalized dynamic barrier synchronization
S Agarwal, S Joshi, RK Shyamasundar
International Conference on Distributed Computing and Networking, 143-154, 2011
42011
Automatically finding atomic regions for fixing bugs in Concurrent programs
S Joshi, A Lal
arXiv preprint arXiv:1403.1749, 2014
32014
Open-WBO-Inc in MaxSAT Evaluation 2018
S Joshi, P Kumar, V Manquinho, R Martins, A Nadel, S Rao
MaxSAT Evaluation 2018, 16, 0
3
Hardware/Software Co-verification Using Path-based Symbolic Execution
R Mukherjee, S Joshi, J O'Leary, D Kroening, T Melham
arXiv preprint arXiv:2001.01324, 2020
22020
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20