- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j9 |      | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman: Code aware resource management. Formal Methods in System Design 42(2): 146-174 (2013) |
| c30 | | Massimo Benerecetti, Marco Faella: Tracking differentiable trajectories across polyhedra boundaries. HSCC 2013: 193-202 |
| 2012 | ||
| j8 | | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Quantitatively fair scheduling. Theor. Comput. Sci. 413(1): 160-175 (2012) |
| c29 | | Massimo Benerecetti, Marco Faella, Stefano Minopoli: Reachability games for linear hybrid systems. HSCC 2012: 65-74 |
| e1 | | Marco Faella, Aniello Murano (Eds.): Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification. EPTCS 96, 2012 |
| 2011 | ||
| j7 | | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Exploring the boundary of half-positionality. Ann. Math. Artif. Intell. 62(1-2): 55-77 (2011) |
| j6 | | Piero A. Bonatti, Marco Faella, Luigi Sauro: Defeasible Inclusions in Low-Complexity DLs. J. Artif. Intell. Res. (JAIR) 42: 719-764 (2011) |
| c28 | | |
| c27 | | Massimo Benerecetti, Marco Faella, Stefano Minopoli: Revisiting synthesis of switching controllers for Linear Hybrid systems. CDC-ECE 2011: 4753-4758 |
| c26 | | Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro: Towards a Mechanism for Incentivating Privacy. ESORICS 2011: 472-488 |
| c25 | | Piero A. Bonatti, Marco Faella, Luigi Sauro: On the Complexity of EL with Defeasible Inclusions. IJCAI 2011: 762-767 |
| c24 | | Massimo Benerecetti, Marco Faella, Stefano Minopoli: Towards Efficient Exact Synthesis for Linear Hybrid Systems. GandALF 2011: 263-277 |
| i3 | | Massimo Benerecetti, Marco Faella, Stefano Minopoli: Automatic Synthesis of Switching Controllers for Linear Hybrid Automata. CoRR abs/1103.4584 (2011) |
| 2010 | ||
| j5 | | Marco Faella, Margherita Napoli, Mimmo Parente: Graded Alternating-Time Temporal Logic. Fundam. Inform. 105(1-2): 189-210 (2010) |
| c23 | | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Exploring the Boundary of Half Positionality. CLIMA 2010: 171-185 |
| c22 | | Marco Faella, Margherita Napoli, Mimmo Parente: Graded Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 192-211 |
| c21 | | Piero A. Bonatti, Marco Faella, Luigi Sauro: EL\mathcal{EL} with Default Attributes and Overriding. International Semantic Web Conference (1) 2010: 64-79 |
| c20 | | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Quantitative Fairness Games. QAPL 2010: 48-63 |
| 2009 | ||
| j4 | | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. Logical Methods in Computer Science 5(2) (2009) |
| j3 | | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching System Metrics. IEEE Trans. Software Eng. 35(2): 258-273 (2009) |
| c19 | | Piero A. Bonatti, Marco Faella, Luigi Sauro: Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. IJCAI 2009: 696-701 |
| c18 | | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Balanced Paths in Colored Graphs. MFCS 2009: 149-161 |
| c17 | | |
| i2 | | |
| 2008 | ||
| j2 | | Marco Faella, Axel Legay, Mariëlle Stoelinga: Model Checking Quantitative Linear Time Logic. Electr. Notes Theor. Comput. Sci. 220(3): 61-77 (2008) |
| c16 | | B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman: Assigning trust to Wikipedia content. Int. Sym. Wikis 2008 |
| i1 | | |
| 2007 | ||
| c15 | | Luca de Alfaro, Marco Faella: An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. CAV 2007: 108-120 |
| c14 | | Sabrina Baselice, Piero A. Bonatti, Marco Faella: On Interoperable Trust Negotiation Strategies. POLICY 2007: 39-50 |
| c13 | | Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248 |
| 2006 | ||
| c12 | | 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 |
| c11 | | Axel Legay, Luca de Alfaro, Marco Faella: An Introduction to the Tool Ticc. Trustworthy Software 2006 |
| c10 | | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188 |
| 2005 | ||
| j1 | | 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) |
| c9 | | Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar: Code aware resource management. EMSOFT 2005: 191-202 |
| c8 | | |
| c7 | | Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea: Sociable Interfaces. FroCoS 2005: 81-105 |
| 2004 | ||
| c6 | | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching Metrics for Quantitative Transition Systems. ICALP 2004: 97-109 |
| c5 | | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92 |
| 2003 | ||
| c4 | | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: The Element of Surprise in Timed Games. CONCUR 2003: 142-156 |
| c3 | | |
| 2002 | ||
| c2 | | |
| c1 | | Marco Faella, Salvatore La Torre, Aniello Murano: Automata-Theoretic Decision of Timed Games. VMCAI 2002: 94-108 |
Colors in the list of coauthors
Last update Mon May 20 09:45:47 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page