Publications

153 entries « 1 of 4 »

2016

Cicala, Giuseppe; Luca, Marco De; Oreggia, Marco; Tacchella, Armando

A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems Inproceedings

30th European Conference on Modelling and Simulation, ECMS 2016, Regensburg, Germany, May 31 - June 3, 2016, Proceedings., pp. 628–634, 2016.

Links | BibTeX

Pathak, Shashank; Pulina, Luca; Tacchella, Armando

Evaluating probabilistic model checking tools for verification of robot control policies Journal Article

AI Commun., 29 (2), pp. 287–299, 2016.

Links | BibTeX

2015

Arnulfo, Gabriele; Narizzano, Massimo; Cardinale, Francesco; Fato, Marco; Palva, Jaakko

Automatic segmentation of deep intracerebral electrodes in computed tomography scans Journal Article

BMC Bioinformatics, 16 , pp. 99, 2015.

Links | BibTeX

Pathak, Shashank; Pulina, Luca; Tacchella, Armando

Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction Inproceedings

AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings, pp. 260–273, 2015.

Links | BibTeX

Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando

Computational thinking for beginners: A successful experience using Prolog Inproceedings

Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 31–45, 2015.

Links | BibTeX

Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico

Automatic Test-Pattern Generation for Grey-Box Programs Inproceedings

10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015, pp. 33–37, 2015.

Links | BibTeX

Pathak, Shashank; Ábrahám, Erika; Jansen, Nils; Tacchella, Armando; Katoen, Joost-Pieter

A Greedy Approach for the Efficient Repair of Stochastic Models Inproceedings

NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, pp. 295–309, 2015.

Links | BibTeX

2014

Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, Lorenzo; Pathak, Shashank; Pulina, Luca; Tacchella, Armando

Engineering Approaches and Methods to Verify Software in Autonomous Systems Inproceedings

Intelligent Autonomous Systems 13 - Proceedings of the 13th International Conference IAS-13, Padova, Italy, July 15-18, 2014, pp. 1683–1700, 2014.

Links | BibTeX

Khalili, Ali; Tacchella, Armando

Learning Nondeterministic Mealy Machines Inproceedings

Proceedings of the 12th International Conference on Grammatical Inference, ICGI 2014, Kyoto, Japan, September 17-19, 2014., pp. 109–123, 2014.

Links | BibTeX

Khalili, Ali; Natale, Lorenzo; Tacchella, Armando

Reverse Engineering of Middleware for Verification of Robot Control Architectures Inproceedings

Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings, pp. 315–326, 2014.

Links | BibTeX

Pathak, Shashank; Metta, Giorgio; Tacchella, Armando

Is verification a requisite for safe adaptive robots? Inproceedings

2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014, San Diego, CA, USA, October 5-8, 2014, pp. 3399–3402, 2014.

Links | BibTeX

Khalili, Ali; Natale, Lorenzo; Tacchella, Armando

Reverse Engineering of Middleware for Verification of Robot Control Architectures Journal Article

CoRR, abs/1411.1907 , 2014.

Links | BibTeX

2013

Casu, Matteo; Cicala, Giuseppe; Tacchella, Armando

Ontology-based data access: An application to intermodal logistics Journal Article

Information Systems Frontiers, 15 (5), pp. 849–871, 2013.

Links | BibTeX

Cicala, Giuseppe; Oreggia, Marco; Tacchella, Armando

Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems Inproceedings

AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings, pp. 25–36, 2013.

Links | BibTeX

Pathak, Shashank; Pulina, Luca; Metta, Giorgio; Tacchella, Armando

Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub Inproceedings

2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November 3-7, 2013, pp. 170–175, 2013.

Links | BibTeX

Bourguet, Jean-Rémi; Cicala, Giuseppe; Pulina, Luca; Tacchella, Armando

OBDA and Intermodal Logistics: Active Projects and Applications Inproceedings

Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 210–215, 2013.

Links | BibTeX

Rosa, Emanuele Di; Giunchiglia, Enrico

Combining approaches for solving satisfiability problems with qualitative preferences Journal Article

AI Commun., 26 (4), pp. 395–408, 2013.

Links | BibTeX

Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa

Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach Inproceedings

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013, 2013.

Links | BibTeX

Cashmore, Michael; Fox, Maria; Giunchiglia, Enrico

Partially Grounded Planning as Quantified Boolean Formula Inproceedings

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013, 2013.

Links | BibTeX

2012

Pulina, Luca; Tacchella, Armando

Challenging SMT solvers to verify neural networks Journal Article

AI Commun., 25 (2), pp. 117–135, 2012.

Links | BibTeX

Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa

An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints Journal Article

J. Comput. Syst. Sci., 78 (1), pp. 119–141, 2012.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco

Algorithms for Solving Satisfiability Problems with Qualitative Preferences Inproceedings

Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, pp. 327–344, 2012.

Links | BibTeX

2011

Lewis, Matthew D T; Schubert, Tobias; Becker, Bernd; Marin, Paolo; Narizzano, Massimo; Giunchiglia, Enrico

Parallel QBF Solving with Advanced Knowledge Sharing Journal Article

Fundam. Inform., 107 (2-3), pp. 139–166, 2011.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

NeVer: a tool for artificial neural networks verification Journal Article

Ann. Math. Artif. Intell., 62 (3-4), pp. 403–425, 2011.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation Inproceedings

AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings, pp. 127–138, 2011.

Links | BibTeX

Casu, Matteo; Tacchella, Armando

From Natural Language Definitions to Knowledge Bases Axioms Inproceedings

AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings, pp. 445–450, 2011.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas Journal Article

CoRR, abs/1111.0860 , 2011.

Links | BibTeX

Lewis, Matthew D T; Schubert, Tobias; Becker, Bernd; Marin, Paolo; Narizzano, Massimo; Giunchiglia, Enrico

Parallel QBF Solving with Advanced Knowledge Sharing Journal Article

Fundam. Inform., 107 (2-3), pp. 139–166, 2011.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco

Introducing Preferences in Planning as Satisfiability Journal Article

J. Log. Comput., 21 (2), pp. 205–229, 2011.

Links | BibTeX

Rosa, Emanuele Di; Giunchiglia, Enrico; O'Sullivan, Barry

Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences Inproceedings

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, pp. 901–906, 2011.

Links | BibTeX

2010

Angeletti, Damiano; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; Sabina, Salvatore

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting Journal Article

J. Autom. Reasoning, 45 (4), pp. 397–414, 2010.

Links | BibTeX

Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo

QuBE7.0 Journal Article

JSAT, 7 (2-3), pp. 83–88, 2010.

Links | BibTeX

Rosa, Emanuele Di; Giunchiglia, Enrico; Narizzano, Massimo; Palma, Gabriele; Puddu, Alessandra

Automatic generation of high quality test sets via CBMC Inproceedings

6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 65–78, 2010.

Links | BibTeX

Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo

sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning Inproceedings

Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 85–98, 2010.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing Journal Article

Fundam. Inform., 102 (3-4), pp. 391–427, 2010.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

AQME'10 Journal Article

JSAT, 7 (2-3), pp. 65–70, 2010.

Links | BibTeX

Stern, David H; Samulowitz, Horst; Herbrich, Ralf; Graepel, Thore; Pulina, Luca; Tacchella, Armando

Collaborative Expert Portfolio Management Inproceedings

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, 2010.

Links | BibTeX

Peschiera, Claudia; Pulina, Luca; Tacchella, Armando

Designing a solver competition: the QBFEVAL'10 case study Inproceedings

Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010, pp. 19–32, 2010.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

An Abstraction-Refinement Approach to Verification of Artificial Neural Networks Inproceedings

Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, pp. 243–257, 2010.

Links | BibTeX

Metta, Giorgio; Natale, Lorenzo; Pathak, Shashank; Pulina, Luca; Tacchella, Armando

Safe and effective learning: A case study Inproceedings

IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010, pp. 4809–4814, 2010.

Links | BibTeX

Peschiera, Claudia; Pulina, Luca; Tacchella, Armando; Bubeck, Uwe; Kullmann, Oliver; Lynce, Inês

The Seventh QBF Solvers Evaluation (QBFEVAL'10) Inproceedings

Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 237–250, 2010.

Links | BibTeX

Rosa, Emanuele Di; Giunchiglia, Enrico; Maratea, Marco

Solving satisfiability problems with preferences Journal Article

Constraints, 15 (4), pp. 485–515, 2010.

Links | BibTeX

Angeletti, Damiano; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; Sabina, Salvatore

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting Journal Article

J. Autom. Reasoning, 45 (4), pp. 397–414, 2010.

Links | BibTeX

Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo

QuBE7.0 Journal Article

JSAT, 7 (2-3), pp. 83–88, 2010.

Links | BibTeX

Rosa, Emanuele Di; Giunchiglia, Enrico; Narizzano, Massimo; Palma, Gabriele; Puddu, Alessandra

Automatic generation of high quality test sets via CBMC Inproceedings

6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 65–78, 2010.

Links | BibTeX

Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo

sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning Inproceedings

Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 85–98, 2010.

Links | BibTeX

2009

Angeletti, Damiano; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; Sabina, Salvatore

Automatic Test Generation for Coverage Analysis Using CBMC Inproceedings

Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 287–294, 2009.

Links | BibTeX

Angeletti, Damiano; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; Sabina, Salvatore

Automatic Test Generation for Coverage Analysis of ERTMS Software Inproceedings

Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, pp. 303–306, 2009.

Links | BibTeX

Narizzano, Massimo; Peschiera, Claudia; Pulina, Luca; Tacchella, Armando

Evaluating and certifying QBFs: A comparison of state-of-the-art tools Journal Article

AI Commun., 22 (4), pp. 191–210, 2009.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

A self-adaptive multi-engine solver for quantified Boolean formulas Journal Article

Constraints, 14 (1), pp. 80–116, 2009.

Links | BibTeX

153 entries « 1 of 4 »