Radhia Cousot

Available identifiers

zbMath Open cousot.radhiaMaRDI QIDQ655409

List of research outcomes

Publication	Date of Publication	Type
Abstract interpretation	2018-04-23	Paper
An abstract interpretation-based framework for software watermarking	2015-11-11	Paper
An abstract interpretation framework for termination	2015-09-11	Paper
Temporal abstract interpretation	2015-03-17	Paper
Systematic design of program transformation frameworks by abstract interpretation	2015-03-17	Paper
A galois connection calculus for abstract interpretation	2014-04-10	Paper
A parametric segmentation functor for fully automatic and scalable array content analysis	2014-04-10	Paper
Theories, solvers and static analysis by abstract interpretation	2014-02-17	Paper
Bi-inductive Structural Semantics	2014-01-10	Paper
A Case Study in Abstract Interpretation Based Program Transformation	2013-04-26	Paper
Grammar semantics, analysis and parsing by abstract interpretation	2012-01-04	Paper
The Reduced Product of Abstract Domains and the Combination of Decision Procedures	2011-05-19	Paper
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections	2011-02-15	Paper
A Scalable Segmented Decision Tree Abstract Domain	2010-09-07	Paper
Why does Astrée scale up?	2010-02-05	Paper
Abstract interpretation of resolution-based semantics	2009-11-04	Paper
Bi-inductive structural semantics	2009-04-14	Paper
Grammar Analysis and Parsing by Abstract Interpretation	2007-09-24	Paper
Programming Languages and Systems	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4738384	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4473711	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4414726	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4804884	2003-05-01	Paper
Parsing as abstract interpretation of grammar semantics	2003-01-21	Paper
``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs	1994-06-02	Paper
Abstract Interpretation Frameworks	1993-06-29	Paper
Abstract interpretation and application to logic programs	1992-09-27	Paper
A language independent proof of the soundness and completeness of generalized Hoare logic	1989-01-01	Paper
Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3802590	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3968981	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3871899	1980-01-01	Paper
Constructive versions of Tarski's fixed point theorems	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4174789	1978-01-01	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: Radhia Cousot