| 2026 | ECMS | Integrating Simulation and Verification to Assess Safety of Robot Control Software. | Marco Lampacrescia, Matteo Palmas, Enrico Ghiorzi, Christian Henkel, Michaela Klauck, Armando Tacchella |
| 2025 | IROS | Code Generation and Monitoring for Deliberation Components in Autonomous Robots. | Stefano Bernagozzi, Sofia Faraci, Enrico Ghiorzi, K. Pedemonte, Lorenzo Natale, Armando Tacchella |
| 2025 | MODELS | Translating Behavior Trees to Petri Nets for Model Checking. | Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella |
| 2024 | ECMS | Improving Abstract Propagation For Verification Of Neural Networks. | Stefano Demarchi, Andrea Gimelli, Armando Tacchella |
| 2023 | CAV | Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. | Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella |
| 2023 | ECMS | Verification Of Data-Intensive Embedded Systems. | Massimo Narizzano, Armando Tacchella |
| 2023 | JELIA | Optimal Planning with Expressive Action Languages as Constraint Optimization. | Enrico Giunchiglia, Armando Tacchella |
| 2022 | ECMS | Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. | Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella |
| 2021 | ATVA | pyNeVer: A Framework for Learning and Verification of Neural Networks. | Dario Guidotti, Luca Pulina, Armando Tacchella |
| 2021 | ECMS | Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis. | Dario Guidotti, Giuseppe Cicala, Tommaso Gili, Armando Tacchella |
| 2021 | IROS | Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. | Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella |
| 2020 | ECAI | Verification of Neural Networks: Enhancing Scalability Through Pruning. | Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella |
| 2020 | ECMS | Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions. | Alberto Tacchella, Armando Tacchella |
| 2020 | IJCAI | Optimal Planning Modulo Theories. | Francesco Leofante, Enrico Giunchiglia, Erika brahm, Armando Tacchella |
| 2019 | CPAIOR | Repairing Learned Controllers with Convex Optimization: A Case Study. | Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella |
| 2019 | ECMS | Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. | Francesco Leofante, Stefan Schupp, Erika brahm, Armando Tacchella |
| 2019 | ICSE | Automata based test generation with SpecPro. | Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella |
| 2019 | ICST | Poster: Automatic Consistency Checking of Requirements with ReqV. | Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella |
| 2019 | ICTAI | Automating Elevator Design with Satisfiability Modulo Theories. | Stefano Demarchi, Marco Menapace, Armando Tacchella |
| 2019 | SMC | Conditional Behavior Trees: Definition, Executability, and Applications. | Eleonora Giunchiglia, Michele Colledanchise, Lorenzo Natale, Armando Tacchella |
| 2018 | ECMS | Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems. | Giuseppina Murino, Armando Tacchella |
| 2018 | IFM | Task Planning with OMT: An Application to Production Logistics. | Francesco Leofante, Erika brahm, Armando Tacchella |
| 2018 | SAT | Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. | Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjrner, Mooly Sagiv |
| 2017 | ECMS | Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems. | Leopoldo Annunziata, Marco Menapace, Armando Tacchella |
| 2017 | IRI | On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. | Francesco Leofante, Erika brahm, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella |
| 2016 | ECMS | A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems. | Giuseppe Cicala, Marco De Luca, Marco Oreggia, Armando Tacchella |
| 2016 | ICALT | Introducing Computer Engineering Curriculum to Upper Secondary Students: An Evaluation of Experiences Based on Educational Robotics. | Marco Oreggia, Carlo Chiorri, Francesca Pozzi, Armando Tacchella |
| 2016 | ISoLA | Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. | Francesco Leofante, Simone Vuotto, Erika brahm, Armando Tacchella, Nils Jansen |
| 2015 | ICSE | Automatic Test-Pattern Generation for Grey-Box Programs. | Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia |
| 2014 | ANT | On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. | Massimo Ancona, N. Corradi, A. Dellacasa, Giorgio Delzanno, Jean-Luc Dugelay, Bianca Federici, Philippe Gourbesville, Giovanna Guerrini, Andrea La Camera, Paolo Rosso, J. Stephens, Armando Tacchella, Guido Zolezzi |
| 2014 | IAS | Engineering Approaches and Methods to Verify Software in Autonomous Systems. | Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella |
| 2014 | SMC | Is verification a requisite for safe adaptive robots? | Shashank Pathak, Giorgio Metta, Armando Tacchella |
| 2013 | IROS | Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. | Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella |
| 2010 | AAAI | Collaborative Expert Portfolio Management. | David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella |
| 2010 | CADE | Designing a solver competition: the QBFEVAL'10 case study. | Claudia Peschiera, Luca Pulina, Armando Tacchella |
| 2010 | CAV | An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. | Luca Pulina, Armando Tacchella |
| 2010 | ICRA | Safe and effective learning: A case study. | Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella |
| 2010 | SAT | The Seventh QBF Solvers Evaluation (QBFEVAL'10). | Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Ins Lynce |
| 2009 | IJCAI | A Structural Approach to Reasoning with Quantified Boolean Formulas. | Luca Pulina, Armando Tacchella |
| 2008 | LPAR | Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. | Luca Pulina, Armando Tacchella |
| 2007 | CP | A Multi-engine Solver for Quantified Boolean Formulas. | Luca Pulina, Armando Tacchella |
| 2006 | DATE | Quantifier structure in search based procedures for QBFs. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2006 | JELIA | The QBFEVAL Web Portal. | Massimo Narizzano, Luca Pulina, Armando Tacchella |
| 2004 | CP | Monotone Literals and Learning in QBF Reasoning. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | FMCAD | QuBE++: An Efficient QBF Solver. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | SAT | The Second QBF Solvers Comparative Evaluation. | Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella |
| 2004 | SAT | QBF Reasoning on Real-World Instances. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | SAT | QBF Reasoning on Real-World Instances. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2003 | CP | (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
| 2003 | SAT | Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. | Daniel Le Berre, Laurent Simon, Armando Tacchella |
| 2003 | SAT | Watched Data Structures for QBF Solvers. | Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella |
| 2002 | AAAI | Learning for Quantified Boolean Logic Satisfiability. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2002 | CAV | NuSMV 2: An OpenSource Tool for Symbolic Model Checking. | Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
| 2002 | JELIA | Dependent and Independent Variables in Propositional Satisfiability. | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
| 2001 | CADE | Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. | Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin |
| 2001 | CADE | QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2001 | CAV | Benefits of Bounded Model Checking at an Industrial Setting. | Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi |
| 2001 | IJCAI | Backjumping for Quantified Boolean Logic Satisfiability. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2000 | CADE | System Description: *SAT: A Platform for the Development of Modal Decision Procedures. | Enrico Giunchiglia, Armando Tacchella |
| 2000 | TABLEAUX | A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. | Enrico Giunchiglia, Armando Tacchella |
| 2000 | TABLEAUX | Evaluating | Armando Tacchella |
| 1998 | KR | More Evaluation of Decision Procedures for Modal Logics. | Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella |