.:. Consultation > Liste par auteurs > Giorgetti .:.

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

1 - 2 - 3

Automatic Decidability for Theories Modulo Integer Offsets Tushkanova E., Ringeissen C., Giorgetti A., Kouchnarenko O. N° RR-8139 (2012) [hal-00753896 - version 1]

Lazy AC-Pattern Matching for Rewriting Belkhir W., Giorgetti A. Dans 10th International Workshop on Reduction Strategies in Rewriting and Programming 82 (2011) 37-51 [hal-00756343 - version 1]

Specification and Validation of Algorithms Generating Planar Lehman Words Giorgetti A., Senni V. Dans GASCom 2012 - 8th International Conference on random generation of combinatorial structures (2012) [hal-00753008 - version 1]

Grammar-Based Testing using Realistic Domains in PHP Enderlin I., Dadeau F., Giorgetti A., Bouquet F. Dans IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012 (2012) 509-518 [hal-00751321 - version 1]

A Rule-Based Framework for Building Superposition-Based Decision Procedures Tushkanova E., Giorgetti A., Ringeissen C., Kouchnarenko O. Dans Rewriting Logic and Its Applications 7571 (2012) 221-239 [hal-00749576 - version 1]

Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis Chebaro O., Kosmatov N., Giorgetti A., Julliand J. Dans SAC 2012, 27-th ACM Symposium On Applied Computing (2012) 1284-1291 [hal-00746814 - version 1]

Praspel: A Specification Language for Contract-Based Testing in PHP Enderlin I., Dadeau F., Giorgetti A., Ben Othman A. Dans 23rd IFIP International Conference on Testing Software and Systems (ICTSS'11) 7019 (2011) 64--79 [hal-00640279 - version 1]

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging Chebaro O., Kosmatov N., Giorgetti A., Julliand J. Dans 5th International Conference on Tests & Proofs 6706 (2011) 78-83 [inria-00622904 - version 1]

Rewriting and Symbolic Transformations for Multiscale Methods Belkhir W., Giorgetti A., Lenczner M. (17/01/2011) [hal-00643047 - version 1]

Simulations over Two-Dimensional On-Line Tessellation Automata Cécé G., Giorgetti A. Dans 15th International Conference on Developments in Language Theory - DLT 2011 6795 (2011) 141--152 [hal-00642531 - version 1]