×

Armando, Alessandro

Compute Distance To:
Author ID: armando.alessandro Recent zbMATH articles by "Armando, Alessandro"
Published as: Armando, Alessandro; Armando, A.
External Links: ORCID

Publications by Year

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.68523
Armando, 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.68077
Armando, Alessandro; Ranise, Silvio; Rusinowitch, Michaël
31
2003
New results on rewrite-based satisfiability procedures. Zbl 1367.68243
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
23
2009
SAT-based decision procedures for automated reasoning: A unifying perspective. Zbl 1098.68693
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
16
2005
Uniform derivation of decision procedures by superposition. Zbl 1005.03012
Armando, Alessandro; Ranise, Silvio; Rusinowitch, Michaël
9
2001
A SAT-based decision procedure for the Boolean combination of difference constraints. Zbl 1122.68583
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
8
2005
Bounded model checking of software using SMT solvers instead of SAT solvers. Zbl 1178.68148
Armando, Alessandro; Mantovani, Jacopo; Platania, Lorenzo
7
2006
LTL model checking for security protocols. Zbl 1186.68276
Armando, 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.68507
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
6
2005
Embedding complex decision procedures inside an interactive theorem prover. Zbl 1034.68541
Armando, Alessandro; Giunchiglia, Enrico
5
1993
Incorporating decision procedures in implicit induction. Zbl 1037.68129
Armando, Alessandro; Rusinowitch, Michaël; Stratulat, Sorin
5
2002
The AVISS security protocol analysis tool. Zbl 1010.68795
Armando, 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.68059
Armando, Alessandro; Ranise, Silvio
3
2003
Maple’s evaluation process as constraint contextual rewriting. Zbl 1356.68268
Armando, Alessandro; Ballarin, Clemens
2
2001
Termination of constraint contextual rewriting. Zbl 0971.68140
Armando, Alessandro; Ranise, Silvio
2
2000
A practical extension mechanism for decision procedures: The case study of universal Presburger arithmetic. Zbl 0970.68110
Armando, Alessandro; Ranise, Silvio
2
2001
Abstraction refinement of linear programs with arrays. Zbl 1186.68275
Armando, Alessandro; Benerecetti, Massimo; Mantovani, Jacopo
2
2007
Abstraction-driven SAT-based analysis of security protocols. Zbl 1204.68031
Armando, Alessandro; Compagna, Luca
2
2004
TSAT++: an open platform for satisfiability modulo theories. Zbl 1272.68369
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco
2
2005
System description: RDL: Rewrite and Decision procedure Laboratory. Zbl 0988.68557
Armando, Alessandro; Compagna, Luca; Ranise, Silvio
2
2001
A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting. Zbl 1126.68098
Armando, Alessandro; Ballarin, Clemens
1
2005
An optimized intruder model for SAT-based model-checking of security protocols. Zbl 1272.68047
Armando, Alessandro; Compagna, Luca
1
2005
Automatic compilation of protocol insecurity problems into logic programming. Zbl 1111.68376
Armando, Alessandro; Compagna, Luca; Lierler, Yuliya
1
2004
The SAT-based approach to separation logic. Zbl 1109.68108
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
1
2005
Communication protocols for mathematical services based on KQML and OMRS. Zbl 0986.68003
Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio
1
2001
Interfacing computer algebra and deduction systems via the logic broker architecture. Zbl 1017.68167
Armando, Alessandro; Zini, Daniele
1
2001
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. Zbl 1238.68157
Armando, 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.68157
Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
1
2012
New results on rewrite-based satisfiability procedures. Zbl 1367.68243
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
23
2009
LTL model checking for security protocols. Zbl 1186.68276
Armando, 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.68275
Armando, Alessandro; Benerecetti, Massimo; Mantovani, Jacopo
2
2007
Bounded model checking of software using SMT solvers instead of SAT solvers. Zbl 1178.68148
Armando, Alessandro; Mantovani, Jacopo; Platania, Lorenzo
7
2006
The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523
Armando, 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.68693
Armando, 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.68583
Armando, 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.68507
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
6
2005
TSAT++: an open platform for satisfiability modulo theories. Zbl 1272.68369
Armando, 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.68098
Armando, Alessandro; Ballarin, Clemens
1
2005
An optimized intruder model for SAT-based model-checking of security protocols. Zbl 1272.68047
Armando, Alessandro; Compagna, Luca
1
2005
The SAT-based approach to separation logic. Zbl 1109.68108
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
1
2005
Abstraction-driven SAT-based analysis of security protocols. Zbl 1204.68031
Armando, Alessandro; Compagna, Luca
2
2004
Automatic compilation of protocol insecurity problems into logic programming. Zbl 1111.68376
Armando, Alessandro; Compagna, Luca; Lierler, Yuliya
1
2004
A rewriting approach to satisfiability procedures. Zbl 1054.68077
Armando, Alessandro; Ranise, Silvio; Rusinowitch, Michaël
31
2003
Constraint contextual rewriting. Zbl 1039.68059
Armando, Alessandro; Ranise, Silvio
3
2003
Incorporating decision procedures in implicit induction. Zbl 1037.68129
Armando, Alessandro; Rusinowitch, Michaël; Stratulat, Sorin
5
2002
The AVISS security protocol analysis tool. Zbl 1010.68795
Armando, 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.03012
Armando, Alessandro; Ranise, Silvio; Rusinowitch, Michaël
9
2001
Maple’s evaluation process as constraint contextual rewriting. Zbl 1356.68268
Armando, Alessandro; Ballarin, Clemens
2
2001
A practical extension mechanism for decision procedures: The case study of universal Presburger arithmetic. Zbl 0970.68110
Armando, Alessandro; Ranise, Silvio
2
2001
System description: RDL: Rewrite and Decision procedure Laboratory. Zbl 0988.68557
Armando, Alessandro; Compagna, Luca; Ranise, Silvio
2
2001
Communication protocols for mathematical services based on KQML and OMRS. Zbl 0986.68003
Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio
1
2001
Interfacing computer algebra and deduction systems via the logic broker architecture. Zbl 1017.68167
Armando, Alessandro; Zini, Daniele
1
2001
Termination of constraint contextual rewriting. Zbl 0971.68140
Armando, Alessandro; Ranise, Silvio
2
2000
Embedding complex decision procedures inside an interactive theorem prover. Zbl 1034.68541
Armando, Alessandro; Giunchiglia, Enrico
5
1993
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

Citations by Year