| cvc4 C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ... Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 2064 | 2011 |
| SMT proof checking using a logical framework A Stump, D Oe, A Reynolds, L Hadarean, C Tinelli Formal Methods in System Design 42, 91-118, 2013 | 83 | 2013 |
| A tale of two solvers: Eager and lazy approaches to bit-vectors L Hadarean, K Bansal, D Jovanović, C Barrett, C Tinelli International Conference on Computer Aided Verification, 680-695, 2014 | 65 | 2014 |
| Lazy proofs for DPLL (T)-based SMT solvers G Katz, C Barrett, C Tinelli, A Reynolds, L Hadarean 2016 Formal Methods in Computer-Aided Design (FMCAD), 93-100, 2016 | 38 | 2016 |
| Block public access: trust safety verification of access control policies M Bouchet, B Cook, B Cutler, A Druzkina, A Gacek, L Hadarean, R Jhala, ... Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 26 | 2020 |
| Fine grained SMT proofs for the theory of fixed-width bit-vectors L Hadarean, C Barrett, A Reynolds, C Tinelli, M Deters Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 24 | 2015 |
| Cvc4 CC Clark Barrett, M Deters, L Hadarean, D Jovanovic, T King, A Reynolds, ... 23rd International Conference on Computer Aided Verification (CAV’11) 6806 …, 2011 | 22 | 2011 |
| An efficient and trustworthy theory solver for bit-vectors in satisfiability modulo theories L Hadarean New York University, 2015 | 17 | 2015 |
| Automatic generation of propagation complete SAT encodings M Brain, L Hadarean, D Kroening, R Martins Verification, Model Checking, and Abstract Interpretation: 17th …, 2016 | 16 | 2016 |
| Cvc4 B Clark, LC Christopher, M Deters, L Hadarean, D Jovanovic, T King CAV 6806, 171-177, 2011 | 15 | 2011 |
| RAPID: checking API usage for the cloud in the cloud M Emmi, L Hadarean, R Jhala, L Pike, N Rosner, M Schäf, A Sengupta, ... Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 13 | 2021 |
| Comparing proof systems for linear real arithmetic with LFSC A Reynolds, L Hadarean, C Tinelli, Y Ge, A Stump, C Barrett International Workshop on Satisfiability Modulo Theories, 2010 | 12 | 2010 |
| Certified interpolant generation for EUF A Reynolds, C Tinelli, L Hadarean Satisfiability Modulo Theories (SMT) 2011, 30, 2011 | 9 | 2011 |
| Smt-comp 2019 L Hadarean, A Hyvärinen, A Niemetz, G Reger Int. Satisfiability Modulo Theories (SMT) Competition, Tech. Rep, 2019 | 5 | 2019 |
| Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 C Barrett, CL Conway, M Deters, L Hadarean, D Jovanovic, T King, ... Proceedings, ch. CVC4, 171-177, 0 | 5 | |
| Quantifying permissiveness of access control policies using model counting techniques and automated policy downscaling WJ Eiers, LS Hadarean, KS Luckow, N Rungta US Patent 11,165,783, 2021 | 3 | 2021 |
| Cvc3 proof conversion to lfsc A Reynolds, C Tinelli, A Stump, L Hadarean, Y Ge, C Barrett Technical Report, 2010 | 2 | 2010 |
| Compositional taint analysis for enforcing security policies at scale S Banerjee, S Cui, M Emmi, A Filieri, L Hadarean, P Li, L Luo, ... Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 1 | 2023 |
| One-click formal methods L Hadarean 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 1 | 2020 |
| Certified Satisfiability Modulo Theories (SMT) Solving for System Verification C Barrett, B Ekici, L Hadarean, G Katz, C Keller, A Mebsout, A Reynolds, ... | | 2017 |
Dejan JovanovićAmazon Web ServicesVerified email at amazon.com
Dejan JovanovićAmazon Web ServicesVerified email at amazon.com