Old Web
English
Sign In
Acemap
>
authorDetail
>
Patrick Cousot
Patrick Cousot
École Normale Supérieure
Software
Abstract interpretation
Computer science
Avionics
Embedded software
2
Papers
55
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Astrée: Proving the Absence of Runtime Errors
2010
Daniel Kastner
Stephan Wilhelm
Stefana Nenova
Patrick Cousot
Radhia Cousot
Jérôme Feret
Laurent Mauborgne
Antoine Miné
Xavier Rival
Show All
Source
Cite
Save
Citations (24)
Space Software Validation using Abstract Interpretation
2009
Olivier Bouissou
Eric Conquet
Patrick Cousot
Radhia Cousot
Jérôme Feret
Khalil Ghorbal
Éric Goubault
David Lesens
Laurent Mauborgne
Antoine Miné
Sylvie Putot
Xavier Rival
Michel Turin
Show All
Source
Cite
Save
Citations (31)
1