News
- Best Industry Paper at ISSRE 2017 - The 28th IEEE International Symposium on Software Reliability Engineering
- PC-member of CODIT'18 - 5th IEEE International Conference on Control, Decision and Information Technologies
- PC-member of PEC 2018 -3rd International Conference on Pervasive and Embedded Computing
- PC-member of CODIT'17 - 4th IEEE International Conference on Control, Decision and Information Technologies
- Co-founder with Arnault Ioualalen and Nicolas Normand of Numalis (Video presentations of Numalis and SATT AxLR)
Contact
Laboratoire de Mathématiques et de Physique
Université de Perpignan Via Domitia
Bâtiment B - 2ième étage
52 avenue Paul Alduy
F-66860 Perpignan Cedex
France
Phone: (+33) 4 68 66 17 15
Fax: (+33) 4 68 66 22 87
Email: Matthieu Martel
Research interests
Numerical accuracy
Computer arithmetic
Abstract interpretation
Semantics-based code transformations
Code synthesis
Validation of embedded systems
Discrete-continuous hybrid systems
