Marco Faella

	2009
23		Piero A. Bonatti, Marco Faella, Luigi Sauro: Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. IJCAI 2009: 696-701
22		Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Balanced Paths in Colored Graphs. MFCS 2009: 149-161
21		Marco Faella: Admissible Strategies in Infinite Games over Graphs. MFCS 2009: 307-318
20		Luca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching System Metrics. IEEE Trans. Software Eng. 35(2): 258-273 (2009)
19		Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems Logical Methods in Computer Science 5(2): (2009)
	2008
18		Marco Faella: Best-Effort Strategies for Losing States CoRR abs/0811.1664: (2008)
17		Marco Faella, Axel Legay, Mariëlle Stoelinga: Model Checking Quantitative Linear Time Logic. Electr. Notes Theor. Comput. Sci. 220(3): 61-77 (2008)
	2007
16		Luca de Alfaro, Marco Faella: An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. CAV 2007: 108-120
15		Sabrina Baselice, Piero A. Bonatti, Marco Faella: On Interoperable Trust Negotiation Strategies. POLICY 2007: 39-50
14		Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248
	2006
13		B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy: Ticc: A Tool for Interface Compatibility and Composition. CAV 2006: 59-62
12		Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
11		Axel Legay, Luca de Alfaro, Marco Faella: An Introduction to the Tool Ticc. Trustworthy Software 2006
	2005
10		Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar: Code aware resource management. EMSOFT 2005: 191-202
9		B. Thomas Adler, Luca de Alfaro, Marco Faella: Average Reward Timed Games. FORMATS 2005: 65-80
8		Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea: Sociable Interfaces. FroCos 2005: 81-105
7		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model checking discounted temporal properties. Theor. Comput. Sci. 345(1): 139-170 (2005)
	2004
6		Luca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching Metrics for Quantitative Transition Systems. ICALP 2004: 97-109
5		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
	2003
4		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: The Element of Surprise in Timed Games. CONCUR 2003: 142-156
3		Luca de Alfaro, Marco Faella: Information Flow in Concurrent Games. ICALP 2003: 1038-1053
	2002
2		Marco Faella, Salvatore La Torre, Aniello Murano: Dense Real-Time Games. LICS 2002: 167-176
1		Marco Faella, Salvatore La Torre, Aniello Murano: Automata-Theoretic Decision of Timed Games. VMCAI 2002: 94-108

Coauthor Index

1	B. Thomas Adler	[9] [13]
2	Luca de Alfaro	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [19] [20]
3	Sabrina Baselice	[15]
4	Alessandro Bianco	[22]
5	Piero A. Bonatti	[15] [23]
6	Krishnendu Chatterjee	[12] [14] [19]
7	Thomas A. Henzinger	[4] [5] [7] [12]
8	Axel Legay	[8] [11] [13] [14] [17] [19]
9	Rupak Majumdar	[4] [5] [7] [10] [12]
10	Fabio Mogavero	[22]
11	Aniello Murano	[1] [2] [22]
12	Vishwanath Raman	[10] [13]
13	Pritam Roy	[8] [13]
14	Luigi Sauro	[23]
15	Leandro Dias da Silva	[8] [13]
16	Maria Sorea	[8]
17	Mariëlle Stoelinga	[4] [5] [6] [7] [12] [17] [20]
18	Salvatore La Torre	[1] [2]