Marco Faella

2009
20	EE	Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems CoRR abs/0903.2445: (2009)
19	EE	Luca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching System Metrics. IEEE Trans. Software Eng. 35(2): 258-273 (2009)
2008
18	EE	Marco Faella: Best-Effort Strategies for Losing States CoRR abs/0811.1664: (2008)
17	EE	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	EE	Luca de Alfaro, Marco Faella: An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. CAV 2007: 108-120
15	EE	Sabrina Baselice, Piero A. Bonatti, Marco Faella: On Interoperable Trust Negotiation Strategies. POLICY 2007: 39-50
14	EE	Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248
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	B. Thomas 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	[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	Piero A. Bonatti	[15]
5	Krishnendu Chatterjee	[12] [14] [20]
6	Thomas A. Henzinger	[4] [5] [7] [12]
7	Axel Legay	[8] [11] [13] [14] [17] [20]
8	Rupak Majumdar	[4] [5] [7] [10] [12]
9	Aniello Murano	[1] [2]
10	Vishwanath Raman	[10] [13]
11	Pritam Roy	[8] [13]
12	Leandro Dias da Silva	[8] [13]
13	Maria Sorea	[8]
14	Mariëlle Stoelinga	[4] [5] [6] [7] [12] [17] [19]
15	Salvatore La Torre	[1] [2]