|
Search the dblp DataBase
Marco Faella:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:59-62 [Conf]
- Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
The Element of Surprise in Timed Games. [Citation Graph (0, 0)][DBLP] CONCUR, 2003, pp:142-156 [Conf]
- Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar
Code aware resource management. [Citation Graph (0, 0)][DBLP] EMSOFT, 2005, pp:191-202 [Conf]
- Bo Adler, Luca de Alfaro, Marco Faella
Average Reward Timed Games. [Citation Graph (0, 0)][DBLP] FORMATS, 2005, pp:65-80 [Conf]
- Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
Sociable Interfaces. [Citation Graph (0, 0)][DBLP] FroCos, 2005, pp:81-105 [Conf]
- Luca de Alfaro, Marco Faella
Information Flow in Concurrent Games. [Citation Graph (0, 0)][DBLP] ICALP, 2003, pp:1038-1053 [Conf]
- Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
Linear and Branching Metrics for Quantitative Transition Systems. [Citation Graph (0, 0)][DBLP] ICALP, 2004, pp:97-109 [Conf]
- Marco Faella, Salvatore La Torre, Aniello Murano
Dense Real-Time Games. [Citation Graph (0, 0)][DBLP] LICS, 2002, pp:167-176 [Conf]
- Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Compositional Quantitative Reasoning. [Citation Graph (0, 0)][DBLP] QEST, 2006, pp:179-188 [Conf]
- Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Model Checking Discounted Temporal Properties. [Citation Graph (0, 0)][DBLP] TACAS, 2004, pp:77-92 [Conf]
- Marco Faella, Salvatore La Torre, Aniello Murano
Automata-Theoretic Decision of Timed Games. [Citation Graph (0, 0)][DBLP] VMCAI, 2002, pp:94-108 [Conf]
- Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Model checking discounted temporal properties. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:345, n:1, pp:139-170 [Journal]
- Luca de Alfaro, Marco Faella
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:108-120 [Conf]
- Sabrina Baselice, Piero A. Bonatti, Marco Faella
On Interoperable Trust Negotiation Strategies. [Citation Graph (0, 0)][DBLP] POLICY, 2007, pp:39-50 [Conf]
Exploring the Boundary of Half Positionality. [Citation Graph (, )][DBLP]
An Introduction to the Tool Ticc. [Citation Graph (, )][DBLP]
Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. [Citation Graph (, )][DBLP]
Admissible Strategies in Infinite Games over Graphs. [Citation Graph (, )][DBLP]
Balanced Paths in Colored Graphs. [Citation Graph (, )][DBLP]
Qualitative Logics and Equivalences for Probabilistic Systems. [Citation Graph (, )][DBLP]
Assigning trust to Wikipedia content. [Citation Graph (, )][DBLP]
Best-Effort Strategies for Losing States [Citation Graph (, )][DBLP]
Qualitative Logics and Equivalences for Probabilistic Systems [Citation Graph (, )][DBLP]
Some Models and Tools for Open Systems [Citation Graph (, )][DBLP]
Quantitative Fairness Games [Citation Graph (, )][DBLP]
Model Checking Quantitative Linear Time Logic. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|