Concepedia

Matthieu Martel

MM

Statistics

Publications

11

Citations

262

H-Index

10

Active since

2006

Affiliations

Université de Perpignan(Current)

Centre National de la Recherche Scientifique

Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier

Université de Montpellier

École Nationale Supérieure de Techniques Avancées

Matthieu Martel is an author at Université de Perpignan specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer EngineeringFormal MethodsComputer ScienceNumerical AnalysisApproximation TheorySoftware AnalysisApproximate ComputingProgram AnalysisFormal Verification

Publications per year

2006–2016

11

Publications

11

GRKLib: a Guaranteed Runge Kutta Library

Olivier Bouissou, Matthieu Martel · 2006 · 48 citations

Mathematical Programming, Numerical Analysis, Engineering +18

Semantics of roundoff error propagation in finite precision calculations

Matthieu Martel · LISP and Symbolic Computation · 2006 · 41 citations

Numerical Analysis, Real Data Type, Engineering +4

Program transformation for numerical precision

Matthieu Martel · 2009 · 41 citations

Numerical Analysis, Engineering, Verification +16

Some future challenges in the validation of control systems

Éric Goubault, Matthieu Martel, Sylvie Putot · HAL (Le Centre pour la Communication Scientifique Directe) · 2006 · 28 citations · Full text

Numerical Analysis, Engineering, Verification +16

Abstract Simulation: A Static Analysis of Simulink Models

Alexandre Chapoutot, Matthieu Martel · 2009 · 22 citations · Full text

Co-simulation, Engineering, Hardware-in-the-loop Simulation +14

1–5 of 11