Marco Faella

2007
15	EE	Luca de Alfaro, Marco Faella: An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. CAV 2007: 108-120
14	EE	Sabrina Baselice, Piero A. Bonatti, Marco Faella: On Interoperable Trust Negotiation Strategies. POLICY 2007: 39-50
2006
13	EE	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	EE	Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
11	EE	Axel Legay, Luca de Alfaro, Marco Faella: An Introduction to the Tool Ticc. Trustworthy Software 2006
2005
10	EE	Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar: Code aware resource management. EMSOFT 2005: 191-202
9	EE	Bo Adler, Luca de Alfaro, Marco Faella: Average Reward Timed Games. FORMATS 2005: 65-80
8	EE	Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea: Sociable Interfaces. FroCos 2005: 81-105
7	EE	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	EE	Luca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching Metrics for Quantitative Transition Systems. ICALP 2004: 97-109
5	EE	Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
2003
4	EE	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	EE	Luca de Alfaro, Marco Faella: Information Flow in Concurrent Games. ICALP 2003: 1038-1053
2002
2	EE	Marco Faella, Salvatore La Torre, Aniello Murano: Dense Real-Time Games. LICS 2002: 167-176
1	EE	Marco Faella, Salvatore La Torre, Aniello Murano: Automata-Theoretic Decision of Timed Games. VMCAI 2002: 94-108

Coauthor Index

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

Colors in the list of coauthors