Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
1
Abstract Interpretation of CTL Properties
MaxSMT-Based Type Inference for Python 3
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)
<
>
×
Cite