 |
 |
|
|
||
|---|---|---|
|
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-00405865v1
Pré-publication, Document de travail
Jean-François Monin, Cristian Ene, Michaël Périn. Gentzen-Prawitz Natural Deduction as a Teaching Tool 2009 |
||
|
inria-00506093v1
Rapport
Yuxin Deng, Stéphane Grumbach, Jean-François Monin. Towards Verifying Declarative Netlog Protocols with Coq [Intern report] 2010, pp.20 |
||
|
hal-00733634v1
Communication dans un congrès
Meixian Chen, Jean-François Monin. Formal Verification of Netlog Protocols Tiziana Margaria and Zongyan Qiu and Hongli Yang. TASE, Jul 2012, Beijing, China. IEEE, 2012 |
||
|
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> |
||
|
inria-00489412v2
Communication dans un congrès
Jean-François Monin. Proof Trick: Small Inversions Yves Bertot. Second Coq Workshop, Jul 2010, Edinburgh, United Kingdom. 2010 |
||
|
hal-00647802v1
Communication dans un congrès
Yuxin Deng, Stéphane Grumbach, Jean-François Monin. A Framework for Verifying Data-Centric Protocols Bruni, Roberto and Dingel, Juergen. DisCoTec 2011 - 6th International Federated Conferences on Formal Techniques for Distributed Systems, Jun 2011, Reykjavik, Iceland. Springer, 6722, pp.106-120, 2011, Lecture Notes in Computer Science; Formal Techniques for Distributed Systems. <10.1007/978-3-642-21461-5_7> |
||
|
inria-00567811v1
Rapport
Yuxin Deng, Stéphane Grumbach, Jean-François Monin. Verifying Declarative Netlog Protocols with Coq: a First Experiment [Research Report] RR-7511, INRIA. 2011 |
||
|
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> |
||
|
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 |
||
|
|
||
