Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
1
Permission Inference for Array Programs
An Abstract Interpretation Framework for Input Data Usage
Precise Widening Operators for Proving Termination by Abstract Interpretation
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer
Synthesizing Ranking Functions from Bits and Pieces
Abstract Interpretation as Automated Deduction
Conflict-Driven Conditional Termination
FuncTion: An Abstract Domain Functor for Termination (Competition Contribution)
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
A Decision Tree Abstract Domain for Proving Conditional Termination
<
>
×
Cite