Caterina Urban

Available identifiers

zbMath Open urban.caterinaMaRDI QIDQ681347

List of research outcomes

Publication	Date of Publication	Type
Abstract interpretation of CTL properties	2023-05-26	Paper
Permission inference for array programs	2023-05-05	Paper
Conflict-driven conditional termination	2018-03-01	Paper
Inference of ranking functions for proving temporal properties by abstract interpretation	2018-01-30	Paper
Abstract interpretation as automated deduction	2017-06-29	Paper
Abstract Interpretation as Automated Deduction	2015-12-02	Paper
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation	2015-02-04	Paper
An Abstract Domain to Infer Ordinal-Valued Ranking Functions	2014-04-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Caterina Urban