 | 2011 |
|---|
| 7 |       | Angelo Brillout,
Daniel Kroening,
Philipp Rümmer,
Thomas Wahl:
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic.
VMCAI 2011: 88-102 |
| 6 | | Angelo Brillout,
Daniel Kroening,
Philipp Rümmer,
Thomas Wahl:
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.
J. Autom. Reasoning 47(4): 341-367 (2011) |
| 2010 |
|---|
| 5 | | Angelo Brillout,
Daniel Kroening,
Philipp Rümmer,
Thomas Wahl:
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.
IJCAR 2010: 384-399 |
| 4 | | Angelo Brillout,
Daniel Kroening,
Philipp Rümmer,
Thomas Wahl:
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)
CoRR abs/1011.1036: (2010) |
| 2009 |
|---|
| 3 | | Angelo Brillout,
Daniel Kroening,
Thomas Wahl:
Mixed abstractions for floating-point arithmetic.
FMCAD 2009: 69-76 |
| 2 | | Angelo Brillout,
Nannan He,
Michele Mazzucchi,
Daniel Kroening,
Mitra Purandare,
Philipp Rümmer,
Georg Weissenbacher:
Mutation-Based Test Case Generation for Simulink Models.
FMCO 2009: 208-227 |
| 2008 |
|---|
| 1 | | Angelo Brillout,
Daniel Kroening,
Thomas Wahl:
Craig Interpolation for Quantifier-Free Presburger Arithmetic
CoRR abs/0811.3521: (2008) |
Data released under the ODC-BY 1.0 license — See also our legal information page