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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Preference Theories on Weak Orders. - Faella, Marco; Sauro, Luigi (2019)

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

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

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

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

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

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

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

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

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

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

Decidability of Circumscribed Description Logics Revisited. - Bonatti, Piero A.; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank (2015)

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

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

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

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

Defeasible Inclusions in Low-Complexity DLs. - Bonatti, Piero A.; Faella, Marco; Sauro, Luigi (CoRR, 2014)

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

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

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

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

An Integrated Formal Approach to Usage Control. - Bonatti, Piero A.; Sauro, Luigi; Faella, Marco; Galdi, Clemente (2013)

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

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

Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. (2012)

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

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

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

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

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

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

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

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

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

Exploring the Boundary of Half Positionality. - Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello (2010)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Qualitative Logics and Equivalences for Probabilistic Systems. - Alfaro, Luca de; Chatterjee, Krishnendu; Faella, Marco; Legay, Axel (2007)

Ticc: A Tool for Interface Compatibility and Composition. - Adler, B. Thomas; Alfaro, Luca de; Silva, Leandro Dias da; Faella, Marco; Legay, Axel; Raman, Vishwanath; Roy, Pritam (2006)

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

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

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

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

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

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

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

Model Checking Discounted Temporal Properties. - Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle (2004)

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

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

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

Automata-Theoretic Decision of Timed Games. - Faella, Marco; Torre, Salvatore La; Murano, Aniello (2002)