- Linear and Branching System Metrics Luca de Alfaro, Marco Faella, Marielle Stoelinga
- Admissible Strategies in Infinite Games over Marco Faella
- Games You Cannot Win Marco Faella
- Qualitative Logics and Equivalences for Probabilistic Systems Luca de Alfaro
- An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
- Average Reward Timed Games B. Thomas Adler1
- Code Aware Resource Management Luca de Alfaro
- On the Design and the Implementation of a Game-based Model for Open Systems: Current Status and Perspectives.
- Best-Effort Strategies for Losing States Technical Report
- Model checking Quantitative Linear Time Marco Faella
- On interoperable trust negotiation strategies Sabrina Baselice Piero A. Bonatti Marco Faella
- Information Flow in Concurrent Games ? Luca de Alfaro 1 and Marco Faella 1;2
- Compositional Quantitative Reasoning # Krishnendu Chatterjee
- The Element of Surprise in Timed Games ? In Proc. of CONCUR 2003: 14th International Conference on Concurrency Theory,
- Ticc: A Tool for Interface Compatibility and Composition
- Logical Methods in Computer Science Vol. ? (?:?) 2???, ? pages
- Qualitative Logics and Equivalences for Probabilistic Systems Luca de Alfaro
- Model Checking Discounted Temporal Luca de Alfaro a
- Model Checking Discounted Temporal Properties ?
- Exploring the Boundary of Half Positionality Alessandro Bianco, Marco Faella, Fabio Mogavero, and Aniello Murano
- Code Aware Resource Management Luca de Alfaro
- EPTCS ??, 2010, pp. 116, doi:10.4204/EPTCS.??.?? c Bianco, Faella, Mogavero, and Murano
- Linear and Branching System Metrics Luca de Alfaro, Marco Faella, Marielle Stoelinga
- FIT 2005 Preliminary Version Some Models and Tools for Open Systems
- Model Checking Discounted Temporal Properties #
- Ticc: A Tool for Interface Compatibility and Composition #
- Compositional Quantitative Reasoning Krishnendu Chatterjee
- Sociable Interfaces # Luca de Alfaro 1 , Leandro Dias da Silva 1,2 , Marco Faella 1,3 , Axel Legay 1,4 ,
- Assigning Trust to Wikipedia Content B. Thomas Adler1
- An Accelerated Algorithm for 3Color Parity Games with an Application to Timed Games #
- An Introduction to the Tool Ticc Luca de Alfaro1, Marco Faella2, and Axel Legay3
- Balanced Paths in Colored Graphs , A. Bianco, M. Faella, F. Mogavero, and A. Murano
- Games You Cannot Win Marco Faella
- Average Reward Timed Games # B. Thomas Adler 1 , Luca de Alfaro 1 , and Marco Faella 1,2
- Ticc: A Tool for Interface Compatibility and Composition #
- Automatatheoretic Decision of Timed Games Marco Faella Salvatore La Torre Aniello Murano
- Model Checking Discounted Temporal Luca de Alfaro 1 , Marco Faella 1;3 , Thomas A. Henzinger 2 , Rupak
- Ticc: A Tool for Interface Compatibility and Composition
- Linear and Branching System Metrics ? Luca de Alfaro 1 , Marco Faella 1;2 , and Marielle Stoelinga 3
- Linear and Branching Metrics for Quantitative Transition Systems ?
- An Introduction to the Tool Ticc # Luca de Alfaro 1 , Marco Faella 2 , and Axel Legay 3
- Graded Alternating-Time Temporal Logic Marco Faella1
- Noname manuscript No. (will be inserted by the editor)
- Quantitatively Fair Scheduling Alessandro Bianco, Marco Faella, Fabio Mogavero, and Aniello Murano
- Fundamenta Informaticae XX (2011) 122 1 Graded Alternating-Time Temporal Logic
- Revisiting Synthesis of Switching Controllers for Linear Hybrid Systems Massimo Benerecetti Marco Faella Stefano Minopoli
- Giovanna D'Agostino, Salvatore La Torre (Eds.): Proceedings of the Second International Symposium on
- Towards a mechanism for incentivating privacy Piero A. Bonatti, Marco Faella, Clemente Galdi, and Luigi Sauro
