Matthieu Martel (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

15 Olivier Bouissou, Matthieu Martel: A Hybrid Denotational Semantics for Hybrid Systems. ESOP 2008: 63-77

14 Olivier Bouissou, Matthieu Martel: Abstract Interpretation of the Physical Inputs of Embedded Programs. VMCAI 2008: 37-51

Selection of 2 from 16 records - Matthieu Martel has 6 coauthors

15		Olivier Bouissou, Matthieu Martel: A Hybrid Denotational Semantics for Hybrid Systems. ESOP 2008: 63-77
14		Olivier Bouissou, Matthieu Martel: Abstract Interpretation of the Physical Inputs of Embedded Programs. VMCAI 2008: 37-51