Folgen
Liana Hadarean
Liana Hadarean
Amazon Web Services
Bestätigte E-Mail-Adresse bei amazon.com
Titel
Zitiert von
Zitiert von
Jahr
cvc4
C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ...
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
21312011
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
862013
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
692014
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
392016
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
312020
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
242015
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
222011
Automatic generation of propagation complete SAT encodings
M Brain, L Hadarean, D Kroening, R Martins
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
172016
An efficient and trustworthy theory solver for bit-vectors in satisfiability modulo theories
L Hadarean
New York University, 2015
172015
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
152021
Cvc4
B Clark, LC Christopher, M Deters, L Hadarean, D Jovanovic, T King
CAV 6806, 171-177, 2011
152011
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
112010
Certified interpolant generation for EUF
A Reynolds, C Tinelli, L Hadarean
Satisfiability Modulo Theories (SMT) 2011, 30, 2011
82011
Smt-comp 2019
L Hadarean, A Hyvärinen, A Niemetz, G Reger
Int. Satisfiability Modulo Theories (SMT) Competition, Tech. Rep, 2019
72019
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
32021
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
22023
Cvc3 proof conversion to lfsc
A Reynolds, C Tinelli, A Stump, L Hadarean, Y Ge, C Barrett
Technical Report, 2010
22010
One-click formal methods
L Hadarean
2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020
12020
State of the art in program analysis
P Ferrara, L Hadarean
International Journal on Software Tools for Technology Transfer, 1-3, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20