2009 |
59 | EE | Alessandro Armando,
Maria Paola Bonacina,
Silvio Ranise,
Stephan Schulz:
New results on rewrite-based satisfiability procedures.
ACM Trans. Comput. Log. 10(1): (2009) |
2008 |
58 | | Alessandro Armando,
Peter Baumgartner,
Gilles Dowek:
Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings
Springer 2008 |
57 | EE | Alessandro Armando,
Roberto Carbone,
Luca Compagna,
Jorge Cuéllar,
M. Llanos Tobarra:
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.
FMSE 2008: 1-10 |
56 | EE | Alessandro Armando:
Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk).
PAAR/ESHOL 2008 |
55 | EE | Alessandro Armando,
Luca Compagna:
SAT-based model-checking for security protocols analysis.
Int. J. Inf. Sec. 7(1): 3-32 (2008) |
2007 |
54 | EE | Alessandro Armando,
Massimo Benerecetti,
Dario Carotenuto,
Jacopo Mantovani,
Pasquale Spica:
The eureka tool for software model checking.
ASE 2007: 541-542 |
53 | EE | Alessandro Armando,
Roberto Carbone,
Luca Compagna:
LTL Model Checking for Security Protocols.
CSF 2007: 385-396 |
52 | EE | Alessandro Armando,
Massimo Benerecetti,
Jacopo Mantovani:
Abstraction Refinement of Linear Programs with Arrays.
TACAS 2007: 373-388 |
2006 |
51 | EE | Alessandro Armando,
Jacopo Mantovani,
Lorenzo Platania:
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.
SPIN 2006: 146-162 |
50 | EE | Alessandro Armando,
Maria Paola Bonacina,
Silvio Ranise,
Stephan Schulz:
New results on rewrite-based satisfiability procedures
CoRR abs/cs/0604054: (2006) |
49 | EE | Alessandro Armando,
Alessandro Cimatti:
Preface.
Electr. Notes Theor. Comput. Sci. 144(2): 1-2 (2006) |
48 | EE | Alessandro Armando,
Massimo Benerecetti,
Jacopo Mantovani:
Model Checking Linear Programs with Arrays.
Electr. Notes Theor. Comput. Sci. 144(3): 79-94 (2006) |
47 | EE | Alessandro Armando,
Christophe Ringeissen:
Special issue on combining logical systems.
Inf. Comput. 204(10): 1411-1412 (2006) |
46 | EE | Alessandro Armando,
David A. Basin,
Jorge Cuéllar,
Michaël Rusinowitch,
Luca Viganò:
Automated Reasoning for Security Protocol Analysis.
J. Autom. Reasoning 36(1-2): 1-3 (2006) |
2005 |
45 | EE | 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.
CAV 2005: 281-285 |
44 | EE | Alessandro Armando,
Maria Paola Bonacina,
Silvio Ranise,
Stephan Schulz:
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.
FroCos 2005: 65-80 |
43 | EE | Alessandro Armando,
Luca Compagna,
Silvio Ranise:
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.
Mechanizing Mathematical Reasoning 2005: 30-45 |
42 | EE | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Fausto Giunchiglia,
Armando Tacchella:
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.
Mechanizing Mathematical Reasoning 2005: 46-58 |
41 | EE | Alessandro Armando,
Luca Viganò:
Preface.
Electr. Notes Theor. Comput. Sci. 125(1): 1- (2005) |
40 | EE | Alessandro Armando,
Luca Compagna:
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols.
Electr. Notes Theor. Comput. Sci. 125(1): 91-108 (2005) |
39 | EE | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Marco Maratea:
The SAT-based Approach to Separation Logic.
J. Autom. Reasoning 35(1-3): 237-263 (2005) |
38 | EE | Alessandro Armando,
Clemens Ballarin:
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting.
J. Symb. Comput. 39(5): 503-521 (2005) |
2004 |
37 | EE | Alessandro Armando,
Claudio Castellini,
Jacopo Mantovani:
Software Model Checking Using Linear Constraints.
ICFEM 2004: 209-223 |
36 | EE | Alessandro Armando,
Luca Compagna,
Yuliya Lierler:
Automatic Compilation of Protocol Insecurity Problems into Logic Programming.
JELIA 2004: 617-627 |
35 | EE | Alessandro Armando,
Luca Compagna:
SATMC: A SAT-Based Model Checker for Security Protocols.
JELIA 2004: 730-733 |
34 | EE | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Marco Maratea:
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints.
SAT 2004 |
33 | EE | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Marco Maratea:
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints.
SAT (Selected Papers 2004: 16-29 |
2003 |
32 | EE | Alessandro Armando,
Luca Compagna,
Pierre Ganty:
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis.
FME 2003: 875-893 |
31 | EE | Alessandro Armando,
Luca Compagna:
Abstraction-Driven SAT-based Analysis of Security Protocols.
SAT 2003: 257-271 |
30 | EE | Alessandro Armando,
Silvio Ranise,
Michaël Rusinowitch:
A rewriting approach to satisfiability procedures.
Inf. Comput. 183(2): 140-164 (2003) |
29 | EE | Alessandro Armando,
Silvio Ranise:
Constraint contextual rewriting.
J. Symb. Comput. 36(1-2): 193-216 (2003) |
2002 |
28 | | Alessandro Armando:
Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings
Springer 2002 |
27 | EE | 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.
CAV 2002: 349-353 |
26 | EE | Alessandro Armando,
Luca Compagna:
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning.
FORTE 2002: 210-225 |
25 | EE | Alessandro Armando,
Michaël Rusinowitch,
Sorin Stratulat:
Incorporating Decision Procedures in Implicit Induction.
J. Symb. Comput. 34(4): 241-258 (2002) |
2001 |
24 | EE | Alessandro Armando,
Felice Peccia,
Silvio Ranise:
The Phase Transition of the Linear Inequalities Problem.
CP 2001: 422-432 |
23 | EE | Alessandro Armando,
Silvio Ranise,
Michaël Rusinowitch:
Uniform Derivation of Decision Procedures by Superposition.
CSL 2001: 513-527 |
22 | EE | Alessandro Armando,
Luca Compagna,
Silvio Ranise:
System Description: RDL : Rewrite and Decision Procedure Laboratory.
IJCAR 2001: 663-669 |
21 | EE | Alessandro Armando,
Clemens Ballarin:
Maple's evaluation process as constraint contextual rewriting.
ISSAC 2001: 32-37 |
20 | | Alessandro Armando,
Tudor Jebelean:
Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors.
J. Symb. Comput. 32(4): 303-304 (2001) |
19 | | Alessandro Armando,
Alessandro Coglio,
Fausto Giunchiglia,
Silvio Ranise:
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics.
J. Symb. Comput. 32(4): 305-332 (2001) |
18 | EE | Alessandro Armando,
Silvio Ranise:
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic.
J. UCS 7(2): 124-140 (2001) |
2000 |
17 | | Alessandro Armando,
Silvio Ranise:
Termination of Constraint Contextual Rewriting.
FroCos 2000: 47-61 |
16 | | Alessandro Armando,
Daniele Zini:
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture.
WOA 2000: 70-75 |
1999 |
15 | | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia:
SAT-Based Procedures for Temporal Reasoning.
ECP 1999: 97-108 |
14 | | Alessandro Armando,
Alan Smaill,
Ian Green:
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.
Autom. Softw. Eng. 6(4): 329-356 (1999) |
13 | EE | Alessandro Armando,
Tudor Jebelean:
Preface.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
12 | EE | Alessandro Armando,
Alessandro Coglio,
Fausto Giunchiglia:
The control component of open mechanized reasoning systems.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
1998 |
11 | EE | Alessandro Armando,
Erica Melis,
Silvio Ranise:
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison.
AIMSA 1998: 28-38 |
10 | EE | Alessandro Armando,
Silvio Ranise:
From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components.
AISC 1998: 42-54 |
9 | | Alessandro Armando,
Jason Gallagher,
Alan Smaill,
Alan Bundy:
Automating the Synthesis of Decision Procedures in a Constructive Metatheory.
Ann. Math. Artif. Intell. 22(3-4): 259-279 (1998) |
1997 |
8 | EE | Alessandro Armando,
Alan Smaill,
Ian Green:
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.
ASE 1997: 2-9 |
1995 |
7 | | Enrico Giunchiglia,
Alessandro Armando,
Paolo Pecchiari:
Structured Proof Procedures.
Ann. Math. Artif. Intell. 15(1): 1-18 (1995) |
1994 |
6 | | Paolo Traverso,
Alessandro Cimatti,
Luca Spalazzi,
Alessandro Armando,
Enrico Giunchiglia:
MRG: Building planers for real-world complex applications.
Applied Artificial Intelligence 8(3): 333-357 (1994) |
1993 |
5 | | Mauro Di Manzo,
Enrico Giunchiglia,
Alessandro Armando,
Paolo Pecchiari:
Proving Formulas through Reduction to Decidable Classes.
AI*IA 1993: 1-10 |
4 | | Alessandro Armando,
Alessandro Cimatti,
Luca Viganò:
Building and Executing Proof Strategies in a Formal Metatheory.
AI*IA 1993: 11-22 |
3 | | Alessandro Armando,
Paolo Pecchiari:
NALIG: A CAD System for Interior Design with High Level Interaction Capabilities.
ICTAI 1993: 446-447 |
2 | | Alessandro Armando,
Enrico Giunchiglia:
Embedding Complex Decision Procedures Inside an Interactive Theorem Prover.
Ann. Math. Artif. Intell. 8(3-4): 475-502 (1993) |
1992 |
1 | | Paolo Traverso,
Alessandro Armando,
Enrico Giunchiglia:
A Knowledge Based System for Automatic 3D Scene.
AIMSA 1992: 255-264 |