On Domain Specific Languages Re- Engineering, In ACM Int. Conf. on Generative Programming and Component Engineering Lect. Notes in Computer Science, vol.3676, pp.63-77, 2005. ,
On the Equivalence of Two Systems of Affine Recurrence Equations, Euro-Par Conference, pp.309-313, 2002. ,
DOI : 10.1007/3-540-45706-2_40
URL : https://hal.archives-ouvertes.fr/inria-00072302
Extracting coarsegrained parallelism in program loops with the slicing framework, ISPDC '07: Proceedings of the Sixth International Symposium on Parallel and Distributed Computing, p.29, 2007. ,
Calculating exact transitive closure for a normalized affine integer tuple relation. To be published in the, Journal of Electronic Notes in Discrete Mathematics, 2009. ,
DOI : 10.1016/j.endm.2009.03.002
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.4674
Symbolic Methods for Exploring Infinite State Spaces, 1998. ,
Symbolic verification with periodic sets, Proceedings of the 6th International Conference on Computer-Aided Verification, pp.55-67, 1994. ,
DOI : 10.1007/3-540-58179-0_43
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.6568
Multiple counters automata, safety analysis and presburger arithmetic, CAV'98, pp.268-279, 1998. ,
DOI : 10.1007/BFb0028751
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.6334
Scheduling and Automatic Parallelization, 2000. ,
DOI : 10.1007/978-1-4612-1362-8
URL : https://hal.archives-ouvertes.fr/hal-00856645
The omega library interface guide, 1995. ,
Transitive Closure of Infinite Graphs and Its Applications, International Journal of Parallel Programming, vol.36, issue.12, pp.579-598, 1996. ,
DOI : 10.1007/BF03356760
An automatic verification technique for loop and data reuse transformations based on geometric modeling of programs, Journal of Universal Computer Science, vol.9, issue.3, pp.248-269, 2003. ,