Alessandro Armando

	2012
79		Alessandro Armando, Silvio Ranise, Fatih Turkmen, Bruno Crispo: Efficient run-time solving of RBAC user authorization queries: pushing the envelope. CODASPY 2012: 241-248
78		Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282
77		Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta: An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. J. Comput. Syst. Sci. 78(1): 119-141 (2012)
76		Alessandro Armando, Gavin Lowe: Preface. Journal of Computer Security 20(1): 1 (2012)
	2011
75		Alessandro Armando, Gavin Lowe: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers Springer 2011
74		Francesco Alberti, Alessandro Armando, Silvio Ranise: Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. ASIACCS 2011: 165-175
73		Francesco Alberti, Alessandro Armando, Silvio Ranise: ASASP: Automated Symbolic Analysis of Security Policies. CADE 2011: 26-33
72		Alessandro Armando, Roberto Carbone, Silvio Ranise: Automated Analysis of Semantic-Aware Access Control Policies: A Logic-Based Approach. ICSC 2011: 356-363
71		Alessandro Armando, Silvio Ranise: Automated Analysis of Infinite State Workflows with Access Control Policies. STM 2011: 157-174
	2010
70		Alessio Merlo, Alessandro Armando: Cooperative access control for the Grid. IAS 2010: 228-233
69		Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino: Model-Checking Driven Security Testing of Web-Based Applications. ICST Workshops 2010: 361-370
68		Alessandro Armando, Silvio Ranise: Automated Symbolic Analysis of ARBAC-Policies. STM 2010: 17-34
67		Alessandro Armando, Peter Baumgartner, Gilles Dowek: Preface. J. Autom. Reasoning 45(2): 89 (2010)
	2009
66		Alessandro Armando, Serena Elisa Ponta: Model Checking of Security-Sensitive Business Processes. Formal Aspects in Security and Trust 2009: 66-80
65		Alessandro Armando: Building SMT-Based Software Model Checkers: An Experience Report. FroCos 2009: 1-17
64		Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta: Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. TrustBus 2009: 63-72
63		Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10(1): (2009)
62		Alessandro Armando, Roberto Carbone, Luca Compagna: LTL model checking for security protocols. Journal of Applied Non-Classical Logics 19(4): 403-429 (2009)
61		Alessandro Armando, Jacopo Mantovani, Lorenzo Platania: Bounded model checking of software using SMT solvers instead of SAT solvers. STTT 11(1): 69-83 (2009)
	2008
60		Alessandro Armando, Peter Baumgartner, Gilles Dowek: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings Springer 2008
59		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
58		Alessandro Armando: Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk). PAAR/ESHOL 2008
57		Alessandro Armando, Luca Compagna: SAT-based model-checking for security protocols analysis. Int. J. Inf. Sec. 7(1): 3-32 (2008)
	2007
56		Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica: The eureka tool for software model checking. ASE 2007: 541-542
55		Alessandro Armando, Roberto Carbone, Luca Compagna: LTL Model Checking for Security Protocols. CSF 2007: 385-396
54		Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani: Abstraction Refinement of Linear Programs with Arrays. TACAS 2007: 373-388
	2006
53		Alessandro Armando, Jacopo Mantovani, Lorenzo Platania: Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers. SPIN 2006: 146-162
52		Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures CoRR abs/cs/0604054: (2006)
51		Alessandro Armando, Alessandro Cimatti: Preface. Electr. Notes Theor. Comput. Sci. 144(2): 1-2 (2006)
50		Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani: Model Checking Linear Programs with Arrays. Electr. Notes Theor. Comput. Sci. 144(3): 79-94 (2006)
49		Alessandro Armando, Christophe Ringeissen: Special issue on combining logical systems. Inf. Comput. 204(10): 1411-1412 (2006)
48		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
47		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
46		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
45		Alessandro Armando, Luca Compagna, Silvio Ranise: Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Mechanizing Mathematical Reasoning 2005: 30-45
44		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
43		Alessandro Armando, Luca Viganò: Preface. Electr. Notes Theor. Comput. Sci. 125(1): 1- (2005)
42		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)
41		Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea: TSAT++: an Open Platform for Satisfiability Modulo Theories. Electr. Notes Theor. Comput. Sci. 125(3): 25-36 (2005)
40		Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: The SAT-based Approach to Separation Logic. J. Autom. Reasoning 35(1-3): 237-263 (2005)
39		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
38		Alessandro Armando, Claudio Castellini, Jacopo Mantovani: Software Model Checking Using Linear Constraints. ICFEM 2004: 209-223
37		Alessandro Armando, Luca Compagna, Yuliya Lierler: Automatic Compilation of Protocol Insecurity Problems into Logic Programming. JELIA 2004: 617-627
36		Alessandro Armando, Luca Compagna: SATMC: A SAT-Based Model Checker for Security Protocols. JELIA 2004: 730-733
35		Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT 2004
34		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
33		Alessandro Armando, Luca Compagna, Pierre Ganty: SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. FME 2003: 875-893
32		Alessandro Armando, Luca Compagna: Abstraction-Driven SAT-based Analysis of Security Protocols. SAT 2003: 257-271
31		Alessandro Armando, Silvio Ranise, Michaël Rusinowitch: A rewriting approach to satisfiability procedures. Inf. Comput. 183(2): 140-164 (2003)
30		Alessandro Armando, Silvio Ranise: Constraint contextual rewriting. J. Symb. Comput. 36(1-2): 193-216 (2003)
	2002
29		Alessandro Armando: Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings Springer 2002
28		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
27		Alessandro Armando, Luca Compagna: Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. FORTE 2002: 210-225
26		Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat: Incorporating Decision Procedures in Implicit Induction. J. Symb. Comput. 34(4): 241-258 (2002)
	2001
25		Alessandro Armando, Felice Peccia, Silvio Ranise: The Phase Transition of the Linear Inequalities Problem. CP 2001: 422-432
24		Alessandro Armando, Silvio Ranise, Michaël Rusinowitch: Uniform Derivation of Decision Procedures by Superposition. CSL 2001: 513-527
23		Alessandro Armando, Luca Compagna, Silvio Ranise: System Description: RDL : Rewrite and Decision Procedure Laboratory. IJCAR 2001: 663-669
22		Alessandro Armando, Clemens Ballarin: Maple's evaluation process as constraint contextual rewriting. ISSAC 2001: 32-37
21		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)
20		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)
19		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
18		Alessandro Armando, Silvio Ranise: Termination of Constraint Contextual Rewriting. FroCos 2000: 47-61
17		Alessandro Armando, Daniele Zini: Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture. WOA 2000: 70-75
	1999
16		Alessandro Armando, Claudio Castellini, Enrico Giunchiglia: SAT-Based Procedures for Temporal Reasoning. ECP 1999: 97-108
15		Alessandro Armando, Alan Smaill, Ian Green: Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. Autom. Softw. Eng. 6(4): 329-356 (1999)
14		Alessandro Armando, Tudor Jebelean: Preface. Electr. Notes Theor. Comput. Sci. 23(3): 319-320 (1999)
13		Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia: The control component of open mechanized reasoning systems. Electr. Notes Theor. Comput. Sci. 23(3): 322-339 (1999)
	1998
12		Alessandro Armando, Erica Melis, Silvio Ranise: Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. AIMSA 1998: 28-38
11		Alessandro Armando, Silvio Ranise: From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components. AISC 1998: 42-54
10		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
9		Alessandro Armando, Alan Smaill, Ian Green: Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. ASE 1997: 2-9
	1996
8		Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti: Visual representation of natural language scene descriptions. IEEE Transactions on Systems, Man, and Cybernetics, Part B 26(4): 575-589 (1996)
	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

Coauthor Index

1	Francesco Alberti	[73] [74]
2	Wihem Arsac	[78]
3	Tigran Avanesov	[78]
4	Clemens Ballarin	[22] [39]
5	Michele Barletta	[78]
6	David A. Basin	[28] [47] [48]
7	Peter Baumgartner	[60] [67]
8	Massimo Benerecetti	[50] [54] [56]
9	Yohan Boichut	[47]
10	Maria Paola Bonacina	[46] [52] [63]
11	Mehdi Bouallagui	[28]
12	Alan Bundy	[10]
13	Alberto Calvi	[78]
14	Alessandro Cappai	[78]
15	Roberto Carbone	[55] [59] [62] [69] [72] [78]
16	Dario Carotenuto	[56]
17	Claudio Castellini	[16] [34] [35] [38] [40] [41] [44]
18	Yannick Chevalier	[28] [47] [78]
19	Alessandro Cimatti	[4] [6] [8] [51]
20	Alessandro Coglio	[13] [20]
21	Luca Compagna	[23] [27] [28] [32] [33] [36] [37] [42] [45] [47] [55] [57] [59] [62] [69] [78]
22	Bruno Crispo	[79]
23	Jorge Cuéllar (Jorge Ricardo Cuellar)	[47] [48] [59] [78]
24	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[78]
25	Gilles Dowek	[60] [67]
26	Paul Hankes Drielsma	[47]
27	Gabriel Erzse	[78]
28	Simone Frau	[78]
29	Jason Gallagher	[10]
30	Pierre Ganty	[33]
31	Enrico Giunchiglia	[1] [2] [5] [6] [7] [8] [16] [34] [35] [40] [41] [44] [64] [77]
32	Fausto Giunchiglia	[13] [20] [44]
33	Ian Green	[9] [15]
34	Pierre-Cyrille Héam	[47]
35	Massimo Idini	[41]
36	Tudor Jebelean	[14] [21]
37	Olga Kouchnarenko	[47]
38	Keqin Li	[69]
39	Yuliya Lierler (Yuliya Babovich-Lierler, Yuliya Babovich)	[37]
40	Gavin Lowe	[75] [76]
41	Jacopo Mantovani	[38] [47] [50] [53] [54] [56] [61]
42	Mauro Di Manzo	[5]
43	Marco Maratea	[34] [35] [40] [41] [77]
44	Erica Melis	[12]
45	Alessio Merlo	[70]
46	Marius Minea	[78]
47	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[28] [47] [78]
48	David von Oheimb	[47] [78]
49	Paolo Pecchiari	[3] [5] [7]
50	Felice Peccia	[25]
51	Giancarlo Pellegrino	[69] [78]
52	Lorenzo Platania	[53] [61]
53	Serena Elisa Ponta	[64] [66] [77] [78]
54	Silvio Ranise	[11] [12] [18] [19] [20] [23] [24] [25] [30] [31] [45] [46] [52] [63] [68] [71] [72] [73] [74] [79]
55	Christophe Ringeissen	[49]
56	Marco Rocchetto	[78]
57	Michaël Rusinowitch	[24] [26] [28] [31] [47] [48] [78]
58	Judson Santiago	[47]
59	Stephan Schulz	[46] [52] [63]
60	Alan Smaill	[9] [10] [15]
61	Luca Spalazzi	[6]
62	Pasquale Spica	[56]
63	Sorin Stratulat	[26]
64	Armando Tacchella	[44]
65	M. Llanos Tobarra	[59]
66	Paolo Traverso	[1] [6] [8]
67	Fatih Turkmen	[79]
68	Mathieu Turuani	[28] [47] [78]
69	Luca Viganò	[4] [28] [43] [47] [48] [78]
70	Laurent Vigneron	[28] [47]
71	Daniele Zini	[17]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page