Dense Real-Time Games. - Marco Faella; Salvatore La Torre; Aniello Murano (LICS, 2002)

The Element of Surprise in Timed Games. - Luca de Alfaro; Marco Faella; Thomas A. Henzinger; Rupak Majumdar; Mariëlle Stoelinga (CONCUR, 2003)

Information Flow in Concurrent Games. - Luca de Alfaro; Marco Faella (ICALP, 2003)

Linear and Branching Metrics for Quantitative Transition Systems. - Luca de Alfaro; Marco Faella; Mariëlle Stoelinga (ICALP, 2004)

Code aware resource management. - Luca de Alfaro; Vishwanath Raman; Marco Faella; Rupak Majumdar (EMSOFT, 2005)

Average Reward Timed Games. - B. Thomas Adler; Luca de Alfaro; Marco Faella (FORMATS, 2005)

Sociable Interfaces. - Luca de Alfaro; Leandro Dias da Silva; Marco Faella; Axel Legay; Pritam Roy; Maria Sorea (FroCoS, 2005)

Model checking discounted temporal properties. - Luca de Alfaro; Marco Faella; Thomas A. Henzinger; Rupak Majumdar; Mariëlle Stoelinga (Theor. Comput. Sci., 2005)

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 (CAV, 2006)

An Introduction to the Tool Ticc. - Axel Legay; Luca de Alfaro; Marco Faella (Trustworthy Software, 2006)

Compositional Quantitative Reasoning. - Krishnendu Chatterjee; Luca de Alfaro; Marco Faella; Thomas A. Henzinger; Rupak Majumdar; Mariëlle Stoelinga (QEST, 2006)

An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. - Luca de Alfaro; Marco Faella (CAV, 2007)

On Interoperable Trust Negotiation Strategies. - Sabrina Baselice; Piero A. Bonatti; Marco Faella (POLICY, 2007)

Assigning trust to Wikipedia content. - B. Thomas Adler; Krishnendu Chatterjee; Luca de Alfaro; Marco Faella; Ian Pye; Vishwanath Raman (Int. Sym. Wikis, 2008)

Best-Effort Strategies for Losing States - Marco Faella (CoRR, 2008)

Model Checking Quantitative Linear Time Logic. - Marco Faella; Axel Legay; Mariëlle Stoelinga (QAPL, 2008)

Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. - Piero A. Bonatti; Marco Faella; Luigi Sauro (IJCAI, 2009)

Balanced Paths in Colored Graphs. - Alessandro Bianco; Marco Faella; Fabio Mogavero; Aniello Murano (MFCS, 2009)

Admissible Strategies in Infinite Games over Graphs. - Marco Faella (MFCS, 2009)

Qualitative Logics and Equivalences for Probabilistic Systems - Krishnendu Chatterjee; Luca de Alfaro; Marco Faella; Axel Legay (Log. Methods Comput. Sci., 2009)

Some Models and Tools for Open Systems - Axel Legay; Marco Faella (CoRR, 2009)

Linear and Branching System Metrics. - Luca de Alfaro; Marco Faella; Mariëlle Stoelinga (IEEE Trans. Software Eng., 2009)

EL mathcal{EL} with Default Attributes and Overriding. - Piero A. Bonatti; Marco Faella; Luigi Sauro (ISWC (1), 2010)

Quantitative Fairness Games - Alessandro Bianco; Marco Faella; Fabio Mogavero; Aniello Murano (QAPL, 2010)

Graded Alternating-Time Temporal Logic. - Marco Faella; Margherita Napoli; Mimmo Parente (Fundam. Informaticae, 2010)

Adding Default Attributes to EL++. - Piero A. Bonatti; Marco Faella; Luigi Sauro (AAAI, 2011)

Revisiting synthesis of switching controllers for Linear Hybrid systems. - Massimo Benerecetti; Marco Faella; Stefano Minopoli (CDC/ECC, 2011)

Towards a Mechanism for Incentivating Privacy. - Piero A. Bonatti; Marco Faella; Clemente Galdi; Luigi Sauro (ESORICS, 2011)

On the Complexity of EL with Defeasible Inclusions. - Piero A. Bonatti; Marco Faella; Luigi Sauro (IJCAI, 2011)

Exploring the boundary of half-positionality. - Alessandro Bianco; Marco Faella; Fabio Mogavero; Aniello Murano (Ann. Math. Artif. Intell., 2011)

Automatic Synthesis of Switching Controllers for Linear Hybrid Automata - Massimo Benerecetti; Marco Faella; Stefano Minopoli (CoRR, 2011)

Towards Efficient Exact Synthesis for Linear Hybrid Systems - Massimo Benerecetti; Marco Faella; Stefano Minopoli (GandALF, 2011)

Defeasible Inclusions in Low-Complexity DLs. - Piero A. Bonatti; Marco Faella; Luigi Sauro (J. Artif. Intell. Res., 2011)

Reachability games for linear hybrid systems. - Massimo Benerecetti; Marco Faella; Stefano Minopoli (HSCC, 2012)

Quantitatively fair scheduling. - Alessandro Bianco; Marco Faella; Fabio Mogavero; Aniello Murano (Theor. Comput. Sci., 2012)

Tracking differentiable trajectories across polyhedra boundaries. - Massimo Benerecetti; Marco Faella (HSCC, 2013)

Auctions for Partial Heterogeneous Preferences. - Piero A. Bonatti; Marco Faella; Clemente Galdi; Luigi Sauro (MFCS, 2013)

An Integrated Formal Approach to Usage Control. - Piero A. Bonatti; Luigi Sauro; Marco Faella; Clemente Galdi (IEEE Symposium on Security and Privacy Workshops, 2013)

Code aware resource management. - Krishnendu Chatterjee; Luca de Alfaro; Marco Faella; Rupak Majumdar; Vishwanath Raman (Formal Methods Syst. Des., 2013)

Automatic synthesis of switching controllers for linear hybrid systems: Safety control. - Massimo Benerecetti; Marco Faella; Stefano Minopoli (Theor. Comput. Sci., 2013)

E-Auctions for Multi-Cloud Service Provisioning. - Marco Anisetti; Claudio A. Ardagna; Piero A. Bonatti; Ernesto Damiani; Marco Faella; Clemente Galdi; Luigi Sauro (IEEE SCC, 2014)

Partial Preferences for Mediated Bargaining. - Piero A. Bonatti; Marco Faella; Luigi Sauro (SR, 2014)

Preface to the special issue on GandALF 2012. - Marco Faella; Aniello Murano (Theor. Comput. Sci., 2014)

Automata-theoretic decision of timed games. - Marco Faella; Salvatore La Torre; Aniello Murano (Theor. Comput. Sci., 2014)

Decidability of Circumscribed Description Logics Revisited. - Piero A. Bonatti; Marco Faella; Carsten Lutz; Luigi Sauro; Frank Wolter (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

A new semantics for overriding in description logics. - Piero A. Bonatti; Marco Faella; Iliana M. Petrova; Luigi Sauro (Artif. Intell., 2015)

Generalized Agent-mediated Procurement Auctions. - Piero A. Bonatti; Marco Faella; Clemente Galdi; Luigi Sauro (AAMAS, 2016)

Average Controllability Measures for Solitaire Games. - Marco Faella (AAMAS, 2016)

Hedging Bets in Markov Decision Processes. - Rajeev Alur; Marco Faella; Sampath Kannan; Nimit Singhania (CSL, 2016)

TrueReview: A Platform for Post-Publication Peer Review. - Luca de Alfaro; Marco Faella (CoRR, 2016)

Incentives for Truthful Evaluations. - Luca de Alfaro; Marco Faella; Vassilis Polychronopoulos; Michael Shavlovsky (CoRR, 2016)

A New Semantics for Overriding in Description Logics (Extended Abstract). - Piero A. Bonatti; Marco Faella; Iliana M. Petrova; Luigi Sauro (IJCAI, 2017)

Tracking smooth trajectories in linear hybrid systems. - Massimo Benerecetti; Marco Faella (Inf. Comput., 2017)

Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control. - Massimo Benerecetti; Marco Faella (ACM Trans. Embed. Comput. Syst., 2017)

Do all Tournaments Admit Irrelevant Matches? - Marco Faella; Luigi Sauro (AAMAS, 2018)

Preference Theories on Weak Orders. - Marco Faella; Luigi Sauro (OVERLAY@AI*IA, 2019)

Rapidly Finding the Best Arm Using Variance. - Marco Faella; Alberto Finzi; Luigi Sauro (ECAI, 2020)

Preferences over Rankings and How to Control Them Using Rewards. - Marco Faella; Luigi Sauro (ECAI, 2020)

From Quasi-Dominions to Progress Measures. - Massimo Benerecetti; Daniele Dell'Erba; Marco Faella; Fabio Mogavero (CoRR, 2020)

A practical query selection framework for real-time Bayesian preference elicitation. - Marco Faella; Alberto Finzi; Luigi Sauro (ICTAI, 2021)

Irrelevant matches in round-robin tournaments. - Marco Faella; Luigi Sauro (Auton. Agents Multi Agent Syst., 2021)

Reasoning About Data Trees Using CHCs. - Marco Faella; Gennaro Parlato (CAV (2), 2022)

Universal Thompson Sampling. - Marco Faella; Luigi Sauro (ICMLA, 2022)

Reachability Games Modulo Theories with a Bounded Safety Player. - Marco Faella; Gennaro Parlato (AAAI, 2023)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories. - Marco Faella; Gennaro Parlato (ECAI, 2024)

Model Checking Linear Temporal Properties on Polyhedral Systems. - Massimo Benerecetti; Marco Faella; Fabio Mogavero (TIME, 2024)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version). - Marco Faella; Gennaro Parlato (CoRR, 2024)

Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses. - Marco Faella; Gennaro Parlato (CoRR, 2024)

On preferences and reward policies over rankings. - Marco Faella; Luigi Sauro (Auton. Agents Multi Agent Syst., 2024)

CHC-Based Verification of Programs Through Graph Decompositions. - Marco Faella; Giulio Garbi; Salvatore La Torre; Gennaro Parlato (SN Comput. Sci., 2024)

Verifying Tree-Manipulating Programs via CHCs. - Marco Faella; Gennaro Parlato (CAV (1), 2025)