Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00400272
A metamodel for the design of polychronous systems, The Journal of Logic and Algebraic Programming, vol.78, issue.4, 2008. ,
DOI : 10.1016/j.jlap.2008.11.005
URL : https://hal.archives-ouvertes.fr/hal-00788580
Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991. ,
DOI : 10.1145/115372.115320
Semi-sparse flow-sensitive pointer analysis, Symposium on Principles of programming languages, 2009. ,
DOI : 10.1145/1480881.1480911
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.2380
LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., 2004. ,
DOI : 10.1109/CGO.2004.1281665
POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, 2003. ,
DOI : 10.1142/S0218126603000763
URL : https://hal.archives-ouvertes.fr/hal-00730480
Behavioral type inference for compositional system design " . Chapter in Formal Methods and Models for System Design, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00071442
Verifying multi-threaded C Programs with SPIN " . International SPIN Workshop on Model Checking of Software, 2008. ,
DOI : 10.1007/978-3-540-85114-1_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.599.1944