Fingerprint Fingerprint is based on mining the text of the persons scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Semantics Engineering & Materials Science
Abstract interpretation Mathematics
Static analysis Engineering & Materials Science
Invariance Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Costs Engineering & Materials Science
Pascal Mathematics
Specifications Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1972 2015

A binary decision tree abstract domain functor

Chen, J. & Cousot, P. 2015 Static Analysis- 22nd International Symposium, SAS 2015, Proceedings. Springer Verlag, Vol. 9291, p. 36-53 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9291)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decision trees
Static analysis
Extrapolation
Transfer functions
Mathematical operators

Abstracting induction by extrapolation and interpolation

Cousot, P. 2015 Verification, Model Checking and Abstract Interpretation - 16th International Conference, VMCAI 2015, Proceedings. Springer Verlag, Vol. 8931, p. 19-42 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8931)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Interpolation
Specifications
Static analysis
Extrapolation

On Various Abstract Understandings of Abstract Interpretation

Cousot, P. Oct 26 2015 Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 2-3 2 p. 7307726

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verification by abstract interpretation, soundness and abstract induction

Cousot, P. Jul 14 2015 Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, p. 1-4 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer programming languages
Semantics

Verification by abstract interpretation, Soundness and abstract induction

Cousot, P. 2015 Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Springer Verlag, Vol. 9527, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9527)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer programming languages
Semantics