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
Static analysis Engineering & Materials Science
Abstract interpretation Mathematics
Invariance Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Specifications Engineering & Materials Science
Costs Engineering & Materials Science
Pascal Mathematics

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

Research Output 1972 2017

Finding All Potential Run-Time Errors and Data Races in Automotive Software

Kaestner, D., Miné, A., Schmidt, A., Hille, H., Mauborgne, L., Wilhelm, S., Rival, X., Feret, J., Cousot, P. & Ferdinand, C. Mar 28 2017 In : SAE Technical Papers. 2017-March, March

Research output: Contribution to journalArticle

Embedded software
Experiments

Ogre and pythia: An invariance proof method for weak consistency models

Alglave, J. & Cousot, P. Jan 1 2017 POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Association for Computing Machinery, Vol. Part F125683, p. 3-18 16 p.

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

Invariance
Semantics
Specifications

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