Agostino Cortesi

Available identifiers

zbMath Open cortesi.agostinoDBLPc/ACortesiWikidataQ61030660 ScholiaQ61030660MaRDI QIDQ456468

List of research outcomes

Publication	Date of Publication	Type
String abstraction for model checking of C programs	2024-02-23	Paper
Relational string abstract domains	2022-07-08	Paper
Completeness of string analysis for dynamic languages	2021-11-25	Paper
Twinning automata and regular expressions for string static analysis	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4994700	2021-06-21	Paper
Combining Symbolic and Numerical Domains for Information Leakage Analysis	2021-05-26	Paper
Completeness of abstract domains for string analysis of JavaScript programs	2019-12-12	Paper
Comparison of abstract interpretations	2019-12-04	Paper
Non-repudiation analysis using \textsc{LySa} with annotations	2018-05-16	Paper
The abstract domain of trapezoid step functions	2018-05-15	Paper
Hyper-lattice algebraic model for data warehousing	2016-02-10	Paper
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications	2015-02-04	Paper
Information leakage detection in boundary ambients	2013-08-27	Paper
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations	2013-05-24	Paper
Abstract interpretation of database query languages	2012-10-25	Paper
Widening and narrowing operators for abstract interpretation	2011-08-09	Paper
Cooperative query answering by abstract interpretation	2011-02-15	Paper
Information leakage analysis by abstract interpretation	2011-02-15	Paper
Information flow security in boundary ambients	2008-04-16	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Nesting analysis of mobile ambients	2004-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4475098	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4417947	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4414382	2003-07-25	Paper
Security boundaries in mobile ambients	2003-05-04	Paper
Operational and abstract semantics of the query language G-Log	2002-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4790353	2002-01-01	Paper
Combinations of abstract domains for logic programming: Open product and generic pattern construction	2000-09-14	Paper
Sharing is optimal	2000-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4939254	2000-02-24	Paper
Automated verification of Prolog programs	1999-11-01	Paper
The quotient of an abstract interpretation	1998-08-13	Paper
Optimal groundness analysis using propositional logic	1997-11-10	Paper
Evaluation of the domain prop	1997-03-17	Paper
Type analysis of prolog using type graphs	1995-04-06	Paper
Graph properties for normal logic programs	1993-05-16	Paper
Directionally continuous selections in Banach spaces	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3806185	1986-01-01	Paper

Research outcomes over time

This page was built for person: Agostino Cortesi