TACCHELLA, ARMANDO
TACCHELLA, ARMANDO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver
2003-01-01 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
A greedy approach for the efficient repair of stochastic models
2015-01-01 Pathak, Shashank; Ábrahám, Erika; Jansen, Nils; Tacchella, Armando; Katoen, Joost Pieter
A Multi-engine Solver for Quantified Boolean Formulas
2007-01-01 Pulina, L; Tacchella, Armando
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems
2016-01-01 Cicala, Giuseppe; DE LUCA, Marco; Oreggia, Marco; Tacchella, Armando
A Structural Approach to Reasoning with Quantified Boolean Formulas
2009-01-01 Pulina, Luca; Tacchella, Armando
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics
2000-01-01 Giunchiglia, Enrico; Tacchella, Armando
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
An empirical perspective on ten years of QBF solving
2015-01-01 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles
2009-01-01 DE AMBROSI, Cristina; Ghersi, Chiara; Tacchella, Armando
Automata based test generation with SpecPro
2019-01-01 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches
2021-01-01 Demarchi, S.; Menapace, M.; 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
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
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation
2011-01-01 Luca, Pulina; 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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver | 1-gen-2003 | Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando | |
| A greedy approach for the efficient repair of stochastic models | 1-gen-2015 | Pathak, Shashank; Ábrahám, Erika; Jansen, Nils; Tacchella, Armando; Katoen, Joost Pieter | |
| A Multi-engine Solver for Quantified Boolean Formulas | 1-gen-2007 | Pulina, L; Tacchella, Armando | |
| A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems | 1-gen-2016 | Cicala, Giuseppe; DE LUCA, Marco; Oreggia, Marco; Tacchella, Armando | |
| A Structural Approach to Reasoning with Quantified Boolean Formulas | 1-gen-2009 | Pulina, Luca; Tacchella, Armando | |
| A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics | 1-gen-2000 | Giunchiglia, Enrico; Tacchella, Armando | |
| 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 | |
| An empirical perspective on ten years of QBF solving | 1-gen-2015 | Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico | |
| An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles | 1-gen-2009 | DE AMBROSI, Cristina; Ghersi, Chiara; Tacchella, Armando | |
| Automata based test generation with SpecPro | 1-gen-2019 | Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A. | |
| Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches | 1-gen-2021 | Demarchi, S.; Menapace, M.; 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 | |
| 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 | |
| Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation | 1-gen-2011 | Luca, Pulina; 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 |