Edit Profile (opens in new tab) Armando, Alessandro Compute Distance To: Compute Author ID: armando.alessandro Published as: Armando, Alessandro; Armando, A. External Links: ORCID Documents Indexed: 35 Publications since 1993 9 Contributions as Editor Co-Authors: 50 Co-Authors with 43 Joint Publications 812 Co-Co-Authors all top 5 Co-Authors 1 single-authored 12 Ranise, Silvio 9 Compagna, Luca 7 Giunchiglia, Enrico 5 Rusinowitch, Michaël 4 Castellini, Claudio 4 Maratea, Marco 3 Giunchiglia, Fausto 3 Mantovani, Jacopo 3 Viganò, Luca 2 Ballarin, Clemens 2 Baumgartner, Peter 2 Bonacina, Maria Paola 2 Carbone, Roberto 2 Chevalier, Yannick 2 Coglio, Alessandro 2 Dowek, Gilles 2 Jebelean, Tudor 2 Mödersheim, Sebastian Alexander 2 Schulz, Stephan 2 Turuani, Mathieu 2 Vigneron, Laurent 1 Balzarotti, Davide 1 Basin, D. 1 Basin, David A. 1 Benerecetti, Massimo 1 Boichut, Yohan 1 Bouallagui, Mehdi 1 Bundy, Alan 1 Cimatti, Alessandro 1 Cuellar, Jorge 1 Gallagher, Jason 1 Hankes Drielsma, Paul 1 Héam, Pierre-Cyrille 1 Idini, Massimo 1 Kohlhase, Michael 1 Kouchnarenko, Olga 1 Lierler, Yuliya 1 Lowe, Gavin 1 Merlo, Alessio 1 Pecchiari, Paolo 1 Peccia, Felice 1 Pellegrino, Giancarlo Queiroz 1 Platania, Lorenzo 1 Ponta, Serena Elisa 1 Ringeissen, Christophe 1 Smaill, Alan 1 Stratulat, Sorin 1 Tacchella, Armando 1 von Oheimb, David 1 Zini, Daniele all top 5 Serials 5 Journal of Symbolic Computation 3 Annals of Mathematics and Artificial Intelligence 3 Lecture Notes in Computer Science 3 Electronic Notes in Theoretical Computer Science 2 Information and Computation 2 Journal of Automated Reasoning 1 Journal of Computer and System Sciences 1 Journal of Applied Non-Classical Logics 1 Journal of Universal Computer Science 1 ACM Transactions on Computational Logic Fields 44 Computer science (68-XX) 9 General and overarching topics; collections (00-XX) 4 Mathematical logic and foundations (03-XX) 3 Information and communication theory, circuits (94-XX) 2 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 28 Publications have been cited 196 times in 149 Documents Cited by ▼ Year ▼ The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L. 46 2005 A rewriting approach to satisfiability procedures. Zbl 1054.68077Armando, Alessandro; Ranise, Silvio; Rusinowitch, Michaël 31 2003 New results on rewrite-based satisfiability procedures. Zbl 1367.68243Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan 23 2009 SAT-based decision procedures for automated reasoning: A unifying perspective. Zbl 1098.68693Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando 16 2005 Uniform derivation of decision procedures by superposition. Zbl 1005.03012Armando, Alessandro; Ranise, Silvio; Rusinowitch, Michaël 9 2001 A SAT-based decision procedure for the Boolean combination of difference constraints. Zbl 1122.68583Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco 8 2005 Bounded model checking of software using SMT solvers instead of SAT solvers. Zbl 1178.68148Armando, Alessandro; Mantovani, Jacopo; Platania, Lorenzo 7 2006 LTL model checking for security protocols. Zbl 1186.68276Armando, Alessandro; Carbone, Roberto; Compagna, Luca 7 2009 Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Zbl 1149.68003 6 2008 On a rewriting approach to satisfiability procedures: Extension, combination of theories and an experimental appraisal. Zbl 1171.68507Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan 6 2005 Embedding complex decision procedures inside an interactive theorem prover. Zbl 1034.68541Armando, Alessandro; Giunchiglia, Enrico 5 1993 Incorporating decision procedures in implicit induction. Zbl 1037.68129Armando, Alessandro; Rusinowitch, Michaël; Stratulat, Sorin 5 2002 The AVISS security protocol analysis tool. Zbl 1010.68795Armando, Alessandro; Basin, David; Bouallagui, Mehdi; Chevalier, Yannick; Compagna, Luca; Mödersheim, Sebastian; Rusinowitch, Michael; Turuani, Mathieu; Viganò, Luca; Vigneron, Laurent 3 2002 Constraint contextual rewriting. Zbl 1039.68059Armando, Alessandro; Ranise, Silvio 3 2003 Maple’s evaluation process as constraint contextual rewriting. Zbl 1356.68268Armando, Alessandro; Ballarin, Clemens 2 2001 Termination of constraint contextual rewriting. Zbl 0971.68140Armando, Alessandro; Ranise, Silvio 2 2000 A practical extension mechanism for decision procedures: The case study of universal Presburger arithmetic. Zbl 0970.68110Armando, Alessandro; Ranise, Silvio 2 2001 Abstraction refinement of linear programs with arrays. Zbl 1186.68275Armando, Alessandro; Benerecetti, Massimo; Mantovani, Jacopo 2 2007 Abstraction-driven SAT-based analysis of security protocols. Zbl 1204.68031Armando, Alessandro; Compagna, Luca 2 2004 TSAT++: an open platform for satisfiability modulo theories. Zbl 1272.68369Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco 2 2005 System description: RDL: Rewrite and Decision procedure Laboratory. Zbl 0988.68557Armando, Alessandro; Compagna, Luca; Ranise, Silvio 2 2001 A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting. Zbl 1126.68098Armando, Alessandro; Ballarin, Clemens 1 2005 An optimized intruder model for SAT-based model-checking of security protocols. Zbl 1272.68047Armando, Alessandro; Compagna, Luca 1 2005 Automatic compilation of protocol insecurity problems into logic programming. Zbl 1111.68376Armando, Alessandro; Compagna, Luca; Lierler, Yuliya 1 2004 The SAT-based approach to separation logic. Zbl 1109.68108Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco 1 2005 Communication protocols for mathematical services based on KQML and OMRS. Zbl 0986.68003Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio 1 2001 Interfacing computer algebra and deduction systems via the logic broker architecture. Zbl 1017.68167Armando, Alessandro; Zini, Daniele 1 2001 An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. Zbl 1238.68157Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa 1 2012 An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. Zbl 1238.68157Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa 1 2012 New results on rewrite-based satisfiability procedures. Zbl 1367.68243Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan 23 2009 LTL model checking for security protocols. Zbl 1186.68276Armando, Alessandro; Carbone, Roberto; Compagna, Luca 7 2009 Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Zbl 1149.68003 6 2008 Abstraction refinement of linear programs with arrays. Zbl 1186.68275Armando, Alessandro; Benerecetti, Massimo; Mantovani, Jacopo 2 2007 Bounded model checking of software using SMT solvers instead of SAT solvers. Zbl 1178.68148Armando, Alessandro; Mantovani, Jacopo; Platania, Lorenzo 7 2006 The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L. 46 2005 SAT-based decision procedures for automated reasoning: A unifying perspective. Zbl 1098.68693Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando 16 2005 A SAT-based decision procedure for the Boolean combination of difference constraints. Zbl 1122.68583Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco 8 2005 On a rewriting approach to satisfiability procedures: Extension, combination of theories and an experimental appraisal. Zbl 1171.68507Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan 6 2005 TSAT++: an open platform for satisfiability modulo theories. Zbl 1272.68369Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco 2 2005 A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting. Zbl 1126.68098Armando, Alessandro; Ballarin, Clemens 1 2005 An optimized intruder model for SAT-based model-checking of security protocols. Zbl 1272.68047Armando, Alessandro; Compagna, Luca 1 2005 The SAT-based approach to separation logic. Zbl 1109.68108Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco 1 2005 Abstraction-driven SAT-based analysis of security protocols. Zbl 1204.68031Armando, Alessandro; Compagna, Luca 2 2004 Automatic compilation of protocol insecurity problems into logic programming. Zbl 1111.68376Armando, Alessandro; Compagna, Luca; Lierler, Yuliya 1 2004 A rewriting approach to satisfiability procedures. Zbl 1054.68077Armando, Alessandro; Ranise, Silvio; Rusinowitch, Michaël 31 2003 Constraint contextual rewriting. Zbl 1039.68059Armando, Alessandro; Ranise, Silvio 3 2003 Incorporating decision procedures in implicit induction. Zbl 1037.68129Armando, Alessandro; Rusinowitch, Michaël; Stratulat, Sorin 5 2002 The AVISS security protocol analysis tool. Zbl 1010.68795Armando, Alessandro; Basin, David; Bouallagui, Mehdi; Chevalier, Yannick; Compagna, Luca; Mödersheim, Sebastian; Rusinowitch, Michael; Turuani, Mathieu; Viganò, Luca; Vigneron, Laurent 3 2002 Uniform derivation of decision procedures by superposition. Zbl 1005.03012Armando, Alessandro; Ranise, Silvio; Rusinowitch, Michaël 9 2001 Maple’s evaluation process as constraint contextual rewriting. Zbl 1356.68268Armando, Alessandro; Ballarin, Clemens 2 2001 A practical extension mechanism for decision procedures: The case study of universal Presburger arithmetic. Zbl 0970.68110Armando, Alessandro; Ranise, Silvio 2 2001 System description: RDL: Rewrite and Decision procedure Laboratory. Zbl 0988.68557Armando, Alessandro; Compagna, Luca; Ranise, Silvio 2 2001 Communication protocols for mathematical services based on KQML and OMRS. Zbl 0986.68003Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio 1 2001 Interfacing computer algebra and deduction systems via the logic broker architecture. Zbl 1017.68167Armando, Alessandro; Zini, Daniele 1 2001 Termination of constraint contextual rewriting. Zbl 0971.68140Armando, Alessandro; Ranise, Silvio 2 2000 Embedding complex decision procedures inside an interactive theorem prover. Zbl 1034.68541Armando, Alessandro; Giunchiglia, Enrico 5 1993 all cited Publications top 5 cited Publications all top 5 Cited by 239 Authors 11 Ringeissen, Christophe 10 Ranise, Silvio 9 Bonacina, Maria Paola 9 Delaune, Stéphanie 8 Armando, Alessandro 7 Cortier, Véronique 7 Rusinowitch, Michaël 6 Echenim, Mnacho 6 Weidenbach, Christoph 5 Ghilardi, Silvio 5 Kremer, Steve 5 Sebastiani, Roberto 4 Basin, David A. 4 Cremers, Cas J. F. 4 Giunchiglia, Enrico 4 Nicolini, Enrica 4 Tran, Duc-Khanh 3 Bozzano, Marco 3 Bruttomesso, Roberto 3 Cheval, Vincent 3 Chocron, Paula 3 de Moura, Leonardo 3 Fontaine, Pascal 3 Giunchiglia, Fausto 3 Maratea, Marco 3 Meadows, Catherine A. 3 Meseguer Guaita, José 3 Peltier, Nicolas 3 Stratulat, Sorin 3 Tinelli, Cesare 3 Urban, Josef 3 Viganò, Luca 2 Arnaud, Mathilde 2 Ayala-Rincón, Mauricio 2 Barrett, Clark W. 2 Caleiro, Carlos 2 Cervesato, Iliano 2 Cimatti, Alessandro 2 Ciobâcă, Ştefan 2 Compagna, Luca 2 Fernández, Maribel 2 Héam, Pierre-Cyrille 2 Jaggard, Aaron D. 2 Johansson, Moa 2 Junttila, Tommi A. 2 Kaliszyk, Cezary 2 Kouchnarenko, Olga 2 Kruglov, Evgeniĭ Valentinovich 2 Lafourcade, Pascal 2 Lynch, Christopher A. 2 Mauw, Sjouke 2 Mödersheim, Sebastian Alexander 2 Moffitt, Michael D. 2 Nieuwenhuis, Robert 2 Pulina, Luca 2 Radomirović, Saša 2 Sasse, Ralf 2 Scedrov, Andre 2 Skeirik, Stephen 2 Sofronie-Stokkermans, Viorica 2 Stump, Aaron 2 Tsay, Joe-Kai 2 van Rossum, Peter 2 Voronkov, Andrei 1 Alagi, Gábor 1 Alberti, Francesco 1 Alhiyafi, Jamal 1 Althaus, Ernst 1 Amat, Nicolas 1 Andova, Suzana 1 Arapinis, Myrto 1 Arsac, Wihem 1 Babel, Kushal 1 Backes, Michael 1 Badban, Bahareh 1 Ballarin, Clemens 1 Belardinelli, Francesco 1 Bella, Giampaolo 1 Ben Rajeb, Narjes 1 Benzmüller, Christoph Ewald 1 Berrima, Mouhebeddine 1 Berthomieu, Bernard 1 Bertolissi, Clara 1 Blanchet, Bruno 1 Böhme, Sascha 1 Boichut, Yohan 1 Carbone, Roberto 1 Castellini, Claudio 1 Chantry, Xavier 1 Chatterjee, Krishnendu 1 Chaudhari, Narendra S. 1 Chevalier, Céline 1 Chevalier, Yannick 1 Chrabakh, Wahid 1 Christ, Jürgen 1 Coglio, Alessandro 1 Collavizza, Hélène 1 Colvin, Robert J. 1 Comon-Lundh, Hubert 1 Conchon, Sylvain ...and 139 more Authors all top 5 Cited in 27 Serials 20 Journal of Automated Reasoning 15 Information and Computation 10 Journal of Symbolic Computation 8 Theoretical Computer Science 5 Formal Methods in System Design 4 Artificial Intelligence 4 Journal of Logical and Algebraic Methods in Programming 3 Journal of Applied Non-Classical Logics 3 Annals of Mathematics and Artificial Intelligence 2 Constraints 2 Mathematics in Computer Science 2 Logica Universalis 1 Programming and Computer Software 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Formal Aspects of Computing 1 Annals of Operations Research 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Global Optimization 1 Tatra Mountains Mathematical Publications 1 Journal of Combinatorial Optimization 1 Sādhanā 1 Mathematical Biosciences and Engineering 1 1 Journal of Formalized Reasoning 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Applied Mathematics and Computational Mechanics all top 5 Cited in 10 Fields 136 Computer science (68-XX) 41 Mathematical logic and foundations (03-XX) 35 Information and communication theory, circuits (94-XX) 3 Category theory; homological algebra (18-XX) 3 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Systems theory; control (93-XX) Citations by Year