Follow
Enric Rodriguez Carbonell
Title
Cited by
Cited by
Year
Cardinality networks: a theoretical and empirical study
R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
Constraints 16, 195-221, 2011
1812011
Generating all polynomial invariants in simple loops
E Rodríguez-Carbonell, D Kapur
Journal of Symbolic Computation 42 (4), 443-476, 2007
1682007
Automatic generation of polynomial loop invariants: Algebraic foundations
E Rodríguez-Carbonell, D Kapur
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
1382004
The Barcelogic SMT Solver: Tool Paper
M Bofill, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio
International Conference on Computer Aided Verification, 294-298, 2008
1352008
Automatic generation of polynomial invariants of bounded degree using abstract interpretation
E Rodríguez-Carbonell, D Kapur
Science of Computer Programming 64 (1), 54-75, 2007
1222007
A new look at BDDs for pseudo-Boolean constraints
I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, ...
Journal of Artificial Intelligence Research 45, 443-480, 2012
962012
Generating polynomial invariants for hybrid systems
E Rodríguez-Carbonell, A Tiwari
International Workshop on Hybrid Systems: Computation and Control, 590-605, 2005
942005
An abstract interpretation approach for automatic generation of polynomial invariants
E Rodríguez-Carbonell, D Kapur
International Static Analysis Symposium, 280-295, 2004
932004
Cardinality networks and their applications
R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009
922009
A parametric approach for smaller and better encodings of cardinality constraints
I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
International Conference on Principles and Practice of Constraint …, 2013
752013
Proving non-termination using Max-SMT
D Larraz, K Nimkar, A Oliveras, E Rodríguez-Carbonell, A Rubio
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
672014
Proving termination of imperative programs using Max-SMT
D Larraz, A Oliveras, E Rodríguez-Carbonell, A Rubio
2013 Formal Methods in Computer-Aided Design, 218-225, 2013
662013
SAT modulo linear arithmetic for solving polynomial constraints
C Borralleras, S Lucas, A Oliveras, E Rodríguez-Carbonell, A Rubio
Journal of Automated Reasoning 48 (1), 107-131, 2012
622012
Program Verification Using Automatic Generation of Invariants,
E Rodríguez-Carbonell, D Kapur
International Colloquium on Theoretical Aspects of Computing, 325-340, 2004
612004
Generation of basic semi-algebraic invariants using convex polyhedra
R Bagnara, E Rodríguez-Carbonell, E Zaffanella
International Static Analysis Symposium, 19-34, 2005
542005
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic
C Borralleras, S Lucas, R Navarro-Marset, E Rodríguez-Carbonell, ...
International Conference on Automated Deduction, 294-305, 2009
522009
Jutge. org: Characteristics and experiences
J Petit, S Roura, J Carmona, J Cortadella, J Duch, O Gimnez, A Mani, ...
IEEE Transactions on Learning Technologies 11 (3), 321-333, 2017
492017
SMT-based array invariant generation
D Larraz, E Rodríguez-Carbonell, A Rubio
International Workshop on Verification, Model Checking, and Abstract …, 2013
472013
Challenges in satisfiability modulo theories
R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio
International Conference on Rewriting Techniques and Applications, 2-18, 2007
452007
Proving termination through conditional termination
C Borralleras, M Brockschmidt, D Larraz, A Oliveras, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
402017
The system can't perform the operation now. Try again later.
Articles 1–20