Armando Tacchella

153 papers A* 10A 19B 14C 12Misc 1Journal 44Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	The SCAN Statistical Model Checker. CoRR Enrico Ghiorzi, Armando Tacchella
2025	A	`conf`	Code Generation and Monitoring for Deliberation Components in Autonomous Robots. IROS Stefano Bernagozzi, S. Faraci, Enrico Ghiorzi, K. Pedemonte, Lorenzo Natale, Armando Tacchella
2025	—	`conf`	Model-based Verification and Monitoring for Safe and Responsive Robots. SIMPAR Stefano Bernagozzi, S. Faraci, Enrico Ghiorzi, K. Pedemonte, A. Ferrando, Lorenzo Natale, Armando Tacchella
2025	A	`conf`	Translating Behavior Trees to Petri Nets for Model Checking. MODELS Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella
2024	J	`jnl`	Execution Semantics of Behavior Trees in Robotic Applications. CoRR Enrico Ghiorzi, Armando Tacchella
2024	C	`conf`	Improving Abstract Propagation For Verification Of Neural Networks. ECMS Stefano Demarchi, Andrea Gimelli, Armando Tacchella
2024	—	`conf`	Modeling Robot Control Architectures for Verification and Monitoring. ERF (2) Stefano Bernagozzi, Angelo Ferrando, Enrico Ghiorzi, Lorenzo Natale, Armando Tacchella
2024	J	`jnl`	NeVer2: learning and verification of neural networks. Soft Comput. Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella
2023	J	`jnl`	Learning Linear Temporal Properties for Autonomous Robotic Systems. IEEE Robotics Autom. Lett. Enrico Ghiorzi, Michele Colledanchise, Gianluca Piquet, Stefano Bernagozzi, Armando Tacchella, Lorenzo Natale
2023	B	`conf`	Optimal Planning with Expressive Action Languages as Constraint Optimization. JELIA Enrico Giunchiglia, Armando Tacchella
2023	—	`conf`	Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. FoMLAS@CAV Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella
2023	C	`conf`	Verification Of Data-Intensive Embedded Systems. ECMS Massimo Narizzano, Armando Tacchella
2022	J	`jnl`	A comparison of declarative AI techniques for computer automated design of elevator systems. Intelligenza Artificiale Giuseppe Cicala, Stefano Demarchi, Marco Menapace, Leopoldo Annunziata, Armando Tacchella
2022	C	`conf`	Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. ECMS Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella
2022	—	`ed.`	Proceedings of the CPS Summer School PhD Workshop 2022 co-located with 4th Edition of the CPS Summer School (CPS 2022), Pula, Sardinia (Italy), September 19-23, 2022. CPS Summer School, PhD Workshop Raquel Lazcano López, Daniel Madroñal Quintín, Francesca Palumbo, Christian Pilato, Armando Tacchella
2022	J	`jnl`	Towards learning trustworthily, automatically, and with guarantees on graphs: An overview. Neurocomputing Luca Oneto, Nicolò Navarin, Battista Biggio, Federico Errica, Alessio Micheli, Franco Scarselli, Monica Bianchini, Luca Demetrio, Pietro Bongini, Armando Tacchella, Alessandro Sperduti
2021	J	`jnl`	A Toolchain to Design, Execute, and Monitor Robots Behaviors. CoRR Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella
2021	—	`conf`	Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches. AI*IA Stefano Demarchi, Marco Menapace, Armando Tacchella
2021	A	`conf`	Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. IROS Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella
2021	J	`jnl`	Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. CoRR Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella
2021	—	`conf`	OT Cyber Security Frameworks Comparison Tool (CSFCTool). ITASEC Giuseppina Murino, Marina Ribaudo, Simon Pietro Romano, Armando Tacchella
2021	—	`conf`	Robot Swarms as Hybrid Systems: Modelling and Verification. SNR Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella
2021	—	`ch.`	SAT Techniques for Modal and Description Logics. Handbook of Satisfiability Roberto Sebastiani, Armando Tacchella
2021	C	`conf`	Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis. ECMS Dario Guidotti, Giuseppe Cicala, Tommaso Gili, Armando Tacchella
2021	B	`conf`	pyNeVer: A Framework for Learning and Verification of Neural Networks. ATVA Dario Guidotti, Luca Pulina, Armando Tacchella
2020	—	`conf`	Automated Requirements-Based Testing of Black-Box Reactive Systems. NFM Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
2020	J	`jnl`	Automated Requirements-Based Testing of Black-Box Reactive Systems. CoRR Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
2020	C	`conf`	Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions. ECMS Alberto Tacchella, Armando Tacchella
2020	J	`jnl`	NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks. CoRR Dario Guidotti, Luca Pulina, Armando Tacchella
2020	A*	`conf`	Optimal Planning Modulo Theories. IJCAI Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella
2020	A	`conf`	Verification of Neural Networks: Enhancing Scalability Through Pruning. ECAI Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
2020	J	`jnl`	Verification of Neural Networks: Enhancing Scalability through Pruning. CoRR Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
2019	—	`conf`	Automata based test generation with SpecPro. RET@ICSE Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella
2019	—	`conf`	Automated Design of Complex Systems with Constraint Programming Techniques. CPS Summer School, PhD Workshop Stefano Demarchi, Armando Tacchella, Marco Menapace
2019	B	`conf`	Automating Elevator Design with Satisfiability Modulo Theories. ICTAI Stefano Demarchi, Marco Menapace, Armando Tacchella
2019	B	`conf`	Conditional Behavior Trees: Definition, Executability, and Applications. SMC Eleonora Giunchiglia, Michele Colledanchise, Lorenzo Natale, Armando Tacchella
2019	A*	`conf`	Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State. ICAPS Arthur Bit-Monnot, Luca Pulina, Armando Tacchella
2019	C	`conf`	Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. ECMS Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella
2019	J	`jnl`	Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Inf. Syst. Frontiers Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2019	A	`conf`	Poster: Automatic Consistency Checking of Requirements with ReqV. ICST Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella
2019	J	`jnl`	Property specification patterns at work: verification and inconsistency explanation. Innov. Syst. Softw. Eng. Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
2019	B	`conf`	Repairing Learned Controllers with Convex Optimization: A Case Study. CPAIOR Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella
2019	—	`conf`	Resilience of Cyber-Physical Systems: an Experimental Appraisal of Quantitative Measures. CyCon Giuseppina Murino, Alessandro Armando, Armando Tacchella
2019	C	`conf`	SMT-based Planning for Robots in Smart Factories. IEA/AIE Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella
2019	J	`jnl`	Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation. Cogn. Syst. Res. Amir Aly, Shashank Pathak, Sean Andrist, Armando Tacchella
2019	—	`conf`	Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. AI*IA Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
2018	J	`jnl`	Automated Verification of Neural Networks: Advances, Challenges and Perspectives. CoRR Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella
2018	C	`conf`	Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems. ECMS Giuseppina Murino, Armando Tacchella
2018	—	`conf`	Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. NFM Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
2018	A	`conf`	Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. SAT Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv
2018	J	`jnl`	Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. CoRR Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv
2018	J	`jnl`	SMarTplan: a Task Planner for Smart Factories. CoRR Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella
2018	B	`conf`	Task Planning with OMT: An Application to Production Logistics. IFM Francesco Leofante, Erika Ábrahám, Armando Tacchella
2018	J	`jnl`	Verification and repair of control policies for safe reinforcement learning. Appl. Intell. Shashank Pathak, Luca Pulina, Armando Tacchella
2017	C	`conf`	Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems. ECMS Leopoldo Annunziata, Marco Menapace, Armando Tacchella
2017	J	`jnl`	Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Dagstuhl Reports Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella
2017	J	`jnl`	Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. CoRR Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
2017	J	`jnl`	Learning middleware models for verification of distributed control programs. Robotics Auton. Syst. Ali Khalili, Massimo Narizzano, Lorenzo Natale, Armando Tacchella
2017	—	`conf`	More Adaptive Does not Imply Less Safe (with Formal Verification). Haifa Verification Conference Luca Pulina, Armando Tacchella
2017	Misc	`conf`	On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. IRI Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2017	J	`jnl`	On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. CoRR Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2017	—	`conf`	Ontologies in System Engineering: A Field Report. IEA/AIE (1) Marco Menapace, Armando Tacchella
2017	J	`jnl`	Ontologies in System Engineering: a Field Report. CoRR Marco Menapace, Armando Tacchella
2016	C	`conf`	A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems. ECMS Giuseppe Cicala, Marco De Luca, Marco Oreggia, Armando Tacchella
2016	—	`conf`	Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics. AIRO@AI*IA Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella
2016	—	`conf`	Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. ISoLA (1) Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen
2016	J	`jnl`	Evaluating probabilistic model checking tools for verification of robot control policies. AI Commun. Shashank Pathak, Luca Pulina, Armando Tacchella
2016	B	`conf`	Introducing Computer Engineering Curriculum to Upper Secondary Students: An Evaluation of Experiences Based on Educational Robotics. ICALT Marco Oreggia, Carlo Chiorri, Francesca Pozzi, Armando Tacchella
2016	—	`conf`	Learning for Verification in Embedded Systems: A Case Study. AI*IA Ali Khalili, Massimo Narizzano, Armando Tacchella
2016	—	`conf`	Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. AI*IA Francesco Leofante, Armando Tacchella
2016	—	`conf`	Learning with Safety Requirements: State of the Art and Open Questions. RCRA@AI*IA Francesco Leofante, Luca Pulina, Armando Tacchella
2016	J	`jnl`	Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Informaticae Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
2015	—	`conf`	A Case for Robust AI in Robotics. AIRO@AI*IA Shashank Pathak, Luca Pulina, Armando Tacchella
2015	—	`conf`	A Greedy Approach for the Efficient Repair of Stochastic Models. NFM Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen
2015	—	`conf`	An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
2015	—	`conf`	Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia
2015	—	`conf`	Computational thinking for beginners: A successful experience using Prolog. CILC Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella
2015	—	`conf`	Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. AI*IA Shashank Pathak, Luca Pulina, Armando Tacchella
2014	C	`conf`	Engineering Approaches and Methods to Verify Software in Autonomous Systems. IAS Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella
2014	B	`conf`	Is verification a requisite for safe adaptive robots? SMC Shashank Pathak, Giorgio Metta, Armando Tacchella
2014	—	`conf`	Learning Nondeterministic Mealy Machines. ICGI Ali Khalili, Armando Tacchella
2014	—	`conf`	On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. ANT/SEIT 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	—	`conf`	Reverse Engineering of Middleware for Verification of Robot Control Architectures. SIMPAR Ali Khalili, Lorenzo Natale, Armando Tacchella
2014	J	`jnl`	Reverse Engineering of Middleware for Verification of Robot Control Architectures. CoRR Ali Khalili, Lorenzo Natale, Armando Tacchella
2013	A	`conf`	Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. IROS Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella
2013	—	`conf`	How to Abstract Intelligence? (If Verification Is in Order). AAAI Fall Symposia Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella
2013	—	`conf`	OBDA and Intermodal Logistics: Active Projects and Applications. RR Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella
2013	J	`jnl`	Ontology-based data access: An application to intermodal logistics. Inf. Syst. Frontiers Matteo Casu, Giuseppe Cicala, Armando Tacchella
2013	—	`conf`	Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems. AI*IA Giuseppe Cicala, Marco Oreggia, Armando Tacchella
2012	J	`jnl`	Challenging SMT solvers to verify neural networks. AI Commun. Luca Pulina, Armando Tacchella
2011	—	`conf`	Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation. AI*IA Luca Pulina, Armando Tacchella
2011	J	`jnl`	Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas CoRR Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2011	—	`conf`	From Natural Language Definitions to Knowledge Bases Axioms. AI*IA Matteo Casu, Armando Tacchella
2011	J	`jnl`	NeVer: a tool for artificial neural networks verification. Ann. Math. Artif. Intell. Luca Pulina, Armando Tacchella
2010	J	`jnl`	AQME'10. J. Satisf. Boolean Model. Comput. Luca Pulina, Armando Tacchella
2010	A*	`conf`	An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. CAV Luca Pulina, Armando Tacchella
2010	J	`jnl`	An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing. Fundam. Informaticae Luca Pulina, Armando Tacchella
2010	—	`conf`	Anomaly Detection in Noisy and Irregular Time Series: The "Turbodiesel Charging Pressure" Case Study. IEA/AIE (1) Anahì Balbi, Michael Provost, Armando Tacchella
2010	A*	`conf`	Collaborative Expert Portfolio Management. AAAI David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella
2010	—	`conf`	Designing a solver competition: the QBFEVAL'10 case study. EMSQMS@IJCAR Claudia Peschiera, Luca Pulina, Armando Tacchella
2010	—	`conf`	Safe Learning with Real-Time Constraints: A Case Study. IEA/AIE (1) Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella
2010	A*	`conf`	Safe and effective learning: A case study. ICRA Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella
2010	A	`conf`	The Seventh QBF Solvers Evaluation (QBFEVAL'10). SAT Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce
2009	A*	`conf`	A Structural Approach to Reasoning with Quantified Boolean Formulas. IJCAI Luca Pulina, Armando Tacchella
2009	J	`jnl`	A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints An Int. J. Luca Pulina, Armando Tacchella
2009	—	`conf`	A structural approach to reasoning with quantified Boolean formulas. RCRA@AI*IA Luca Pulina, Armando Tacchella
2009	C	`conf`	An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles. IEA/AIE Cristina De Ambrosi, Cristiano Ghersi, Armando Tacchella
2009	J	`jnl`	Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI Commun. Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella
2009	—	`conf`	Hard QBF Encodings Made Easy: Dream or Reality? AI*IA Luca Pulina, Armando Tacchella
2009	—	`conf`	Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. FroCoS Luca Pulina, Armando Tacchella
2009	—	`ch.`	SAT Techniques for Modal and Description Logics. Handbook of Satisfiability Roberto Sebastiani, Armando Tacchella
2008	J	`jnl`	Guest Editors Conclusion. J. Satisf. Boolean Model. Comput. Ewald Speckenmeyer, Armando Tacchella, Vasco Manquinho, Chu Min Li
2008	—	`conf`	QuBIS: An (In)complete Solver for Quantified Boolean Formulas. MICAI Luca Pulina, Armando Tacchella
2008	B	`conf`	Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. LPAR Luca Pulina, Armando Tacchella
2007	A	`conf`	A Multi-engine Solver for Quantified Boolean Formulas. CP Luca Pulina, Armando Tacchella
2007	J	`jnl`	Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2007	—	`conf`	Ranking and Reputation Systems in the QBF Competition. AI*IA Massimo Narizzano, Luca Pulina, Armando Tacchella
2006	J	`jnl`	Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. J. Artif. Intell. Res. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2006	A	`conf`	Quantifier structure in search based procedures for QBFs. DATE Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2006	J	`jnl`	Report of the Third QBF Solvers Evaluation. J. Satisf. Boolean Model. Comput. Massimo Narizzano, Luca Pulina, Armando Tacchella
2006	B	`conf`	The QBFEVAL Web Portal. JELIA Massimo Narizzano, Luca Pulina, Armando Tacchella
2005	—	`conf`	SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
2004	A	`conf`	Monotone Literals and Learning in QBF Reasoning. CP Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2004	A	`conf`	QBF Reasoning on Real-World Instances. SAT Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2004	—	`conf`	QBF Reasoning on Real-World Instances. SAT (Selected Papers Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2004	B	`conf`	QuBE++: An Efficient QBF Solver. FMCAD Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2004	—	`conf`	The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella
2004	A	`ed.`	Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers SAT Enrico Giunchiglia, Armando Tacchella
2003	A	`conf`	(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP Enrico Giunchiglia, Marco Maratea, Armando Tacchella
2003	J	`jnl`	Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2003	A	`conf`	Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT Daniel Le Berre, Laurent Simon, Armando Tacchella
2003	J	`jnl`	SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artif. Intell. Claudio Castellini, Enrico Giunchiglia, Armando Tacchella
2003	A	`conf`	Watched Data Structures for QBF Solvers. SAT Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella
2002	B	`conf`	Dependent and Independent Variables in Propositional Satisfiability. JELIA Enrico Giunchiglia, Marco Maratea, Armando Tacchella
2002	—	`conf`	Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCoS Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
2002	—	`conf`	Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2002	A*	`conf`	NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
2002	J	`jnl`	SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reason. Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia
2001	J	`jnl`	A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. Ann. Math. Artif. Intell. Enrico Giunchiglia, Armando Tacchella
2001	—	`conf`	An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2001	A*	`conf`	Backjumping for Quantified Boolean Logic Satisfiability. IJCAI Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2001	A*	`conf`	Benefits of Bounded Model Checking at an Industrial Setting. CAV Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
2001	A	`conf`	Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin
2001	A	`conf`	QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2001	J	`jnl`	Towards an Efficient Library for SAT: a Manifesto. Electron. Notes Discret. Math. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi
2000	B	`conf`	A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. TABLEAUX Enrico Giunchiglia, Armando Tacchella
2000	B	`conf`	Evaluating TABLEAUX Armando Tacchella
2000	J	`jnl`	SAT vs. translation based decision procedures for modal logics: a comparative evaluation. J. Appl. Non Class. Logics Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
2000	A	`conf`	System Description: *SAT: A Platform for the Development of Modal Decision Procedures. CADE Enrico Giunchiglia, Armando Tacchella
1999	—	`conf`	*SAT System Description. Description Logics Armando Tacchella
1999	—	`conf`	*SAT, KSATC, DLP and TA: a comparative analysis. Description Logics Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
1999	—	`conf`	The SAT-Based Approach for Classical Modal Logics. AI*IA Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
1998	A*	`conf`	More Evaluation of Decision Procedures for Modal Logics. KR Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella