34352 articles – 26890 Notices  [english version]
.:. Consultation > Par auteur > Armando .:.
9 documents classés par :

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]
fulltext access 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]
fulltext access 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]