|
|
I am an Assistant Professor (Professor Ajudant / Profesor Ayudante) at the Software Departament (LSI) of the Technical University of Catalonia (UPC) in Barcelona, Spain.
I am currently working on program verification and invariant
inference (see papers below). I have also recently become
interested in the area of Satisfiability Modulo Theories (SMT) (I am
one of the members of the Barcelogic
Research Team).
Professional activities
1. PC member for the 1st International Workshop on Invariant Generation (WING'07), June 25-26, 2007, Hagenberg (Austria).
Conference papers
1. Enric Rodríguez-Carbonell and Deepak Kapur. Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations [PS][PDF][BibTex], © ACM(2004). In International Symposium on Symbolic and Algebraic Computation 2004 (ISSAC'04), July 2004, Santander (Spain). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ISSAC'04.
2. Enric Rodríguez-Carbonell and Deepak Kapur. An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants [PS][PDF][BibTex], ©Springer-Verlag LNCS. In 11th Static Analysis Symposium 2004 (SAS'04), August 2004, Verona (Italy).
Slides in [PS],[PDF]
3. Enric Rodríguez-Carbonell and Deepak Kapur. Program
Verification Using Automatic Generation of Invariants [PS][PDF][BibTex], ©Springer-Verlag LNCS. In 1st
International Colloquium on Theoretical Aspects of Computing 2004
(ICTAC'04), September 2004, Guiyang (China).
4. Enric Rodríguez-Carbonell and Jordi Cortadella. Inference of Numerical Relations from Digital Circuits [PS]. Presented in 1st International Workshop on Numerical & Symbolic Abstract Domains 2005 (NSAD'05), January 2005, Paris (France).
Slides in [PS],[PDF]
5. Enric Rodríguez-Carbonell and Ashish Tiwari. Generating
Polynomial Invariants for Hybrid Systems [PS][PDF][BibTex], ©Springer-Verlag LNCS. In 8th
International Workshop on Hybrid Systems : Computation and Control
(HSCC'05), March 2005, Zurich (Switzerland).
6. Robert
Clarisó, Enric Rodríguez-Carbonell and Jordi Cortadella. Derivation of Non-structural Invariants of
Petri Nets Using Abstract Interpretation [PS][PDF][BibTex], ©Springer-Verlag LNCS. In 26th International Conference On Application
and Theory of Petri Nets and Other Models of Concurrency (ICATPN'05),
June 2005, Miami (USA).
7. Roberto Bagnara,
Enric Rodríguez-Carbonell and Enea Zaffanella. Generation of Basic Semi-algebraic
Invariants Using Convex Polyhedra [PS][PDF][BibTex], ©Springer-Verlag LNCS. In 12th International Symposium on Static
Analysis (SAS'05), September 2005, London (UK).
Journal papers
1. Enric Rodríguez-Carbonell and Deepak Kapur. Automatic Generation of Polynomial Invariants of Bounded Degree using Abstract Interpretation [PS][PDF][BibTex]. In Science of Computer Programming, Volume 64, Issue 1, January 2007.
2. Enric Rodríguez-Carbonell
and Deepak Kapur. Generating All Polynomial Invariants in
Simple Loops [PS][PDF]. Accepted for publication in Journal of Symbolic Computation.
Seminars, talks and
other presentations
1. Seminar on polynomial invariant inference at the University of
Parma in January 2005, invited by Prof. Roberto Bagnara
1st part:
slides in [PDF]
2nd part: slides in [PDF]
2. Invited talk on 16/11/2006 at the École Polytechnique
Fédérale de Lausanne (Switzerland)
in [PS][PDF] about automated polinomic
invariant generation applied to system verification.
Teaching
Enric Rodríguez Carbonell
E-mail:
Phone: (+34) 93 413 7792
Fax: (+34) 93 413 7833