| 2026 | CAV | Best-Effort Safety Control of Multi-mode Systems. | Massimo Benerecetti, Marco Faella, Fabio Mogavero |
| 2025 | CAV | Verifying Tree-Manipulating Programs via CHCs. | Marco Faella, Gennaro Parlato |
| 2025 | ECAI | Convex Optimization Yields Empirically Superior Best-Arm Identification. | Marco Faella, Francesco Magliocca, Luigi Sauro |
| 2024 | ECAI | A Unified Automata-Theoretic Approach to LTL | Marco Faella, Gennaro Parlato |
| 2024 | TIME | Model Checking Linear Temporal Properties on Polyhedral Systems. | Massimo Benerecetti, Marco Faella, Fabio Mogavero |
| 2023 | AAAI | Reachability Games Modulo Theories with a Bounded Safety Player. | Marco Faella, Gennaro Parlato |
| 2022 | CAV | Reasoning About Data Trees Using CHCs. | Marco Faella, Gennaro Parlato |
| 2022 | ICMLA | Universal Thompson Sampling. | Marco Faella, Luigi Sauro |
| 2021 | ICTAI | A practical query selection framework for real-time Bayesian preference elicitation. | Marco Faella, Alberto Finzi, Luigi Sauro |
| 2020 | ECAI | Rapidly Finding the Best Arm Using Variance. | Marco Faella, Alberto Finzi, Luigi Sauro |
| 2020 | ECAI | Preferences over Rankings and How to Control Them Using Rewards. | Marco Faella, Luigi Sauro |
| 2017 | IJCAI | A New Semantics for Overriding in Description Logics (Extended Abstract). | Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro |
| 2016 | CSL | Hedging Bets in Markov Decision Processes. | Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania |
| 2013 | MFCS | Auctions for Partial Heterogeneous Preferences. | Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro |
| 2013 | SP | An Integrated Formal Approach to Usage Control. | Piero A. Bonatti, Luigi Sauro, Marco Faella, Clemente Galdi |
| 2011 | AAAI | Adding Default Attributes to EL++. | Piero A. Bonatti, Marco Faella, Luigi Sauro |
| 2011 | ESORICS | Towards a Mechanism for Incentivating Privacy. | Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro |
| 2011 | IJCAI | On the Complexity of EL with Defeasible Inclusions. | Piero A. Bonatti, Marco Faella, Luigi Sauro |
| 2010 | LPAR | Graded Alternating-Time Temporal Logic. | Marco Faella, Margherita Napoli, Mimmo Parente |
| 2009 | IJCAI | Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. | Piero A. Bonatti, Marco Faella, Luigi Sauro |
| 2009 | MFCS | Balanced Paths in Colored Graphs. | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
| 2009 | MFCS | Admissible Strategies in Infinite Games over Graphs. | Marco Faella |
| 2007 | CAV | An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. | Luca de Alfaro, Marco Faella |
| 2006 | CAV | Ticc: A Tool for Interface Compatibility and Composition. | B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy |
| 2005 | EMSOFT | Code aware resource management. | Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar |
| 2004 | ICALP | Linear and Branching Metrics for Quantitative Transition Systems. | Luca de Alfaro, Marco Faella, Marille Stoelinga |
| 2004 | TACAS | Model Checking Discounted Temporal Properties. | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marille Stoelinga |
| 2003 | CONCUR | The Element of Surprise in Timed Games. | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marille Stoelinga |
| 2003 | ICALP | Information Flow in Concurrent Games. | Luca de Alfaro, Marco Faella |
| 2002 | LICS | Dense Real-Time Games. | Marco Faella, Salvatore La Torre, Aniello Murano |
| 2002 | VMCAI | Automata-Theoretic Decision of Timed Games. | Marco Faella, Salvatore La Torre, Aniello Murano |