.:. Consultation > Liste par année > 2011 .:.

39 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4

A Framework for Verifying Data-Centric Protocols Deng Y., Grumbach S., Monin J.-F. Dans DisCoTec 2011 - 6th International Federated Conferences on Formal Techniques for Distributed Systems 6722 (2011) 106-120 [hal-00647802 - version 1]

First steps towards the certification of an ARM simulator using Compcert Shi X., Monin J.-F., Tuong F., Blanqui F. Dans First International Conference on Certified Programs and Proofs 7086 (2011) [inria-00624833 - version 1]

Domain-driven Probabilistic Analysis of Programmable Logic Controllers Zhang H., Jiang Y., William N.N. H., Song X., Gu M. Dans 13th International Conference on Formal Engineering Methods(ICFEM 2011) (2011) [inria-00612414 - version 1]

Edola: A Domain Modeling and Verification Language for PLC Systems Zhang H., Gu M., Song X. Dans The Sixth International Conference on Software Engineering (ICSEA 2011) (2011) [inria-00612416 - version 1]

Optimal Design of Multiple Q-shells experiments for Diffusion MRI Caruyer E., Cheng J., Lenglet C., Sapiro G., Jiang T., Deriche R. Dans MICCAI Workshop on Computational Diffusion MRI - CDMRI'11 (2011) [inria-00617663 - version 1]

Compressive Sensing Ensemble Average Propagator Estimation via L1 Spherical Polar Fourier Imaging Cheng J., Merlet S., Caruyer E., Ghosh A., Jiang T., Deriche R. Dr. Dans MICCAI Workshop on Computational Diffusion MRI - CDMRI'11 (2011) [inria-00615434 - version 1]

Diffeomorphism Invariant Riemannian Framework for Ensemble Average Propagator Computing Cheng J., Ghosh A., Jiang T., Deriche R. Dr. Dans MICCAI - 2011 - 14th International Conference on Medical Image Computing and Computer Assisted Intervention (2011) [inria-00615431 - version 1]

Theoretical Analysis and Practical Insights on EAP Estimation via a Unified HARDI Framework Cheng J., Jiang T., Deriche R. Dr. Dans MICCAI Workshop on Computational Diffusion MRI (2011) [inria-00615430 - version 1]

Proving Computational Geometry Algorithms in TLA+2 Kong H., Zhang H., Song X., Gu M., Sun J. Dans 5th IEEE International Conference on Theoretical Aspects of Software Engineering(TASE 2011) (2011) [inria-00612413 - version 1]

A Formal Definition Method of Denotational Semantics and Functions for PLC Program Language Xiao L., Gu M., Sun J. Journal of Central South University (in Chinese) (2011) [inria-00612407 - version 1]