, The Static Analyzer Astrée? User Documentation for AAL Annotations, 2015.
, Soundness of Data Flow Analyses for Weak Memory Models, Proc. of the 9th Asian Symp. on Programming Languages and Systems (APLAS'2011), pp.272-288, 2011.
DOI : 10.1145/186025.186043
, A Static Analyzer for Large Safety-Critical Software, Proc. of PLDI'03, pp.196-207, 2003.
DOI : 10.1145/781131.781153
URL : https://hal.archives-ouvertes.fr/hal-00128135
, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790
, Varieties of Static Analyzers: A Comparison with ASTREE, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), pp.3-20, 2007.
DOI : 10.1109/TASE.2007.55
URL : https://hal.archives-ouvertes.fr/hal-00154031
, Static Verification of Dynamic Properties, ACM SIGAda 2003 Conference, 2003.
, Static Analysis of Digital Filters, Proc. of ESOP'04, pp.33-48, 2004.
DOI : 10.1007/978-3-540-24725-8_4
URL : https://hal.archives-ouvertes.fr/inria-00528447
, Synchronous modeling of avionics applications using the signal language, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings., pp.144-151, 2003.
DOI : 10.1109/RTTAS.2003.1203046
, Partial-Order Methods for the Verification of Concurrent Systems ? An Approach to the State- Explosion Problem, 1994.
, Mars code, Communications of the ACM, vol.57, issue.2, pp.64-73, 2014.
DOI : 10.1145/2560217.2560218
, Standard for binary floatingpoint arithmetic, IEEE Computer Society, pp.745-1985, 1985.
, Development Methods for Computer Programs including a Notion of Interference, 1981.
, Program Analysis on Evolving Software, CARS 2015 -Critical Automotive applications: Robustness & Safety, 2015.
, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563
, Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics
, The Octagon Abstract Domain. Higher-Order and Symbolic Computation, pp.31-100, 2006.
, Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs, Logical Methods in Computer Science, vol.8, issue.1, p.63, 2012.
DOI : 10.2168/LMCS-8(1:26)2012
, Relational Thread-Modular Static Value Analysis by Abstract Interpretation, Proc. of VMCAI'14, pp.39-58, 2014.
DOI : 10.1007/978-3-642-54013-4_3
, Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software, 2015 International Conference on Embedded Software (EMSOFT), pp.65-74, 2015.
DOI : 10.1109/EMSOFT.2015.7318261
, Context-Bounded Model Checking of Concurrent Software, Proc. of the 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), pp.93-107, 2005.
DOI : 10.1007/978-3-540-31980-1_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.4957
, KISS: Keep it simple and sequential, Proc. of the ACM SIGPLAN Conf. on Programming Languages Design and Implementation (PLDI'04), pp.14-24, 2004.
, Analysis of Multithreaded Programs, Proc. of the 8th Int. Symp. on Static Analysis (SAS'01), pp.1-19, 2001.
DOI : 10.1007/3-540-47764-0_1
, x86-TSO, Communications of the ACM, vol.53, issue.7, 2010.
DOI : 10.1145/1785414.1785443
, Numerical static analysis of interrupt-driven programs via sequentialization, 2015 International Conference on Embedded Software (EMSOFT), pp.55-64, 2015.
DOI : 10.1109/EMSOFT.2015.7318260
URL : https://hal.archives-ouvertes.fr/hal-01312248