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
Systematic design of program transformation frameworks by abstract interpretation	2015-03-17	Paper
Temporal abstract interpretation	2015-03-17	Paper
A parametric segmentation functor for fully automatic and scalable array content analysis	2014-04-10	Paper
A galois connection calculus for abstract interpretation	2014-04-10	Paper
Theories, solvers and static analysis by abstract interpretation	2014-02-17	Paper
Bi-inductive structural semantics (extended abstract)	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

This page was built for person: Radhia Cousot