Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar
   Code aware resource management. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:191-202 [Conf]
   
4. Bo Adler, Luca de Alfaro, Marco Faella
   Average Reward Timed Games. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2005, pp:65-80 [Conf]
   
5. 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]
   
6. Luca de Alfaro, Marco Faella
   Information Flow in Concurrent Games. [Citation Graph (0, 0)][DBLP]
   ICALP, 2003, pp:1038-1053 [Conf]
   
7. 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]
   
8. Marco Faella, Salvatore La Torre, Aniello Murano
   Dense Real-Time Games. [Citation Graph (0, 0)][DBLP]
   LICS, 2002, pp:167-176 [Conf]
   
9. 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]
   
10. 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]
    
11. Marco Faella, Salvatore La Torre, Aniello Murano
    Automata-Theoretic Decision of Timed Games. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:94-108 [Conf]
    
12. 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]
    
13. 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]
    
14. Sabrina Baselice, Piero A. Bonatti, Marco Faella
    On Interoperable Trust Negotiation Strategies. [Citation Graph (0, 0)][DBLP]
    POLICY, 2007, pp:39-50 [Conf]
    
15. 
    Exploring the Boundary of Half Positionality. [Citation Graph (, )][DBLP]
    
    
16. 
    An Introduction to the Tool Ticc. [Citation Graph (, )][DBLP]
    
    
17. 
    Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. [Citation Graph (, )][DBLP]
    
    
18. 
    Admissible Strategies in Infinite Games over Graphs. [Citation Graph (, )][DBLP]
    
    
19. 
    Balanced Paths in Colored Graphs. [Citation Graph (, )][DBLP]
    
    
20. 
    Qualitative Logics and Equivalences for Probabilistic Systems. [Citation Graph (, )][DBLP]
    
    
21. 
    Assigning trust to Wikipedia content. [Citation Graph (, )][DBLP]
    
    
22. 
    Best-Effort Strategies for Losing States [Citation Graph (, )][DBLP]
    
    
23. 
    Qualitative Logics and Equivalences for Probabilistic Systems [Citation Graph (, )][DBLP]
    
    
24. 
    Some Models and Tools for Open Systems [Citation Graph (, )][DBLP]
    
    
25. 
    Quantitative Fairness Games [Citation Graph (, )][DBLP]
    
    
26. 
    Model Checking Quantitative Linear Time Logic. [Citation Graph (, )][DBLP]