TACCHELLA, ARMANDO
TACCHELLA, ARMANDO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A comparison of declarative AI techniques for computer automated design of elevator systems
2022-01-01 Cicala, G; Demarchi, S; Menapace, M; Annunziata, L; Tacchella, A
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 Self-adaptive Multi-engine solver for quantified Boolean formulas
2009-01-01 Tacchella, Armando; Pulina, L.
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
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics
2001-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 empirical study of QBF encodings: from treewidth estimation to useful preprocessing.
2010-01-01 Pulina, L; 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.
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
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.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A comparison of declarative AI techniques for computer automated design of elevator systems | 1-gen-2022 | Cicala, G; Demarchi, S; Menapace, M; Annunziata, L; Tacchella, A | |
| 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 Self-adaptive Multi-engine solver for quantified Boolean formulas | 1-gen-2009 | Tacchella, Armando; Pulina, L. | |
| 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 | |
| A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics | 1-gen-2001 | 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 empirical study of QBF encodings: from treewidth estimation to useful preprocessing. | 1-gen-2010 | Pulina, L; 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. | |
| 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 | |
| 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. |