1. Laure Gonnord and Peter Schrammel. Abstract Acceleration in Linear Relation Analysis. Science of Computer Programming, 2013. Note: In press, Available online 10 October 2013, author version : http://hal.inria.fr/hal-00787212/en. [WWW] [doi:10.1016/j.scico.2013.09.016]



2. Paul Feautrier, Abdoulaye Gamatié, and Laure Gonnord. Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction. CSI Journal of Computing, 1(4):8:86 - 8:99, 2012.

1. Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Oliveira, Fernando Pereira, and Laure Gonnord. Validation of Memory Accesses Through Symbolic Analyses. In OOPSLA, Portland, Oregon, United States, October 2014. [WWW]



2. Raphael Ernani Rodrigues, Péricles Alves, Fernando Pereira, and Laure Gonnord. Real-World Loops are Easy to Predict: A Case Study. In Workshop on Software Termination, Vienne, Autriche, July 2014. [WWW]



3. Christophe Alias, Alain Darte, Paul Feautrier, and Laure Gonnord. Rank: A Tool to Check Program Termination and Computational Complexity. In International Workshop on Constraints in Software Testing Verification and Analysis (CSTVA'13), Luxembourg, pages 238, March 2013. [WWW]



4. Guillaume Andrieu, Christophe Alias, and Laure Gonnord. SToP: Scalable Termination Analysis of (C) Programs (Tool Presentation). In International Workshop on Tools for Automatic Program Analysis (TAPAS'12), Deauville, France, September 2012.



5. Christophe Alias, Alain Darte, Paul Feautrier, and Laure Gonnord. Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. In 17th International Static Analysis Symposium (SAS'10), Perpignan, France, pages 117-133, September 2010. ACM press.



6. Paul Feautrier and Laure Gonnord. Accelerated Invariant Generation for C Programs with Aspic and C2fsm. In Workshop on Tools for Automatic Program Analysis (TAPAS'10), volume 267 of Electronic Notes in Theoretical Computer Science, pages 3-13, September 2010. [doi:10.1016/j.entcs.2010.09.014]



7. L. Gonnord and J.-P. Babau. Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems. In ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'09), Rabbat, Morocco, pages 428-435, May 2009.

1. Paul Feautrier, Abdoulaye Gamatié, and Laure Gonnord. Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction. Report 2nd Version, July 2013. Note: Last version = author version of our CSI Journal of Computer Paper (same title and same content). [WWW]



2. Guillaume Andrieu, Christophe Alias, and Laure Gonnord. Modular Termination of C programs. Research Report 8166, INRIA, 12 2012. [WWW]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html