Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alessandro Armando" ( http://dblp.L3S.de/Authors/Alessandro_Armando )

URL (Homepage):  http://www.ai.dist.unige.it/armando/  Author page on DBLP  Author page in RDF  Community of Alessandro Armando in ASPL-2

Publication years (Num. hits)
1992-1999 (16) 2000-2003 (17) 2004-2006 (20) 2007-2010 (17) 2011-2012 (9)
Publication types (Num. hits)
article(31) inproceedings(45) proceedings(3)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(7) J. Symb. Comput.(5) FroCos(4) Ann. Math. Artif. Intell.(3) J. Autom. Reasoning(3) AI*IA(2) AIMSA(2) ASE(2) CAV(2) IJCAR(2) Inf. Comput.(2) JELIA(2) Mechanizing Mathematical Reaso...(2) SAT(2) STM(2) TACAS(2) More (+10 of total 51)
Authors
Alessandro Armando(79) Silvio Ranise(20) Luca Compagna(16) Enrico Giunchiglia(14) Claudio Castellini(7) Jacopo Mantovani(7) Michaël Rusinowitch(7) Luca Viganò(6) Roberto Carbone(6) Marco Maratea(5) Alessandro Cimatti(4) Jorge Cuéllar(4) Serena Elisa Ponta(4) Alan Smaill(3) David A. Basin(3) Fausto Giunchiglia(3) More (+10 of total 72)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 37 occurrences of 31 keywords
Results
Found 79 publication records. Showing 79 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alessandro Armando, Gavin Lowe Preface. Search on Bibsonomy Journal of Computer Security The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Silvio Ranise, Fatih Turkmen, Bruno Crispo Efficient run-time solving of RBAC user authorization queries: pushing the envelope. Search on Bibsonomy CODASPY The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francesco Alberti, Alessandro Armando, Silvio Ranise ASASP: Automated Symbolic Analysis of Security Policies. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Gavin Lowe (eds.) 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 Search on Bibsonomy ARSPA-WITS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Silvio Ranise Automated Analysis of Infinite State Workflows with Access Control Policies. Search on Bibsonomy STM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Roberto Carbone, Silvio Ranise Automated Analysis of Semantic-Aware Access Control Policies: A Logic-Based Approach. Search on Bibsonomy ICSC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF semantic-aware access control, logic-based methods, automatic analysis
1Francesco Alberti, Alessandro Armando, Silvio Ranise Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. Search on Bibsonomy ASIACCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Peter Baumgartner, Gilles Dowek Preface. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li 0002, Giancarlo Pellegrino Model-Checking Driven Security Testing of Web-Based Applications. Search on Bibsonomy ICST Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessio Merlo, Alessandro Armando Cooperative access control for the Grid. Search on Bibsonomy IAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Silvio Ranise Automated Symbolic Analysis of ARBAC-Policies. Search on Bibsonomy STM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Roberto Carbone, Luca Compagna LTL model checking for security protocols. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2009 DBLP  BibTeX  RDF
1Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz New results on rewrite-based satisfiability procedures. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition
1Alessandro Armando, Jacopo Mantovani, Lorenzo Platania Bounded model checking of software using SMT solvers instead of SAT solvers. Search on Bibsonomy STTT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. Search on Bibsonomy TrustBus The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Serena Elisa Ponta Model Checking of Security-Sensitive Business Processes. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Armando Building SMT-Based Software Model Checkers: An Experience Report. Search on Bibsonomy FroCos The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Compagna SAT-based model-checking for security protocols analysis. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SAT-based model checking, Multi-set rewriting, Security protocols, Bounded model checking
1Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.) Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  BibTeX  RDF
1Alessandro Armando Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk). Search on Bibsonomy PAAR/ESHOL The full citation details ... 2008 DBLP  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy FMSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF saml single sign-on, sat-based model checking, security protocols, bounded model checking
1Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani Abstraction Refinement of Linear Programs with Arrays. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica The eureka tool for software model checking. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, linear programs, refinement, abstraction, arrays, arithmetic
1Alessandro Armando, Roberto Carbone, Luca Compagna LTL Model Checking for Security Protocols. Search on Bibsonomy CSF The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Christophe Ringeissen Special issue on combining logical systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Alessandro Cimatti Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani Model Checking Linear Programs with Arrays. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz New results on rewrite-based satisfiability procedures Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò Automated Reasoning for Security Protocol Analysis. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Jacopo Mantovani, Lorenzo Platania Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Clemens Ballarin A reconstruction and extension of Maple's assume facility via constraint contextual rewriting. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Viganò Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Compagna An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea TSAT++: an Open Platform for Satisfiability Modulo Theories. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea The SAT-based Approach to Separation Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF SAT-based decision procedures, separation logic
1Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. Search on Bibsonomy FroCos The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Compagna, Silvio Ranise Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Claudio Castellini, Jacopo Mantovani Software Model Checking Using Linear Constraints. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Compagna, Yuliya Lierler Automatic Compilation of Protocol Insecurity Problems into Logic Programming. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Compagna SATMC: A SAT-Based Model Checker for Security Protocols. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Silvio Ranise Constraint contextual rewriting. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Silvio Ranise, Michaël Rusinowitch A rewriting approach to satisfiability procedures. Search on Bibsonomy Inf. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Compagna Abstraction-Driven SAT-based Analysis of Security Protocols. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Compagna, Pierre Ganty SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF SAT encodings, security protocols, bounded model-checking, SAT-solvers
1Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat Incorporating Decision Procedures in Implicit Induction. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Compagna Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Verification, Network security
1Alessandro Armando (eds.) Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Tudor Jebelean Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Silvio Ranise A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. Search on Bibsonomy J. UCS The full citation details ... 2001 DBLP  BibTeX  RDF
1Alessandro Armando, Luca Compagna, Silvio Ranise System Description: RDL : Rewrite and Decision Procedure Laboratory. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Silvio Ranise, Michaël Rusinowitch Uniform Derivation of Decision Procedures by Superposition. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Arrays with Extensionality, Term Rewriting, Decision Procedures, Homomorphism, Automated Deduction, Lists, Superposition, Equational Logic
1Alessandro Armando, Clemens Ballarin Maple's evaluation process as constraint contextual rewriting. Search on Bibsonomy ISSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Maple
1Alessandro Armando, Felice Peccia, Silvio Ranise The Phase Transition of the Linear Inequalities Problem. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Daniele Zini Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture. Search on Bibsonomy WOA The full citation details ... 2000 DBLP  BibTeX  RDF
1Alessandro Armando, Silvio Ranise Termination of Constraint Contextual Rewriting. Search on Bibsonomy FroCos The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Alan Smaill, Ian Green Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Tudor Jebelean Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia The control component of open mechanized reasoning systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Claudio Castellini, Enrico Giunchiglia SAT-Based Procedures for Temporal Reasoning. Search on Bibsonomy ECP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy Automating the Synthesis of Decision Procedures in a Constructive Metatheory. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Silvio Ranise From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Erica Melis, Silvio Ranise Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Alan Smaill, Ian Green Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. (PDF / PS) Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF proof-planning paradigm, recursive functional programs, functional programming, correctness proofs, automatic synthesis, recursive programs, unification algorithm
1Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti Visual representation of natural language scene descriptions. Search on Bibsonomy IEEE Transactions on Systems, Man, and Cybernetics, Part B The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari Structured Proof Procedures. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia MRG: Building planers for real-world complex applications. Search on Bibsonomy Applied Artificial Intelligence The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Enrico Giunchiglia Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari Proving Formulas through Reduction to Decidable Classes. Search on Bibsonomy AI*IA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Alessandro Cimatti, Luca Viganò Building and Executing Proof Strategies in a Formal Metatheory. Search on Bibsonomy AI*IA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Paolo Pecchiari NALIG: A CAD System for Interior Design with High Level Interaction Capabilities. Search on Bibsonomy ICTAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Paolo Traverso, Alessandro Armando, Enrico Giunchiglia A Knowledge Based System for Automatic 3D Scene. Search on Bibsonomy AIMSA The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #79 of 79 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.