 |
 |
|
|
||
|---|---|---|
|
inria-00624833v1
Communication dans un congrès
Xiaomu Shi, Jean-François Monin, Frédéric Tuong, Frédéric Blanqui. First steps towards the certification of an ARM simulator using Compcert First International Conference on Certified Programs and Proofs, Dec 2011, Hengchun, Taiwan. 7086, 2011, LNCS. <10.1007/978-3-642-25379-9_25> |
||
|
hal-00937168v1
Communication dans un congrès
Jean-François Monin, Xiaomu Shi. Handcrafted Inversions Made Operational on Operational Semantics Sandrine Blazy and Christine Paulin-Mohring and David Pichardie. ITP 2013 - 4th International Conference Interactive Theorem Proving, Jul 2013, Rennes, France. Springer, 7998, pp.338-353, 2013, LNCS - Lecture Notes in Computer Science; Interactive Theorem Proving. <10.1007/978-3-642-39634-2_25> |
||
|
hal-01241837v1
Chapitre d'ouvrage
Vania Joloboff, Jean-François Monin, Xiaomu Shi. Towards Verified Faithful Simulation Xuandong Li, Zhiming Liu, Wang Yi. Dependable Software Engineering: Theories, Tools, and Applications, Springer, pp.315, 2015, Lecture Notes in Computer Science, ISBN 978-3-319-25942-0. <10.1007/978-3-319-25942-0> |
||
|
hal-00493726v2
Communication dans un congrès
Pierre-Emmanuel Hladik, Florent Peres, Xiaomu Shi. Analyse d'un modèle AADL à l'aide de Pola Yamine Aït-Ameur --- LISI/ENSMA et Université de Poitiers. 10es journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2010, Poitiers, France. p. 239--243, 2010 |
||
|
inria-00546228v1
Communication dans un congrès
Frédéric Blanqui, Claude Helmstetter, Vania Joloboff, Jean-François Monin, Xiaomu Shi. Designing a CPU model: from a pseudo-formal document to fast code 3rd Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2011, Heraklion, Greece. 2010 |
||
|
hal-01242963v1
Communication dans un congrès
Vania Joloboff, Jean-François Monin, Xiaomu Shi. Towards Verified Faithful Simulation Springer Verlag. Dependable Software Engineering: Theories, Tools, and Applications, Nov 2015, Nanjing, China |
||
|
tel-00937524v2
Thèse
Xiaomu Shi. Certification of an Instruction Set Simulator Embedded Systems. Université de Grenoble, 2013. English. < NNT : 2013GRENM075 > |
||
|
|
||
