Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marco Faella
2010 – today
- 2013
[j10]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)- [j9]Massimo Benerecetti, Marco Faella, Stefano Minopoli: Automatic synthesis of switching controllers for linear hybrid systems: Safety control. Theor. Comput. Sci. 493: 116-138 (2013)
- [c32]Massimo Benerecetti, Marco Faella: Tracking differentiable trajectories across polyhedra boundaries. HSCC 2013: 193-202
- [c31]Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro: Auctions for Partial Heterogeneous Preferences. MFCS 2013: 183-194
- [c30]Piero A. Bonatti, Luigi Sauro, Marco Faella, Clemente Galdi: An Integrated Formal Approach to Usage Control. IEEE Symposium on Security and Privacy Workshops 2013: 8-12
- 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
2000 – 2009
- 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:22 CEST by the dblp team