.:. Consultation > Liste par discipline > Logique en informatique .:.

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

... 29 - 30 - 31 - 32 - 33 - 34 - 35 ...

JAG : Génération d'annotations JML pour vérifier des propriétés temporelles Giorgetti A., Groslambert J. (2006) [inria-00114317 - version 1]

JAG: JML Annotation Generation for Verifying Temporal Properties Giorgetti A., Groslambert J. Dans 9th International Conference on Fundamental Approaches to Software Engineering - FASE'2006 3922 (2006) 373--376 [inria-00114316 - version 1]

Termination of rewriting under strategies: a generic approach Gnaedig I., Kirchner H. (2006) [inria-00113156 - version 1]

Computing Constructor Forms with Non Terminating Rewrite Programs - Extended version - Gnaedig I., Kirchner H. (2006) [inria-00113146 - version 1]

Computing Constructor Forms with Non Terminating Rewrite Programs Gnaedig I., Kirchner H. Dans Symposium on Principles and Practice of Declarative Programming - PPDP'06 Proceedings of the Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarat (2006) [inria-00112083 - version 1]

Automatically Analysing Non-repudiation with Authentication Santos Santiago J., Vigneron L. Dans 3rd Taiwanese-French Conference on Information Technology - TFIT 06 (2006) 541-554 [inria-00105534 - version 1]

Validation of Prouve Protocols using the Automatic Tool TA4SP Boichut Y., Kosmatov N., Vigneron L. Dans 3rd Taiwanese-French Conference on Information Technology (2006) 467-480 [inria-00105533 - version 1]

Sécurité des communications de groupe Chridi N., Vigneron L. La Revue de l'Electricité et de l'Electronique, 6/7 (2006) 51-60 [inria-00105523 - version 1]

Strategy for Flaws Detection based on a Services-driven Model for Group Protocols Chridi N., Vigneron L. Dans Workshop on Constraints in Software Testing, Verification and Analysis - CSTVA 06 (2006) 88-99 [inria-00105519 - version 1]

Hybrid Logics Carlos A., Ten Cate B. Dans Handbook of Modal Logic, Elsevier (Ed.) (2006) [inria-00104513 - version 1]