Luca Pulina - RankMe

124 papers A* 7A 9B 11C 7Journal 37Unranked 51

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems. IEEE Access Laura Pandolfo, Giorgio Corona, Dario Guidotti, Luca Pulina
2025	J	`jnl`	A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0. IEEE Access Dario Guidotti, Laura Pandolfo, Luca Pulina
2025	J	`jnl`	Discovering sentiment insights: streamlining tourism review analysis with Large Language Models. J. Inf. Technol. Tour. Dario Guidotti, Laura Pandolfo, Luca Pulina
2025	—	`ed.`	Proceedings of the 40th Italian Conference on Computational Logic, Alghero, Italy, June 25-27, 2025. CILC Dario Guidotti, Laura Pandolfo, Luca Pulina
2025	—	`conf`	SKET-Monitor: A Knowledge-Driven AI System for Sustainable Environmental and Territorial Monitoring. Green-Aware AI@ECAI Veronica Camerada, Dario Guidotti, Salvatore Lampreu, Laura Pandolfo, Luca Pulina
2025	J	`jnl`	SynthVal: A Framework for Validating Synthetic Medical Images. IEEE Access Dario Guidotti, Laura Pandolfo, Alberto Gutierrez-Torre, Omar Lopez-Rubio, Luca Pulina
2024	—	`conf`	Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control. AI4CC-IPS-RCRA-SPIRIT@AI*IA Dario Guidotti, Laura Pandolfo, Luca Pulina
2024	—	`conf`	Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes. SemDH@ESWC Giorgio Corona, Dario Guidotti, Laura Pandolfo, Luca Pulina
2024	C	`conf`	Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection. IEA/AIE Dario Guidotti, Laura Pandolfo, Luca Pulina
2024	B	`conf`	LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach. ICTAI Dario Guidotti, Laura Pandolfo, Luca Pulina
2024	J	`jnl`	NeVer2: learning and verification of neural networks. Soft Comput. Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella
2024	A	`conf`	SECURED for Health: Scaling Up Privacy to Enable the Integration of the European Health Data Space. DATE Francesco Regazzoni, Gergely Ács, Albert Zoltan Aszalos, Christos Avgerinos, Nikolaos Bakalos, Josep Lluis Berral, Joppe W. Bos, Marco Brohet, Andrés G. Castillo Sanz, Gareth T. Davies, Stefanos Florescu, Pierre-Elisée Flory, Alberto Gutierrez-Torre, Evangelos Haleplidis, Alice Héliou, Sotirios Ioannidis, Alexander Islam El-Kady, Katarzyna Kapusta, Konstantina Karagianni, Pieter Kruizinga, Kyrian Maat, Zoltán Ádám Mann, Kalliopi Mastoraki, SeoJeong Moon, Maja Nisevic, Balázs Pejó, Kostas Papagiannopoulos, Vassilis Paliouras, Paolo Palmieri, Francesca Palumbo, Juan Carlos Pérez Baun, Péter Pollner, Eduard Porta-Pardo, Luca Pulina, Muhammad Ali Siddiqi, Daniela Spajic, Christos Strydis, Georgios Tasopoulos, Vincent Thouvenot, Christos Tselios, Apostolos P. Fournaris
2024	—	`conf`	Translating Requirements in Property Specification Patterns using LLMs. AI4CC-IPS-RCRA-SPIRIT@AI*IA Dario Guidotti, Laura Pandolfo, Tiziana Fanni, Katiuscia Zedda, Luca Pulina
2024	C	`conf`	Verifying Autoencoders for Anomaly Detection in Predictive Maintenance. IEA/AIE Dario Guidotti, Laura Pandolfo, Luca Pulina
2023	B	`conf`	Detection of Component Degradation: A Study on Autoencoder-Based Approaches. e-Science Dario Guidotti, Laura Pandolfo, Luca Pulina
2023	J	`jnl`	Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications. Inf. Dario Guidotti, Laura Pandolfo, Luca Pulina
2023	—	`conf`	Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. FoMLAS@CAV Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella
2023	—	`conf`	Unlocking Historical Insights: Developing a Dataset from Historical Archives. CILC Laura Pandolfo, Luca Pulina
2023	C	`conf`	Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project. ETFA Dario Guidotti, Riccardo Masiero, Laura Pandolfo, Luca Pulina
2023	C	`conf`	Verification of NNs in the IMOCO4.E Project: Preliminary Results. ETFA Dario Guidotti, Laura Pandolfo, Luca Pulina
2023	B	`conf`	Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. ICTAI Dario Guidotti, Laura Pandolfo, Luca Pulina
2023	B	`conf`	Verifying Neural Networks with SMT: An Experimental Evaluation. e-Science Dario Guidotti, Laura Pandolfo, Luca Pulina
2022	—	`conf`	AI and Videogames: a "Drosophila" for Declarative Methods. IPS/RiCeRcA/SPIRIT@AI*IA Denise Angilica, Giovambattista Ianni, Francesca A. Lisi, Luca Pulina
2022	—	`conf`	Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda
2021	C	`conf`	ARKIVO Dataset: A Benchmark for Ontology-based Extraction Tools. WEBIST Laura Pandolfo, Luca Pulina
2021	J	`jnl`	Building the Semantic Layer of the Józef Piłsudski Digital Archive With an Ontology-Based Approach. Int. J. Semantic Web Inf. Syst. Laura Pandolfo, Luca Pulina
2021	A	`conf`	QBFFam: A Tool for Generating QBF Families from Proof Complexity. SAT Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla
2021	J	`jnl`	SMT-Based Consistency Checking of Configuration-Based Components Specifications. IEEE Access Laura Pandolfo, Luca Pulina, Simone Vuotto
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	J	`jnl`	NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks. CoRR Dario Guidotti, Luca Pulina, Armando Tacchella
2020	A	`ed.`	Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings SAT Luca Pulina, Martina Seidl
2020	J	`jnl`	Understanding and Modeling Visitor Behaviours for Enhancing Personalized Cultural Experiences. Int. J. Technol. Hum. Interact. Laura Pandolfo, Sara Spanu, Luca Pulina, Enrico Grosso
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	B	`conf`	A Survey on Applications of Quantified Boolean Formulas. ICTAI Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl
2019	B	`conf`	Algorithm Selection for Paracoherent Answer Set Computation. JELIA Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca
2019	—	`conf`	Automata based test generation with SpecPro. RET@ICSE Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella
2019	—	`conf`	CERBERO: Cross-layer modEl-based fRamework for multi-oBjective dEsign of reconfigurable systems in unceRtain hybRid envirOnments: Invited paper: CERBERO teams from UniSS, UniCA, IBM Research, TASE, INSA-Rennes, UPM, USI, Abinsula, AmbieSense, TNO, S&T, CRF. CF Francesca Palumbo, Tiziana Fanni, Carlo Sau, Luca Pulina, Luigi Raffo, Michael Masin, Evgeny Shindin, Pablo Sanchez de Rojas, Karol Desnos, Maxime Pelcat, Alfonso Rodríguez, Eduardo Juárez, Francesco Regazzoni, Giuseppe Meloni, Katiuscia Zedda, Hans Myrhaug, Leszek Kaliciak, Joost Adriaanse, Julio de Oliveira Filho, Pablo Muñoz, Antonella Toffetti
2019	A*	`conf`	Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State. ICAPS Arthur Bit-Monnot, Luca Pulina, Armando Tacchella
2019	—	`conf`	Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America. IRCDL Laura Pandolfo, Luca Pulina, Marek Zielinski
2019	J	`jnl`	Notes from the Guest Editors. J. Satisf. Boolean Model. Comput. Luca Pulina, Martina Seidl
2019	A	`conf`	Poster: Automatic Consistency Checking of Requirements with ReqV. ICST Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella
2019	—	`ed.`	Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems - From concepts to implementation", Alghero, Italy, September 23, 2019. CPS Summer School, PhD Workshop Luca Pulina
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	C	`conf`	SMT-based Planning for Robots in Smart Factories. IEA/AIE Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella
2019	J	`jnl`	The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17). Artif. Intell. Luca Pulina, Martina Seidl
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	—	`conf`	A User Model Ontology for Adaptive Systems in Cultural Tourism Domain. APPIS Laura Pandolfo, Luca Pulina, Enrico Grosso
2018	—	`conf`	ARKIVO: an Ontology for Describing Archival Resources. CILC Laura Pandolfo, Luca Pulina, Marek Zielinski
2018	J	`jnl`	Automated Verification of Neural Networks: Advances, Challenges and Perspectives. CoRR Francesco Leofante, Nina Narodytska, Luca Pulina, 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	—	`conf`	On Leveraging Facial Emotion Recognition Techniques in Personalized Recommendations. APPIS Souad Khellat-Kihel, Laura Pandolfo, Luca Pulina, Enrico Grosso
2018	J	`jnl`	SMarTplan: a Task Planner for Smart Factories. CoRR Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella
2018	J	`jnl`	Translation-based approaches for solving disjunctive temporal problems with preferences. Constraints An Int. J. Enrico Giunchiglia, Marco Maratea, Luca Pulina
2018	J	`jnl`	Verification and repair of control policies for safe reinforcement learning. Appl. Intell. Shashank Pathak, Luca Pulina, Armando Tacchella
2017	—	`conf`	ADnOTO: A Self-adaptive System for Automatic Ontology-Based Annotation of Unstructured Documents. IEA/AIE (1) Laura Pandolfo, Luca Pulina
2017	J	`jnl`	Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. CoRR Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
2017	—	`conf`	More Adaptive Does not Imply Less Safe (with Formal Verification). Haifa Verification Conference Luca Pulina, Armando Tacchella
2017	—	`conf`	Towards an Ontology for Describing Archival Resources. WHiSe@ISWC Laura Pandolfo, Luca Pulina, Marek Zielinski
2016	—	`conf`	A Framework for Automatic Population of Ontology-Based Digital Libraries. AI*IA Laura Pandolfo, Luca Pulina, Giovanni Adorni
2016	J	`jnl`	Evaluating probabilistic model checking tools for verification of robot control policies. AI Commun. Shashank Pathak, Luca Pulina, 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	A*	`conf`	Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. IJCAI Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
2016	—	`conf`	The Ninth QBF Solvers Evaluation - Preliminary Report. QBF@SAT Luca Pulina
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`	Advances in Multi-engine ASP Solving. AI*IA Marco Maratea, Luca Pulina, Francesco Ricca
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`	An Ontology for Historical Research Documents. RR Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina
2015	—	`conf`	An Ontology-Based Archive for Historical Research. Description Logics Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina
2015	—	`conf`	Leveraging semantic web technologies for analysis of crime in social science. CILC Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore
2015	J	`jnl`	Multi-engine ASP solving with policy adaptation. J. Log. Comput. Marco Maratea, Luca Pulina, Francesco Ricca
2015	B	`conf`	Multi-level Algorithm Selection for ASP. LPNMR Marco Maratea, Luca Pulina, Francesco Ricca
2015	—	`conf`	Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. AI*IA Shashank Pathak, Luca Pulina, Armando Tacchella
2014	J	`jnl`	A multi-engine approach to answer-set programming. Theory Pract. Log. Program. Marco Maratea, Luca Pulina, Francesco Ricca
2014	—	`conf`	An Ontology for Container Terminal Operations. RR Luca Pulina
2014	J	`jnl`	Efficient DTPP solving with a reduction-based approach. Intelligenza Artificiale Marco Maratea, Luca Pulina
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	—	`conf`	TROvE: a Graphical Tool to Evaluate OWL Reasoners. ORE Jean-Rémi Bourguet, Luca Pulina
2014	J	`jnl`	The Multi-engine ASP Solver ME-ASP: Progress Report. CoRR Marco Maratea, Luca Pulina, Francesco Ricca
2014	—	`conf`	Towards practical space-variant based face recognition and authentication. IWBF Enrico Grosso, Andrea Lagorio, Luca Pulina, Massimo Tistarelli
2013	J	`jnl`	A Multi-Engine Approach to Answer Set Programming. CoRR Marco Maratea, Luca Pulina, Francesco Ricca
2013	—	`conf`	A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences. AI*IA Jean-Rémi Bourguet, Marco Maratea, Luca Pulina
2013	—	`conf`	Automated Selection of Grounding Algorithm in Answer Set Programming. AI*IA Marco Maratea, Luca Pulina, Francesco Ricca
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`	FRaQuE: A Framework for Rapid Query Processing Evaluation. ORE Jean-Rémi Bourguet, Luca Pulina
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
2012	—	`conf`	Applying Machine Learning Techniques to ASP Solving. ICLP (Technical Communications) Marco Maratea, Luca Pulina, Francesco Ricca
2012	J	`jnl`	Challenging SMT solvers to verify neural networks. AI Commun. Luca Pulina, Armando Tacchella
2012	—	`conf`	Modeling biometric template update with Ant Colony Optimization. ICB Enrico Grosso, Luca Pulina, Massimo Tistarelli
2012	J	`jnl`	Solving disjunctive temporal problems with preferences using maximum satisfiability. AI Commun. Marco Maratea, Luca Pulina
2012	B	`conf`	The Multi-Engine ASP Solver me-asp. JELIA Marco Maratea, Luca Pulina, Francesco Ricca
2012	—	`conf`	Understanding Critical Factors in Appearance-Based Gender Categorization. ECCV Workshops (2) Enrico Grosso, Andrea Lagorio, Luca Pulina, Massimo Tistarelli
2011	—	`conf`	Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation. AI*IA Luca Pulina, Armando Tacchella
2011	J	`jnl`	NeVer: a tool for artificial neural networks verification. Ann. Math. Artif. Intell. Luca Pulina, Armando Tacchella
2011	—	`conf`	Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions. AI*IA Marco Maratea, Luca Pulina
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	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	J	`jnl`	Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning. AI Commun. Luca Pulina
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	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	A*	`conf`	Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev
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	—	`conf`	Ranking and Reputation Systems in the QBF Competition. AI*IA Massimo Narizzano, Luca Pulina, Armando Tacchella
2006	—	`conf`	Empirical Evaluation of Scoring Methods. STAIRS Luca Pulina
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