.:. Consultation > Par auteur > Armando .:.

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

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures Armando A., Arsac W., Avanesov T., Barletta M., Calvi A., Cappai A., Carbone R., Chevalier Y., Compagna L., Cuellar J. et al Dans Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012 7214 (2012) 267-282 [hal-00759725 - version 1]

New results on rewrite-based satisfiability procedures Armando A., Bonacina M. P., Ranise S., Schulz S. ACM Transactions on Computational Logic 10, 1 (2009) Article 4, 51 pages [inria-00576862 - version 1]

The AVISPA Tool for the automated validation of internet security protocols and applications Armando A., Basin D., Boichut Y., Chevalier Y., Compagna L., Cuellar J., Hankes Drielsma P., Héam P.-C., Kouchnarenko O., Mantovani J. et al Dans 17th International Conference on Computer Aided Verification - CAV 2005 3576 (2005) 281-285 [inria-00000408 - version 1]

The AVISS Security Protocol Analysis Tool Armando A., Basin D., Bouallagui M., Chevalier Y., Compagna L., Moedersheim S., Rusinowitch M., Turuani M., Vigano L., Vigneron L. Dans 14th International Conference on Computer Aided Verification - CAV'2002 2404 (2002) 349-353 [inria-00100915 - version 1]

Incorporating Decision Procedures in Implicit Induction Armando A., Rusinowitch M., Stratulat S. Dans Eight International Conference on Computer Aided Systems Theory - Eurocast'2001 (2001) 16 p [inria-00100928 - version 1]

Incorporating Decision Procedures in Implicit Induction Armando A., Rusinowitch M., Stratulat S. Dans 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - CALCULEMUS'2001 (2001) 16 p [inria-00100610 - version 1]

Uniform Derivation of Decision Procedures by Superposition Armando A., Ranise S., Rusinowitch M. Dans Conference of the European Association for Computer Science Logic - CSl'2001 (2001) 15 p [inria-00100412 - version 1]

Uniform Derivation of Decision Procedures by Superposition Armando A., Ranise S., Rusinowitch M. N° RR-4151 (2001) [inria-00072474 - version 1]

Integrating decision procedures in Spike Armando A., Defourneaux G., Rusinowitch M., Stratulat S. N° 99-R-037 || armando99a (1999) [inria-00098930 - version 1]