Marco Faella - RankMe

79 papers A* 10A 9B 7C 2Misc 1Journal 27Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Convex Optimization Yields Empirically Superior Best-Arm Identification. ECAI Marco Faella, Francesco Magliocca, Luigi Sauro
2025	—	`conf`	Verifying Tree-Manipulating Programs via CHCs. CAV (1) Marco Faella, Gennaro Parlato
2025	J	`jnl`	Verifying Tree-Manipulating Programs via CHCs. CoRR Marco Faella, Gennaro Parlato
2024	A	`conf`	A Unified Automata-Theoretic Approach to LTL ECAI Marco Faella, Gennaro Parlato
2024	J	`jnl`	A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version). CoRR Marco Faella, Gennaro Parlato
2024	J	`jnl`	Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses. CoRR Marco Faella, Gennaro Parlato
2024	J	`jnl`	CHC-Based Verification of Programs Through Graph Decompositions. SN Comput. Sci. Marco Faella, Giulio Garbi, Salvatore La Torre, Gennaro Parlato
2024	C	`conf`	Model Checking Linear Temporal Properties on Polyhedral Systems. TIME Massimo Benerecetti, Marco Faella, Fabio Mogavero
2024	J	`jnl`	On preferences and reward policies over rankings. Auton. Agents Multi Agent Syst. Marco Faella, Luigi Sauro
2023	A*	`conf`	Reachability Games Modulo Theories with a Bounded Safety Player. AAAI Marco Faella, Gennaro Parlato
2022	—	`conf`	Reasoning About Data Trees Using CHCs. CAV (2) Marco Faella, Gennaro Parlato
2022	C	`conf`	Universal Thompson Sampling. ICMLA Marco Faella, Luigi Sauro
2021	B	`conf`	A practical query selection framework for real-time Bayesian preference elicitation. ICTAI Marco Faella, Alberto Finzi, Luigi Sauro
2021	J	`jnl`	Irrelevant matches in round-robin tournaments. Auton. Agents Multi Agent Syst. Marco Faella, Luigi Sauro
2020	J	`jnl`	From Quasi-Dominions to Progress Measures. CoRR Massimo Benerecetti, Daniele Dell'Erba, Marco Faella, Fabio Mogavero
2020	A	`conf`	Preferences over Rankings and How to Control Them Using Rewards. ECAI Marco Faella, Luigi Sauro
2020	A	`conf`	Rapidly Finding the Best Arm Using Variance. ECAI Marco Faella, Alberto Finzi, Luigi Sauro
2019	—	`conf`	Preference Theories on Weak Orders. OVERLAY@AI*IA Marco Faella, Luigi Sauro
2018	A	`conf`	Do all Tournaments Admit Irrelevant Matches? AAMAS Marco Faella, Luigi Sauro
2017	A*	`conf`	A New Semantics for Overriding in Description Logics (Extended Abstract). IJCAI Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro
2017	J	`jnl`	Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control. ACM Trans. Embed. Comput. Syst. Massimo Benerecetti, Marco Faella
2017	J	`jnl`	Tracking smooth trajectories in linear hybrid systems. Inf. Comput. Massimo Benerecetti, Marco Faella
2016	A	`conf`	Average Controllability Measures for Solitaire Games. AAMAS Marco Faella
2016	A	`conf`	Generalized Agent-mediated Procurement Auctions. AAMAS Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro
2016	B	`conf`	Hedging Bets in Markov Decision Processes. CSL Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania
2016	J	`jnl`	Incentives for Truthful Evaluations. CoRR Luca de Alfaro, Marco Faella, Vassilis Polychronopoulos, Michael Shavlovsky
2016	J	`jnl`	TrueReview: A Platform for Post-Publication Peer Review. CoRR Luca de Alfaro, Marco Faella
2015	J	`jnl`	A new semantics for overriding in description logics. Artif. Intell. Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro
2015	—	`conf`	Decidability of Circumscribed Description Logics Revisited. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter
2014	J	`jnl`	Automata-theoretic decision of timed games. Theor. Comput. Sci. Marco Faella, Salvatore La Torre, Aniello Murano
2014	J	`jnl`	Defeasible Inclusions in Low-Complexity DLs. CoRR Piero A. Bonatti, Marco Faella, Luigi Sauro
2014	—	`conf`	E-Auctions for Multi-Cloud Service Provisioning. IEEE SCC Marco Anisetti, Claudio A. Ardagna, Piero A. Bonatti, Ernesto Damiani, Marco Faella, Clemente Galdi, Luigi Sauro
2014	—	`conf`	Partial Preferences for Mediated Bargaining. SR Piero A. Bonatti, Marco Faella, Luigi Sauro
2014	J	`jnl`	Preface to the special issue on GandALF 2012. Theor. Comput. Sci. Marco Faella, Aniello Murano
2013	—	`conf`	An Integrated Formal Approach to Usage Control. IEEE Symposium on Security and Privacy Workshops Piero A. Bonatti, Luigi Sauro, Marco Faella, Clemente Galdi
2013	B	`conf`	Auctions for Partial Heterogeneous Preferences. MFCS Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro
2013	J	`jnl`	Automatic synthesis of switching controllers for linear hybrid systems: Safety control. Theor. Comput. Sci. Massimo Benerecetti, Marco Faella, Stefano Minopoli
2013	J	`jnl`	Code aware resource management. Formal Methods Syst. Des. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman
2013	—	`conf`	Tracking differentiable trajectories across polyhedra boundaries. HSCC Massimo Benerecetti, Marco Faella
2012	—	`ed.`	Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. GandALF Marco Faella, Aniello Murano
2012	J	`jnl`	Quantitatively fair scheduling. Theor. Comput. Sci. Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2012	—	`conf`	Reachability games for linear hybrid systems. HSCC Massimo Benerecetti, Marco Faella, Stefano Minopoli
2011	A*	`conf`	Adding Default Attributes to EL++. AAAI Piero A. Bonatti, Marco Faella, Luigi Sauro
2011	J	`jnl`	Automatic Synthesis of Switching Controllers for Linear Hybrid Automata CoRR Massimo Benerecetti, Marco Faella, Stefano Minopoli
2011	J	`jnl`	Defeasible Inclusions in Low-Complexity DLs. J. Artif. Intell. Res. Piero A. Bonatti, Marco Faella, Luigi Sauro
2011	J	`jnl`	Exploring the boundary of half-positionality. Ann. Math. Artif. Intell. Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2011	A*	`conf`	On the Complexity of EL with Defeasible Inclusions. IJCAI Piero A. Bonatti, Marco Faella, Luigi Sauro
2011	—	`conf`	Revisiting synthesis of switching controllers for Linear Hybrid systems. CDC/ECC Massimo Benerecetti, Marco Faella, Stefano Minopoli
2011	—	`conf`	Towards Efficient Exact Synthesis for Linear Hybrid Systems GandALF Massimo Benerecetti, Marco Faella, Stefano Minopoli
2011	A	`conf`	Towards a Mechanism for Incentivating Privacy. ESORICS Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro
2010	—	`conf`	Exploring the Boundary of Half Positionality. CLIMA Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2010	—	`conf`	Graded Alternating-Time Temporal Logic. LPAR (Dakar) Marco Faella, Margherita Napoli, Mimmo Parente
2010	J	`jnl`	Graded Alternating-Time Temporal Logic. Fundam. Informaticae Marco Faella, Margherita Napoli, Mimmo Parente
2010	—	`conf`	Quantitative Fairness Games QAPL Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2009	B	`conf`	Admissible Strategies in Infinite Games over Graphs. MFCS Marco Faella
2009	B	`conf`	Balanced Paths in Colored Graphs. MFCS Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2009	A*	`conf`	Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. IJCAI Piero A. Bonatti, Marco Faella, Luigi Sauro
2009	J	`jnl`	Linear and Branching System Metrics. IEEE Trans. Software Eng. Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
2009	J	`jnl`	Qualitative Logics and Equivalences for Probabilistic Systems Log. Methods Comput. Sci. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay
2009	J	`jnl`	Some Models and Tools for Open Systems CoRR Axel Legay, Marco Faella
2008	—	`conf`	Assigning trust to Wikipedia content. Int. Sym. Wikis B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman
2008	J	`jnl`	Best-Effort Strategies for Losing States CoRR Marco Faella
2008	—	`conf`	Model Checking Quantitative Linear Time Logic. QAPL Marco Faella, Axel Legay, Mariëlle Stoelinga
2007	A*	`conf`	An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. CAV Luca de Alfaro, Marco Faella
2007	—	`conf`	On Interoperable Trust Negotiation Strategies. POLICY Sabrina Baselice, Piero A. Bonatti, Marco Faella
2007	—	`conf`	Qualitative Logics and Equivalences for Probabilistic Systems. QEST Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay
2006	—	`conf`	An Introduction to the Tool Ticc. Trustworthy Software Axel Legay, Luca de Alfaro, Marco Faella
2006	—	`conf`	Compositional Quantitative Reasoning. QEST Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2006	A*	`conf`	Ticc: A Tool for Interface Compatibility and Composition. CAV B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
2005	—	`conf`	Average Reward Timed Games. FORMATS B. Thomas Adler, Luca de Alfaro, Marco Faella
2005	Misc	`conf`	Code aware resource management. EMSOFT Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar
2005	J	`jnl`	Model checking discounted temporal properties. Theor. Comput. Sci. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2005	—	`conf`	Sociable Interfaces. FroCoS Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
2004	A*	`conf`	Linear and Branching Metrics for Quantitative Transition Systems. ICALP Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
2004	A	`conf`	Model Checking Discounted Temporal Properties. TACAS Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2003	A*	`conf`	Information Flow in Concurrent Games. ICALP Luca de Alfaro, Marco Faella
2003	B	`conf`	The Element of Surprise in Timed Games. CONCUR Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2002	B	`conf`	Automata-Theoretic Decision of Timed Games. VMCAI Marco Faella, Salvatore La Torre, Aniello Murano
2002	A*	`conf`	Dense Real-Time Games. LICS Marco Faella, Salvatore La Torre, Aniello Murano