logodali DALI

Publications and
Research Reports


BACK TO INDEX

Publications of Matthieu Martel

Articles in journal or book chapters

  1. A. Chapoutot and M. Martel. Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Journal des Techniques et Sciences Informatiques (TSI), pp 503-531, 2009. [bibtex-entry]


  2. M. Martel. Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics. Journal of Formal Methods in System Design, 2009. Note: To appear (15 pages). [bibtex-entry]


  3. M. Martel. Semantics of roundoff error propagation in finite precision computations. Journal of Higher Order and Symbolic Computation, pp 7-30, 2006. [bibtex-entry]


Conference articles

  1. A. Chapoutot and M. Martel. Abstract Simulation: a Static Analysis of Simulink Models. In 6th IEEE International Conference on Embedded Systems and Software, ICESS'09, 2009. IEEE Press. Note: To appear (10 pages). [bibtex-entry]


  2. M. Martel. Program Transformation for Numerical Precision. In ACM Workshop on Partial Evaluation and Program Manipulation, PEPM'09, pages 101-109, 2009. ACM Press. [bibtex-entry]


  3. A. Yun Zhu, W. Taha, C. Cartwright, M. Martel, and J. Siek. In Pursuit of Real Answers. In 6th IEEE International Conference on Embedded Systems and Software, ICESS'09, 2009. IEEE Press. Note: To appear (10 pages). [bibtex-entry]


  4. Olivier Bouissou and Matthieu Martel. A Hybrid Denotational Semantics for Hybrid Systems. In 17th European Symposium on Programming (ESOP), number 4960 of Lecture Notes in Computer Science, pages 63-77, 2008. [bibtex-entry]


  5. Olivier Bouissou and Matthieu Martel. Abstract Interpretation of the Physical Inputs of Embedded Programs. In Verification, Model Checking, and Abstract Interpretation (VMCAI), 9th International Conference, number 4905 of Lecture Notes in Computer Science, pages 37-51, 2008. [bibtex-entry]


  6. Alexandre Chapoutot and Matthieu Martel. Static Analysis of Simulink Programs. In SLA++P'08, Model-driven High-level Programming of embedded Systems, 2008. [bibtex-entry]


  7. Matthieu Martel. Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics. In International Workshop on Numerical Abstractions for Software Verification, 2008. Note: (Invited paper). [bibtex-entry]


  8. O. Bouissou and M. Martel. GRKLib: a Guaranteed Runge-Kutta Library. In Proceedings of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, 2007. IEEE Conference Proceedings. [bibtex-entry]


  9. A. Chapoutot and M. Martel. Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. In 10ième conférence francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), pages 261-277, 2007. [bibtex-entry]


  10. M. Martel. An Overview of Semantics for the Validation of Numerical Programs. In Verification, Model Checking and Abstract Interpretation, VMCAI'05, number 3385 of Lecture Notes in Computer Science, pages 59-77, 2007. Springer-Verlag. [bibtex-entry]


  11. M. Martel. Semantics-Based Transformation of Arithmetic Expressions. In Static Analysis Symposium, SAS'07, number 4634 of Lecture Notes in Computer Science, pages 298-314, 2007. Springer-Verlag. [bibtex-entry]


  12. O. Bouissou and M. Martel. A Runge-Kutta Method for Computing Guaranteed Solutions of ODEs. In 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN'06, Duisburg, Germany, 2006. [bibtex-entry]


  13. E. Goubault, M. Martel, and S. Putot. Some future challenges in the validation of control systems. In European Congress on Embedded Real Time Software (ERTS), 2006. [bibtex-entry]


  14. A. Costan, E. Goubault, S. Gaubert, M. Martel, and S. Putot. A policy iteration algorithm for computing fixed points in static analysis of programs. In Computer Aided Verification, CAV'05, number 3576 of Lecture Notes in Computer Science, pages 462-475, 2005. Springer-Verlag. [bibtex-entry]


  15. M. Martel. Towards an abstraction of the physical environment of embedded systems. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'05, 2005. [bibtex-entry]


Internal reports

  1. Philippe Langlois, Matthieu Martel, and Laurent Thévenoux. Accuracy versus Time: A Case Study with Summation Algorithms. Technical report, DALI Research Team, Université de Perpignan Via Domitia, France, April 2010. Note: (Submitted). [WWW] [bibtex-entry]


Miscellaneous

  1. O. Bouissou and M. Martel. Static Analysis of Embedded Programs with Continuous I/O, 2007. [bibtex-entry]


  2. A. Chapoutot and M. Martel. Abstract Frequency Analysis of Synchronous Systems, 2006. [bibtex-entry]



BACK TO INDEX




Disclaimer:

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.




Last modified: Thu May 13 12:44:47 2010
Author: langlois.


This document was translated from BibTEX by bibtex2html