The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alessandro Armando: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandro Armando, Alessandro Cimatti, Luca Viganò
    Building and Executing Proof Strategies in a Formal Metatheory. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:11-22 [Conf]
  2. Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
    Proving Formulas through Reduction to Decidable Classes. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:1-10 [Conf]
  3. Alessandro Armando, Erica Melis, Silvio Ranise
    Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:28-38 [Conf]
  4. Paolo Traverso, Alessandro Armando, Enrico Giunchiglia
    A Knowledge Based System for Automatic 3D Scene. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1992, pp:255-264 [Conf]
  5. Alessandro Armando, Silvio Ranise
    From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:42-54 [Conf]
  6. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
    SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:46-58 [Conf]
  7. Alessandro Armando, Luca Compagna, Silvio Ranise
    Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:30-45 [Conf]
  8. Alessandro Armando, Luca Compagna, Silvio Ranise
    System Description: RDL : Rewrite and Decision Procedure Laboratory. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:663-669 [Conf]
  9. Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
    The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:281-285 [Conf]
  10. Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron
    The AVISS Security Protocol Analysis Tool. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:349-353 [Conf]
  11. Alessandro Armando, Felice Peccia, Silvio Ranise
    The Phase Transition of the Linear Inequalities Problem. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:422-432 [Conf]
  12. Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
    Uniform Derivation of Decision Procedures by Superposition. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:513-527 [Conf]
  13. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia
    SAT-Based Procedures for Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:97-108 [Conf]
  14. Alessandro Armando, Luca Compagna, Pierre Ganty
    SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:875-893 [Conf]
  15. Alessandro Armando, Luca Compagna
    Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:210-225 [Conf]
  16. Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
    On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:65-80 [Conf]
  17. Alessandro Armando, Silvio Ranise
    Termination of Constraint Contextual Rewriting. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:47-61 [Conf]
  18. Alessandro Armando, Claudio Castellini, Jacopo Mantovani
    Software Model Checking Using Linear Constraints. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:209-223 [Conf]
  19. Alessandro Armando, Paolo Pecchiari
    NALIG: A CAD System for Interior Design with High Level Interaction Capabilities. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1993, pp:446-447 [Conf]
  20. Alessandro Armando, Clemens Ballarin
    Maple's evaluation process as constraint contextual rewriting. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2001, pp:32-37 [Conf]
  21. Alessandro Armando, Luca Compagna
    SATMC: A SAT-Based Model Checker for Security Protocols. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:730-733 [Conf]
  22. Alessandro Armando, Luca Compagna, Yuliya Lierler
    Automatic Compilation of Protocol Insecurity Problems into Logic Programming. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:617-627 [Conf]
  23. Alessandro Armando, Alan Smaill, Ian Green
    Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:2-9 [Conf]
  24. Alessandro Armando, Luca Compagna
    Abstraction-Driven SAT-based Analysis of Security Protocols. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:257-271 [Conf]
  25. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
    A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  26. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
    A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:16-29 [Conf]
  27. Alessandro Armando, Jacopo Mantovani, Lorenzo Platania
    Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:146-162 [Conf]
  28. Alessandro Armando, Daniele Zini
    Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture. [Citation Graph (0, 0)][DBLP]
    WOA, 2000, pp:70-75 [Conf]
  29. Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia
    MRG: Building planers for real-world complex applications. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1994, v:8, n:3, pp:333-357 [Journal]
  30. Alessandro Armando, Enrico Giunchiglia
    Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:475-502 [Journal]
  31. Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy
    Automating the Synthesis of Decision Procedures in a Constructive Metatheory. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:259-279 [Journal]
  32. Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
    Structured Proof Procedures. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:15, n:1, pp:1-18 [Journal]
  33. Alessandro Armando, Alan Smaill, Ian Green
    Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:4, pp:329-356 [Journal]
  34. Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
    Model Checking Linear Programs with Arrays. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:79-94 [Journal]
  35. Alessandro Armando, Luca Compagna
    An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:91-108 [Journal]
  36. Alessandro Armando, Alessandro Cimatti
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:1-2 [Journal]
  37. Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia
    The control component of open mechanized reasoning systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  38. Alessandro Armando, Tudor Jebelean
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  39. Alessandro Armando, Luca Viganò
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:1-0 [Journal]
  40. Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
    A rewriting approach to satisfiability procedures. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:183, n:2, pp:140-164 [Journal]
  41. Alessandro Armando, Christophe Ringeissen
    Special issue on combining logical systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:10, pp:1411-1412 [Journal]
  42. Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò
    Automated Reasoning for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:36, n:1-2, pp:1-3 [Journal]
  43. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
    The SAT-based Approach to Separation Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:237-263 [Journal]
  44. Alessandro Armando, Clemens Ballarin
    A reconstruction and extension of Maple's assume facility via constraint contextual rewriting. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2005, v:39, n:5, pp:503-521 [Journal]
  45. Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise
    The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:4, pp:305-332 [Journal]
  46. Alessandro Armando, Tudor Jebelean
    Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:4, pp:303-304 [Journal]
  47. Alessandro Armando, Silvio Ranise
    Constraint contextual rewriting. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2003, v:36, n:1-2, pp:193-216 [Journal]
  48. Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat
    Incorporating Decision Procedures in Implicit Induction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2002, v:34, n:4, pp:241-258 [Journal]
  49. Alessandro Armando, Silvio Ranise
    A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:2, pp:124-140 [Journal]
  50. Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
    Abstraction Refinement of Linear Programs with Arrays. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:373-388 [Conf]
  51. Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
    New results on rewrite-based satisfiability procedures [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  52. Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk). [Citation Graph (, )][DBLP]


  53. Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. [Citation Graph (, )][DBLP]


  54. LTL Model Checking for Security Protocols. [Citation Graph (, )][DBLP]


  55. Building SMT-Based Software Model Checkers: An Experience Report. [Citation Graph (, )][DBLP]


  56. Model Checking of Security-Sensitive Business Processes. [Citation Graph (, )][DBLP]


  57. The eureka tool for software model checking. [Citation Graph (, )][DBLP]


  58. Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002