Automatic modular abstractions for linear constraints
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Quantifier Elimination Algorithm for Linear Real Arithmetic
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Lemmas on demand for the extensional theory of arrays
SMT '08/BPR '08 Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Automated deduction for verification
ACM Computing Surveys (CSUR)
Modular inference of subprogram contracts for safety checking
Journal of Symbolic Computation
VeriML: typed computation of logical terms inside a language with effects
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Instantiation of SMT problems modulo integers
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
The reduced product of abstract domains and the combination of decision procedures
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
On interpolation in decision procedures
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
A logical product approach to zonotope intersection
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
An Instantiation Scheme for Satisfiability Modulo Theories
Journal of Automated Reasoning
JReq: database queries in imperative languages
CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction
Symbolic execution of Reo circuits using constraint automata
Science of Computer Programming
Theories, solvers and static analysis by abstract interpretation
Journal of the ACM (JACM)
Preface to the special issue "SI: Satisfiability Modulo Theories"
Formal Methods in System Design
Combined WCET analysis of bitcode and machine code using control-flow relation graphs
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Instantiation Schemes for Nested Theories
ACM Transactions on Computational Logic (TOCL)
Combining relational learning with SMT solvers using CEGAR
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Modeling and debugging numerical constraints of cyber-physical systems design
Proceedings of the Fourth Symposium on Information and Communication Technology
Time-aware relational abstractions for hybrid systems
Proceedings of the Eleventh ACM International Conference on Embedded Software
Journal of Automated Reasoning
Hi-index | 0.00 |