Research output per year
Research output per year
Fingerprint
Weighted list of dominant concepts in the person's research.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Asynchronous Correspondences Between Hybrid Trajectory Semantics
Cousot, P., 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 131-159 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13660 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
The Systematic Design of Responsibility Analysis by Abstract Interpretation
Deng, C. & Cousot, P., Mar 2022, In: ACM Transactions on Programming Languages and Systems. 44, 1, 3484938.Research output: Contribution to journal › Article › peer-review
Open Access -
Calculational design of a regular model checker by abstract interpretation
Cousot, P., May 12 2021, In: Theoretical Computer Science. 869, p. 62-84 23 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Dynamic interval analysis by abstract interpretation
Cousot, P., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 61-86 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13065 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics
Cousot, P., 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Springer, p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12042 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution