TACCHELLA, ARMANDO
TACCHELLA, ARMANDO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A Multi-engine Solver for Quantified Boolean Formulas
2007-01-01 Pulina, L; Tacchella, Armando
A Self-adaptive Multi-engine solver for quantified Boolean formulas
2009-01-01 Tacchella, Armando; Pulina, L.
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
2010-01-01 Pulina, L; Tacchella, Armando
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability
2001-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
AQME’10 System Description.
2010-01-01 Pulina, L; Tacchella, Armando
Automata based test generation with SpecPro
2019-01-01 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
Automatic Test-Pattern Generation for Grey-Box Programs
2015-01-01 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico
Automating functional genomics data analysis: a use case with an interdisciplinary approach
2008-01-01 Balbi, Alberto; Corradi, Luca; Fato, MARCO MASSIMO; Mirisola, Valentina; Pfeffer, Ulrich; Porro, Ivan; Romano, Paolo; Tacchella, Armando
Backjumping for Quantified Boolean Logic Satisfiability
2001-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Backjumping for Quantified Boolean Logic satisfiability
2003-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Benefits of bounded model checking at an industrial setting
2001-01-01 Copty, F.; Fix, L.; Fraer, R.; Giunchiglia, Enrico; Kamhi, G.; Tacchella, Armando; Vardi, M. Y.
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers
2004-01-01 Le Berre, D.; Simon, L.; Tacchella, Armando
Challenging SMT solvers to verify neural networks
2012-01-01 L., Pulina; Tacchella, Armando
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation
2011-01-01 Luca, Pulina; Tacchella, Armando
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
2006-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Collaborative Expert Portfolio Management
2010-01-01 Stern, D. H.; Samulowitz, H.; Herbrich, R.; Graepel, T.; Pulina, Luca; Tacchella, Armando
Combining static and runtime methods to achieve safe standing-up for humanoid robots
2016-01-01 Leofante, Francesco; Vuotto, Simone; Ábrahám, Erika; Tacchella, Armando; Jansen, Nils
Computational thinking for beginners: A successful experience using Prolog
2015-01-01 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems
2017-01-01 Annunziata, Leopoldo; Menapace, Marco; Tacchella, Armando
Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems
2018-01-01 Murino, Giuseppina; Tacchella, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Multi-engine Solver for Quantified Boolean Formulas | 1-gen-2007 | Pulina, L; Tacchella, Armando | |
| A Self-adaptive Multi-engine solver for quantified Boolean formulas | 1-gen-2009 | Tacchella, Armando; Pulina, L. | |
| An Abstraction-Refinement Approach to Verification of Artificial Neural Networks | 1-gen-2010 | Pulina, L; Tacchella, Armando | |
| An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability | 1-gen-2001 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| AQME’10 System Description. | 1-gen-2010 | Pulina, L; Tacchella, Armando | |
| Automata based test generation with SpecPro | 1-gen-2019 | Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A. | |
| Automatic Test-Pattern Generation for Grey-Box Programs | 1-gen-2015 | Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico | |
| Automating functional genomics data analysis: a use case with an interdisciplinary approach | 1-gen-2008 | Balbi, Alberto; Corradi, Luca; Fato, MARCO MASSIMO; Mirisola, Valentina; Pfeffer, Ulrich; Porro, Ivan; Romano, Paolo; Tacchella, Armando | |
| Backjumping for Quantified Boolean Logic Satisfiability | 1-gen-2001 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| Backjumping for Quantified Boolean Logic satisfiability | 1-gen-2003 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| Benefits of bounded model checking at an industrial setting | 1-gen-2001 | Copty, F.; Fix, L.; Fraer, R.; Giunchiglia, Enrico; Kamhi, G.; Tacchella, Armando; Vardi, M. Y. | |
| Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers | 1-gen-2004 | Le Berre, D.; Simon, L.; Tacchella, Armando | |
| Challenging SMT solvers to verify neural networks | 1-gen-2012 | L., Pulina; Tacchella, Armando | |
| Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation | 1-gen-2011 | Luca, Pulina; Tacchella, Armando | |
| Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas | 1-gen-2006 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| Collaborative Expert Portfolio Management | 1-gen-2010 | Stern, D. H.; Samulowitz, H.; Herbrich, R.; Graepel, T.; Pulina, Luca; Tacchella, Armando | |
| Combining static and runtime methods to achieve safe standing-up for humanoid robots | 1-gen-2016 | Leofante, Francesco; Vuotto, Simone; Ábrahám, Erika; Tacchella, Armando; Jansen, Nils | |
| Computational thinking for beginners: A successful experience using Prolog | 1-gen-2015 | Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando | |
| Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems | 1-gen-2017 | Annunziata, Leopoldo; Menapace, Marco; Tacchella, Armando | |
| Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems | 1-gen-2018 | Murino, Giuseppina; Tacchella, Armando |