Matthieu Martel
Publications 
 
Home Teaching Research Publications


2010

Radhia Cousot and Matthieu Martel (Editors), Static Analysis Symposium (SAS), Lecture Notes in Computer Science, Springer-Verlag, 6337, 2010

Laurent Thévenoux, Matthieu Martel, Philippe Langlois, Trade-off between accuracy and time for automatically generated algorithms, 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2010 (pdf)

Laurent Thévenoux, Matthieu Martel, Philippe Langlois, Accuracy Versus Time: A Case Study with Summation Algorithms, ACM-SIGSAM International Workshop on Parallel and Symbolic Computation (PASCO), 2010 (pdf)
2009

Matthieu Martel, Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics, Journal of  Formal Methods in System Design, volume 35, pages 265-278, 2009, Springer (pdf)

Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, and Jeremy Siek. In pursuit of real answers. In 6th IEEE International Conference on Embedded Systems and Software, ICESS’09, 2009 (pdf)

Alexandre Chapoutot and Matthieu Martel. Abstract simulation: a static analysis of simulink models. In 6th IEEE International Conference on Embedded Systems and Software, ICESS’09, 2009 (pdf)

Matthieu Martel, Program Transformation for Numerical Precision, Partial Evaluation and Program Manipulation, PEPM'09, ACM Press, (pdf)

Alexandre Chapoutot and Matthieu Martel, Différentiation automatique et formes de Taylor en analyse statique de programmes
numériques, Technique et sciences informatiques (TSI), à paraître, 2009 (pdf)
2008

Matthieu Martel, Enhancing the Implementation of Mathematical Formulas for Fixed-Point and Floating-Point Arithmetics, First International Workshop on Numerical Abstractions for Software Verification, invited paper, 2008 (pdf)

 Alexandre Chapoutot and Matthieu Martel, Static Analysis of Simulink Programs (short paper), Synchronous languages and model-driven high-level programming of reactive and embedded systems, SLA++P2008, Electronic Notes in Theoretical Computer Science, 2008 (pdf)

Olivier Bouissou and Matthieu Martel, A Hybrid Denotational Semantics for Hybrid Systems, European Symposium on Programming, ESOP’08, Lecture Notes in Computer Science, Springer-Verlag, 4960, 2008 (pdf)

Olivier Bouissou and Matthieu Martel, Abstract Interpretation of the Physical Inputs of Embedded Programs, Verification, Model Checking and Abstract Interpretation, VMCAI'08, Lecture Notes in Computer Science, Springer-Verlag, 4905, 2008 (pdf)
2007

Matthieu Martel, Semantics-Based Transformation of Arithmetic Expressions, Static Analysis Symposium, SAS'07, Lecture Notes in Computer Science, Springer-Verlag, 4634, 2007 (pdf)

Olivier Bouissou and Matthieu Martel, Static Analysis of Embedded Programs with Continuous I/O, 10th International Conference on Hybrid Systems: Computation and Control, poster session, 2007 (pdf)

Alexandre Chapoutot and Matthieu Martel, Différentiation automatique et formes de Taylor en analyse statique de programmes numériques, 10ième conférence francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2007 (pdf)

Olivier Bouissou and Matthieu Martel, GRKLib: a Guaranteed Runge-Kutta Library, IEEE Conference Proceedings (follow-up of SCAN'06), 2007 (pdf)
2006

Matthieu Martel, Eléments pour la validation de systèmes numériques intégrés, Mémoire d'habilitation à diriger des recherches, Université Paris IX Dauphine, 2006 (pdf)

Olivier Bouissou and Matthieu Martel, A Runge-Kutta Method for Computing Guaranteed Solutions of ODEs, 12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN), 2006 (pdf)

Alexandre Chapoutot and Matthieu Martel, Abstract Frequency Analysis of Synchronous Systems, ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), poster session, 2006, abstract and poster

Matthieu Martel, Semantics of roundoff error propagation in finite precision computations, Journal of Higher Order and Symbolic Computation, 19:7-30, 2006 (pdf)

Daniel Krob and Matthieu Martel, Le master professionnel "ingénierie des systèmes industriels complexes", Conférence annuelle de l'Association Française d'Ingénierie système, 2006 (pdf)

Eric Goubault, Matthieu Martel and Sylvie Putot, Some future challenges in the validation of control systems, European Congress on Embedded Real Time Software (ERTS), 2006 (pdf)
2005

Matthieu Martel, An Overview of Semantics for the Validation of Numerical Programs, Verification, Model Checking and Abstract Interpretation, VMCAI'05, Lecture Notes in Computer Science, Springer-Verlag 3385, 2005 (pdf)

Alexandru Costan, Eric Goubault, Stéphane Gaubert, Matthieu Martel and Sylvie Putot, A policy iteration algorithm for computing fixed points in static analysis of programs, Computer Aided Verification, CAV'05, Lecture Notes in Computer Science, Springer-Verlag 3576, 2005 (pdf)

Olivier Bouissou and Matthieu Martel, Static analysis by abstract interpretation of hybrid systems, 2005, Submitted (pdf)

Matthieu Martel, Towards an abstraction of the physical environment of embedded systems, Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'05, 2005 (pdf)
2004

Matthieu Martel, Validation of Assembler Programs for DSPs: A Static Analyzer, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'04), 2004 (pdf)

Sylvie Putot, Eric Goubault and Matthieu Martel, Static Analysis-Based Validation of Floating-Point Computations, follow-up of the seminary on Numerical Software with Result Verification, at Dagstuhl, Germany,  2004, Lecture Notes in Computer Science, Springer-Verlag 2991 (pdf)
2003

Matthieu Martel, Improving the Static Analysis of Loops by Dynamic Partitioning Techniques, 2003, Third IEEE International Workshop on Source Code Analysis and Manipulation, SCAM'03 (pdf)
2002

Matthieu Martel, Static Analysis of the Numerical Stability of Loops, 2002, Static Analysis Symposium, SAS'02, Lecture Notes in Computer Science, Springer-Verlag 2477 (pdf)

Matthieu Martel, Propagation of Roundoff Errors in Finite Precision Computations: a Semantics Approach, European Symposium on Programming, ESOP'2002, Lecture Notes in Computer Science, Springer-Verlag 2305 (pdf)

Eric Goubault, Matthieu Martel and Sylvie Putot, Asserting the Precision of Floating-Point Computations: a Simple Abstract Interpreter, European Symposium on Programming, ESOP'2002, Lecture Notes in Computer Science, Springer-Verlag2305 (pdf)
2001

Matthieu Martel and Marc Gengler, Partial Evaluation of Concurrent Programs, Euro-par Conference on Parallel Processing, Euro-par'2001, Lecture Notes in Computer Science, Springer-Verlag 2150 (pdf)
2000

Matthieu Martel, Analyse Statique et Evaluation Partielle de Systèmes de Processus Mobiles, PhD Thesis, Université d'Aix-Marseille II, 2000 (pdf)

Matthieu Martel and Marc Gengler, Communication Topology Analysis for Concurrent Programs, 7th International SPIN Workshop on Model Checking of Software, SPIN'2000, Lecture Notes in Computer Science, Springer-Verlag 1885 (pdf)

Matthieu Martel and Marc Gengler, Analyse Statique pour la Sûreté des Applications Distribuées, Rencontres Francophones du Parallélisme, Renpar'12, 2000 (pdf)
1998

Matthieu Martel and Marc Gengler, Des Etages en Concurrent ML, Rencontres Francophones du Parallélisme, Renpar'10, 1998 (pdf)
1997

Matthieu Martel and Marc Gengler, Self-applicable Partial Evaluation for the Pi-calculus, ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'97 (pdf)