.:. Consultation > Liste des articles .:.

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

... 4 - 5 - 6 - 7 - 8 - 9 - 10 ...

Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning Chen Y.-F., Clarke E. M., Farzan A., He F., Tsai M.-H., Tsay Y.-K., Wang B.-Y., Zhu L. Dans International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2010) [inria-00515167 - version 1]

Certification of SAT Solvers in Coq Jouannaud J.-P., Strub P.-Y., Zhang L. Dans Guangzhou Symposium on Satisfiability in Logic-Based Modeling (2010) [inria-00516906 - version 1]

A new muscle fatigue and recovery model and its ergonomics application in human simulation Ma L., Chablat D., Bennis F., Zhang W., Guillaume F. Virtual and Physical Prototyping 5, 3 (2010) 123 - 137 [hal-00530230 - version 1]

Filling n-sided regions with G1 triangular Coons B-spline patches Shi K.-L., Yong J.-H., Sun J.-G., Paul J.-C., Gu H.-J. Visual Computer (2010) [inria-00517938 - version 1]

On the confluence of lambda-calculus with conditional rewriting Blanqui F., Kirchner C., Riba C. Theoretical Computer Science 411, 37 (2010) 3301-3327 [inria-00509054 - version 1]

Specifying and Verifying PLC systems with TLA+: a case study Zhang H., Merz S., Gu M. Computers & Mathematics with Applications 60, 3 (2010) 695-705 [hal-00516785 - version 1]

Data assimilation for convective-cell tracking on meteorological image sequences Thomas C., Corpetti T., Memin E. IEEE Transactions on Geoscience and Remote Sensing 48, 8 (2010) 3162-3177 [inria-00619101 - version 1]

Parameterized Specification and Verification of PLC Systems in Coq Wan H., Song X., Gu M. Dans 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (2010) [inria-00516016 - version 1]

Compositional Abstraction Refinement for Timed Systems He F., Zhu L., Hung W. N. N., Song X., Gu M. Dans IEEE International Symposium on Theoretical Aspects of Software Engineering (2010) [inria-00516575 - version 1]

Specifying time-sensitive systems with TLA+ Zhang H., Gu M., Song X. Dans COMPSAC 2010 : 34th Annual IEEE Computer Software and Applications Conference (2010) 425-430 [inria-00516164 - version 1]