| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 4 |      | Julien Bertrane: Temporal Abstract Domains. ICECCS 2011: 3-12 |
| 3 | | Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival: Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011) |
| 2006 | ||
| 2 | | Julien Bertrane: Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems. SAS 2006: 370-386 |
| 2005 | ||
| 1 | | Julien Bertrane: Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. VMCAI 2005: 97-112 |
| 1 | Patrick Cousot | [3] |
| 2 | Radhia Cousot | [3] |
| 3 | Jérôme Feret | [3] |
| 4 | Laurent Mauborgne | [3] |
| 5 | Antoine Miné | [3] |
| 6 | Xavier Rival | [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page